Módulos / geometria-2 / Capítulo 3 — Circunferencias especiales: incircunferencia, circuncircunferencia, exinscriptas / Lección 3.1

Incircunferencia y exinscriptas: propiedades y fórmulas

Lección 3.1·Capítulo 3 — Circunferencias especiales: incircunferencia, circuncircunferencia, exinscriptas·12 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

Dominar las propiedades de la incircunferencia y las tres exinscriptas de un triángulo: posición del incentro, fórmulas para el inradio y los exradios en términos de $a$, $b$, $c$ y $s$, longitudes de las tangencias, y las relaciones entre el incentro y los excentros.

El incentro y la incircunferencia

Dado un triángulo ABCABC con lados a=BCa = BC, b=CAb = CA, c=ABc = AB, semiperímetro s=(a+b+c)/2s = (a+b+c)/2 y área [ABC][ABC], el incentro II es el punto de concurrencia de las tres bisectrices internas. Su existencia y unicidad se demuestran mediante la propiedad de que todo punto de una bisectriz equidista de los dos lados que bisecta: el incentro equidista de los tres lados simultáneamente.

La incircunferencia (o círculo inscrito) ω\omega tiene centro II y radio rr (el inradio) dado por la fórmula fundamental:

Demostración: el área del triángulo ABCABC se descompone como la suma de las áreas de IBC\triangle IBC, ICA\triangle ICA, IAB\triangle IAB. Cada uno tiene base aa, bb, cc respectivamente y altura rr (la distancia del incentro al lado). Por tanto [ABC]=r2(a+b+c)=rs[ABC] = \frac{r}{2}(a+b+c) = rs.

Las tangencias de ω\omega con los lados son los puntos XX en BCBC, YY en CACA, ZZ en ABAB. Como las dos tangentes desde un punto exterior a un círculo son iguales, se tiene: AY=AZ=saAY = AZ = s - a, BZ=BX=sbBZ = BX = s - b, CX=CY=scCX = CY = s - c. Estas longitudes son fundamentales en los problemas olímpicos.

r=[ABC]sr = \frac{[ABC]}{s}

Las tres exinscriptas

Para cada vértice AA existe una circunferencia tangente al lado BCBC y a las prolongaciones de ABAB y ACAC: esta es la **exinscrita opuesta a AA, también llamada excírculo AA**, con centro IAI_A (el excentro opuesto a AA) y radio rAr_A (el exradio opuesto a AA).

El excentro IAI_A es la intersección de la bisectriz interna del ángulo AA con las bisectrices externas de los ángulos BB y CC. En otras palabras: IAI_A equidista de la recta BCBC y de las rectas que contienen a ABAB y ACAC, pero está del lado externo respecto de BB y CC.

Los exradios se calculan con las fórmulas:

rA=[ABC]sar_A = \frac{[ABC]}{s - a}, rB=[ABC]sb\quad r_B = \frac{[ABC]}{s - b}, rC=[ABC]sc\quad r_C = \frac{[ABC]}{s - c}.

Demostración de rAr_A: el área [ABC][ABC] se puede expresar como [IABC][IACA][IAAB][I_A BC] - [I_A CA] - [I_A AB] (el triángulo grande IABCI_ABC menos los dos triángulos adyacentes a IAI_A fuera de ABCABC). Cada triángulo IAXYI_A XY tiene altura rAr_A desde IAI_A al lado correspondiente. Entonces [ABC]=rA2(abc)+rA22b+rA22c[ABC] = \frac{r_A}{2}(a - b - c) + \frac{r_A}{2} \cdot 2b + \frac{r_A}{2} \cdot 2c... El argumento correcto es: [ABC]=[IACA]+[IAAB][IABC][ABC] = [I_ACA] + [I_AAB] - [I_ABC], que da [ABC]=rA2(b+ca)=rA(sa)[ABC] = \frac{r_A}{2}(b + c - a) = r_A(s - a).

rA=[ABC]sa,rB=[ABC]sb,rC=[ABC]scr_A = \frac{[ABC]}{s-a}, \quad r_B = \frac{[ABC]}{s-b}, \quad r_C = \frac{[ABC]}{s-c}

Tangencias de las exinscriptas

