Jornadas de Educacin Matemtica de la Comunidad Valenciana

491
Ampliacin al teorema de Morgan
Francisco G. Gonzlez Martnez y Floreal Gracia Alcaine
Universitat Jaume I
Resumen
Walter Marion estableci que: Si los puntos de triseccin de los lados de un tringulo cualquiera son
unidos a los vrtices opuestos, la razn entre el rea del tringulo y el rea del hexgono resultante es
10. Este resultado fue generalizado por el estudiante de enseanza media Ryan Morgan, cuando cada
lado del tringulo es dividido en n segmentos congruentes, con n impar. Edison De Faria ampli la
generalizacin para el caso en que n sea par.
Esta ponencia, con el apoyo del software de geometra dinmica Cabri Geometry II y el Derive,
generaliza el teorema de Morgan a la proporcin entre el segmento utilizado y el lado del tringulo,
adems de plantear nuevas ideas y caminos de investigacin.
Introduccin
Frank D. Nowosielski, profesor del Patapsco High School en Baltimore County,
Maryland, en 1993 present a sus alumnos de noveno grado de enseanza media,
una actividad para que utilizando un software de geometra, redescubrieran el
teorema de Walter Marion que establece lo siguiente: Si los puntos de triseccin
de los lados de un tringulo cualquiera son unidos a los vrtices opuestos, la razn
entre el rea del tringulo y el rea del hexgono resultante es 10.
Figura 1
11) Gonzlez, F., & Gracia, F. (2003). Ampliacin al teorema de Morgan.
Jornadas de educacin matemtica de la comunidad valenciana, 491-499.
Material compilado con fines acadmicos, se prohbe su reproduccin total o parcial sin la autorizacin de cada autor.
Gonzlez, Francisco. y Gracia, Floreal. Ampliacin al teorema de Morgan
492
Utilizando Geometers Sketchpad en clase, uno de los estudiantes llamado Ryan
Morgan, adems de comprobar el teorema propuesto, generaliz el resultado al
dividir cada lado del tringulo en n partes congruentes con n 3, Ryan se dio
cuenta de que la razn entre el rea del tringulo y el rea del hexgono central
formado era constante para cualquier valor de n impar.
Nmero de segm. 3 5 7 9 11 13
Razn entre reas 10 28 55 91 136 190
Utilizando regresin cuadrtica, el estudiante conjetur que la razn entre las
reas era igual a:
si n es impar, pero pasaron varios meses hasta que se lograra la demostracin
terica de la conjetura [Watanabe].
Generalizacin del teorema de Morgan
En el RELME 14 desarrollado en Panam en julio pasado, Edison De Faria de la
Universidad de Costa Rica utilizando el software de geometra dinmica Cabri
Geometry trabaj con N par:
Nm. Segmentos Razn entre reas
4 4.375
6 10
8 17.875
10 28
12 40.375
14 55
Figura 2
Ajustando los datos mediante un polinomio cuadrtico se tiene:
Edison demostr que para N par, la razn
entre el rea del tringulo original y el
hexgono central correspondiente es igual
a: [De Faria]
32
4 9
2
N
Equivalencia entre Morgan y De Faria
La relacin que plantea De Faria es equivalente a la primera, considerando que el
valor de n de Morgan es diferente al N de De Faria, al tomar ste dos partes en la
divisin.
8
1 9
2
n
Jornadas de Educacin Matemtica de la Comunidad Valenciana
493
Morgan De Faria
n N
Nmero de segmentos congruentes
(impar) tomando el central
Nmero de segmentos congruentes
(par) tomando los dos centrales
8
1 9
2
n
32
4 9
2
N
Siendo: N = 2n
8
1 9
8 4
) 1 9 ( 4
32
4 ) 4 ( 9
32
4 ) 2 ( 9
32
4 9
:
2 2 2 2 2

=
n n n n N
y
Sea el tringulo:
Si construimos un cuadro comparativo para los dos
casos a partir del tringulo de la figura 3 y
considerando que n es el nmero de segmentos de
cada lado se tiene:
Figura 3
n impar (Morgan) n par (De Faria)
n i c d n i c d
3 1 1 1 2
4
n
1
4
n
5 2 1 2 4
3
8

n
1
3
8

n
7 3 1 3 6
5
12

n
1
5
12

n
9 4 1 4 8
7
16

n
1
7
16

n
... ... ... ... ... ... ...
n
2
1 n
1
2
1 n
n
n
n n
2
) 1 (
1
n
n n
2
) 1 (
2
1 n
1
2
1 n
Esto muestra que existe una confusin entre el nmero de segmento y la
proporcin utilizada, que es el anlisis que a continuacin presentamos.
Proporcin en el Teorema de Morgan
Sean CA y BC AB, la longitud de cada uno de los lados del tringulo de la figura
4 y , y la longitud de los segmentos a partir de los cuales se construye el
hexgono interno, de modo que:
Gonzlez, Francisco. y Gracia, Floreal. Ampliacin al teorema de Morgan
494

1
= = =
CA BC AB
Donde

1
es la proporcin entre el
segmento utilizado y el lado corres-
pondiente del tringulo, para cualquier
valor de .
As tenemos los siguientes valores:
Figura 4
Proporcin 2 3 4 5 6 7
Razn entre reas 4.375 10 17.875 28 40.375 55
8
1 9
2

Bajo estas condiciones el Teorema de Morgan se cumple con independencia de
que n se par o impar:
Figura 5 Figura 6
Demostracin
Dado el tringulo ABC de la figura 6 donde:
los puntos a
1
y a
2
dividen AB en tres segmentos de longitudes m, n y o
los puntos a
3
y a
4
dividen al lado BC en tres segmentos de longitudes p, q y r
los puntos a
5
y a
6
dividen al lado CA en tres segmentos de longitudes s, t y u.
trazamos segmentos que unen los vrtices con los puntos a
i
del lado opuesto,
obteniendo 12 puntos de interseccin que los nombramos con la letra b (b
1
, b
2
,
....., b
12
), estos puntos definen las siguientes figuras geomtricas:
Los tringulos b
1
b
2
b
3
y b
4
b
5
b
6
que los llamaremos T
1
y T
2
respectivamente.
Figura 7 Figura 8
Jornadas de Educacin Matemtica de la Comunidad Valenciana
495
Los tringulos b
1
b
7
b
12
, b
8
b
2
b
9
, b
11
b
10
b
3
, b
4
b
8
b
7
, b
9
b
5
b
10
y b
12
b
11
b
6
que los
llamaremos P
1
, P
2
, P
3
, P
4
, P
5
y P
6
respectivamente.
Figura 9 Figura 10
El Hexgono de vrtices b
7
b
8
b
9
b
10
b
11
b
12
que llamaremos H (fig. 10).
Y E a la estrella de vrtices: b
1
b
7
b
4
b
8
b
2
b
9
b
5
b
10
b
3
b
11
b
6
b
12
Figura 11
El Teorema de Steiner dice: Si los lados AB, BC, y CA del tringulo ABC son
divididos por los puntos P1 , P2 y P3 en los respectivos ratios :1, :1 y :1, los
segmentos AP2, BP3 y CP1 forman un tringulo cuya rea es:
( )
( )( )( )
) (
1 1 1
1
) ' ' ' (
2
ABC area C B A area
+ + + + + +

