Let AB be divided into its straight lines at E;
therefore AE, EB are straight lines incommensurable in square which make the sum of the squares on them medial, but the rectangle contained by them rational. [X. 40]
Let the same construction be made as before.
We can then prove similarly that CF, FD are incommensurable in square, and the sum of the squares on AE, EB is commensurable with the sum of the squares on CF, FD, and the rectangle AE, EB with the rectangle CF, FD;
so that the sum of the squares on CF, FD is also medial, and the rectangle CF, FD rational.
Complete text
Book I