Commentary on Proposition VII.18

Back to Proposition VII.18.

It is here proved that

$$a : b = ac : bc.$$

The argument is as follows.

$$\begin{aligned} ac &= ca. & \text{[VII. 16]} \\ \text{Similarly}\qquad bc &= cb. \\ \text{And}\qquad a : b &= ca : cb; & \text{[VII. 17]} \\ \text{therefore}\qquad a : b &= ac : bc. \end{aligned}$$