Proposición 50

Si el eje transverso de una hipérbola es menor que su lado recto, la diferencia de los cuadrados de estas dos magnitudes es mayor que la de las mismas magnitudes respecto de cualquier diámetro; esta diferencia disminuye a medida que e1 diámetro se aleja de1 eje y es menor que la que hay entre el cuadrado del eje y el rectángulo construido con el eje y su lado recto y mayor que e1 doble de esta diferencia.

Sea AC el eje de la sección ; asegurémonos de CNNA=AOOC=ACladorectoAC , y el resto de la figura es la misma de la proposición anterior .

Entonces, por hipótesis, AC<ladorectoAC, y CNNA=AOOC=ACladorectoAC, y ya que, CN=AO y NA=OC, se tiene AO2NA2=AC2ladorectoAC2, de donde AO2NA2AO2=CNAONA2AO2=AC2ladorectoAC2AC2. Por otra perte, se tiene MO>OA, de donde MONO+MOOA>OANO+MOOA, luego MONA>OAMN. Por tanto MOOA>MNNA, de donde MOOA>MO+MNOA+NA=(MO+MN)NO(OA+NA)NO, luego CNMOCNOA>(MO+MN)NO(OA+NA)NO=(MO+MN)(MNMO)(OA+NA)(NAOA)=MN2MO2NA2OA2. Ya que CNMOMN2MO2=AC2ladorectoKB2KB2 [Prop. VII.20] y como CNOANA2OA2=AC2ladorectoAC2AC2, entonces AC2ladorectoKB2KB2>AC2ladorectoAC2AC2, luego ladorectoKB2KB2<ladorectoAC2AC2. Análogamente se prueba que ladorectoST2ST2<ladorectoKB2KB2.

Por otra parte, tomemos BP=ladorectoBK . Ya que BKladorectoBKBK2=ACladorectoACAC2[Prop. VII.29], entonces BKBPBK2=BK(BK+KP)BK2=BKKP, luego BKKP=ACladorectoACAC2. Por tanto 2BKKP+KP2=2BKKP+KP2+BK2BK2=(BK+KP)2BK2=BP2BK2, de donde BP2BK2=ladorectoBK2BK2>2(ACladorectoACAC2).

Q. E. D.