Dos lemas sobre el radio focal

Para referencia posterior, se demuestran aquí dos lemitas sobre el radio focal de una cónica, consecuencias de la demostración presentada en la entrada sobre la normal y los radios focales.
Como en esa entrada, en las siguientes figuras P es un punto de una cónica con foco S y directriz MX.

Lema 1.
El radio focal SP es la media geométrica de MP, distancia de P a la directriz, y de SG, distancia del foco S a la intersección de la normal con el eje. Es decir SG/SP=SP/MP, que es la excentricidad de la cónica.
Porque, por ser PSR recto, la circunferencia de diámetro PR pasa por M y S, y PG es tangente a esa circunferencia. Entonces los ángulos SPG y PMS son iguales. Los ángulos MPS y PSG también son iguales y por tanto los triángulos PSG y MPS son semejantes y MP/SP=SP/SG.


Lema 2.
En la figura PR/SR=PG/SL.
Si SY es perpendicular a la tangente desde el foco, PS/SY = PG/SL.

Los ángulos SPR y SPG son complementarios, porque el ángulo RPG es recto.
Como PSR es recto y PKG también lo es, los triángulos RSP y PKG son semejantes y por tanto PR/SR=PG/PK. Pero vimos que PK=SL, la mitad del lado recto, y por tanto PR/SR=PG/SL.
Los triángulos SYP y PKG también son semejantes, y entonces PS/SY=PG/PK=PG/SL.

Apolonio I.34

Sea AB un diámetro de una cónica central y C un punto de la cónica. Trazamos desde C la ordenada correspondiente al diámetro AB que corta a ese diámetro en un punto D. Si E es un punto de la recta AB, distinto de D, tal que EB/EA=DB/DA (es decir, si ED;AB es una cuaterna armónica de puntos), entonces EC es tangente a la cónica en C.

Esta es la proposición 34 del libro I de las Cónicas de Apolonio. En la proposición I.36 Apolonio concluye que puesto que la tangente en C es única, se cumple la recíproca, es decir si CE es la tangente a una cónica central en C, entonces E,D;A,B es una cuaterna armónica de puntos. (Ya vimos que Apolonio obtiene los resultados correspondientes a la parábola en I.33 y I.35).

Apolonio demuestra la proposición I.34 mostrando que si EA:EB=DA:DB, y desde un punto G de AB, distinto de D, trazamos una ordenada GH, que corta a la cónica en H y a la recta EC en F, entonces GF > GH. Por tanto la recta EC es una tangente.

La demostración de Apolonio usa la proposición I.21 y el hecho de que si X es un punto de un segmento PQ, PX·XQ es máximo cuando X es el punto medio de PQ, que es un corolario de Euclides II.5 o de II.14.

Apolonio establece primero que si N y L son las proyecciones desde C de los puntos D y B sobre
la paralela a la tangente por A, entonces AN=NL. Porque EA/EB=CL/CB=NL/KB y DA/DB=AN/KB y como EA/EB=DA/DB, AN=NL.

Entonces, si O es la proyección desde C sobre AL de un punto G de AB distinto de D, O no es el punto medio de AL y por tanto AN·NL > AO·OL y NL/OL > AO/AN.
Pero NL/OL=KB/BM, y por tanto KB·AN > AO·BM.

Como KB/CE=BD/DE, AN/CE=DA/DE, AO/CE=AG/GE y BM/CE=GB/GE, por
la última desigualdad, BD·DA/DE2 > AG·GB/GE2, es decir GE2/DE2 > AG·GB / AD·DB.

Pero por Apolonio I.21, AG·GB / AD·DB = HG2/CD2, y por tanto GE/DE > HG/CD.

Por semezanza de los triángulos CED y FEG, GE/DE=FG/CD y por tanto FG/CD > HG/CD y FG>HG, y por tanto, concluye Apolonio, la recta EC es tangente en C.

La normal y los radios focales

Demostramos aquí que, en las cónicas, la proyección ortogonal sobre los radios focales del segmento de la normal entre la curva y el eje es constante e igual a la mitad del lado recto.

En la figura, P es un punto de una cónica con focos S’,S ; G es la intersección de la normal en P con el eje, y H,K son los pies de las perpendiculares trazadas desde G sobre las rectas S’P, SP.
Entonces el segmento PK es igual al PH, y esa longitud PK es independiente del punto P y es igual al segmento SL, que es igual a la mitad del lado recto.

Si convertimos la cónica en una parábola cambiando la excentricidad, uno de los focos se mueve al infinito, el correspondiente radio focal se convierte en una paralela al eje, y resulta como corolario que en la parábola el segmento subnormal NG es constante y igual a la mitad del lado recto, resultado que aparece en Apolonio VII.5.

 
Para la demostración usamos la definición de la cónica como el lugar geométrico de los puntos cuyas distancias a un foco S y a una recta directriz MX es constante.

El ángulo PSR es recto, y por tanto la circunferencia de diámetro PR pasa por M y S, y PG es tangente a esa circunferencia.
La circunferencia de diámetro PG pasa por K y por N.
El ángulo KNS es igual al SPG porque los dos son suplementarios del KNG, y el ángulo SPG es igual al PMS porque PG es tangente a la circunferencia PMS. Y como los ángulos PMS y MSX son iguales, el KNS es igual al MSX y las rectas NZ, SM son paralelas y MZ=SN.
Por triángulos semejantes, PK/PZ=SP/PM, y como PZ=SX, PK/SX=SP/PM. Pero por la definición foco-directriz, SL/SX=SP/PM, y por tanto PK=SL, que es la mitad del lado recto.

Usando el otro foco y su directriz correspondiente, simétrica de MX respecto al centro de la cónica, la proyección PH sobre el otro radio focal del segmento PG será también igual a la mitad del lado recto.

Media geométrica focal

Sea un punto P en una cónica con foco F y CD la cuerda de la cónica paralela a la tangente en P y que pasa por el foco F.

Demostramos aquí que si PG es el segmento de la normal en P entre la tangente y el eje, entonces PG es la media geométrica de FC y FD.

La paralela al eje por P corta a la directriz en M, y a la paralela a la normal que pasa por F en el punto E. Entonces PG = EF.
La tangente en P y la cuerda CD cortan a la directriz en R y T.

Como EMT y EFT son rectos E,M,T,F son concíclicos y como PFR es recto, M,P,F,R son concíclicos.
Entonces los ángulos PRF y ETF son iguales porque los dos son iguales al PMF=EMF.
Por tanto los triángulos TEF y RPF son semejantes y EF/ET=PF/PR.

Por la propiedad foco-directriz PF/PR = CF/CT = DF/DT, y como estas razones son iguales a EF/ET, por Euclides VI.3  EC y ED son las bisectrices del ángulo TEF.
Entonces el ángulo CED es recto y, por Euclides II.14, EF = PG es media geométrica de FC y FD.

Una construcción de la osculatriz


Dada una cónica y la tangente en un punto P (que no sea extremo de ejes) podemos obtener el centro de la circunferencia osculatriz en P de la siguiente forma:


Trazamos la simétrica de la tangente respecto a la paralela al eje por P, que cortará a la cónica en un punto K. La cuerda PK es entonces común a la cónica y a la osculatriz en P. (*)


El centro de curvatura N será entonces la intersección de la mediatriz de esa cuerda y de la normal perpendicular a la tangente en P, y la circunferencia con centro N que pasa por P será la osculatriz.

(*) Porque vimos en la entrada anterior que dos cuerdas PK y DE comunes a una cónica y a una circunferencia están igualmente inclinadas respecto al eje de la cónica. Cuando D y E se confunden con P, la cuerda DE se convierte en la tangente en P, la circunferencia que pasa por D,P,E en la circunferencia osculatriz en P, y la cuerda PK en la cuerda común a la cónica y a la osculatriz.



Fuente: G. Salmon. A treatise on conic sections. 1855. Art.247, pag.207.

Cuerdas focales iguales

Dada una cónica y una longitud de una cuerda focal, está dada la razón de los segmentos de la cuerda separados por el foco, porque la media armónica de esos segmentos es fija. Por tanto la figura formada por dos cuerdas focales de la misma longitud tiene un eje de simetria que será el eje de la cónica. (Porque los puntos medios de las cuerdas paralelas PQ y P’Q’ determinan un diámetro de la cónica que es el eje al ser las ordenadas perpendiculares).

Por tanto, en una cónica, si dos cuerdas focales son de la misma longitud, esas cuerdas son simétricas respecto al eje.


Ese resultado nos da el siguiente método para obtener el eje de una cónica a partir de su dibujo:

Leer más