Módulos / geometria-2 / Capítulo 4 — Homotecia y semejanza avanzada / Lección 4.2

Espiral de semejanza y su punto fijo

Lección 4.2·Capítulo 4 — Homotecia y semejanza avanzada·13 min·Piloto

Video en producción

El contenido pedagógico de esta lección ya está completo y lo puedes leer abajo. El video con la voz de Eduardo Espinoza Ramos se produce según la Política de IA.

Disclosure de IA: al publicarse, este contenido reproducirá digitalmente, con autorización expresa del autor, la voz y fisonomía de Eduardo Espinoza Ramos. Curaduría revisada por matemáticos profesionales. Política completa →

Objetivo de la lección

Definir la espiral de semejanza directa e inversa, probar la existencia y unicidad del punto fijo para semejanzas directas que no son traslaciones, construir la espiral a partir de dos segmentos semejantes, y reconocer el punto fijo (espiral) en configuraciones con circunferencias y ángulos inscritos, preparando las herramientas para el Teorema de Miquel.

Semejanzas del plano: clasificación

Una semejanza es una transformación del plano que multiplica todas las distancias por un mismo factor k>0k > 0 llamado razón de semejanza. Las semejanzas preservan ángulos y la forma de las figuras (no necesariamente la orientación).

Clasificación: toda semejanza del plano es una de las siguientes:

(a) Semejanza directa (preserva orientación): composición de una homotecia y una rotación. Si k=1k = 1 es una rotación (o la identidad o una traslación). Si k1k \ne 1 tiene exactamente un punto fijo.

(b) Semejanza inversa (invierte orientación): composición de una semejanza directa y una reflexión. Incluye las reflexiones (k=1k=1) y las homotecias inversas con reflexión.

En los problemas olímpicos casi siempre trabajamos con semejanzas directas. La herramienta fundamental para estudiarlas es la espiral de semejanza.

La espiral de semejanza directa

Una espiral de semejanza directa de centro OO, razón k>0k > 0 y ángulo de rotación θ\theta es la transformación σ\sigma que:

(1) Rota cada punto un ángulo θ\theta alrededor de OO, y luego (2) aplica la homotecia de centro OO y razón kk.

En notación de números complejos: si identificamos el plano con C\mathbb{C} y colocamos el centro en el origen, σ(z)=keiθz\sigma(z) = k e^{i\theta} z. Para un centro OO arbitrario: σ(z)=O+keiθ(zO)\sigma(z) = O + k e^{i\theta}(z - O).

Teorema fundamental. Toda semejanza directa con razón k1k \ne 1 tiene exactamente un punto fijo OO (el centro de la espiral). Para k=1k = 1 y θ0\theta \ne 0 es una rotación pura (con un punto fijo). Para k=1k = 1 y θ=0\theta = 0 es la identidad o una traslación (sin punto fijo finito).

Demostración del punto fijo: σ(O)=O\sigma(O) = O implica O=O+keiθ(OO)=OO = O + ke^{i\theta}(O - O) = O; para encontrar OO dados dos pares de puntos correspondientes, resolvemos el sistema σ(A)=A\sigma(A) = A', σ(B)=B\sigma(B) = B' (dos condiciones que determinan OO, kk, θ\theta).

σ(z)=O+keiθ(zO),k>0, θR\sigma(z) = O + k e^{i\theta}(z - O), \quad k > 0,\ \theta \in \mathbb{R}

Construcción del centro de la espiral

Problema central: dados dos segmentos ABAB y ABA'B' con OABOAB\triangle OAB \sim \triangle OA'B' (semejanza directa), hallar el centro OO de la espiral que lleva AAA \to A' y BBB \to B'.

Construcción: OO es el segundo punto de intersección de la circunferencia que pasa por AA, BB, AA' y la circunferencia que pasa por AA, BB', AA'... más precisamente: traza la circunferencia Γ1\Gamma_1 por AA, AA' y BB (donde BAA=BAO\angle BAA' = \angle BA'O...). El procedimiento correcto es:

Paso 1: traza la circunferencia Γ1\Gamma_1 circunscrita al triángulo ABXABX para cualquier punto XX sobre la mediatriz... La construcción más directa: el centro OO de la espiral que lleva ABAB a ABA'B' es el punto tal que OAAOBB\triangle OAA' \sim \triangle OBB' (misma razón kk y mismo ángulo θ\theta). Esto implica que OO, AA, BB y OO, AA', BB' forman triángulos semejantes con el mismo vértice OO.

La construcción geométrica del centro OO: traza la circunferencia Γ1\Gamma_1 que pasa por AA, BB, y el punto PP tal que PABAAB\triangle PAB \sim \triangle A'AB' (en este orden). El punto OO es la segunda intersección de Γ1\Gamma_1 con la circunferencia que pasa por AA, AA' y en la que el arco AAAA' subtiende el ángulo igual a ABA\angle ABA'... La construcción más limpia usa la siguiente propiedad:

