Saltar ao contido

Teorema de Napoleón

Na Galipedia, a Wikipedia en galego.
ABC é calquera triángulo e A', B', C' son os centros dos triángulos equiláteros construídos nos lados de ABC. Daquela A'B'C' é un triángulo equilátero.

O teorema de Napoleón é un teorema de xeometría relativo a triángulos equiláteros construídos a partir de calquera triángulo.

Aínda que tradicionalmente se atribúe a Napoleón Bonaparte (de aí o nome do teorema), non hai probas sólidas de que fose realmente o autor do teorema. O enunciado apareceu realmente en 1825 na revista The Ladies' Diary [1], catro anos despois da morte do emperador.

Enunciado

[editar | editar a fonte]

Teorema de Napoléon


Se construímos tres triángulos equiláteros a partir dos lados de calquera triángulo, todos exteriores ou todos interiores, os centros destes triángulos equiláteros forman un triángulo equilátero.
Neste caso os triángulos equilateros están construídos cara ao interior do triángulo e os seus centros A'B'C' forman igualmente un triángulo equilátero.

Observacións:

  • Por "exterior", debemos entender por exemplo que coas notacións da nosa figura e un marco de referencia orientado, os triángulos ABC e A'BC están en sentidos opostos (na figura superior ABC está no sentido trigonométrico e A'BC no sentido antitrigonométrico), o mesmo acontece para os outros dous. No caso "interior" (segunda figura), teñen o mesmo sentido.
  • Para un triángulo equilátero, por "centro" debemos entender centro de gravidade, é dicir, baricentro, intersección das tres medianas, coincidindo cos centros dos círculos inscritos e circunscritos.

Demostración

[editar | editar a fonte]

Existen múltiples probas do teorema, mediante moi distintas técnicas (ver a ligazón externa de Cut-the-Knot). Aquí preséntanse dúas.

Figura do teorema de Napoleón.

Os triángulos MCL e ACX son semellantes, cunha razón 3. De feito, CA/CM = 3 = CX/CL e os ángulos MĈL e AĈX son iguais. Ou nunha linguaxe máis moderna: pola semellanza directa (composta por unha homotecia e unha rotación) do centro C, dun ángulo ±30 graos (na dirección apropiada) e de razón 3, os puntos M e L convértense respectivamente nos puntos A e X.

Do que se desprende que a lonxitude do segmento AX é igual a 3 veces a de ML.

Ao aplicar o mesmo razoamento aos triángulos NBL e ABX, demostramos que a lonxitude de AX tamén é igual a 3 veces a de NL. Así, ML e NL teñen a mesma lonxitude.

Igualmente demostramos, en comparación con BY, que LM e NM teñen a mesma lonxitude.

En conclusión: NL = ML = NM e o triángulo MNL é equilátero.

Con números complexos

[editar | editar a fonte]

Denotamos ( notación habitual) e empregaremos as notacións da figura.

Proporcionamos ao plano complexo un marco de referencia ortonormal. Sexan a, b, c, l, m e n os respectivos afixos dos puntos A, B, C, L, M e N deste marco de referencia.

Por construción, A é a imaxe de B facendo a rotación con centro N e ángulo , que se traduce en:

Así mesmo:

e tamén

Podemos deducir :

e tamén

Como, por definición, temos , e temos, , daquela:

Dividindo por (1 – j ) obtemos .

O punto M é a imaxe de L pola rotación do centro N e do ángulo polo tanto, NLM é un triángulo equilátero.

Nota: esta demostración segue sendo válida no caso dos triángulos "interiores" mudando algúns signos.

Lema 1


O baricentro do triángulo inicial ABC e do triángulo final LMN coinciden.

Este lema pódese demostrar facilmente usando as notacións da demostración con números complexos:

daí a igualdade para os afixos dos baricentros

Lema 2


A diferenza entre a área do triángulo "exterior" final LMN e a área do triángulo "interior" final L1M1N1 é igual á área do triángulo inicial ABC.

Volvamos ás notacións anteriores, para o triángulo “interior" (observemos de paso que o punto N1 é o simétrica do punto N con respecto ao segmento AB); daquela obtemos:

e sabendo que a área dun triángulo equilátero de lado a pódese obter mediante: e , imos calcular a diferenza:

desenvolvendo e sabendo que

Como , temos:

O resultado anterior é de feito a área (alxébrica) do triángulo cuxos afixos de vértice son a, b e c.

Xeneralizacións

[editar | editar a fonte]

Teorema de Petr-Douglas-Neumann

[editar | editar a fonte]

Se os triángulos isósceles con ángulos ápices están erguidos nos lados dun n-gono arbitrario A0, e se este proceso se repite co n-gono formado polos ápices libres dos triángulos, pero cun valor diferente de k, e así sucesivamente ata que se utilicen todos os valores 1 ≤ kn - 2 (en orde arbitraria), daquela fórmase un n-gono An−2 cuxo centroide coincide co centroide de A0.[2]

Teorema de Napoleón-Barlotti

[editar | editar a fonte]
Teorema de Napoleón-Barlotti para un pentágono

Os centros de n-gonos regulares construídos sobre os lados dun n-gono P forman un n-gono regular se e só se P é unha imaxe afín dun n-gono regular.[3][4]

  1. Rutherford, W. (1825). "Question 1439". The Ladies Diary 122: 47. .
  2. Grünbaum, Branko (1997). "Isogonal Prismatoids". Discrete & Computational Geometry 18: 13–52. doi:10.1007/PL00009307.  Parámetro descoñecido |doi-access= ignorado (Axuda)
  3. A. Barlotti, Intorno ad una generalizzazione di un noto teorema relativo al triangolo, Boll. Un. Mat. Ital. 7 no. 3 (1952) 182–185.
  4. Una proprietà degli n-agoni che si ottengono transformando in una affinità un n-agono regolare, Boll. Un. Mat. Ital. 10 no. 3 (1955) 96–98.

Véxase tamén

[editar | editar a fonte]

Outros artigos

[editar | editar a fonte]

Ligazóns externas

[editar | editar a fonte]