Lema a la proposición 23


Demostraríamos como sigue de qué manera se puede tomar el cuadrado de OR igual al área en la que el cuadrado de AB es mayor que el cuadrado de LO:

Demostración:

Pónganse las rectas AB, LO, y sea AB mayor, y descríbase sobre ella el semicírculo ABC, y adaptese al semicírculo ABC la (recta) AC igual a la recta LO que no sea mayor que el diámetro AB [IV 1]; y trácese CB. Así pues, como ACB es un ángulo en el semicírculo ACB, entonces el (ángulo) ACB es recto [III 31]. Luego el cuadrado de AB es mayor que el cuadrado de AC en el cuadrado de CB. Pero AC es igual a LO. Luego el cuadrado de AB es mayor que el cuadrado de LO en el cuadrado de CB. Pues bie, si tomamos la (recta) OR igual a BC, el cuadrado de AB es mayor que el cuadrado de LO en el cuadrado de OR. Que es lo que se ha propuesto hacer.