Archivo de la etiqueta: círculo pedal

Geometría Moderna I: Rectas isogonales

Por Rubén Alexander Ocampo Arellano

Introducción

En esta ocasión hablaremos sobre un tipo mas general de pares de rectas que las medianas y simedianas, estas son las rectas isogonales, esto nos permitirá hablar sobre pares de puntos mas generales que el centroide y el punto simediano, nos referimos a los puntos conjugados isogonales y a sus triángulos pedales.

Rectas isogonales

Definición 1. Dos rectas que pasan por el vértice de un ángulo tales que una es la reflexión de la otra respecto a la bisectriz del ángulo, se llaman rectas isogonales.

Teorema 1. Las distancias a los lados de un ángulo desde dos puntos en dos rectas que pasan por el vértice del ángulo son inversamente proporcionales si y solo si las rectas son isogonales.

Demostración. Si AP y AQ son dos rectas isogonales respecto del ángulo BAC, considera Pc, Qc, las proyecciones de P y Q en AB, y Pb, Qb, las proyecciones de P y Q en AC.

Figura 1

Como AP, AQ son isogonales entonces BAP=QAC y tenemos las siguientes semejanzas APPcAQQb, APPbAQQc por lo tanto,
PPcQQb=APAQ=PPbQQc.

◼

Ahora supongamos que las distancias a los lados del ángulo, desde P y Q, son inversamente proporcionales.

Notemos que los cuadriláteros ◻APcPPb, ◻AQcQQb son cíclicos, por lo tanto, los pares de ángulos BAC, PbPPc y BAC, QbQQc son suplementarios, entonces PbPPc=QbQQc.

Por hipótesis tenemos que PPc×QQc=PPb×QQb
PPcQQb=PPbQQc.

Por criterio de semejanza LAL, PPbPcQQcQb,  y como◻APcPPb, ◻AQcQQb son cíclicos, entonces
BAP=PcPbP=QQcQb=QAC.

Por lo tanto AP y AQ son isogonales.

◼

Puntos conjugados isogonales

Teorema 2. Si tres cevianas de un triángulo son concurrentes, entonces sus rectas isogonales respecto de los ángulos del triángulo son concurrentes, los puntos de concurrencia se llaman conjugados isogonales respecto al triángulo considerado.

Si en ABC, AP, BP, CP son tres cevianas concurrentes, consideremos Q la intersección de las isogonales BQ, CQ de BP y CP respectivamente, sean Pa, Pb, Pc; Qa, Qb, Qc, las proyecciones de P y Q en BC, CA y AB respectivamente.

Figura 2

Por el teorema 1, PPaPPc=QQcQQa y PPbPPa=QQaQQb.

Como resultado, PPc×QQc=PPa×QQa=PPb×QQb.

Por el teorema 1, P y Q están sobre rectas isogonales repecto de BAC.

◼

Proposición 1. Dados un ángulo y un punto, la recta que une las proyecciones del punto a los lados del ángulo, es perpendicular a la isogonal a la recta que une el vértice del ángulo con el punto dado.

Demostración. En la entrada simediana probamos la misma proposición, pero para simedianas y medianas, la demostración permanece igual para el caso general.

◼

Corolario. Dados un triángulo ABC y un punto P, las perpendiculares desde los vértices del triángulo a los lados del triángulo pedal de P respecto de ABC, concurren en el conjugado isogonal de P respecto de ABC.

Demostración. Aplicamos la proposición anterior a los tres ángulos del triángulo y recordamos que las tres isogonales a AP, BP y CP son concurrentes (figura 2).

◼

Proposición 2. El conjugado isogonal de un punto respecto a un triángulo es un punto al infinito si y solo si el punto se encuentra en el circuncírculo del triángulo.

Demostración. Sean ABC, y P un punto, recordemos que el triángulo pedal de P respecto de ABC degenera en una recta, la recta de Simson, sí y solo si P esta en el circuncírculo de ABC.

Figura 3

Por la proposición 1, las rectas isogonales a AP, BP, CP, respecto de los ángulos de ABC son perpendiculares a los lados del triángulo pedal, por lo tanto estas rectas son paralelas si y solo si las proyecciones de P en los lados de ABC son colineales.

