Es un hecho bien conocido (con la prueba que se describe en los comentarios a continuación de la pregunta) que
|PD|+|PE|+|PF|=height of triangle
de modo que el numerador de la meta de relación es independiente de P. Es quizás menos conocido que
|AF|+|BD|+|CE|=|FB|+|DC|+|EA|=semi-perimeter of triangle(⋆)
que efectivamente resuelve el problema.
Yo no era consciente de esta segunda relación, así que me decidí a probarlo por (re-)derivar una Ceva-como el teorema de caracterizar, no rectas concurrentes a través de un triángulo de vértices (aka, "cevians"), pero simultáneas perpendiculares a un triángulo bordes (aka ... um ... "orthians"? porque son ortogonales?); el teorema dice esto:
Ortha del Teorema. Orthians en los puntos D, E, F en los respectivos lados BC, CA, AB de △ABC coinciden si y sólo si |AF|2+|BD|2+|CE|2=|FB|2+|DC|2+|EA|2
Antes de demostrar este teorema, vamos a ver cómo se muestra el (⋆).
Escrito s:=|AB|=|BC|=|CA| en nuestro triángulo equilátero, tenemos
|FB|=s−|AF||DC|=s−|BD||EA|=s−|CE|
Ya sabemos que el orthians en D, E, F se reúnen en P, podemos invocar el "sólo si" aspecto de Ortha del Teorema a la conclusión de
|AF|2+|BD|2+|CE|2=(s−|AF|)2+(s−|BD|)2+(s−|CE|)2
de dónde
0=s(3s−2(|AF|+|BD|+|CE|))
así que (para los no-cero s)
|AF|+|BD|+|CE|=32s=semi-perimeter of △ABC
Prueba de Ortha del Teorema. Orthians en puntos de E F definitivamente de acuerdo; llame a su punto común P.
![Ortha's Theorem proof]()
(A pesar de las apariencias en la imagen, B, P, y E no son (necesariamente) colineales; de la misma manera C, P, F ... o A, P, D, para que la materia.)
Entonces ...
PD⊥BC⟺|PB|2−|BD|2=|PC|2−|DC|2(1)⟺|PF|2+|FB|2−|BD|2=|PE|2+|CE|2−|DC|2⟺|PA|2−|AF|2+|FB|2−|BD|2=|PA|2−|EA|2+|CE|2−|DC|2⟺|AF|2+|BD|2+|CE|2=|FB|2+|DC|2+|EA|2◻
(En (1), "⇒ " de la parte es clara, ya que cada lado de la ecuación da |PD|2. El "⇐" la parte que sigue de un poco más de esfuerzo, que se deja para el lector. Tenga en cuenta que sólo el "⇒" parte necesaria para mostrar (⋆).)
Sospecho que este teorema debe ser conocida en la literatura. (Por supuesto, yo inventé el nombre de "Ortha" como una construcción de mi palabra inventada "orthian", para imitar la conexión entre "Ceva" y "cevian".) Vamos a pensar en ello, el resultado es equivalente a la ecuación de (⋆⋆⋆) en esta respuesta mía de hace un par de meses que generaliza del teorema de Ceva a las líneas arbitrarias reunión de un triángulo. Así que, supongo que mi sospecha es que este teorema debe ser conocido en algún otro lugar en la literatura.