Si
desde un punto de una hipérbola, una elipse o una circunferencia se traza de una manera ordenada una recta sobre el diámetro y los segmentos del lado transverso tienen
la misma razón que las rectas determinadas por aquellas, a partir de los extremos del lado transverso, de tal modo que los extremos situados del lado del vértice sean homólogos,
la recta que une el punto del lado con el tomado en la curva será tangente a esta.
Sea una hipérbola, una elipse o una circunferencia de diámetro AB ,
y tomemos un punto G en la sección, y desde G tracemos GD como ordenada de manera que \(\rm\dfrac{BE}{EA} = \dfrac{BD}{DA}\) ,
y tracemos la recta de unión EG .
Digo que GE es tangente a la sección.
Supongamos que EGZ la corta y tomemos un punto Z en esta recta
y tracemos la recta HZQ como ordenada ,
y tracemos desde A y B paralelas AL y BK a EG ,
y tracemos las rectas de unión DG, BG y HG
y prolonguémoslas hasta K, C y M .
El punto E es elegido tal que \(\rm \dfrac{BE}{EA} = \dfrac{BD}{DA}\). Como, por semejanza de triángulos, \(\rm \dfrac{BK}{AN} = \dfrac{BD}{DA}\) y \(\rm \dfrac{BG}{GC} = \dfrac{BK}{CN} = \dfrac{BE}{EA}\) [Euclides:Prop. VI.4], así \(\rm \dfrac{BK}{NC} = \dfrac{BK}{AN}\), de donde AN=NC.
Se tiene \(\rm AN^2-NO^2=(AN+NO)(AN-NO)\), y como AN=NO, entonces \(\rm AN\cdot NC-NO^2=AO\cdot OC\), de donde
\(\rm AN\cdot NC > AO\cdot OC\).
Así \(\rm \dfrac{NC}{CO} > \dfrac{OA}{AN}\).
Pero, por semejanza de triángulos, \(\rm \dfrac{KB}{NC} = \dfrac{BG}{GC} = \dfrac{BM}{CO}\), de donde
\(\rm \dfrac{KB}{BM} = \dfrac{NC}{CO}\). Por tanto \(\rm \dfrac{KB}{BM} > \dfrac{OA}{AN}\), de donde
\(\rm KB\cdot AN > MB\cdot OA\), luego \(\rm \dfrac{KB\cdot AN}{GE^2} > \dfrac{MB\cdot OA}{GE^2}\).
Pero, por semejanza de triángulos, \(\rm \dfrac{DB}{DA} = \dfrac{KB}{AN}\), de donde \(\rm \dfrac{DB\cdot DA}{DA^2} = \dfrac{KB\cdot AN}{AN^2}\), y ya que \(\rm \dfrac{DA}{DE} = \dfrac{AN}{EG}\), entonces \(\rm \dfrac{DB\cdot DA}{DE^2} = \dfrac{KB\cdot AN}{EG^2}\).
También, \(\rm \dfrac{BH}{HA} = \dfrac{MB}{AO}\), de donde \(\rm \dfrac{BH\cdot HA}{HA^2} = \dfrac{MB\cdot AO}{AO^2}\), y ya que
\(\rm \dfrac{HA}{HE} = \dfrac{AO}{EG}\), entonces \(\rm \dfrac{BH\cdot HA}{HE^2} = \dfrac{MB\cdot AO}{EG^2}\).
Por tanto, \(\rm \dfrac{BD\cdot DA}{DE^2} > \dfrac{BH\cdot HA}{HE^2}\), de donde \(\rm \dfrac{BD\cdot DA}{BH\cdot HA} > \dfrac{DE^2}{HE^2}\).
Pero \(\rm \dfrac{GD^2}{HQ^2} = \dfrac{BD\cdot DA}{BH\cdot HA}\)
[Prop. I.22], y, por semejanza de triángulos, \(\rm \dfrac{GD^2}{ZH^2} = \dfrac{DE^2}{HE^2}\),
luego \(\rm \dfrac{GD^2}{HQ^2} > \dfrac{GD^2}{ZH^2}\). Por tanto, \(\rm HQ > ZH\), lo que es absurdo.
Así EG no corta a la sección. Así es tangente.
Q. E. D.
Ir a Comentario de Eutocio