Ya que las rectas paralelas se intersecan en un punto ideal y las isogonales a AP, BP, CP se intersecan en el conjugado isogonal a P, se tiene el resultado.

◼

Circulo pedal de conjugados isogonales

Proposición 3. Las proyecciones a los lados de un ángulo desde dos puntos en dos rectas isogonales son cíclicos y el centro de la circunferencia es el punto medio entre P y Q.

Demostración. En la demostración del teorema 1, vimos que se tienen la siguientes semejanzas, APPcAQQb, APPbAQQc, es decir,
APcAQb=APAQ=APbAQc
APc×AQc=APb×AQb.

Figura 4

Por el teorema de las cuerdas, ◻PcQbPbQc es un cuadrilátero cíclico.

Por otra parte, en PcQcP, la mediatriz de PcQc es paralela a PcP y pasa por el punto medio de PcQc, por lo tanto pasa por el punto medio de PQc.

En PQcQ la mediatriz de PcQc es paralela a QcQ y pasa por el punto medio de PQc por lo tanto pasa por el punto medio de PQ.

Igualmente vemos que la mediatriz de PbQb pasa por el punto medio de PQ.

Como PcQc y PbQb son cuerdas de la circunferencia sus mediatrices se intersecan en el centro, por lo tanto este coincide con el punto medio de PQ.

◼

Teorema 3. Los triángulos pedales de dos puntos que son conjugados isogonales respecto a un triángulo tienen el mismo circuncírculo y su centro es el punto medio entre los puntos isogonales, esta circunferencia se conoce como circulo pedal de los puntos conjugados isogonales.

Demostración. Sean O el punto medio de PQ y PaPbPc, QaQbQc, los triángulos pedales de P y Q.

Por la proposición anterior, ◻QcPCQbPb es cíclico, con centro en O, ◻QcPcPaQa es cíclico con centro en O, ◻PbPaQaQb es cíclico con centro en O.

Figura 5

Como estas tres circunferencias son concéntricas y tienen el mismo radio, son la misma.

◼

Teorema 4. Dado un triángulo ABC y un punto P, el circuncírculo del triángulo pedal de P respecto de ABC, corta a los lados de ABC en los vértices del triángulo pedal del conjugado isogonal de P respecto a ABC.

Demostración. Si PaPbPc es el triángulo pedal de P (figura 5), sean QaBC, QbCA, QcAB, las otras tres intersecciones de Γ(O), el circuncírculo de PaPbPc con ABC, consideremos Q el conjugado isogonal de P respecto ABC y OMPPa, con MPaQ.

Como OMPPa y pasa por el punto medio de PQ entonces M es el punto medio de PaQ.

Como OMPaQa y pasa por O entonces es la mediatriz de PaQa y por lo tanto biseca a PaQa.

Ya que OM biseca a PaQa y PaQ entonces OMQQa.

Por lo tanto, QQaBC, igualmente vemos que QQbCA, QQcAB.

En consecuencia, QaQbQc es el triángulo pedal de Q.

◼

Proposición 4. Dado un triángulo ABC y un punto P, el centro del circuncírculo del triángulo cuyos vértices son las reflexiones de P respecto de los lados de ABC, es el conjugado isogonal de P respecto de ABC.

Demostración. Sean Pa, Pb, Pc, las respectivas reflexiones de P respecto de BC, CA y AB, considera PaPbPc el triángulo pedal de P respecto de ABC.

Figura 6

Por construcción, P es el centro de homotecia entre PaPbPc y PaPbPc con razón de homotecia 2, por lo tanto, sus respectivos circuncírculos y sus circuncentros también están en homotecia con centro en P y razón 2.

En consecuencia, si O es el circuncentro de PaPbPc, entonces el circuncentro de PaPbPc se encuentra en la reflexión Q, de P respecto de O.

Por el teorema 3, Q el conjugado isogonal de P respecto de ABC.

◼

Triángulo antipedal

Definición 2. Dado un triángulo ABC y un punto P, el triángulo ABC formado por las perpendiculares a AP, BP, CP, por los vértices de ABC se llama triángulo antipedal de P respecto de ABC

Notemos que ABC es el triángulo pedal de P respecto de ABC.

Proposición 5. Sean ABC y P un punto, entonces el triángulo antipedal de P respecto de ABC y el triángulo pedal del conjugado isogonal de P respecto de ABC son homotéticos.