La exinscrita ωA\omega_A (radio rAr_A, centro IAI_A) toca a BCBC en el punto XX', a la prolongación de CACA más allá de AA en el punto YY', y a la prolongación de BABA más allá de AA en ZZ'. Las longitudes de tangencia son:

BX=BZ=scBX' = BZ' = s - c, CX=CY=sb\quad CX' = CY' = s - b, AY=AZ=s\quad AY' = AZ' = s.

Observación crucial: AY=AZ=sAY' = AZ' = s. Este hecho —que la tangente desde AA a la exinscrita opuesta a AA tiene longitud ss— es la clave de muchos problemas que involucran exinscriptas. Compáralo con la incircunferencia: AY=AZ=saAY = AZ = s - a.

La diferencia BXBX=(sc)(sb)=bcBX' - BX = (s-c) - (s-b) = b - c codifica la "asimetría" del triángulo. En un triángulo isósceles (b=cb = c) los puntos de tangencia de ω\omega y ωA\omega_A en BCBC coinciden.

Las cuatro circunferencias ω\omega, ωA\omega_A, ωB\omega_B, ωC\omega_C y los cuatro puntos II, IAI_A, IBI_B, ICI_C forman el sistema excíclico del triángulo. Una propiedad notable: IAIBIC\triangle I_A I_B I_C tiene a II como ortocentro, y ABC\triangle ABC es el triángulo ótico de IAIBIC\triangle I_A I_B I_C.

Fórmulas métricas del incentro y los excentros

Las distancias del incentro a los vértices son:

IA=rsin(A/2)IA = \frac{r}{\sin(A/2)}, IB=rsin(B/2)\quad IB = \frac{r}{\sin(B/2)}, IC=rsin(C/2)\quad IC = \frac{r}{\sin(C/2)}.

Esto se obtiene del triángulo AIZAIZ (donde ZZ es la tangencia en ABAB): AIZ=90°\angle AIZ = 90°, IZ=rIZ = r, IAZ=A/2\angle IAZ = A/2, luego AI=r/sin(A/2)AI = r / \sin(A/2).

Una fórmula alternativa muy útil combina el inradio con los ángulos: r=4Rsin(A/2)sin(B/2)sin(C/2)r = 4R \sin(A/2) \sin(B/2) \sin(C/2), donde RR es el circunradio. Esta identidad conecta las dos circunferencias más importantes del triángulo y tiene muchas aplicaciones en persecución de ángulos.

Para los exradios: rA=4Rsin(A/2)cos(B/2)cos(C/2)r_A = 4R \sin(A/2) \cos(B/2) \cos(C/2). El patrón es claro: en rAr_A, los factores correspondientes a BB y CC cambian de sin\sin a cos\cos, porque la exinscrita opuesta a AA está asociada a las bisectrices externas de BB y CC.

Identidades de producto: rrArBrC=[ABC]2r \cdot r_A \cdot r_B \cdot r_C = [ABC]^2. Y rA+rB+rCr=4Rr_A + r_B + r_C - r = 4R. Estas relaciones numéricas son de memorización obligatoria para competencias del nivel Iberoamericano.

rrArBrC=[ABC]2,rA+rB+rCr=4Rr \cdot r_A \cdot r_B \cdot r_C = [ABC]^2, \qquad r_A + r_B + r_C - r = 4R

Relaciones entre el incentro y los excentros

Los cuatro puntos II, IAI_A, IBI_B, ICI_C son los vértices del triángulo excíclico. Sus propiedades más importantes:

(1) II, IAI_A son armónicamente conjugados respecto de los pies de las bisectrices internas y externas de A\angle A. En otras palabras, II e IAI_A están en la bisectriz de A\angle A, con BB y CC separándolos de manera armónica.

(2) Los ángulos del triángulo IIBICII_BI_C: IBIIC=90°A/2\angle I_B I I_C = 90° - A/2. Esto implica que el triángulo cuyos vértices son IBI_B e ICI_C y el punto medio del arco BCBC de la circuncircunferencia tiene propiedades importantes de concurrencia.

(3) Configuración ortocéntrica: IAIBIC\triangle I_A I_B I_C tiene a II como su ortocentro. Las alturas de IAIBIC\triangle I_A I_B I_C son las bisectrices de ABC\triangle ABC. Esto significa que todo resultado sobre el ortocentro de un triángulo se puede "dualizar" a un resultado sobre el incentro de otro triángulo.

