1

TEOREMA DE MORLEY
Prof. Juan Manuel Conde
Departamento de Anlisis Matemtico.
Universidad de Alicante

Un resultado de geometra elemental inesperado y sorprendente, descubierto en 1904
por el gemetra anglo-americano Frank Morley (1860-1937), afirma, que si se dividen
en tres partes iguales los ngulos interiores de un tringulo cualquiera, mediante pares
de semirrectas que parten de cada vrtice, entonces los pares de semirrectas adyacentes
a cada lado, determinan tres puntos que son los vrtices de un tringulo que siempre es
equiltero.

Este teorema, comentado de manera informal por F. Morley a sus amigos de
Cambridge, no se public hasta 20 aos ms tarde de su descubrimiento. Fue en la
revista japonesa de Educacin Secundaria Journal of the Mathematical Association of
Japn for the Secondary Education. (Nmero 6, diciembre de 1924, pp.260-262).

Morley fue una persona notable. Aunque pas los ltimos 50 aos de su vida en Estados
Unidos (la mayora en la universidad de Johns Hopkins) nunca renunci a su
nacionalidad britnica. Adems de ser un matemtico de primera fila era un excelente
jugador de ajedrez y tuvo el honor de vencer a Emmanuel Lasker cuando era campen
del mundo.

Este teorema tambin fue redescubierto y presentado como un problema en la revista
Mathematical Questions and Their Solutions from the Educational Times (New
Series), 15 (1909) pp.47. (*)

Al final de este artculo se adjunta la traduccin de la carta que F. Morley envo al
profesor japons T. Hayasi, para interesarle por la publicacin de este teorema.
Tambin se aaden unos comentarios de Leon Bankoff, sobre las distintas formas en
que se ha ido demostrando este teorema.

Se conjetura que posiblemente este teorema se les escap a los griegos al no poder
resolver en general el problema de la triseccin de un ngulo con regla y comps. Una
identificacin errnea de no constructibilidad con no existencia.

Aqu presentamos varias demostraciones de este notable teorema, de las numerosas
que se han ido incorporando a lo largo de todo este tiempo.
Es necesario adems, citar otras dos demostraciones, una de geometra elemental de
M.T. Naraniengar de 1909, que posteriormente redescubri en 1622 J.M. Child (A
proof. of Morleys theorem, Math. Gaz. (1922) 171 y otra trigonomtrica de M.
Satyanarayana, aparecidas a los diez aos de descubrirse este teorema. La primera
puede encontrarse en (*) y en el libro Geometry Revisited de H.S.M.Coxeter
publicado por la M.A.A. (pp. 47-49) y la segunda por el mismo autor, en el libro
Fundamentos de Geometra de Limusa Willey (pp. 47-48).


Enunciado del Teorema de Morley:

Los tres puntos interseccin de las trisectrices adyacentes de los ngulos de un
tringulo cualquiera forman un tringulo equiltero.

2



DEMOSTRACIN DE A. ROBSON.

Se reproduce la demostracin de A. Robson que fue publicada en The Mathematical
Gazette 11 (1922-1923), pp. 310-311.
Esta prueba de Robson es una de las demostraciones ms cortas conocidas y una de las
mejores.

Consideremos un tringulo ABC y las dos trisectrices de cada ngulo. Las trisectrices
de B cortan a las correspondientes a C en P y , L y las trisectrices de A cortan a BL
y CL respectivamente en R y . Q

Adems BRL corta a AQ en , U AQ corta a BP
en , N AQ corta a CP en , V CP corta a AR en
M y QM corta a RN en . O
Entonces BP y BL son isogonales y por tanto
tambin CP y . CL Se deduce as que:
i) AP y AL son isogonales.
ii) El haz ( ) A BRLU es igual al haz ( ). A CVPM
iii) Los siguientes tres haces son iguales:
( ) ( ) ( ). N BRLU Q CVPM Q PMCV = =
Y estas tres ltimas proyectividades tienen un rayo comn y por tanto sus
correspondientes rayos tienen intersecciones colineales; es decir , , P O L son colineales.

