Professional Documents
Culture Documents
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.
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.
1
DEMOSTRACIN DE A. ROBSON.
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.
1
Como R est en el incentro de ANB, ARN = 90+ B . Anlogamente como Q est
3
1 1
en el incentro de AMC , RMQ = 90 A C . La diferencia entonces es
3 3
ROM = 60. 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.
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.
2
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.
3
BXP = 90 , CXQ = 90 , BXC = 180 ( + ).
La suma de esos tres ngulos es 360 2( + );
por tanto PXQ = 2( + ) = 120 2 . 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 .
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 OPX = OQX = 120 2 .
Entonces OTQ = OQT = 60 + 2 ; por tanto PX es paralelo a OT . Anlogamente
QX es paralelo a OS y as OSXT es un rombo y TOS = PXQ = 60 + 2 ; 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 TOV = 60 , mientras que POV = QOV = 3 . Como Y est en
la mediatriz de OT , tenemos que OY = TY y de esta forma el tringulo TOY es
equiltero y TOY = 60. 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
POY = 2 (as Y triseca el arco ), e Y est en el mismo lado de OX que P, pues
POV = 3 < 180.
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.
4
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 ?
1 2
Notemos que se tiene que BxC = ( B + C ) = + A; en consecuencia el tringulo
3 3
a Bx
BCx nos da = . Luego ( R es el radio de la circunferencia
2 sen 1 C
sen + A
3 3
1 1
a sen C 2 R senA sen C
circunscrita) Bx = 3 = 3 .
2 2
sen + A sen + A
3 3
1 1 1 1
Ms, teniendo en general que sen x sen ( + x) sen (2 + x) = senx, (i) se puede
3 3 3 4
1 1 1
escribir Bx = 8 R sen A sen ( + A ) sen C. Intercambiando A por C se obtiene esta
3 3 3
1 1 1
otra frmula Bx = 8 R sen C sen ( + C ) sen A.
3 3 3
Se obtiene que
1
( xz ) 2 = ( Bx) 2 + ( Bz )2 2( Bx)( Bz ) cos B; (ii)
3
2
( xz ) 1 1
Por tanto = sen 2 ( + A ) + sen 2 ( + C )
1 1 3 3
64 sen 2 A sen 2 C
3 3
1 1 1
2 sen ( + A ) sen ( + C ) cos B. (iii)
3 3 3
Para transformar el segundo miembro de esta relacin se puede recurrir a la identidad
1 1
siguiente: m 2 + n 2 2mn cos = (m n)2 cos 2 + (m + n)2 sen 2 .
2 2
1 1 1
Suponiendo en particular m = sen ( + A ) , m = sen ( + C ) , = B, se
3 3 3
1 1 1 1
encuentra m + n = 2 sen B sen ( A C ) , m n = 2 cos B cos ( A C ).
6 6 6 6
5
DEMOSTRACIN TRIGONOMTRICA DE CONSTANTIN COCEA
B 2 2C B 2 2C
2 R sen 3 2 1 cos = 2 R sen 1 + 2 cos =
3 3 3 3
B 1 2 2C B 2 2C
4 R sen + cos = 4 R sen cos + cos =
3 2 3 3 3 3
B C C B C C
8 R sen cos cos = 8 R sen cos cos .
3 2 3 6 3 3 3 6 3
B C C
As AP = 8 R sen cos cos (1) y anlogamente,
3 3 6 3
B C B
AN = 8 R sen cos cos (2).
3 3 6 3
6
A
PN 2 = AP 2 + AN 2 2 AP AN cos =
3
B C B C C B A
64 R 2 sen 2 sen cos 2 + cos 2 2 cos cos cos =
3 3 6 3 6 3 6 3 6 3 3
2 2C 2 2 B
1 + cos 1 + cos
B C 6 3 6 3 A BC B C
64 R 2 sen 2 sen 2 cos cos + cos =
3 3 2 2 3 3 3
B C A B C A A B C
64 R 2 sen 2 sen 2 1 + cos cos cos 2 cos cos =
3 3 3 3 3 3 3
B C A A B C
64 R 2 sen 2 sen2 sen 2 . De este modo PN = 8 R sen
sen sen . Y por simetra
3 3 3 3 3 3
en A, B, C PN = NM = MP y el tringulo PNM es equiltero.
DEMOSTRACIN DE L. A. GRAHAM
Inicialmente se omite el vrtice A del tringulo dado ABC y se dibujan slo los
trisectores de los ngulos B y C. Se toman B = 3b, C = 3c y A = 3a, pues cuando A
se determine ser el tercer vrtice del tringulo dado. Entonces a + b + c = 60. 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
FDE = 360 (a + 120 ) 2 (b + c (a + b ) (a + c )= 60 .Por otro lado el ngulo
BDF = 180b (a + c ) (b + c ) = a + 60= 180c (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.
7
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
BFH = a + 60 (a + c ) = a + b y m KE = 180 2b (180 2a 2b )= 2a .
Entonces HF es la bisectriz de l ngulo m KE. Anlogamente KE es l bisectriz del
ngulo n HF .
Esto me llev a considerar las cardioides que son tangentes a tres rectas.
La cardioide viene definida en la circunferencia unidad por la ecuacin x = 2t t 2 ,
donde x es un nmero complejo y t es un nmero
complejo tal que t = 1. La tangente en t es
x 3t + 3t 2 x t 3 = 0, siendo x el conjugado de x.
Las tres tangentes desde un punto x, son entonces
x
tales que t1 t2 t3 = . Si i son los ngulos que
x
forman esas tangentes con cualquier recta fija y
es el ngulo que forma x con tal recta fija, entonces
3 = 1 + 2 + 3 (1).
La imagen y de cualquier punto x de la tangente es dada por y 3t + 3t 2 x t 3 = 0. As
la imagen del centro x = 0 es y = 3(t t 2 ). Por tanto, si y = 2 pei e y = 2 pe i se
1 1 2
tiene 4 p 2 = 9(1 t ) 1 , e 2i = t 3 , t + = 2 cos y p = 3sen (2), que es la
t t 3 3
ecuacin de la cardioide.
8
Reemplazando 2 3 por el ngulo A1 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:
A1 A2 A3
p1sen + p2 sen + p3 sen = 0,
3 3 3
2 A1 A2 2 A3
p1sen + p2 sen + p3 sen = 0.
3 3 3
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 3 = 1 + 2 + 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 O1 el
centro de una cardioide con tangente doble A2 A3 . De (1) tenemos que:
A A
A 3 A2O1 = 2 y O1 A 3 A2 = 3 , y hemos visto que las tres rectas O1O2 , O2O3 y
3 3
O3O1 forman un tringulo equiltero.
Sinceramente,
(Firmado)
Profesor Frank Morley
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:
9
La cardioide se transforma en la circunferencia unidad por la ecuacin x = 2t t 2 ,
donde x es un nmero complejo y t es un nmero complejo tal que t = 1 .
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; ( x p , y p ) son
x p = 2 cos cos 2
, de tal forma que:
y p = 2 sen sen2
x = x p + iy p = 2(cos + isen ) (cos + isen ) 2 = 2t t 2 , con t = cos + isen y por
tanto t = 1.
La tangente en P a la cardioide es la recta PA y el afijo de A es 3t. por tanto la
X X 1
ecuacin de la tangente es: 3t 3t 1 = 0. X es cualquier punto de la recta
2t t 2 t 3t 2
2
1
tangente a x = 2t t 2 . ( Morley utiliza el mismo x para ambos puntos)
Despus de desarrollar el determinante y usar la ecuacin tt = 1, que conduce a
t ( t + 1) = 1 + t y a t (t + 1) = 1 + t , se obtiene la ecuacin X 3t + 3t 2 Xt 3 = 0.
Las tres tangentes a la cardioide desde un punto X corresponden a los puntos t1 , t2 , t3
X
que estn en la circunferencia unidad y cumplen que t1t 2 t3 = . Por tanto si
X
X = r (cos 2 + isen2 ), entonces t1t 2 t3 = cos 2 + isen 2 , 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
3
OCP = y por tanto OAP = , entonces = . Y los ngulos i formados por
2 2
las tangentes a la cardioide que pasan por el punto, con el eje de abscisas cumplen que
3
1 + 2 + 3 = (1 + 2 + 3 ) = 3 . Esta es la ecuacin fundamental de Morley (1).
2
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
2
para que difieren en .
3
10
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 p = OQ = OAsen = 3sen . (2)
2 3
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
senP sen(Q R) + senQ sen( R P) + senR sen( P Q) = 0.
3
Y as sen 1 sen 2 + ... + ... = 0. Usando (2), lo anterior se puede escribir del
3 3
3 1 2
modo siguiente p1 sen 2 + p2 sen 3 + p3 sen 1 = 0 (3), donde
3 3 3
p1 , p2 , p3 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 pi se denominan coordenadas trilineales (vase nota al final) de
i j
O respecto al tringulo ABC y los valores estn relacionados con los ngulos
3
del tringulo.
La ecuacin fundamental que conecta las coordenadas trilineales es
ap1 + bp2 + cp3 = 2, 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 ap1 + bp2 + cp3 = 0. 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 ( p1 , p2 , p3 ) representa una recta. En efecto, si las
ecuaciones de los lados de un tringulo vienen dadas en su forma normal
11
x cos i + y sen i qi = 0 (i = 1, 2, 3), se puede tomar pi = x p cos i + y p sen i qi para
las coordenadas trilineales ( p1 , p2 , p3 ) de P = ( x p , y p ), y por tanto una ecuacin lineal
homognea en las coordenadas trilineales ( p1 , p2 , p3 ) da lugar a una ecuacin lineal en las
coordenadas ( x p , y p ).
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.
12
Revista Escolar de la Olimpada Iberoamericana de
Matemtica
http://www.campus-oei.org/oim/revistaoim/
Edita: