Si
el eje transverso de una hipérbo1a es menor que e1 otro,
todo diámetro transverso será menor que su conjugado; la razón de
los ejes menor que la de los diámetros y la de un par de diámetros
conjugados menor que la de otro par si el transverso del primer par
está más cerca que el otro del eje transverso de la hipérbola.
Sean AC, PI los ejes de la hipérbola con el eje AC menor que el eje IP , y H el centro . Sean BK, FG dos diámetros cualquiera . Digo que los diámetros BK, FG son menores que los correspondientes diámetros rectos conjugados; que
la razón del eje AC con el eje IP es menor que la razón del diámetro BK con su conjugado, y que la razón del diámetro BK con su conjugado es menor que la relación del diámetro FG con su conjugado.
Hagamos \(\rm \dfrac{CN}{NA} = \dfrac{AC}{lado recto_{AC}}\), y \(\rm \dfrac{AO}{OC} = \dfrac{AC}{lado recto_{AC}}\) ; las rectas OC, AN serán por lo tanto lo que llamamos homólogas.
Tracemos la recta AD paralela a la tangente a la sección en el punto B , y la recta AL paralela a la tangente en el punto F , y desde los puntos D, L, tracemos las rectas DE LM perpendiculares al eje .
Ya que \(\rm \dfrac{CN}{NA} = \dfrac{AO}{OC} = \dfrac{AC}{lado recto_{AC}}\), entonces \(\rm \dfrac{CN}{AC} = \dfrac{CN}{CN+NA} = \dfrac{AO}{AO+OC} = \dfrac{AO}{AC}\), de donde \(\rm CN = AO\), luego \(\rm \dfrac{CN}{NA} = \dfrac{AO}{NA}\).
Por lo tanto, \(\rm \dfrac{BK^2}{diám.conjugado_{BK}^2} = \dfrac{OE}{EN}\) y \(\rm \dfrac{FG^2}{diám.conjugado_{FG}^2} = \dfrac{OM}{MN}\); de modo que, como
\(\rm OE < EN\) y \(\rm OM < MN\) se tiene que \(\rm BK < diám.conjugado_{BK}\) y \(\rm FG < diám.conjugado_{FG}\). Como \(\rm OE = OA+EA\) y \(\rm EN = AN+EA\),
entonces \(\rm \dfrac{OE}{EN} > \dfrac{CN}{NA}\), luego \(\rm \dfrac{BC^2}{diám.conjugado_{BC}^2} > \dfrac{CN}{NA}\).
Ya que los ejes AC e IP son conjugados [Prop. I.16] se tiene que \(\rm IP^2 = AC\cdot lado recto_{AC}\), de donde \(\rm \dfrac{AC^2}{IP^2} = \dfrac{AC}{lado recto_{AC}}\), luego \(\rm \dfrac{AC^2}{IP^2} = \dfrac{CN}{NA}\), por tanto \(\rm \dfrac{AC^2}{IP^2} < \dfrac{BK^2}{diám.conjugado_{BK}^2}\). Así \(\rm \dfrac{AC}{IP} < \dfrac{BK}{diám.conjugado_{BK}}\). Análogamente se tiene \(\rm \dfrac{AC}{IP} < \dfrac{FG}{diám.conjugado_{FG}}\)
Por otro lado, \(\rm OE = OM-ME\) y \(\rm EN = MN-ME\), de donde \(\rm \dfrac{OE}{EN} < \dfrac{OM}{MN}\), de donde \(\rm \dfrac{BK^2}{diám.conjugado_{BK}^2} < \dfrac{FG^2}{diám.conjugado_{FG}^2}\), luego \(\rm \dfrac{BK}{diám.conjugado_{BK}} < \dfrac{FG}{diám.conjugado_{FG}}\).
Q. E. D.