Commentary on Proposition IX.2¶
Back to Proposition IX.2.
If $ab$ is a square number, $a$, $b$ are similar plane numbers. (The converse of IX. 1.) For
$$a : b = a^2 : ab. \hfill \text{[VII. 17]}$$
And $a^2$, $ab$ being square numbers, and therefore similar plane numbers, they have one mean proportional. [VIII. 18]
Therefore $a$, $b$ also have one mean proportional. [VIII. 8]
whence $a$, $b$ are similar plane numbers. [VIII. 20]