Figura 7

Demostración. Sea Q el conjugado isogonal de P respecto de ABC, consideremos QaBC, QbCA, QcAB, las proyecciones de Q en lados de ABC.

Por la proposición 1, la isogonal CP, de CQ, es perpendicular a QaQb entonces ABQaQb (figura 7).

Igualmente vemos que BCQbQc y CAQcQa.

Por lo tanto, existe una homotecia entre ABC y QaQbQc.

◼

Área del triangulo pedal

Teorema 5, de Euler. Sean ABC y P un punto, considera PaPbPc el triángulo pedal de P respecto de ABC y (O,R) el circuncírculo de ABC, entonces podemos calcular el área de PaPbPc mediante la siguiente formula:
(PaPbPc)=|R2OP2|4R2(ABC).

Demostración. Sean D, E, F las segundas intersecciones de AP, BP, CP con (O,R), veamos que PaPbPc y DEF son semejantes.

Figura 8

Tomando en cuenta que ◻PPcPbA y ◻PBPaPc son cíclicos tenemos:
DFE=DFP+PFE
=DAC+CBE=PAPb+PaBP
=(πPbPcP)+(πPPcPa)
=2πPbPcPa=PaPcPb.

De manera similar vemos que EDF=PbPaPc y FED=PcPbPa, PaPbPcDEF.

Al triángulo DEF se le conoce como triángulo circunscrito de Ceva de P respecto de ABC.

Recordemos que podemos calcular el área de un triángulo como el producto de sus lados entre cuatro veces su circunradio, si Rp es el circunradio de PaPbPc, entonces

(1)(PaPbPc)(ABC)=PaPbAB×PbPcBC×PcPaCA×RRp.

Con el fin de calcular la última ecuación, consideremos los siguientes argumentos.

Como PaPbPcDEF entonces RRp=DEPaPb.

Ya que ◻ABDE es cíclico, entonces PABPED, esto es
PAPE=ABED.

También, como ◻PPcPbA y ◻PBPaPc ◻PPaCPb son cíclicos y aplicando la ley extendida de los senos tenemos,
PbPc=PAsinA y PcPa=PBsinB.

Ahora, aplicamos la ley extendida de los senos en ABC,
sinABC=12R=sinBAC.

Finalmente, la potencia de P respecto de (O,R) es PB×PE=|R2OP2|.

Sustituyendo lo anterior en (1) obtenemos:

(PaPbPc)(ABC)=PaPbAB×PAsinABC×PBsinBCA×DEPaPb
=PEPA×PA×PB(2R)(2R)
=|R2OP2|4R2.

◼

Más adelante…

En la siguiente entrada hablaremos sobre un par de puntos conjugados isogonales en particular, se trata de los puntos de Brocard, que tienen algunas propiedades especiales dentro de un triángulo.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Muestra que:
    i) el ortocentro y el circuncentro de un triángulo son conjugados isogonales,
    ii) el incentro y los excentros de un triángulo son sus propios conjugados isogonales.
  2.  Sea P un punto dentro de un triangulo ABC, considera a Q su conjugado isogonal, muestra que BPC+BQC=π+BAC.
  3. Sean P y Q puntos conjugados isogonales respecto a un triangulo ABC, prueba que AP×AQAB×AC+BP×BQBA×BC+CP×CQCA×CB=1.
  4. Sean ABC y P un punto en su interior, considera PaPbPc el triángulo pedal de P respecto ABC, supón que PaPbPaPc, muestra que el conjugado isogonal de P respecto de ABC es el ortocentro de APbPc.
  5. En la figura 7, muestra que el producto de los triángulos homotéticos es igual al cuadrado del área de ABC.

Entradas relacionadas

Fuentes

  • Altshiller, N., College Geometry. New York: Dover, 2007, pp 267-273.
  • Andreescu, T., Korsky, S. y Pohoata, C., Lemmas in Olympiad Geometry. USA: XYZ Press, 2016, pp 95-108.
  • Lozanovski, S., A Beautiful Journey Through Olympiad Geometry. Version 1.4. 2020, pp 169-176.
  • Johnson, R., Advanced Euclidean Geometry. New York: Dover, 2007, pp 153-157.

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»