Proposición 51

La diferencia de los cuadrados del eje mayor de una elipse y su lado recto es mayor que la de estas dos magnitudes respecto de cualquier diámetro mayor que su lado recto y disminuye a medida que el diámetro se aleja del eje. La diferencia de los cuadrados del eje menor de una elipse y su lado recto es mayor que la de estas dos magnitudes respecto de cualquier diámetro menor que su lado recto y aumenta a medida que el diámetro se aleja del eje.

Sea AC el eje mayor de una elipse ; sea DE el eje menor , y sea IT uno de los diámetros conjugados iguales . Tracemos los diámetros KB, LM entre los puntos A e I ; tracemos las rectas CQ, CX paralelas a estos diámetros ; tracemos las líneas QJ, XU perpendiculares al eje , y que todas las demás construcciones son las mismas. que en la figura de la hipérbola de la última proposición . Digo que AC2ladorectoAC2>KB2ladorectoKB2>LM2ladorectoLM.

En efecto, ya que HJ<AH, entonces HJHO+AHHJ<AHHO+AHHJ, luego HJAO<AHOJ. Por tanto AOOJ<AHHJ, de donde CNAOCNOJ<2ONAH2ONHJ. Ya que, 2ONAH=2(OA+AN)AH=(OA+AN)(AH+OH+AHOH = (OA+AN)(OA+AH-NH) = (OA+AN)(OA-AN) = OA^2-AN^2\), e igualemente 2ONHJ=HJ2JN2, entonces CNAOCNOJ<OA2AN2OJ2JN2, luego CNAOOA2AN2<CNOJOJ2JN2. Ya que CNAN=OAOC=ACladorectoAC, se tiene CN=OA y AN=OC, luego OA2OA2AN2=CNOAOA2AN2=AC2AC2ladorectoAC2. Ya que CNOJ=OJ2JN2KB2ladorectoKB2 [Prop. VII.20], entonces AC2AC2ladorectoAC2<KB2ladorectoKB2, de donde AC2ladorectoAC2>KB2ladorectoKB2.

Se demuestra de la misma manera que CNOJCNOU<OJ2JN2OU2UN2, de donde CNOJOJ2JN2<CNOUOU2UN2 y de [Prop. VII.20] se deduce que KB2ladorectoKB2>LM2ladorectoLM2.

Ahora tracemos otros diámetros VY, ZR entre los puntos I y D ; desde el punto C, tracemos las rectas CG, CP paralelas a estos diámetros . y tracemos las rectas GF, PS perpendiculares al eje . Digo que DE2ladorectoDE2>VY2ladorectoVY2>ZR2ladorectoZR2.

En efecto, se tiene OF>OS y FH<HS, de donde OFOS>FHHS, luego CNOFCNOS>2NOFH2NOHS. Ya que 2NOFH=2(NF+FO)FH=(NF+FO)(FH+FH+NHNH=(NF+FO)(NFFO)=NF2FO2 y 2NOHS=NS2SO2 entonces CNOFCNOS>NF2FO2NS2SO2, de donde CNOFNF2FO2>CNOSNS2SO2, luego siguiendo el procedimiento anterior y por [Prop. VII.20], se tiene AC2ladorectoZJ2ZJ2>AC2ladorectoVY2VY2, de donde ladorectoVY2VY2>ladorectoZJ2ZJ2.

Finalmente, ya que SO>OC y SH<HC, se tiene SOOC>SHHC, de donde CNSOCNOC>2NOSH2NOHC, y continuando con el procedimiento anterior se llega a ladorectoDE2DE2>ladorectoVY2VY2.

Q. E. D.