Mientras resolvía un libro sobre elipses, me encontré con la siguiente propiedad de una elipse que se dio sin prueba:
Si las normales se dibujan en los extremos de una cuerda focal de una elipse, una línea a través de su punto de intersección paralela al eje mayor bisecará la cuerda.
Trabajando con la elipse estándar, es decir,
el punto medio de puntos paramétricos y es
Como la cuerda es una cuerda focal, tenemos la relación que relaciona y , es decir,
Por lo tanto, la línea que pasa por el punto medio paralela al eje mayor es
Pero proceder después de esto (encontrar la intersección de las normales en los puntos paramétricos) se vuelve muy complicado. ¿Existe una forma más inteligente y fácil de probar la propiedad dada que no sea usando la fuerza bruta?
Este ejercicio puede entenderse como una aplicación de un resultado general sobre bisectrices de perímetro de triángulos.
Proposición. Dado con círculo encontrándose con los bordes en , , como se muestra. Si es el punto opuesto en , y si es el punto donde Satisface , entonces
de modo que es la bisectriz del perímetro de .
Prueba de Proposición. Sea la perpendicular a en encuentran las aristas del triángulo en y . Por las propiedades tangentes de las circunferencias tenemos
La Proposición tiene un corolario útil.
corolario _ Dado con incentro y bisectriz del perímetro , si Está encendido tal que , entonces es el punto medio de .
Prueba de Corolario. Los puntos de tangencia del triángulo con su circunferencia separan el perímetro en tres pares de segmentos congruentes, marcados , , . Así, el semiperímetro de es , y desde , resulta que . De este modo, se encuentra entre segmentos congruentes. En , segmento pasa por el punto medio de un lado ( ) y es paralela a otra ( ); necesariamente se encuentra con el tercer lado ( ) en su punto medio, que también debe ser el punto medio de .
Para resolver el problema original, básicamente basta con incrustar el triángulo anterior en una elipse:
En lo anterior, los focos de la elipse son y , y es un acorde a través de este último. La naturaleza fundamental de las elipses implica que sostiene; por lo tanto, es la bisectriz del perímetro de . Además, la propiedad de reflexión de las elipses implica que las normales en y bisecar ángulos y ; por lo tanto, la intersección de estas normales es el incentro de . El resultado se sigue por el Corolario .
A diferencia de la que di en this , esta es una "solución geométrica pura".
La figura se explica por sí misma, pero aún así lo deletrearé:
Los ángulos del mismo color son iguales (disculpe los ángulos rectos de esta regla), pero para aquellos que son daltónicos o que no pueden distinguir los colores, les explicaré qué ángulos son iguales (pueden averiguar por qué):
Como se trata de una elipse,
Usando trigonometría básica, podemos escribir , , y . Ahora reemplazando estos en (i):
Aplicando la regla del seno en :
Aplicando la regla del seno en :
Dividiendo (iii) y (iv), la razón
Ahora, ¿qué te dice el enunciado (ii) sobre esta razón?
Refiriéndose al boceto de G-man,
La prueba está muy cerca de aquí.
Abhishek Bakshi