Como R est en el incentro de
1
, 90 .
3
ANB ARN B = + Anlogamente como Q est
en el incentro de
1 1
, 90 .
3 3
AMC RMQ A C = La diferencia entonces es
60 . ROM = De manera similar los otros ngulos en O son 60 . Los tringulos ORL
y OQL son congruentes porque tienen una base comn y ngulos iguales que forman
con los otros lados. Por el mismo motivo son congruentes los tringulos ORL y OQL y
tambin son congruentes los tringulos PRL y PQL.


Observaciones de Dan Pedoe a la prueba de Robson :

1. La demostracin utiliza la idea de rayos isogonales. Si dos rayos (semirrectas) parten
del mismo vrtice de un ngulo y forman ngulos iguales con los lados se denominan
rayos isogonales. Y son simtricos respecto de la bisectriz interior del ngulo.

2. El resultado que emplea Robson de isogonales es:
Si tres semirrectas trazadas cada una desde un vrtice de un tringulo son concurrentes,
entonces sus tres rectas isogonales son tambin concurrentes.

3. Robson utiliza luego la idea de haces proyectivos, haces con igual razn doble, y
tambin el teorema que afirma que si dos haces proyectivos tienen un rayo comn,
entonces las tres intersecciones e los correspondientes rayos son colineales.
3


4. Y por ltimo Robson hace uso del teorema que permite intercambiar en una razn
doble un par de elementos con otro par sin que se altere el valor de la razn doble.

La demostracin de Robson es tan corta como uno puede desear y evita elaborar
construcciones iniciales, aunque quiz no todos querran llamarla una prueba elemental.


DEMOSTRACIN GEOMTRICA ELEMENTAL DE DAN SOKOLOWSKY.

El teorema se demuestra como consecuencia de un lema sencillo que se establecer ms
adelante, pero primeramente se indicar como se llega al lema pues esto demostrar al
mismo tiempo como el teorema de Morley es un corolario del mismo.

En el tringulo , ABC denotamos por
s
V la trisectriz del ngulo V adyacente al lado , s
donde , , V A B C = y , , . s a b c =

Las trisectrices ,
a a
B C se cortan en X y las trisectrices ,
c b
B C se encuentran en . R
Entonces X es el incentro de del tringulo , RBC que est a una distancia r (radio
inscrito) de los lados BR y . CR Sea P (que est en ) AB el simtrico de X respecto
de BR y Q (que est en ) AC el simtrico de X respecto de . CR Entonces
2 XP XQ r = = y , BR CR son
mediatrices de , XP XQ respectivamente.
Denotemos a O el circuncentro K del
tringulo APQ y sea el arco de K
subtendido por el ngulo . A Tomando
3 , 3 A B = = y 3 , C = tales que
180 , + + = tenemos que
6 . POQ = =
Supongamos que:
i) BR y CR cortan a en Y y Z
respectivamente.
ii) Y y Z trisecan el arco .
iii) El tringulo XYZ es equiltero.
Entonces el teorema de Morley se deduce
inmediatamente.
El lema establece que esas suposiciones
son ciertas.Y esto se debe al hecho de
que el cuadriltero OPXQ tiene dos
propiedades especiales:
a) Es simtrico respecto OX (lo que es obvio).
b) Sus ngulos en , P Q y X son iguales.
Para probar b) observemos que,





4
90 , 90 , BXP CXQ = = 180 ( ). BXC = +
La suma de esos tres ngulos es 360 2( ); +
por tanto 2( ) 120 2 . PXQ = + = Como los ngulos en P y Q son iguales, y en
O es 6 , se deduce que los ngulos en , P Q y X son todos iguales a 120 2 .

Se establece el siguiente lema:

En el cuadriltero , OPXQ suponemos que OP OQ = y XP XQ = y los ngulos en O y
en X son 6 y 120 2 respectivamente. K denota la circunferencia de centro O y
radio , OP y sea el arco de K que subtiende el ngulo en . O
Entonces las mediatrices de XP y de XQ cortan a en los puntos , Y Z
respectivamente, tales que Y y Z trisecan y el tringulo XYZ es equiltero.

