Teorema do trisector de Morley

En xeometría plana, o teorema do trisector de Morley afirma que en calquera triángulo, os tres puntos de intersección dos trisectores angulares adxacentes forman un triángulo equilátero, chamado primeiro triángulo de Morley ou simplemente triángulo de Morley. O teorema foi descuberto en 1899 polo matemático angloamericano Frank Morley. Ten varias xeneralizacións; en particular, se se cortan todos os trisectores, obtéñense outros catro triángulos equiláteros.

 Probas 
Hai moitas probas do teorema de Morley, algunhas delas son moi técnicas. Varias das primeiras probas baseáronse en delicados cálculos trigonométricos. As probas recentes inclúen unha demostración alxébrica de Alain Connes (estendendo o teorema a corpos xerais distintos da característica tres), e a demostración de xeometría elemental de John Conway.   Este último comeza cun triángulo equilátero e mostra que se pode construír arredor del un triángulo que será semellante a calquera triángulo seleccionado. O teorema de Morley non aplica na xeometría esféricaMorley's Theorem in Spherical Geometry, Java applet. e hiperbólica.
dereita|miniatura|480x480px| Figura 1. Demostración elemental do teorema do trisector de Morley
Unha proba usa a identidade trigonométricana que, empregando a identidade da suma de dous ángulos, pódese demostrar que é igual a



A última ecuación pódese verificar aplicando dúas veces a identidade da suma de dous ángulos ao lado esquerdo e eliminando o coseno.

Os puntos  están construídos sobre  como se mostra. Temos , a suma dos ángulos de calquera triángulo, polo que  Polo tanto, os ángulos do triángulo  son  e 

A partir da figuraeTamén da figura



eA lei dos senos aplicada aos triángulos  e  producee
Expresamos a altura do triángulo  de dous xeitos



e



Onde se utilizou a ecuación (1) para substituír  e  nestas dúas ecuacións. Substituíndo as ecuacións (2) e (5) na ecuación con  e as ecuacións (3) e (6) na ecuación con , temos:



e



Xa que os numeradores son iguais



ou



Posto que o ángulo  e o ángulo  son iguais e os lados que forman estes ángulos están na mesma proporción, os triángulos  e  son semellantes.

Os ángulos semellantes  e  igualan , e os ángulos semellantes  e  igualan  Con argumentos similares temos os ángulos base dos triángulos  e 

En particular o ángulo  ven sendo  e pola figura vemos que



Substituindo temos



onde se utilizou a ecuación (4) para o ángulo  e, por conseguinte



Facendo do mesmo xeitoc os outros ángulos do triángulo  vemos que son de 

 Lado e área 
O primeiro triángulo de Morley ten lonxitude de lado 

onde R é o radio circundante do triángulo orixinal e A, B e C son os ángulos do triángulo orixinal. Xa que a área dun triángulo equilátero é  a área do triángulo de Morley pódese expresar como

 Triángulos de Morley 
O teorema de Morley implica 18 triángulos equiláteros. O triángulo descrito no teorema do trisector anterior, chamado primeiro triángulo de Morley, ten como vértices, dados en coordenadas trilineares en relación a un triángulo ABC, do seguinte xeito:

Outro dos triángulos equiláteros de Morley que tamén é un triángulo central chámase segundo triángulo de Morley e vén dado polos seguintes vértices:

O terceiro dos 18 triángulos equiláteros de Morley que tamén é un triángulo central chámase terceiro triángulo de Morley e vén dado polos seguintes vértices:

O primeiro, segundo e terceiro triángulos de Morley son homotéticos por pares. Outro triángulo homotético está formado polos tres puntos X da circunferencia circunscrita do triángulo ABC no que a recta XX − 1 é tanxente á circunferencia, onde X − 1 denota o conxugado isogonal de X. Este triángulo equilátero, chamado triángulo circumtanxente, ten estes vértices:

Un quinto triángulo equilátero, tamén homotético cos outros, obtense facendo xirar o triángulo circumtanxente /6 arredor do seu centro. Chamado triángulo circunnormal, os seus vértices son os seguintes:

Unha operación chamada "extraversión" pódese utilizar para obter un dos 18 triángulos de Morley a partir doutro. Cada triángulo pode ser extravertido de tres formas diferentes; os 18 triángulos de Morley e os 27 pares extravertidos de triángulos forman os 18 vértices e as 27 arestas da grafo de Pappus (debido a Pappus de Alexandría)..

 Centros triangulares relacionados 
Usando os números da Encyclopedia of Triangle Centers (ETC) temos:

O centro de Morley, X(356), centroide do primeiro triángulo de Morley, vén dado en coordenadas trilineares por

O 1º centro de Morley–Taylor–Marr, X(357): O primeiro triángulo de Morley é homólogo ao triángulo  As liñas que conectan cada unha un vértice do triángulo orixinal con cadanseu vértice oposto do triángulo de Morley coinciden no punto

 Notas 


 Véxase tamén 
 Bibliografía 
.
.

.
.
.
.

 Outros artigos 
Trisección do ángulo
Puntos de Hofstadter
Centros de Morley
 Ligazóns externas 
 Morley's Miracle.

Categoría:Xeometría
Categoría:Teoremas
Categoría:Wikipedia:Páxinas con traducións non revisadas