Proposición 45

Si el eje transverso de una hipérbola es menor que su lado recto y su cuadrado no es menor que la mitad del de la diferencia entre dicho eje y su lado recto, la suma de los cuadrados de estas dos magnitudes es menor que la de las de las análogas respecto de un diámetro.

Mantengamos la figura de la cuadragésima segunda proposición , y asegurémonos de que CNNA=AOOC=ACladorectoAC . Entonces CNAC=CNCN+NA=AOAO+OC=AOAC, de donde AO=CN, luego AONA=ACladorectoAC. Por tanto AONAAO=AONO=ACladorectoACAC, de donde AO2NO2=AC2(ladorectoACAC)2, luego 2AO2NO2=2AC2(ladorectoACAC)2. Como, por hipótesis, AC212(ladorectoACAC)2, entonces 2AO2geqNO2.

Tracemos diámetros KB, ST de la sección ; tracémosles las paralelas CD, CL , y tracemos las rectas DE, LM perpendiculares al eje . Ya que MO>AO, entonces MOAO>NO2, de donde 2MOAO+2NAAO>NO2+2NAAO, luego 2(MO+ON+AO)AO>NA22NAAO+AO2+2NAAO. Por tanto 2(MN+AO)AO>NA2+AO2. Entonces MAAO=2(MN+AO)MA2(MN+AO)AO<2(MN+AO)MANA2+AO2, de donde MA+AOAO=MOAO<2(MN+AO)MA+NA2+AO2NA2+AO2. Ya que 2(MN+AO)MA+NA2+AO2=2(MA+NA+AO)MA+NA2+AO2=2MA2+2MAAN+2MAAO+NA2+AO2=MA2+2MAAN+NA2+MA2+2MAAO+AO2 =(MA+AN)2+(NA+AO)2==MN2+MO2, entonces MOAO=MN2+MO2NA2+AO2, de donde CNMOCNAO<MN2+MO2NA2+AO2, luego CNMOMN2+MO2<CNAONA2+AO2. Se tiene AC2KB2+ladorectoKB2=CNMOMN2+MO2 [Prop. VII.19], mientras que la relación ACladorectoAC=CNNA=AOOC da AC2AC2+ladorectoAC2=AO2NA2+AO2=CNAONA2+AO2, luego AC2KB2+ladorectoKB2<AC2AC2+ladorectoAC2. Por tanto KB2+ladorectoKB2>AC2+ladorectoAC2.

Por otra parte 2MO2>ON2, de donde 2EOMO>ON2, luego de manera análoga se obtiene que ST2+ladorectoST2>KB2+ladorectoKB2.

Q. E. D.