=


Para futuras referencias llamaremos:
( )
( )( )( ) 1 1 1
1
) , , ( F
2
+ + + + + +

=



Por lo tanto el cociente de las reas de
los dos tringulos depende exclusiva-
mente de los ratios :1, :1 y :1 y si se
realiza una transformacin del tringulo
ABC en otro ABC que conserve los ratios anteriores, se mantendr constante la
razn entre las reas.
Por comodidad llamaremos transformaciones de Steiner a toda transformacin de
un tringulo que conserve los ratios :1, :1 y :1. Las homotecias del triangulo
ABC son un caso particular de estas transformaciones, ya que si realizamos una
homotecia a dos de los lados sin variar el tercero (es decir, movemos un vrtice
sin cambiar las proporciones entre los segmentos) los ratios no se alteran.
Volviendo a la construccin inicial y aplicando el teorema de Steiner
Gonzlez, Francisco. y Gracia, Floreal. Ampliacin al teorema de Morgan
496
adecuadamente en cada caso, obtenemos que los siguientes cocientes son
invariantes por transformaciones de Steiner:
T
P
y
T
P
,
T
P
,
T
P
,
T
P
,
T
P
,
T
T
,
T
T
6 5 4 3 2 1 2 1
donde T representa el rea del tringulo ABC y T
1
, T
2
, P
1
, P
2
, P
3
, P
4
, P
5
y P
6
las
reas de los respectivos tringulos que tienen los mismos nombres (ver figuras 7,
8 y 9). Vemoslo:
Sea ABC el tringulo obtenido del tringulo ABC (figura 6), por una
transformaciones de Steiner. Si llamamos m,n,o,p,q,r,s,t,u a las longitudes de
los nuevos segmentos obtenidos, se verifica que:
= = = = = = = = =
' u
u
' t
t
' s
s
,
' r
r
' q
q
' p
p
,
' o
o
' n
n
' m
m
(2)
Aplicando el teorema de Steiner (figura 7) tenemos que :

+ + +
=
u
t s
,
r
q p
,
o
n m
F
T
1 T
y

+ + +
=
' u
' t ' s
,
' r
' q ' p
,
' o
' n ' m
F
' T
' 1 T
Segn (2)

' o
' n ' m
' o
' n ' m
o
n m +
=

+
=
+


anlogamente
' u
' t ' s
u
t s
y
' r
' q ' p
r
q p

+
=
+ +
=
+
De donde se obtiene que :
' T
' 1 T
T
1 T
=
Repitiendo el mismo razonamiento anterior y teniendo en cuenta las relaciones
siguientes ( ver figuras 8 y 9 ):

+ + +
=
u t
s
,
r q
p
,
o n
m
F
T
2 T
,

+ +
+
=
u
t s
,
r
q p
,
o n
m
F
T
1 P
, ..

+
+
+
=
u
t s
,
r q
p
,
o
n m
F
T
2 P

+
+ +
=
u t
s
,
r
q p
,
o
n m
F
T
3 P
,.

+
+ +
=
u
t s
,
r q
p
,
o n
m
F
T
4 P
.,

+ +
+
=
u t
s
,
r q
p
,
o
n m
F
T
5 P

+
+
+
=
u t
s
,
r
q p
,
o n
m
F
T
6 P
, y
6 y 1,2,3,4,5 j
' T
' Pj
T
Pj
y 1,2 i
' T
' Ti
T
Ti
= = = =
As como tambin:
6 y 1,2,3,4,5 j 1,2 i
' Pj
' Ti
Pj
Ti
= = =
De la figura 10 puede observarse la siguiente relacin: H = T
1
P
1
P
2
P
3
siendo H el rea del Hexgono. Dividiendo la anterior igualdad por T, tenemos:
' T
' H
T'
P3'
T'
P2'
T'
P1'
T'
T1'
T
P3
T
P2
T
P1
T
T1
T
H
= = =
de donde se obtiene que este cociente tambin permanece invariante por
transformaciones de Steiner.
Anlogamente de la figura 11 se obtiene la siguiente relacin: E = T
1
+ T
2
H
siendo E el rea de la estrella de doce puntas. Dividiendo por T, tenemos que:
T
H
T
T
T
T
T
E
2 1
+ =
Y como todos los cocientes que intervienen en el segundo
miembro son invariantes por transformaciones de Steiner, tambin los ser el
cociente entre el rea de la estrella y el tringulo ABC. De la misma forma:
Jornadas de Educacin Matemtica de la Comunidad Valenciana
497
' H
' E
H
E
=
Por lo tanto podemos establecer el siguiente resultado:
Dado el tringulo ABC de la figura 6 cuyos lados son divididos en tres segmentos
cada uno, por los puntos a
1
, a
2
, a
3
, a
4
, a
5
y a
6
, de modo que los segmentos
centrales contienen al punto medio de cada lado como punto interior, al cual le
aplicamos una transformaciones de Steiner. Los cocientes entre las reas de las
figuras formadas por la interseccin de los segmentos que unen cada vrtice con
los puntos situados en el lado opuesto:
6 1,2,3,4,5, j 1,2 i
T
E
y
T
H
,
H
E
,
Pj
E
,
Pj
H
,
Ti
E
,
Ti
H
,
T
Pj
,
Pj
Ti
,
T
Ti
= =
son invariantes bajo transformaciones de Steiner del triangulo ABC.
Adems tenemos las siguientes relaciones:
Para el tringulo T
1
:
u
t s
,
r
q p
,
o
n m +
=
+
=
+
=
( )
[ ]
[ ] [ ] [ ] ru u t s q u t s p u t s o t s n t s m or r q p n r q p m
oru t s q p n t s q p m
u t s r q p o n m
T
T
+ + + + + + + + + + + + + + + + + +
+ + + + +
=
) ( ) ( ) ( ) ( ) ( ) ( ) (
) )( ( ) )( (
, , , , , , , ,
2
1
Anlogamente tomando los valores apropiados de , y se obtiene
T
T
2
.
Para el tringulo P
1
:
u
t s
,
r
q p
,
o n
m +
=
+
=
+
=
( )
[ ]
[ ] [ ] [ ] ru ) u t s ( q ) u t s ( p ) u t s )( o n ( ) t s ( m ) o n ( r ) r q p ( m
) o n ( ru ) t s )( q p ( m
u , t , s , r , q , p , o , n , m
T
1 P
2
+ + + + + + + + + + + + + + +
+ + +
=
De forma similar obtenemos las frmulas de
T
P
T
P
6 2
... ,
.
Para los cocientes entre el hexgono y la estrella usaremos las relaciones:
T
P
T
P
T
P
T
T
T
H
3 2 1 1
=
y
T
H
T
T
T
T
T
E
2 1
+ =
Llegando al Teorema de Morgan
Un caso particular , pero que generaliza el problema de Morgan es:
Gonzlez, Francisco. y Gracia, Floreal. Ampliacin al teorema de Morgan
498
Aplicando las frmulas anteriores para los siguientes valores :
2
1 -
u , 1 t ,
2
1
s ,
2
1 -
r , 1 q ,
2
1
p ,
2
1 -
o , 1 n ,
2
1
m

= =

= = =

= = =

=
obtenemos:
1,2 i
4
1 3
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
=
+
=

Ti
T
( )( )
( )
1,2,...,6 i
1 4
1 9 1 3
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2 2
=

+
=

Pi
T
8
1 9
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
H
T
2

,
( )( )
( )

1 3 16
1 9 1 3
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2 2

+
=

E
T
Y tambin las siguientes relaciones:
( )
( )

1 3
1 3 2
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2
+

H
E
Observar que si calculamos:
( )
( )
2
1 3
1 3 2
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2
=
+

lim lim
H
E
lo cual nos indica que cuando se hace muy grande el rea de la estrella es el
doble del rea del hexgono.
Otras constantes
Otras relaciones interesantes son:
( )
( )
1,2 i
3
4

1 9
1 3 4
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2
=

Ti
E
( )
( )
1,2,...,6 i 12
1
1 3 4
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2
=

Pi
E
( )
( )
1,2 i
3
2

1 9
1 3 2
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2
=

+
=

Ti
H
( )
( )
1,2,...,6 i 6
1
1 3 2
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2
=

+
=

Pi
E
( )
( )
1,2,...,6 j 1,2 i 9
1
1 9
2
1
, 1 ,
2
1
, 1 ,
2
1
,
2
1
, 1 ,
2
1
2
2
= =

Pj
Ti
Nuevas investigaciones
Una lnea de investigacin es la ampliacin del Teorema de Morgan cuando los
valores de las proporciones son diferentes para cada lado.
Jornadas de Educacin Matemtica de la Comunidad Valenciana
499
Conclusiones
La tecnologa ha realizado progresos notables en la sociedad actual y como no, en
las costumbres de sta. En el mbito cientfico esta revolucin tambin ha
producido cambios asombrosos, aunque todava nos queda por realizar una mayor
acomodacin a estas novedades. Se abren nuevos debates que no se abordan en
profundidad, dejando que los acontecimientos nos sobrepasen o simplemente
damos soluciones de urgencia, sin buscar una solucin definitiva o por lo menos
reflexionada al enigma planteado. Uno de estos problemas abiertos es la
aplicacin de esta tecnologa en el mbito educativo e incluso en el campo de la
investigacin matemtica y hay que determinar esto ltimo ya que la tecnologa si
que se ha incorporado con arraigo en muchos de los otros campos cientficos, sin
embargo parece que .el mbito terico est vetado para tales aplicaciones.
En este trabajo apreciamos la utilizacin de las nuevas tecnologas en ayuda de
nuestra labor de investigacin en matemticas. Principalmente podemos destacar
las siguientes aplicaciones:
1. Formulacin de hiptesis de trabajo.
2. Comprobacin de estas hiptesis.
3. Eliminacin de conjeturas y formulacin de contraejemplos.
4. Elaboracin de complicados y tediosos clculos algebraicos.
Gracias a un asistente geomtrico como el CABRI, hemos podido formular
hiptesis de trabajo con una increble comodidad y precisin, llegando
posteriormente a una fcil comprobacin de stas. Creando un debate en la
comunidad matemtica sobre la aceptacin de la comprobacin exhaustiva como
demostracin de una tesis. Es necesario que la evidencia observada, sea
contrastada con una demostracin algebraica rigurosa? Puede darse como
demostracin, la comprobacin exhaustiva? Lo que nadie puede negar es la
utilidad para dar contraejemplos que eliminen conjeturas errneas y la aceptacin
matemtica de estos procedimientos.
Tambin los asistentes matemticos, como el Derive (incorporado en calculadoras
simblicas como la TI-89) nos han ayudado a la realizacin de tediosos clculos
algebraicos, que mas que por su dificultad, aburren por su amplitud.
Referencias
[1] DE FARIA, E. (2000). Generalizacin del Teorema de Morgan, Panam:
RELME 14.
[2] WATANABE, T., HANSON, R., NOWOSIELSKI, F.( 1996) Morgans theorem.
The Mathematics Teacher, Vol. 89, No. 5.