(4) Propiedad del eje radical: el eje radical de ω\omega y ωA\omega_A es la recta IBICI_B I_C (que pasa por el punto medio del arco BCBC sin AA de la circuncircunferencia y por otros puntos notables). Esta conexión con la Potencia de un Punto (Capítulo 1) es la que hace al sistema excíclico tan poderoso.

Síntesis y herramientas para la competencia

Las cuatro herramientas de esta lección que más aparecen en problemas Iberoamericanos y Cono Sur son:

(1) Tangencias: AY=AZ=saAY = AZ = s-a, AY=AZ=sAY' = AZ' = s. Permiten calcular segmentos sin trigonometría.

(2) Fórmulas del área: [ABC]=rs=rA(sa)=rB(sb)=rC(sc)[ABC] = rs = r_A(s-a) = r_B(s-b) = r_C(s-c). Conectan el inradio/exradios con el área.

(3) Relación r=4Rsin(A/2)sin(B/2)sin(C/2)r = 4R\sin(A/2)\sin(B/2)\sin(C/2). Conecta la incircunferencia con la circuncircunferencia; se usa para demostrar que ciertos puntos son concíclicos.

(4) Estructura ortocéntrica de IAIBIC\triangle I_A I_B I_C. Convierte problemas sobre el incentro en problemas sobre el ortocentro de otro triángulo, que a veces son más accesibles.

En la siguiente lección encontramos el resultado más profundo que conecta la incircunferencia con otra circunferencia del triángulo: el punto de Feuerbach y la circunferencia de los nueve puntos.

Problemas del Capítulo 3 — con solución

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

G2-3.1★★

En el triángulo ABCABC con a=5a = 5, b=7b = 7, c=8c = 8, calcula: (a) el semiperímetro ss, (b) el área [ABC][ABC], (c) el inradio rr, (d) el exradio rAr_A opuesto a AA, y (e) las longitudes AZAZ, BXBX, CXCX de las tangencias de la incircunferencia.

G2-3.2★★

En el triángulo ABCABC, la incircunferencia ω\omega toca al lado BCBC en XX. Demuestra que BX=sbBX = s - b (donde ss es el semiperímetro y b=CAb = CA), usando únicamente propiedades de las tangentes desde un punto exterior a una circunferencia.

G2-3.3★★★

Sea II el incentro del triángulo ABCABC con circunradio RR e inradio rr. Demuestra la fórmula de Euler: OI2=R22RrOI^2 = R^2 - 2Rr, donde OO es el circuncentro.

G2-3.4★★★Cono Sur 2010, adaptado

Sea ABCABC un triángulo con incentro II. Sea MM el punto medio del arco BCBC que no contiene a AA en la circuncircunferencia de ABCABC. Demuestra que MM, II, AA son colineales.

G2-3.5★★★Iberoamericana 2009, adaptado

Sea ABCDABCD un cuadrilátero cíclico con AB=CDAB = CD. Sea II el incentro del triángulo ABCABC y JJ el incentro del triángulo ACDACD. Demuestra que ABJIABJI es un trapecio isósceles.

G2-3.6★★★★Iberoamericana 2003, Problema 1

Sea ABCABC un triángulo con A=60°\angle A = 60°. Sea II el incentro y OO el circuncentro. Demuestra que IO=OArIO = OA - r, donde rr es el inradio y OA=ROA = R es el circunradio. (En otras palabras, OI=R2rOI = R - 2r cuando A=60°A = 60°.)

G2-3.7★★★★Cono Sur 2018, adaptado

Sea ABCABC un triángulo con incircunferencia ω\omega tangente a BCBC en XX. Sea MM el punto medio de BCBC. Demuestra que MX=bc/2MX = |b - c|/2, donde b=CAb = CA y c=ABc = AB.

G2-3.8★★★★Iberoamericana 2015, Problema 2 (adaptado)

Sea ABCABC un triángulo acutángulo con ortocentro HH y circuncentro OO. Sean MAM_A, MBM_B, MCM_C los puntos medios de los lados BCBC, CACA, ABAB respectivamente. Sea HAH_A el pie de la altura desde AA. Demuestra que OO, HAH_A y MBMCM_B M_C (el punto medio de MBMCM_B M_C) son colineales.