Comentario de Eutocio Proposición 1.55

Descríbase un semicírculo ΑΖD en ΑD; tràcese al semicírculo una paralela ΖΗ a ΑC, tal que ZH2DHHA=AG2AD.

Sea un semicírculo ΑΒG sobre el diámetro ΑG y la razón dada EZZH, y hágase lo que se propone. Pongamos ΖC = ΕΖ; bisequemos CΗ en un punto Κ; tracemos al semicírculo cualquier recta GΒ que forme el ángulo ΑGΒ; tracemos una perpendicular LS desde el centro L a esta recta, prolonguémosla para que corte a la circunferencia en un punto Ν; tracemos una paralela ΝΜ a GΒ por Ν; así será tangente al círculo. Hagámoslo de manera que MQQN=ZCCK; tracemos las rectas de unión LQ y LΟ que intersecan el semicírculo en los puntos P y R, y tracemos una recta de unión PRD. Por lo tanto, como QΝ = ΝΟ, ya que ΝL es común y perpendicular, entonces LΟ = LQ; como también LP = LR; por lo que PΟ = RQ. La recta PRD es, por tanto, paralela a la ΜΟ. Por otra parte, MQNQ=ZCCK; o NQQO=CKCH; a intervalos iguales, MQQO=CZCH. Por inversión, OQQM=HCCZ; por composición, OMMQ=PDDR=HZZC=HZZE; sin embargo, PDDRDR2=PDDR, y PDDR=ADDG; por tanto ADDGDR2=HZZE. Por inversión, DR2DR=EZZH.