Demostracin:
Los puntos P y Q cortan de nuevo a la circunferencia K en S y T respectivamente.
De las hiptesis se tiene claramente que los tringulos OPX y OQX son semejantes y
que 120 2 . OPX OQX = =
Entonces 60 2 ; OTQ OQT = = + por tanto PX es paralelo a . OT Anlogamente
QX es paralelo a OS y as OSXT es un rombo y 60 2 ; TOS PXQ = = + por tanto
OPXT es un trapecio issceles. La mediatriz de PX es entonces tambin la mediatriz
de , OT que por tanto corta a la circunferencia K en los dos puntos , Y Y ( donde Y
est situado en el mismo lado de OT como ). XT
Ahora X es interior al ngulo POQ y entonces OX corta a en un punto . V
Claramente OX y por tanto OV bisecan el ngulo POQ y tambin el ngulo . TOS
De este modo 60 , TOV = mientras que 3 . POV QOV = = Como Y est en
la mediatriz de , OT tenemos que OY TY = y de esta forma el tringulo TOY es
equiltero y 60 . TOY = Debido a que V est en el mismo lado de OT que , X
tenemos que , YOV = y entonces Y est en el arco . Por las mismas razones
2 POY = (as Y triseca el arco ), e Y est en el mismo lado de OX que , P pues
3 180 . POV = <
Podemos demostrar de forma anloga que la mediatriz de QX corta a en un punto Z
que triseca y est en el mismo lado de OX que Q. As . PY YZ ZQ = =
Por ltimo, PY XY = y , ZQ ZX = lo que implica que XY YZ ZX = = con lo que el
tringulo XYZ es equiltero. Eso completa la demostracin del lema del que se deduce,
como se ha visto anteriormente, el teorema de Morley.

DEMOSTRACIN TRIGONOMTRICA DE GINO LORIA

La demostracin de Gino Loria aparece dentro del artculo Triangles quilatraux
drivs dun triangle quelconque publicado por The Mathematical Gazette 23 (1939)
pp.364-362. En una carta enviada al profesor Gino Loria por Frank Morley, fechada el
22 de agosto de 1934, le comenta ste que l adems mencion su teorema en
Extensin of Cliffords Chain Theorem American Journal of Mathematics, Vol 51,
July 1929.

5
Dado un tringulo cualquiera , ABC las primeras trisectrices de los ngulos B y C se
cortan en el punto ; x significado anlogo tiene y respecto del lado AC y z respecto
del lado . AB Entonces, Qu tipo de tringulo es xyz ?
Notemos que se tiene que
1 2
( ) ;
3 3
BxC B C A = + = + en consecuencia el tringulo
BCx nos da .
1 2
3 3
a Bx
sen C sen A
=

+


Luego ( R es el radio de la circunferencia
circunscrita)
1 1
2
3 3
.
2 2
3 3
a sen C RsenA sen C
Bx
sen A sen A
= =

+ +



Ms, teniendo en general que
1 1 1 1
( ) (2 ) ,
3 3 3 4
sen x sen x sen x senx + + = (i) se puede
escribir ( )
1 1 1
8 .
3 3 3
Bx Rsen Asen A sen C = + Intercambiando A por C se obtiene esta
otra frmula ( )
1 1 1
8 .
3 3 3
Bx Rsen C sen C sen A = +
Se obtiene que

2 2 2
1
( ) ( ) ( ) 2( )( ) cos ;
3
xz Bx Bz Bx Bz B = + (ii)
Por tanto ( ) ( )
2
2 2
2 2
( ) 1 1
1 1
3 3
64
3 3
xz
sen A sen C
sen Asen C
= + + +
( ) ( )
1 1 1
2 cos .
3 3 3
sen A sen C B + + (iii)
Para transformar el segundo miembro de esta relacin se puede recurrir a la identidad
siguiente:
2 2 2 2 2 2
1 1
2 cos ( ) cos ( ) .
2 2
m n mn m n m n sen + = + +
Suponiendo en particular ( ) ( )
1 1 1
, , ,
3 3 3
m sen A m sen C B = + = + = se
encuentra ( ) ( )
1 1 1 1
2 , 2cos cos .
6 6 6 6
m n sen B sen A C m n B A C + = =

Esto prueba que el segundo miembro de la
frmula (iii) vale simplemente
2
1
;
3
sen B
Y sustituyendo este valor en la relacin (iii) y
extrayendo las races cuadradas a los dos
miembros de la misma se concluye

