When three magnitudes are proportional, the first is said to have to the third the duplicate ratio of that which it has to the second.