"It is believed... that the elegant theorem, printed as Euc. VI. D... known as Ptolemy’s Theorem, is due to Hipparchus and was copied... by Ptolemy. It contains implicitly the addition formulæ for sin (A \pm B) and cos(A \pm B); and Carnot shewed how the whole of elementary plane trigonometry could be deduced from it."