1 1 1
8 .
3 3 3
xz Rsen A sen B sen C =
Como esta expresin es simtrica respecto de
los ngulos , , , A B C se observa que se llegar
al mismo resultado calculando los otros dos
lados xy e ; yz luego el tringulo xyz es equiltero.
6



DEMOSTRACIN TRIGONOMTRICA DE CONSTANTIN COCEA

Esta demostracin aparece como la solucin de un problema ms, en un libro notable
del matemtico rumano Constantin Cocea titulado 200 de problema din geometr a
triunghiului echilateral Ed. Gh. ASACHI Iasi 1992.

Los trisectores adyacentes al lado AB se cortan en , P los adyacentes al lado BC en
M y los adyacentes al lado CA en . N

Aplicando el teorema de los senos al tringulo
ABP se tiene
3 3
AP AB
B A B
sen sen

+
y entonces
2
3 3
,
3 3
B B
csen RsenC sen
AP
C C
sen sen



siendo R el
radio circunscrito del tringulo inicial . ABC Continuando el clculo de AP , se tiene
que:

2
2 3 4
2 ( )
3 3 3
3
3 3
B C C
B
R sen sen sen
Rsen C sen
AP
C C
sen sen

1
]




2 2
2 3 2 1 cos
3 3
B C
Rsen
1 1

1 1
] ]
2 2
2 1 2cos
3 3
B C
Rsen
1
+
1
]


1 2 2
4 cos
3 2 3
B C
Rsen
1
+
1
]
2 2
4 cos cos
3 3 3
B C
Rsen
1
+
1
]


8 cos cos
3 2 3 6 3
B C C
Rsen
_ _


, ,
8 cos cos .
3 3 6 3
B C C
Rsen
_

,


As 8 cos cos
3 3 6 3
B C C
AP Rsen
_


,
(1) y anlogamente,
8 cos cos
3 3 6 3
B C B
AN Rsen
_


,
(2).

El lado PN puede calcularse aplicando el teorema del coseno al tringulo . APN

7
2 2 2
2 cos
3
A
PN AP AN AP AN +
2 2 2 2
64 cos cos 2cos cos cos
3 3 6 3 6 3 6 3 6 3 3
B C B C C B A
R sen sen
1 _ _ _ _
+
1
, , , , ]

2 2 2
2 2 2 2
1 cos 1 cos
6 3 6 3
64 cos cos cos
3 3 2 2 3 3 3
C B
B C A B C B C
R sen sen

1 _ _
+ +
1
_
, ,
1 +

, 1
1
]

2 2 2 2
64 1 cos cos cos cos cos
3 3 3 3 3 3 3
B C A B C A A B C
R sen sen
1
+
1
]


2 2 2 2
64 .
3 3 3
B C A
R sen sen sen De este modo 8 .
3 3 3
A B C
PN Rsen sen sen Y por simetra
en , , A B C PN NM MP y el tringulo PNM es equiltero.



DEMOSTRACIN DE L. A. GRAHAM

Esta demostracin aparece en Ingenious Mathematical Problems and Methods, Dover
Publications, Inc., New York, 1959, pp. 33, 184-185. de L.A. Graham.
Es una de las demostraciones ms simples utilizando geometra convencional. Es muy
cercana a la prueba de M.T.Naraniengar.