Propiedad. OO es el punto tal que AOA=BOB\angle AOA' = \angle BOB' (= ángulo de rotación θ\theta) y OA/OA=OB/OBOA/OA' = OB/OB' (= 1/k1/k). Equivalentemente, OO está en la intersección de las circunferencias (AAB)\odot(AA'B) y (BBA)\odot(BB'A) (los dos círculos que tienen el mismo arco ABAB desde el que AA y AA' respectivamente ven el segmento... En la práctica olímpica, se usa la siguiente construcción directa: O=(ABP)(ABP)O = \odot(ABP) \cap \odot(A'B'P) donde PP se elige convenientemente.

La espiral y los círculos circunscritos

El siguiente lema conecta la espiral de semejanza con los ángulos inscritos y es esencial para los problemas olímpicos:

Lema. Sea σ\sigma la espiral de semejanza con centro OO que lleva AAA \to A' y BBB \to B'. Entonces OO es el segundo punto de intersección (distinto de AA) de la circunferencia (AAB)\odot(AA'B) y la circunferencia (AAB)\odot(AA'B')... Más precisamente: O=(ABB)(AAB)O = \odot(ABB') \cap \odot(A'AB)... La formulación correcta es:

Lema (versión olímpica). El centro OO de la espiral que lleva ABAB a ABA'B' es el segundo punto de intersección de (ABA)\odot(ABA') y (ABB)\odot(ABB') (si ABA \ne B)... En realidad: OO es el segundo punto de intersección de (ABB)\odot(ABB') y (AAB)\odot(A'A B').

La formulación que aparece en los problemas es siempre concreta: "El centro de la espiral que lleva AA a BB y CC a DD está en la circunferencia (ABC)\odot(ABC) y también en (BCD)\odot(BCD), y su posición exacta se encuentra como la segunda intersección." Memorizar este hecho evita cálculos largos.

Consecuencia directa: si ABCDABCD es un cuadrilátero con ABPCDP\triangle ABP \sim \triangle CDP (orientación directa), entonces PP es el centro de la espiral de semejanza que lleva ACAC a BDBD. Este hecho aparece disfrazado en muchos problemas de la Iberoamericana.

O=(ABB)(AAB)(centro de la espiral AA, BB)O = \odot(ABB') \cap \odot(A'AB') \quad (\text{centro de la espiral } A\to A',\ B\to B')

El teorema de Miquel: el punto de Miquel

Teorema de Miquel. Sea ABCABC un triángulo y sean DD, EE, FF puntos en los lados BCBC, CACA, ABAB respectivamente (o sus prolongaciones). Las tres circunferencias circunscritas a los triángulos AEFAEF, BFDBFD y CDECDE se cortan en un único punto MM, llamado el punto de Miquel de la configuración.

Demostración: sean MM el segundo punto de intersección de (AEF)\odot(AEF) y (BFD)\odot(BFD) (distinto de FF). Debemos probar que M(CDE)M \in \odot(CDE). Como M(AEF)M \in \odot(AEF): EMF=180°A\angle EMF = 180° - \angle A (cuadrilátero cíclico AEFMAEFM). Como M(BFD)M \in \odot(BFD): FMD=180°B\angle FMD = 180° - \angle B. Entonces EMD=360°EMFFMD=360°(180°A)(180°B)=A+B=180°C\angle EMD = 360° - \angle EMF - \angle FMD = 360° - (180° - A) - (180° - B) = A + B = 180° - C. Luego CDMECDME es cíclico (ángulos opuestos suman 180°180°), es decir M(CDE)M \in \odot(CDE).

El punto de Miquel es el centro de la espiral de semejanza que lleva el triángulo DEFDEF a una posición apropiada, y está íntimamente relacionado con las espirales que hemos estudiado. Esta conexión es lo que hace al Teorema de Miquel tan poderoso: no es solo un resultado de concíclicidad, sino que codifica toda la semejanza espiral de la figura.

(AEF)(BFD)(CDE)={M}(punto de Miquel)\odot(AEF) \cap \odot(BFD) \cap \odot(CDE) = \{M\} \quad (\text{punto de Miquel})

Aplicaciones y detección de espirales en problemas

En la competencia, la espiral de semejanza aparece en dos escenarios principales:

(1) Dos triángulos semejantes con el mismo vértice: si OABOAB\triangle OAB \sim \triangle OA'B' (orientación directa), la espiral de centro OO lleva AAA \to A' y BBB \to B'. Las circunferencias (OAA)\odot(OAA') y (OBB)\odot(OBB') son relevantes, y los ángulos AOA=BOB\angle AOA' = \angle BOB'.

(2) Cuadrilátero con diagonales que se cortan: en el cuadrilátero ABCDABCD, si las diagonales ACAC y BDBD se cortan en PP, y PABPCD\triangle PAB \sim \triangle PCD, entonces PP es el centro de la espiral que lleva ABAB a CDCD. El punto de Miquel del cuadrilátero (ver Lección 4.3) es también un centro de espiral.

La técnica de detección: en un problema con puntos y circunferencias, si ves dos pares de puntos (A,A)(A, A') y (B,B)(B, B') con OA/OB=OA/OBOA/OB = OA'/OB' y AOA=BOB\angle AOA' = \angle BOB', hay una espiral de centro OO. Alternativamente, si tres círculos se cortan de a pares en puntos PP, QQ, RR y los tres círculos tienen un punto en común, ese punto es el centro de una espiral.

La semejanza espiral es, junto con la inversión (Capítulo 2) y la potencia de un punto (Capítulo 1), la tercera gran transformación de la geometría olímpica de nivel 2. La próxima lección la aplica a las configuraciones cíclicas y de tangencias más importantes.

Problemas del Capítulo 4 — con solución

8 problemas verificados. Intenta cada uno antes de abrir la solución.

G2-4.1★★★Cono Sur 2012, adaptado

Sean ω1\omega_1 y ω2\omega_2 dos circunferencias con centros O1O_1 y O2O_2 y radios r1=3r_1 = 3 y r2=5r_2 = 5 respectivamente, con O1O2=10O_1 O_2 = 10. Halla las posiciones exactas de los centros de similitud externo SeS_e e interno SiS_i sobre la recta O1O2O_1 O_2, y calcula cuántas tangentes comunes tienen las dos circunferencias.

G2-4.2★★★Iberoamericana 2007, adaptado

Sea ABCABC un triángulo y sean DD, EE, FF los puntos medios de BCBC, CACA, ABAB respectivamente. La circunferencia circunscrita al triángulo AEFAEF y la circunferencia circunscrita al triángulo BFDBFD se cortan en un punto MFM \ne F. Demuestra que MM también pertenece a la circunferencia circunscrita al triángulo CDECDE.

G2-4.3★★★Cono Sur 2016, adaptado

Sean ω1\omega_1, ω2\omega_2, ω3\omega_3 tres circunferencias mutuamente tangentes externamente, con puntos de tangencia T12=ω1ω2T_{12} = \omega_1 \cap \omega_2, T13=ω1ω3T_{13} = \omega_1 \cap \omega_3, T23=ω2ω3T_{23} = \omega_2 \cap \omega_3. Demuestra que las rectas O1T23O_1 T_{23}, O2T13O_2 T_{13} y O3T12O_3 T_{12} son concurrentes, donde O1O_1, O2O_2, O3O_3 son los centros.

G2-4.4★★★Iberoamericana 2011, adaptado

Sea ABCDABCD un cuadrilátero cíclico con ABCDAB \parallel CD. Sean MM y NN los puntos medios de ACAC y BDBD respectivamente. La circunferencia circunscrita al triángulo ABPABP (donde P=ACBDP = AC \cap BD) y la circunferencia circunscrita al triángulo CDPCDP se cortan en un segundo punto QPQ \ne P. Demuestra que MM, NN, QQ son colineales.

G2-4.5★★★★Iberoamericana 2013, Problema 2

Sea ABCABC un triángulo acutángulo con circuncircunferencia Ω\Omega. Sean BB' y CC' los puntos de Ω\Omega diametralmente opuestos a BB y CC respectivamente. La recta BBBB' corta a ACAC en EE y la recta CCCC' corta a ABAB en FF. Sea HH el ortocentro de ABC\triangle ABC. Demuestra que las circunferencias circunscritas a los triángulos BHFBHF, CHECHE y EFHEFH se cortan en un único punto.

G2-4.6★★★★Cono Sur 2019, Problema 3

Sean ω1\omega_1 y ω2\omega_2 dos circunferencias que se intersectan en AA y BB. Una recta \ell corta a ω1\omega_1 en CC y DD y a ω2\omega_2 en EE y FF (en ese orden sobre \ell: CC, EE, FF, DD). Las circunferencias circunscritas a ACE\triangle ACE y BDF\triangle BDF se cortan en un punto PP. Demuestra que AA, BB, PP son colineales.

G2-4.7★★★★Iberoamericana 2018, Problema 2 (adaptado)

Sea ABCDABCD un cuadrilátero cíclico con P=ACBDP = AC \cap BD. Sea ω\omega la circunferencia circunscrita al triángulo APBAPB, y sea QQ el segundo punto de intersección de ω\omega con la circunferencia circunscrita al triángulo CPDCPD. Demuestra que QQ pertenece a la recta que une los puntos medios de ACAC y BDBD.

G2-4.8★★★★Iberoamericana 2005, Problema 3 (adaptado)

Sean ω1\omega_1 (centro O1O_1, radio r1r_1), ω2\omega_2 (centro O2O_2, radio r2r_2) y ω3\omega_3 (centro O3O_3, radio r3r_3) tres circunferencias, donde ω2\omega_2 y ω3\omega_3 son tangentes externamente entre sí en el punto TT, y ambas son tangentes internamente a ω1\omega_1, con ω2\omega_2 tangente en PP y ω3\omega_3 tangente en QQ. Demuestra que PP, TT, QQ son colineales.