Kitap 10
23
Let A be medial, and let B be commensurable with A; I say that B is also medial.
23
For let a rational straight line CD be set out, and to CD let the rectangular area CE equal to the square on A be applied, producing ED as breadth; therefore ED is rational and incommensurable in length with CD. [X. 22]
23
And let the rectangular area CF equal to the square on B be applied to CD, producing DF as breadth.
23
Since then A is commensurable with B, the square on A is also commensurable with the square on B.
23
But EC is equal to the square on A, and CF is equal to the square on B; therefore EC is commensurable with CF.
23
And, as EC is to CF, so is ED to DF; [VI. 1] therefore ED is commensurable in length with DF. [X. 11]
23
But ED is rational and incommensurable in length with DC; therefore DF is also rational [X. Def. 3] and incommensurable in length with DC. [X. 13]
23
Therefore CD, DF are rational and commensurable in square only.
23
But the straight line the square on which is equal to the rectangle contained by rational straight lines commensurable in square only is medial; [X. 21] therefore the side of the square equal to the rectangle CD, DF is medial.
23
And B is the side of the square equal to the rectangle CD, DF; therefore B is medial.
23
Porism. From this it is manifest that an area commensurable with a medial area is medial.