Inicialmente se omite el vrtice A del tringulo dado ABC y se dibujan slo los
trisectores de los ngulos B y . C Se toman 3 , 3 B b C c y 3 , A a pues cuando A
se determine ser el tercer vrtice del tringulo dado. Entonces 60 . a b c + + Sea el
punto D interseccin de los dos trisectores
adyacentes al lado BC y los puntos E y F
pertenecientes respectivamente a los otros
primeros trisectores de los ngulos C y . B Se
trazan a continuacin DF y FH tales que el
ngulo KDE sea igual al ngulo
. HDE a c + Anlogamente se trazan DE y
EK tales que el ngulo . KDE KED a b +
Por tanto el ngulo
360 ( 120 ) 2( ( ) ( ) 60 . FDE a b c a b a c + + + + Por otro lado el ngulo
180 ( ) ( ) 60 BDF b a c b c a + + + 180 ( ) ( ) c b c a b + + . CED
D es el punto interseccin de las bisectrices del tringulo uno de cuyos lados es BC y
los otros dos estn sobre las semirrectas BF y CE y por tanto equidista de BF y . CE
Como DF y DE forman ngulos iguales respectivamente con BF y , CE entonces
DE DF y el tringulo DEF es equiltero.
Resta probar que las semirrectas m y , n de vrtices B y C respectivamente que
forman con BC los ngulos 3b y 3c tambin respectivamente, junto con las rectas
HF y , KE convergen a un punto donde forman tres ngulos iguales.
8
Debido a que los dos tringulos pequeos de base comn DE son issceles, KF es
bisectriz del ngulo , K BF y KF son bisectrices interiores del tringulo de lados
m BK KE y F es el incentro de este tringulo. El ngulo
60 ( ) BFH a a c a b = + + = + y 180 2 (180 2 2 ) 2 . m KE b a b a = =
Entonces HF es la bisectriz de l ngulo . m KE Anlogamente KE es l bisectriz del
ngulo . n HF




CARTA ENVIADA POR EL PROFESOR FRANK MORLEY AL PROFESOR T.
HAYASI SOBRE LA INTERSECCIN DE LOS TRISECTORES DE LOS NGULOS
DE UN TRINGULO

Querido Profesor Hayashi:
No he publicado el teorema que afirma que las tres intersecciones de los trisectores de
los ngulos de un tringulo forman un tringulo equiltero. Este resultado surgi de
consideraciones sobre cardioides. Hice observar en Transactions of the American
Mathematical Society, vol. p.115, que ciertas cadenas de teoremas eran ciertas para
cualquier nmero de rectas del plano, cuando se reemplaza cada interseccin de las
rectas tomadas de dos en dos (1) por el centro de la circunferencia que es tangente a
tres de las rectas dadas (2) y por el centro de una cardiode que es tangente a cuatro de
las rectas dadas, y as sucesivamente.

Esto me llev a considerar las cardioides que son tangentes a tres rectas.
La cardioide viene definida en la circunferencia unidad por la ecuacin
2
2 , x t t =
donde x es un nmero complejo y t es un nmero
complejo tal que 1. t = La tangente en t es
2 3
3 3 0, x t t x t + = siendo x el conjugado de . x
Las tres tangentes desde un punto , x son entonces
tales que
1 2 3
.
x
t t t
x
= Si
i
son los ngulos que
forman esas tangentes con cualquier recta fija y
es el ngulo que forma x con tal recta fija, entonces
1 2 3
3 = + + (1).
La imagen y de cualquier punto x de la tangente es dada por
2 3
3 3 0. y t t x t + = As
la imagen del centro 0 x = es
2
3( ). y t t = Por tanto, si 2
i
y pe

= e 2
i
y pe

= se
tiene
2 2 3
1 1 2
4 9(1 ) 1 , , 2cos
3
i
p t e t t
t t

= = + =


y 3
3
p sen

= (2), que es la
ecuacin de la cardioide.

Si
1 2
, p p y
3
p son las rectas perpendiculares trazadas desde el centro de la cardioide a
las tres rectas tangentes a la misma y
1 2
, y
3
son los ngulos de esas
perpendiculares, ya que
2 3 1
3
0.
3 3
sen sen

=

Entonces tenemos que
2 3
1
3
0
3
p sen

=

(3)
9
Reemplazando
2 3
por el ngulo
1
A del tringulo de las tangentes y teniendo en
cuenta que en (3) los ngulos deben tener una suma congruente a 0, obtenemos para el
lugar geomtrico de los centros, nueve rectas tales que:
3 1 2
1 2 3
0,
3 3 3
A A A
p sen p sen p sen

+ + =
3 1 2
1 2 3
2 2
0.
3 3 3
A A A
p sen p sen p sen

+ + =
Pero de (1) considerando aquellas cardioides cuyos centros estn a una distancia enorme
(tal que el tringulo se comporte como un punto), vemos que las nueve rectas slo
tienen tres direcciones dadas por
1 2 3
3 . = + +
Hay de este modo tres conjuntos de tres rectas paralelas formando tringulos
equilteros. El lugar geomtrico de los centros cambia de un conjunto de rectas a otro
cuando una de las rectas es una tangente doble.
Consideremos en particular las cardioides que estn dentro del tringulo. Sea
1
O el
centro de una cardioide con tangente doble
2 3
. A A De (1) tenemos que:
2
3 2 1
3
A
A A O = y
3
1 3 2
,
3
A
O A A = y hemos visto que las tres rectas
1 2 2 3
, OO O O y
3 1
O O forman un tringulo equiltero.

Este ha sido el argumento. La verificacin es naturalmente una labor mucho ms
simple. Si piensa que merece la pena publicarlo estar muy complacido de que aparezca
en una revista japonesa.
Si este resultado llega a ser de su inters estar contento de enviarle una copia, con
correcciones por el uso de direcciones de rectas que no lo expreso de forma clara.

Con mi ms alta consideracin,

Sinceramente,
(Firmado)
Profesor Frank Morley



OBSERVACIONES A LA DEMOSTRACIN DE MORLEY DE SU TEOREMA.
Por Dan Pedoe, Universidad de Minnesota.

Frank Morley fue un matemtico notable, pero no es fcil encontrar mucha gente que
pueda seguir sus razonamientos. Su obra, Inversive Geometry, (Frank Morley y P. V.
Morley, 1954) contiene ideas profundas, pero yo, en algn momento la he encontrado
casi incomprensible. Las observaciones siguientes a la demostracin de su clebre
teorema son tentativas iniciales para dilucidar su trabajo.
En su artculo, escrito para una revista japonesa dedicada a la educacin secundaria,
Morley cambia de notacin un nmero significativo de veces. Usa primero para el
ngulo que forma la tangente a la cardioide con el eje , x luego lo cambia por , y
despus vuelve a utilizar de nuevo para el ngulo que forma la perpendicular a la
tangente desde el centro de la cardioide con el eje x Por mi parte usar la notacin a la
que estoy habituado y posteriormente identificar mis resultados con los de Morley.
Consideraremos el primer enunciado:
10
La cardioide se transforma en la circunferencia unidad por la ecuacin
2
2 , x t t =
donde x es un nmero complejo y t es un nmero complejo tal que 1 t = .
Suponemos que la curva cardioide se traza por un punto P fijo de una circunferencia de
radio unidad que rueda sin resbalar sobre otra circunferencia unidad fija. Se toma el
centro O de la circunferencia fija como el origen de coordenadas y es llamado el centro
de la cardioide. Si N es el punto de tangencia de las dos circunferencias y ON corta de
nuevo a la circunferencia que rueda en , A entonces la tangente en el punto P a la
cardioide es perpendicular a NP y es por tanto . PA Si es el ngulo NOX (siendo
OX el eje de abscisas), las coordenadas del punto ; P ( , )
p p
x y son
2cos cos 2
,
2 2
p
p
x
y sen sen


=

de tal forma que:

2 2
2(cos ) (cos ) 2 ,
p p
x x iy isen isen t t = + = + + = con cos t isen = + y por
tanto 1. t =
La tangente en P a la cardioide es la recta PA y el afijo de A es 3 . t por tanto la
ecuacin de la tangente es:
2 2
1
3 3 1 0.
2 2 3 1
X X
t t
t t t t
=

X es cualquier punto de la recta
tangente a
2
2 . x t t = ( Morley utiliza el mismo x para ambos puntos)
Despus de desarrollar el determinante y usar la ecuacin 1, tt = que conduce a
( 1) 1 t t t + = + y a ( 1) 1 , t t t + = + se obtiene la ecuacin
2 3
3 3 0. X t t Xt + =
Las tres tangentes a la cardioide desde un punto X corresponden a los puntos
1 2 3
, , t t t
que estn en la circunferencia unidad y cumplen que
1 2 3
.
X
t t t
X
= Por tanto si
(cos 2 2 ), X r isen = + entonces
1 2 3
cos 2 2 , t t t isen = + y por tanto
1 2 3
2 . + + =
Si es el ngulo formado por la recta tangente en P, , PA con el eje de abscisas, como
OCP = y por tanto ,
2
OAP

= entonces
3
.
2

= Y los ngulos
i
formados por
las tangentes a la cardioide que pasan por el punto, con el eje de abscisas cumplen que
1 2 3 1 2 3
3
( ) 3 .
2
+ + = + + = Esta es la ecuacin fundamental de Morley (1).
Si ahora volvemos a la carta de Morley y consideramos el lugar geomtrico de los
centros de las cardioides que son tangentes a los lados de un tringulo ABC dado,
entonces probaremos que los puntos en el infinito de este lugar geomtrico coinciden
con los puntos el infinito de los lados de un determinado tringulo equiltero.
Sea O el centro de una cardioide tangente a los lados de un tringulo ABC que est a
una gran distancia del tringulo y sea X un punto cercano al tringulo. Las
tangentes desde X a esta enormecardioide deben ser casi paralelas a los lados del
tringulo ABC ( t al que el tringulo se comporte como un punto ). Por tanto en la
ecuacin (1), el ngulo que determina la direccin de OX es una tercera parte de la
suma de las ,
i
donde las
i
corresponden a los lados del tringulo . ABC
Como cada
i
se toma mdulo 2 , y se dividen por 3, se obtienen tres direcciones
para que difieren en
2
.
3

11
Si el lugar geomtrico de los centros de las cardioides est constituido por rectas, estas
deben formar conjuntos que son paralelos a los lados de un determinado tringulo
equiltero.
Para demostrar que este lugar geomtrico est constituido por rectas Morley obtiene la
ecuacin ( , ) p de una cardioide. Si OQ es la perpendicular de O a la recta , AP
entonces 3 .
2 3
p OQ OAsen sen

= = = (2)
Morley hace notar que esta ecuacin puede ser hallada directamente.A continuacin
Morley realiza una manipulacin muy inteligente! Desea pasar de l ecuacin (2) a la
ecuacin trilineal del lugar geomtrico de los centros.
Fcilmente se verifica que para , , P Q R cualesquiera
( ) ( ) ( ) 0. senPsen Q R senQsen R P senRsen P Q + + =
Y as
2 3 1
... ... 0.
3 3
sen sen

+ + = Usando (2), lo anterior se puede escribir del
modo siguiente
2 3 3 1 1 2
1 2 3
0
3 3 3
p sen p sen p sen

+ + = (3), donde
1 2 3
, , p p p son las perpendiculares del centro de la cardioide a las tres tangentes que
forman ngulos
1 2 3
, , con el eje de abscisas.
Esas perpendiculares
i
p se denominan coordenadas trilineales (vase nota al final) de
O respecto al tringulo ABC y los valores
3
i j

estn relacionados con los ngulos
del tringulo.
La ecuacin fundamental que conecta las coordenadas trilineales es
1 2 3
2 , ap bp cp + + = donde , , a b c son los lados del tringulo y es su rea.
La ecuacin (3), en coordenadas trilineales, es la de una recta. Por tanto Morley ha
probado que el lugar geomtrico de los centros de las cardioides que son tangentes a los
lados de un tringulo dado es un conjunto de rectas.
Morley, despus de establecer la ecuacin (3) intercambia el ngulo que forman las
tangentes con el eje de abscisas con los ngulos formados por las respectiva
perpendiculares con el eje de abcisas ...y teniendo en cuenta que en (3) los ngulos
deben tener una suma congruente a 0, ... (que no es demasiado claro), Morley obtiene
nueve rectas para el lugar geomtrico de los centros de las cardioides.
Verificar, en coordenadas trilineales, que esas nueve rectas son paralelas en conjuntos
de tres sera una tarea formidable y ardua, pues las rectas son paralelas en estas
coordenadas trilineales si intersectan a la recta del infinito
1 2 3
0. ap bp cp + + = Morley
supera esta dificultad utilizando la ecuacin (1) de una forma notable.

Por ltimo Cmo se encaja todo esto con los trisectores de los ngulos de un tringulo?
Una vez ms Morley establece una afirmacin geomtrica brillante: El lugar
geomtrico de los centros cambia de un conjunto de rectas a otro cuando una de las
rectas es una tangente doble.
Utilizando la ecuacin (1) de nuevo Morley demuestra que los vrtices de su tringulo
equiltero son las intersecciones de los trisectores de los ngulos del tringulo . ABC
Al final aade: La verificacin es naturalmente una labor mucho ms simple.

NOTA: Todo lo que se requiere decir sobre la coordenadas trilineales es que no es difcil
probar que una ecuacin lineal en
1 2 3
( , , ) p p p representa una recta. En efecto, si las
ecuaciones de los lados de un tringulo vienen dadas en su forma normal
12
cos 0 ( 1, 2, 3),
i i i
x y sen q i + = = se puede tomar cos
i p i p i i
p x y sen q = + para
las coordenadas trilineales
1 2 3
( , , ) p p p de ( , ),
p p
P x y = y por tanto una ecuacin lineal
homognea en las coordenadas trilineales
1 2 3
( , , ) p p p da lugar a una ecuacin lineal en las
coordenadas ( , ).
p p
x y

COMENTARIOS SOBRE LAS DIVERSAS DEMOSTRACIONES DEL TEOREMA
DE MORLEY DE LEON BANKOFF

Una clasificacin preliminar de las demostraciones a este teorema establece dos
categoras, directa e indirecta. Aqu se usa el trmino indirecto no en el sentido de
reduccin al absurdo sino en el sentido de invertir la sucesin de pasos desde la
hiptesis a la conclusin. Ejemplos de pruebas indirectas son las de Naraniengar, Dobbs
y Child, por citar unas pocas. Estas pruebas empiezan con el conocimiento
sobreaadido de que el tringulo interno que se forma es equiltero, y con las
construcciones geomtricas basadas tambin en saber el valor de los ngulos
relacionados con el tringulo interior. Dirigen la demostracin a que ciertas semirrectas
convergan para formar el tringulo exterior. Este procedimiento no es esencialmente
una demostracin del teorema de Morley, sino de su recproco. El establecer fcilmente
el recproco no proporciona una prueba legtima del teorema principal.
Entre las pruebas directas, la preponderancia de las publicadas son trigonomtricas. La
trigonometra es la herramienta ideal para manejar submltiplos de ngulos.
Tericamente se debera ser capaz de convertir cualquier argumento trigonomtrico en
uno que sea de geometra sinttica, pero en la prctica esto seguramente dara lugar a
una demostracin tediosa. Hay suficientes variaciones en las pruebas trigonomtricas.
Algunas directamente calculan las longitudes de los lados del tringulo interior (Loria,
Cocea,...), mientras otras van al clculo de los ngulos que estn en las tres
intersecciones pertinentes, que determinan el tringulo de Morley obteniendo 60 para
cada uno de sus ngulos interiores (Satyanarayana, ...).
Se han construido demostraciones geomtricas directas y excelentes usando la razn
doble, los conjugados isogonales , el teorema de Desargues, el teorema de Menalo y
nmeros complejos (Robson, Thbault,...). Muchos matemticos encuentran estas
pruebas particularmente atractivas porque combinan concisin y precisin.

La demostracin ideal, todava por descubrir, debera ser la que utilice la geometra
sinttica, la que siga un camino directo de la hiptesis a la conclusin, la que sea
sencilla de entender y la que no sea demasiado larga.


NOTA: El profesor Francisco Bellot, recomienda para ampliar la exposicin y el desarrollo histrico de
este teorema el libro titulado Le Thorme de Morley de Andr Viricel, publicado en 1993 por
LAssociation pour le Dveloppent de la Culture Scientifique (A.D.C.S.). En l se ofrece una extensa
gama de diferentes demostraciones, desde la geometra clsica (Ehrhart, Sasports, Niewenglowski,
Bricard, Frasnay, Glanville-Taylor, Viricel), la geometra analtica (Viricel), la trigonometra (Boutelop,
Commeau) hasta los nmeros complejos (Hoffmann), adems de encontrarse los trabajos sobre este
teorema de Lebesgue y de Gambier.
R Re ev vi is st ta a E Es sc co ol la ar r d de e l la a O Ol li im mp p a ad da a I Ib be er ro oa am me er ri ic ca an na a d de e
M Ma at te em m t ti ic ca a


h ht tt tp p: :/ // /w ww ww w. .c ca am mp pu us s- -o oe ei i. .o or rg g/ /o oi im m/ /r re ev vi is st ta ao oi im m/ /



E Ed di it ta a: :