Dividiendo el eje transverso de una hipérbola en la razón de este eje a su parámetro, de modo que la parte contigua a uno de los extremos del eje corresponda al parárrletro, y trazando desde este extremo una recta a un punto cualquiera de la cónica desde el cual se baja la perpendicular al eje, el cuadrado de esa recta será al rectángulo cuyos lados sean los segmentos comprendidos entre la perpendicular y los extremos de la parte del eje correspondiente al lado recto como el eje transverso a la otra parte del eje. Llamaremos recta homóloga a la parte del eje correspondiente al lado recto.

Sea ACE el eje prolongado de una hipérbola Paso 1; CD su figura característica Paso 2, H un punto de AC tal que \(\rm \dfrac{CH}{HA} = \dfrac{CA}{AD}\) Paso 3. Desde el punto A, tracemos cualquier recta AB Paso 4y tracemos la recta BE perpendicular al eje Paso 5. Digo que \(\rm \dfrac{AB^2}{HE\cdot EA} = \dfrac{AC}{CH}\).

Hagamos \(\rm AE\cdot EF = BE^2\), de donde \(\rm \dfrac{AE\cdot EF}{AE\cdot EC} = \dfrac{BE^2}{AE\cdot EC}\). Ya que \(\rm \dfrac{BE^2}{AE\cdot EC} = \dfrac{AD}{AC}\) [Prop. I.12], entonces \(\rm \dfrac{EF}{EC} = \dfrac{AE\cdot EF}{AE\cdot EC} = \dfrac{AD}{AC}\). Como, por hipótesis, \(\rm \dfrac{AH}{HC} = \dfrac{AD}{AC}\), entonces \(\rm \dfrac{FC}{EC} = \dfrac{EF+EC}{EC} = \dfrac{AH+HC}{HC} = \dfrac{AC}{HC}\), luego \(\rm \dfrac{FA}{HE} = \dfrac{FC-AC}{EC-HC} = \dfrac{AC}{HC}\), por tanto \(\rm \dfrac{FA\cdot AE}{HE\cdot AE} = \dfrac{AC}{HC}\). Ya que \(\rm FA\cdot AE = (AE+EF)AE = AE^2+ AE\cdot EF = AE^2+BE^2 = AB^2\), entonces \(\rm \dfrac{AB^2}{HE\cdot AE} = \dfrac{AC}{HC}\).

Q. E. D.