Sie sind auf Seite 1von 62

Revista Escolar de la Olimpada Iberoamericana de Matemtica

Nmero 40 (septiembre noviembre 2010)


ISSN 1698-277X


NDI CE
Ar t cul os, not as y l ecci ones de pr epar aci n de
Ol i mpi adas 40
Crist bal Snchez- Rubio Garca: Nueve caract erizaciones de
los t ringulos cuyos lados est n en progresin arit mt ica.
Albrecht Hess: Nuevas soluciones a los Problemas de
Geomet ra de Olimpiadas , leccin de preparacin olmpica
de F. Bellot .
Francisco Bellot : El t eorema de Muirhead y aplicaciones a
problemas de Olimpiadas.
Luis Gmez- Snchez: Cuadrados negat ivos?
Pr obl emas par a l os ms j v enes 40
Jorge Nez Caldern ( Lima, Per) hace la observacin
( acert ada, a j uicio de est e edit or) que la respuest a correct a
al problema 4 de los Problemas para los ms j venes ( 39)
debe ser 6, en lugar de 3 ( obt enida al simplificar la fraccin
2008/ 2002, que divide por 2 el rest o de la divisin) . El
edit or agradece est a colaboracin.
Problemas de la 1 Olimpiada de Lit uania para los ms
j venes ( 1990) . Agradecemos al Prof. Romualdas Kasuba
habernos proporcionado est os problemas.
Pr obl emas de ni v el medi o y de Ol i mpi adas 40
Cinco problemas de la Olimpiada de Suiza 2007.
Pr obl emas
Pr obl emas pr opuest os: 196 200
Pr obl emas r esuel t os
Pr obl ema 191
Recibidas soluciones de lvaro Begu Aguado ( Nueva York,
USA) ; Sebast in Espinal ( Univ. de Ant ioquia, Colombia) ;
Xavier Ros ( Barcelona, Espaa) y del proponent e.
Present amos la solucin de Espinal.
Pr obl ema 192
Recibidas soluciones de Xavier Ros ( Barcelona, Espaa) y
del proponent e. Present amos la solucin de Ros.
Pr obl ema 194
Recibidas soluciones de Miguel Amengual Covas ( Cala
Figuera, Mallorca, Espaa) ; Ricard Peir i Est ruch ( Valencia,
Espaa) ; Xavier Ros ( Barcelona, Espaa) ; Bruno Salgueiro
Fanego ( Vivero, Lugo, Espaa) y el proponent e.
Present amos la solucin ( ms generalizada) de Xavier Ros.
Coment ar i o de pgi nas w eb y not i ci as y anunci os de
Congr esos 40
36 Congreso de la SBPMef en Dinant , Blgica.
13 CEAEM Thales en Crdoba, Espaa.
Di v er t i ment os mat emt i cos 40
La hist oriet a como est rat egia de aprendizaj e en los cursos
de mat emt icas ( Post er present ado en RELME 24,
Guat emala)
Desar r ol l ada en el Cent r o de Al t os Est udi os Uni v er si t ar i os de
l a OEI con el apoy o de l a Agenci a Espaol a de Cooper aci n
I nt er naci onal par a el Desar r ol l o ( AECI D)




Acceder
ht t p: / / w w w .oei .es/ oi m/ r evi st aoi m/ numer o40. ht m

Conv ocat or i a: Cur so par a l a f or maci n per manent e en el r ea
de l as Mat emt i cas
El curso est dirigido al profesorado de Enseanza Secundaria en
ej ercicio de cualquiera de los pases iberoamericanos. Cualquier
docent e de est e nivel puede solicit ar part icipar. No es necesario
ningn t ipo de requisit o previo salvo el impart ir docencia en ese nivel
que acredit ar cuando se le solicit e. Tampoco es necesario poseer
una formacin previa en el manej o de los medios informt icos
porque, precisament e, uno de los obj et ivos del curso es proporcionar
esos conocimient os a quienes est n dispuest os a formarse para la
ut ilizacin de esos recursos. En est e sent ido, habr una unidad cero
cuyo cont enido va en esa lnea.
ht t p: / / w w w .oei .es/ f or mul ar i os/ cur somat .ht m

Nueve caracterizaciones de los tringulos cuyos lados estn en progresin aritmtica.

Sea un tringulo de vrtices A, B, C y lados opuestos a, b, c respectivamente, supondremos sin
prdida de generalidad que a b c .
Denotaremos como es habitual por p al semipermetro, S al rea, r al inradio, R al circunradio, I el
incentro, y [ ] , , .. X Y Z el rea del polgono de vrtices X, Y, Z,
Diremos que un tringulo es de la clase P.A. cuando sus lados estn en progresin aritmtica, lo que
supone que cumple las siguientes condiciones trivialmente equivalentes:
2 2 3
2
b
a c b p b p b + = = =
Vamos a establecer nueve condiciones necesarias y suficientes para que un tringulo pertenezca a la
clase P.A.

1) La altura relativa al lado b es tres veces el inradio r. (XLI OME, Fase nacional 2005, apartado b).
En efecto, si
b
h es la altura correspondiente al lado b, en cualquier tringulo se cumple:
1
2
b
pr bh = .
Si suponemos que el tringulo es P.A., tenemos
3 1
3
2 2
ab b
br
bh r h = =
El recproco se prueba siguiendo el mismo razonamiento en sentido contrario.

2) La distancia del circuncentro al lado b es R r. (XLI OME, Fase nacional 2005, apartado c).
Pongamos
b
d a la distancia entre el circuncentro y el lado b.
De una parte en todo tringulo se cumple
2
2 2
4
b
b
d R = (1)
y de otra para los tringulos P.A. se tiene

2 2 2
2 2 2 3 2
B r r r r
tg
p b p b b b b
= = = =

.
Como
c
b
a
h
b
d
b
T
I
C
A
B
2
sen
b
R
B
= y
2
1
1
2
sen
2
2
B
tg
B
B
tg
+
= ,
resulta:
2
2 2
2
2
4
1
2 2
4
4 4
r
b b
b
R b r Rr r
r
r
b
+
= = + =
que sustituida en (1) queda:
( )
2
2 2 2 2 2
2
4
b b
b
d R R Rr r R r d R r = = + = = .
El recproco se prueba siguiendo el mismo razonamiento en sentido contrario.

3) Las reas de los tringulos ABC y ACJ son iguales. (Revista Escolar de la OIM - Nmero 21
problema 101).
Siendo T el punto de tangencia del crculo inscrito con el lado AC y J la segunda interseccin de la
recta IT con el crculo circunscrito al tringulo AIC .
Primero vamos a calcular TJ en funcin de elementos del tringulo ABC
Trazamos las perpendiculares a AC por A y C que cortan de nuevo al circuncrculo en A y C
respectivamente determinando el rectngulo CAAC inscrito en el circuncrculo de ACJ.
Claramente se tiene

90 , 90
2 2
C A
CAJ ACJ = = .
Entonces

' ' 90 ' 90 .
2 2 2 2
A A C B
ACA ACJ A CJ A AJ = = = =
Por tanto lo tringulos IBM y ACA son semejantes y se tiene
'
' ,
AA r CA
AA r
CA BM p b
= =


c
a
b
T'
C'
A'
J
B'
T
M
I
C
B A
y de ah que
' ' ' 1
b b pr
TJ TT T J AA r r r r
p b p b p b
| |
= + = + = + = + =
|

\

pero
1
'
2
pr b BB = (ambas expresiones son el rea de ABC) y nos queda finalmente
( )
'
.
2
b BB
TJ
p b
=


Relacin vlida en cualquier tringulo. Si suponemos que el tringulo es de la clase P.A., entonces
( )
1 '
2 2
b b
p b TJ BB
p b
= = =

.
Y los tringulos ABC y ACJ tienen la misma rea al tener la misma base y alturas equivalentes.
Recprocamente, si los tringulos ABC y ACJ tienen la misma rea, al tener la base comn sus
alturas sern iguales, por tanto
( )
' 1 2 3
2 2
b a c
TJ BB p b b
p b
+
= = = =


4) sen 2sen sen
2 2 2
B A C
= . (Nota aadida a la solucin del problema anterior).
En efecto, en cualquier tringulo se cumple

cos
2
2 sen
2
' sen 2 sen cos
2 2
A
TJ CJ
A
CJ c
A A
TJ BB c A c

=
`

= = =

)

de modo anlogo 2 sen
2
C
AJ a = y el rea de CAJ vale
[ ]
1
sen 90 2 sen sen cos
2 2 2 2 2
B C A B
CAJ CJ AJ ac
| |
= =
|
\

por otra parte
[ ]
1
sen sen cos
2 2 2
B A
ABC ac B ac = =
Si el tringulo es de la clase P.A,, las reas son iguales y resulta
sen 2sen sen
2 2 2
B A C
= .
Esta caracterizacin se expresa en funcin de elementos que slo dependen de la forma del
tringulo. Resultado esperable ya que la pertenencia a la clase P.A. es invariante por semejanza.
Para probar el recproco basta seguir el razonamiento en sentido contrario.
Como
sen cos cos cos sen sen
2 2 2 2 2 2
B A C A C A C +
= = ,
sustituyendo en la expresin anterior y operando, resulta otra caracterizacin equivalente
1
tg tg
2 2 3
A C
=

5)
( )
( )
2
3
4
a c
S r r
b a c

. Siendo , ,
a b c
r r r los exinradios.
Es sabido que en cualquier tringulo ,
a c
S S
r r
p a p c
= =

.
entonces,
( )
( ) ( )
( )
( )( )
2
1 1
a c
S a c S a c
r r S
p a p c p a p c S p a p c
| |
= = =
|

\

como ( ) ( )( )
2
S p p a p b p c = , resulta
( )
( )( )
( ) ( )( ) ( )
( )( )
( ) ( )
2
a c
S a c p p a p b p c a c p p b a c
r r
S p a p c S p a p c S

= = =


( )
( )
( )
a c
S r r
p p b
a c

.
Si el tringulo es P.A., entonces
( )
2
3 1 3
2 2 3 ,
2 2 4
b a c p a b c b p b p b b p p b b = + = + + = = = = ,
y sustituyendo queda
( )
( )
2
3
4
a c
S r r
b a c


Para probar el recproco basta seguir el razonamiento en sentido contrario.

6) 6Rr ac = . (Propuesto sin resolver en "Trait de Gomtrie" de Eugne Rouch i Charles de
Comberousse).
Es sabido que
4
abc
R
rp
= , siendo p el semipermetro.
Si el tringulo es P.A., , 2b a c = + y en consecuencia
3
2 2
a b c b
p
+ +
= = de donde,
6
4 6
abc abc
Rr Rr ac
p b
= = =
Recprocamente, si 6Rr ac = ; entonces
3
3 2
2 2
abc a c
ac b p a b c b
p
+
= = = + + =
7)
2
3 AT TC r = , siendo T el punto de tangencia del incrculo con el lado AC. (Problema 144 de la
Gaceta de la RSME apartado b).
Como
( )( ) ( ) p a p b p c
r
p

= ,
se tiene
( ) ( )
( ) ( )( )
( )
2
2 2
3 2
3
2
p p a p b p c
pr b
AT TC p a p c r r
p p b p b b

= = = = =


y recprocamente,
( )( )( ) ( ) ( )
2
3 3 3
3 1 2 3 2
p a p b p c AT TC p b p b
r p b a c b
p p p

= = = = + =
8) XY r = , siendo X es el punto medio del lado AC, e Y el punto medio del arco AC del
circuncrculo que no contiene a B. (Problema 144 de la Gaceta de la RSME apartado c).
En efecto, como

2
B
XCY = , los tringulos CYX y PBI son semejantes.
Si el tringulo es P.A., entonces ( )
2
b
p b = , y los tringulos CYX y PBI son iguales de donde
XY r = .
Recprocamente, si XY r = entonces los tringulos CYX y PBI son iguales y se sigue que
3
2 2
b b
CX BP p b p = = = =
9)

2
IA IC
r
IB
= . (Problema 144 de la Gaceta de la RSME apartado d).
En efecto,
2
b
BP p b = = si y slo si [ ] [ ] 2 ICA BIP = ya que ambos tringulos tienen la misma
altura r y uno de ellos tiene la base doble que la del otro.
Calculando ambas reas
[ ]

[ ]
1 1 1
sen sen 90 cos
2 2 2 2 2
1 1
sen 90 cos
2 2 2 2
B B
ICA IA IC AIC IA IC IA IC
B B
IPB r IB r IB
| |
= = + =
|
\
| |
= =
|
\

multiplicando por 2 la segunda e igualando con la primera, resulta:
1
2
2
IA IC
r IB IA IC r
IB
= = .

Y
T
P
Q
I
X
C
A
B

PROBLEMAS DE GEOMETRIA DE OLIMPIADAS
Problemas de Francisco Bellot Rosado soluciones modificadas por Albrecht Hess

Problema 1 En el cuadriltero ABCD est inscrito un crculo, siendo K, L, M, N los puntos de
tangencia con los lados AB, BC, CD y DA, respectivamente. Las rectas DA y CB se cortan en
S, mientras que BA y CD se cortan en P. Si S, K y M estn alineados, probar que P, N y L
tambin lo estn.
(Olimpiada de Bielorrusia 1996)
Solucin ma:











S, K y M estn alineados, lo cual significa, que el punto S(s|t) est en la lina polar
po
P
del punto P(p|q) con respecto al crculo. Esta lina polar pasa siempre por los
puntos K y M donde las tangentes que pasan por P tocan el crculo. Para un crculo
con la ecuacin x
2
+ y
2
= r
2
y, la ecuacin de po
P
es p x + q y = r
2
y por lo tanto
p s + q t = r
2
. Entonces, la lina polar po
S
por N y L tiene la ecuacin s x + t y = r
2
,
lo que significa que los puntos P, N y L estn alineados.
(Vlido tambin para otras cnicas: La lina polar con respecto a una cnica de
un punto S que est en la lina polar de otro punto P siempre pasa por P.)


Problema 2 En el tringulo ABC, sea P el punto de concurrencia de las cevianas AA, BB y CC
( con A(BC) , B(CA) , C(AB) ), y sea M un punto del plano del triangulo. Demostrar
que
2 2 2
2
[ ] [ ] [ ]
( )
[ ]
BPC MA CPA MB APB MC
MP r P
ABC
+ +
= +
donde r(P) es la potencia de P respecto al crculo circunscrito a ABC y [...] representa el rea.
(Revista rumana Gamma)
Solucin ma:







Los nmeros
[ ] [ ] [ ]
, ,
[ ] [ ] [ ]
BPC CPA APB
u v w
ABC ABC ABC
= = = son las coordenadas baricntricas
del punto P con respecto al tringulo ABC. Eso significa que para cualquier punto
M del plano tenemos la ecuacin
MP u MA v MB wMC = + +
JJJG JJJG JJJG JJJJG
.
Entonces
2 2 2 2
2 2 2
2 2 2 MP u MA v MB w MC uv MA MB vwMB MC wu MC MA = + + + + +
JJJG JJJG JJJG JJJJG JJJG JJJG JJJG JJJJG JJJJG JJJG
.
Utlizando
2 2 2
2MA MB MA MB AB = +
JJJG JJJG JJJG JJJG JJJG
y 1 u v w + + =
llegamos a
(1)
( )
2 2 2 2 2 2 2
MP u MA v MB w MC uv AB vw BC wu CA = + + + +
JJJG JJJG JJJG JJJJG JJJG JJJG JJJG
.
Eligimos M = O, el centro der circumcrculo del tringulo ABC con el radio r,
obtenemos con 1 u v w + + =
( )
2 2 2 2
2
OP r uv AB vw BC wu CA = + +
JJJG JJJG JJJG JJJG
,
lo que significa que la potencia r(P) de P con respecto al crculo circunscrito es:
(2) ( )
( )
2 2 2 2
2
r P r OP uv AB vw BC wu CA = = + +
JJJG JJJG JJJG JJJG
.
La solucin se obtiene combinando (1) y (2).
(Con la ecuacin (1) se describen crculos en coordenadas baricntricas del punto P.)



Problema 3 Demostrar que, si en el tringulo ABC, donde O es el centro del crculo circunscrito con el
radio R y G el baricentro,
3
R
GO = ,
entonces ABC es rectngulo, y recprocamente.
(Elemente der Mathematik, 1952)
Solucin ma:









Por
3
a b c
OG
+ +
=
G G G
JJJG
vemos que hay que demostrar que ABC es rectngulo si y slo si
a b c R + + =
G G G
que equivale a demostrar que
2 2
3 2 2 2 R a b b c c a R + + + =
G G G G G G

o bien
1 cos 2 cos 2 cos 2 0 + + + =

Utilizando
2 2
cos 2 2cos 1, cos 2 2cos 1 = = y
2
cos 2 1 2sin = llegamos a
2 2 2
cos cos sin 0 + = .
Como 180 = , eso significa
( ) ( )
2 2 2 2 2 2
cos cos sin cos sin cos 2sin sin cos cos 0 + =
por lo tanto
cos cos cos 0 = .


Problema 4 La grca de la funcin
1
, (0, ) y x
x
= +
se dibuja en el plano con respecto a unos ejes de coordenadas rectangulares Oxy. Despus se borran
los ejes de coordenadas. Reconstruirlos con regla y comps.
(Competicin blgara de primavera, 1992)
Solucin ma:
Elegimos un punto
1
| A a
a



y consideramos el conjunto
de las rectas que pasan por A con sus respectivas
inclinaciones m. Como es de grado 2, el punto B en que
estas rectas cortan tiene una expresin racional en a y m:
1
| . B ma
ma




Se observa, que el punto medio
2 2
1 1
2 2
ma ma
C
ma a

+ +


del segmento AB est en la
recta y = mx si A recorre . Esta recta pasa por O(0|0). El punto O se reconstruye
eligiendo dos valores distintos de m y para cada uno de estos valores dos paralelas
con sus respectivos puntos A, B y C.
Como AB y OC tienen inclinaciones con signos opuestos, se construye la paralela a
AB por O y los ejes son los bisectores de los ngulos entre esta paralela y OC.





Problema 5 Resolver la ecuacin
( ) ( ) ( ) ( ) abx x a b bcx x b c cax x c a abc a b c + + = + +
(Mathesis, 1890)

Solucin ma:












La ecuacin (y el problema) admite la siguiente reformulacin geomtrica: Hallar el
radio de una circunferencia tangente exteriormente a tres circunferencias k
A
, k
B
y k
C

dadas de radios a, b, c tangentes dos a dos.

En el punto O de tangencia de k
B
y k
C
construimos un crculo de tal manera, que
la inversion con respecto a deja k
A
cmo estaba. Entonces las imgenes k
B
y k
C

sern rectas perpendiculares a BC y tangentes a k
A
. Si el radio de es r, obtenemos
(1)
2 2
1 1
2 ' '
2 2
r r
a OB OC
b c
= + = + , lo cual significa
2
4abc
r
b c
=
+
.
El radio R de la imagen k en la inversion con respecto a de un crculo k con
centro M y radio R se calcula con la formula
(2)
2
2 2
'
r
R R
OM R
=

.
Para el crculo k
A
obtenemos entonces
2
2 2
r
a a
OA a
=

que implica
2 2 2
OA r a = + .
Para aplicar la formula (2) al crculo k con centro D hay que calcular OD:
( )
2 2 2
2
2 2
2 2
2 con
5 4
BC
BC
OD OF FD
OA AF AF a AF h
r a ah
= +
= + =
= +

Entonces el radio x del crculo k es segn las frmula (1) y (2)
( )
2 2
2 2 2 2
2 4 4
ABC BC BC
r r abc abc
x a a
ab bc ca A ab bc ca b c h OD a r a ah
= = = =
+ + + + + +
.

El problema se explica mejor con la ecuacin
( ) ( ) ( ) ( ) abx x a b bcx x b c cax x c a abc a b c + + + + + + + + = + + ,
ya que el centro D de k est dentro del trangulo ABC. En el problema tal como se
da en el enunciado el punto D puede salir del trangulo ABC y entonces el rea de
ABC no es la suma de los tres trangulos.
( )
2
2
ABC
abc abc
x
ab bc ca A
ab bc ca abc a b c
= =
+ + +
+ + + + +

2
2 2 2 2
2
2 2 2 2
1 1 1 1 1 1 1
2
1 1 1 1 1 1 1
4
1 1 1 1 1 1 1 1 1 1
2
1 1 1 1 1 1 1 1
2
x a b c ab bc ca
x a b c ab bc ca
x a b c xa xb xc ab bc ca
x a b c x a b c
= + +

= + +



+ + + = + + + + +



+ + + = + + +


.













La explicacin ms lucida de esta frmula, que adems se puede generalizar al caso
de ms dimensiones, est en un rticulo Beyond the Descartes Circle Theorem de
Lagarias, Mallows y Wilks en Amer. Math. Monthly 109 (2002), 338361
[ http://arxiv.org/abs/math/0101066 ].
En realidad, esta frmula es una formula sobre
crculos en una esfera. La diferencia ms notable entre
las configuraciones de los crculos en el plano y de los
casquetes en la esfera es que los interiores de estos
casquetes no tienen puntos en comn si se elige bien
entre las dos posibilidades de los casquetes que
corresponden a un crculo como se puede ver en la
imagen.


Si los casquetes estn sobre una esfera
3
de radio 1 la ecuacin
del plano que separa el casquete del resto de la esfera es
cos x m = para el casquete rojo y ( ) ( ) cos x m = para
el casquete negro. Hacemos corresponder a un casquete el
vector ( )
1
cos ,
sin
p m

= de cuatro dimensiones. El factor


1
sin
sirve para poner todos estos vectores en la pseudoesfera
2 2 2 2
1 2 3 4
1 p p p p + + + = . Al revs, a cada punto de la pseudo
esfera corresponde un vector que representa un casquete.

La condicin para que dos casquetes ( )
1
cos ,
sin
p m

= y
( )
1
cos ,
sin
q n

= se toquen es ( ) cos m n = + o en
coordenadas de p y q:
1 1 2 2 3 3 4 4
1 p q p q p q p q + + + = . Si tenemos
cuatro casquetes p, q, r, s unimos sus componentes en una
matriz
1 1 1 1
2 2 2 2
3 3 3 3
4 4 4 4
p q r s
p q r s
P
p q r s
p q r s



=




. La condicin necesaria y suficiente
para que estos casquetes se toquen mutualmente es
(1)
1 2 3 4 1 1 1 1
1 2 3 4 2 2 2 2
1 2 3 4 3 3 3 3
1 2 3 4 4 4 4 4
1 0 0 0 1 1 1 1
0 1 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 0 0 1 1 1 1 1
p p p p p q r s
q q q q p q r s
r r r r p q r s
s s s s p q r s




=






,
que de forma ms corta se escribe
T
P JP K = con las matrizes
1 0 0 0 1 1 1 1
0 1 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 0 0 1 1 1 1 1
J y K




= =






.
Invertiendo
T
P JP K = llegamos a
1 1 T
PK P J

= . Como
1
1
4
K K

= y
1
J J

= la
ecuacin (1) es equivalente a 4
T
PKP J = . De ah se deduce
( ) ( )
2
2 2 2 2
1 1 1 1 1 1 1 1
2 4 p q r s p q r s + + + + + + =
para casquetes mutuamente tangentes con los radios esfricos , ,... y
1 1
cot , cot ,... p q = = (Los radios esfricos estn elegidos de tal manera que los
interiores de los casquetes no tienen puntos en comn.)
Para llegar a frmulas correspondientes en el caso del plano, aplicamos una
proyeccin estereogrfica de la esfera
3
desde el polo sur s = ( 1|0|0) sobre el

plano x
1
= 0. Un punto x = (x
1
|x
2
|x
3
) de
3
se proyecta en ( ) ( )
1 2 2 3
3
1
| |
1
y y x x
x
=
+
.
A esta frmula aadimos las frmulas cos x m = y 1 x x = y llegamos a
( ) ( )
( ) ( ) ( )
2 2 2
2 2 2 3 1
1 2 2 2
1
1 1
1 2 1 3 2
1 1 2 1 1 3 2 1 1
1 1
1 2
1
1
1 1
1
1 1 1 cos o ,
cos 1
x x x
y y
x
x x
m m y m y
m x m y x m y x m
m x

+
+ = = =
+
+ +
+ +
+ + + + + = + =
+ +

as que el crculo que limita el casquete cos x m = se transforma en
2 2 2
3 2
1 2
1 1 1
sin
cos cos cos
m m
y y
m m m



+ =

+ + +

,
es decir en un crculo con el centro
3 2
1 1
cos cos
m m
m m



+ +

y el radio
1
sin
cos m

+
.
Qu pasa si el radio
1
sin
cos m

+
, o lo que es lo mismo,
1
cos m + es negativo?
Entonces
1
cos cos 0 s m m = > y el polo sur s pertenece al casquete. As de
forma automatica hemos integrado a travs de esta transformacin el caso de un
crculo en el plano que toca otro crculo por dentro. El crculo exterior tiene en este
caso una curvatura
1
cos 1
sin
m
b
r

+
= = negativa.
Si hacemos corresponder a un crculo con centro (x
1
|y
1
) y curvatura
1
1
1
b
r
= el
vector (b
1
|b
1
x
1
|b
1
y
1
), entonces al crculo con centro
3 2
1 1
cos cos
m m
m m



+ +

y
radio
1
sin
cos m

+
le corresponde un vector
( )
1 2 3
1
cos |
sin
m m m

+ que es
( ) ( )
1 2 3 1 2 3
1 0 0
1 0 0
1 1
cos | cos | |
0 1 0 sin sin
0 0 1
m m m m m m




+ =




.
Si tenemos cuatro crculos del plano tangentes cada dos entre ellos y la
correspondiente matriz
1 1 1 1 1
2 2 2 2 2
3 3 3 3 3
4 4 4 4 4
1 0 0
1 0 0
0 1 0
0 0 1
T
b b x b y
b b x b y
C P
b b x b y
b b x b y



= =




obtenemos
1 0 0 1 0 0
1 1 0 0 1 1 0 0 0 0 0
1 0 0 1 0 0
0 0 1 0 0 0 1 0 4 0 4 0
0 1 0 0 1 0
0 0 0 1 0 0 0 1 0 0 4
0 0 1 0 0 1
T T
C KC PKP J





= = =







,
que incluye
( ) ( )
2
2 2 2 2
1 2 3 4 1 2 3 4
2 0 b b b b b b b b + + + + + + = .

Problema 6 Sean AA
1
, BB
1
, CC
1
las alturas del tringulo acutngulo ABC, y sea V su punto de
interseccin. Si los tringulos AC
1
V, BA
1
V y CB
1
V tienen la misma rea, ser ABC
equiltero?
(Olimpiada de Chequia 1994)

Solucin ma
Sean (a, b, c), a+b+c = 1, las coordenadas
baricntricas del punto V. Las coordenadas
baricntricas de los otros puntos son:
A(1, 0, 0), B(0, 1, 0), C(0, 0, 1),
1
0, ,
b c
A
b c b c


+ +


1 1
, 0, , , , 0
a c a b
B C
a c a c a b a b


+ + + +

. Las reas de
los tringulos AC
1
V, BA
1
V y CB
1
V se calculan con
( )
( ) ( )
1
1 1
1 0 0
0 ,
,
ACV ABC ABC ABC
BAV ABC CBV ABC
a b bc abc
A A A A
a b a b a b a a b
a b c
abc abc
A A A A
b b c c a c
= = =
+ + + +
= =
+ +
.
Sea a el mnimo de las coordenadas de V. Si b o c son distintos de a, entonces
( ) ( ) a a b b c b + < + y el rea del tringulo AC
1
V es ms grande que el rea del
tringulo BA
1
V, en contra de la condicin del problema.
As tenemos V = G (ortocentro = baricentro) y ABC es equiltero.



Problema 7 La circunferencia inscrita en el tringulo ABC tiene centro I y es tangente a los lados BC,
CA y AB en los puntos X, Y, Z respectivamente. Las rectas BI y CI cortan a la recta YZ en los
puntos P y Q, respectivamente. Demostrar que si los segmentos XP y XQ tienen la misma
longitud, entonces ABC es issceles.
(Olimp. Iberoamericana 2001, Problema 2)

Solucin ma
Sin palabras!
(BZPX y CXQY tienen ejes de simetra)














Problema 8 Sea M un punto interior al tringulo ABC cuyo rea es S. Las paralelas por M a AB y
a AC forman, con BC, un tringulo de rea S
a
. Se denen anlogamente S
b
y S
c
..
a) Demostrar que
1 1 1 9
a b c
S S S S
+ + .
b) Determinar la posicin del punto M para que se verique la igualdad.
Solucin ma
Calculamos en coordenadas baricntricas: A(1|0|0),
B(0|1|0), C(0|0|1) y M(a|b|c) con a+b+c=1. La
recta que pasa por A y B es z = 0. Una recta paralela
a z = 0 tiene una ecuacin x + y + tz=0. Con esta
observacin se calculan las coordenadas
A
1
(0|1c|c), A
2
(0|b|1b), B
1
(a|0|1a), B
2
(1c|0|c),
C
1
(1b|b|0), C
2
(a|1a|0) y las reas
2 2 2
0 1 , ,
0 1
a b c
a b c
S c c S a S S b S S c S
b b
= = = =

.
La desigualdad se transforma en
1 1 1
9
a b c
+ + para a+b+c=1 y se deduce de la
desigualdad
3
1 1 1
3
a b c
a b c
+ +

+ +
entre la media aritmtica y la media armnica.
Igualdad habr slo en el caso a = b = c = 1/3, es decir en caso que M es el
baricentro.


Problema 9 Se dan en el plano una recta y tres circunferencias de centros A, B, C, tangentes a
y tangentes exteriores entre s dos a dos. Demostrar que el tringulo ABC es obtusngulo y hallar
el valor mximo de la medida del ngulo obtuso .
Solucin ma
Inversin con respecto al crculo rojo
cuyo centro es el centro de tangencia
del crculo k
A
con la recta .:
k
C
se transforma en una lnea k
C

paralela a . k
A
y k
B
estn tangentes a
y k
C
y adems entre s. Las rectas g
AC
y g
BC
se transforman en crculos que
cruzan perpendicularmente la lnea k
C

en V y W y pasan por C.
Suponiende que el dimetro de k
C

es 1, el punto C dista 1 de k
C
y la
misma distancia hay entre V y W. El
ngulo ACB se transforma en el
ngulo entre g
AC
y g
BC
en el punto C.
Ahora consideramos slo las cosas
importantes: Dos crculos que se
cortan en dos puntos cuyo distancia
es 2. Los puntos en que los crculos
cortan la recta entre sus centros tienen
la distancia 1. Hay que encontrar el
mximo del ngulo y hay que probar
que siempre es ms grande que 90.
La ltima afirmacin es evidente ya
que +
1
+
2
= 180 y
1
+
2
< 90.
Para los radios r
1
y r
2
tenemos:
( )
2 2
2
2
1 1 1 1 1
1 1
1 o y tan .
2 2
y y
r r y r r y
y y

+
= + = = =
Como eso parece al inverso de una formula para el
tangente del ngulo doble, intentamos sacar una
formula para
1 1
1
1 cos
tan
2 sin 1
x
y

= =
+
. De la misma
manera obtenemos
2
tan
2 1
y
x

=
+
y
1 2
1 2
1 2
tan tan
2 2
tan 1
2
1 tan tan
2 2
xy



+
+
= =

.
El mximo valor de sale con el mnimo valor de
1
+
2
y eso ocurre si x = y = .
(x+y=1). En este caso tenemos
1 2
3
tan
2 4
+
= y
4
tan
2 3

= .



Problema 10 Sea el tringulo ABC y A
1
(BC). Demostrar que los crculos inscritos en los
tringulos ABA
1
y ACA
1
son tangentes entre s, si y solamente si A
1
es el punto de tangencia del
circulo inscrito en ABC.
Solucin ma:
Tenemos las ecuaciones:
(1) c
1
+ c
2
= c
(2) b
1
+ b
2
= b
(3) a
1
+ a
2
+ b
2
+ c
2
= a
(4) a
1
= x + a
2

(5) b
1
= x + c
1
(4)+(5) 2x = a
1
a
2
+ b
1
c
1

(3) = 2a
1
+ b
1
+ b
2
+ c
2
c
1
a
(1)+(2) = 2a
1
+ 2c
2
a c + b
Solucionamos por x =
1 2
2
a c b
a c
+
+ . Eso es justo lo que haba que demonstrar.

Problema 11 Dos circunferencias,
1
y
2
, se cortan en M y N. Sea t la recta tangente comn a
ambas circunferencias, tal que M est ms cerca de t que N. La recta t es tangente a
1
en A y a

2
en B. La recta paralela a t que pasa por M corta de nuevo a
1
en C y a
2
en D. Las rectas
CA y DB se cortan en E. Las rectas AN y CD se cortan en P; las rectas BN y CD se cortan en
Q. Demostrar que EP = EQ.
(Problema 1, IMO 2000)
Solucin ma
Los tres ngulos amarillos son
iguales y los azules tambin.
Entonces AMBE es simetrico
con respecto a AB y ME es
perpendicular a AB.

La recta p que pasa por M y N es
la linea de potencia de
1
y
2
lo
cual significa que las distancias
entre cualquier punto X sobre p
y los puntos donde los tangentes que pasan por X tocan a los crculos
1
y
2
son iguales.
Por ejemplo: AR = RB. Por homoteta PM = MQ, lo cual nos lleva a PE = QE.


Problema 12 Sean
1
y
2
dos circunferencias que se cortan en P y Q. La tangente comn a ambas,
ms prxima a P, es tangente a
1
en A y a
2
en B. La tangente a
1
en P corta a
2
en
C P, y la prolongacin de AP corta a BC en R. Demostrar que el crculo circunscrito a PQR es
tangente a BP y a BR.
(Problema 2, APMO 1999)

Solucin ma
Inversin con respecto al crculo
rojo cuyo centro es el punto P con
radio arbitrario:







El punto P se va hacia el infinito, el infinito
est ahora donde estaba P.
1
y

2
se
transforman en lneas rectas que son
tangentes al crculo que es el imagen de la
tangente
1
. Por lo tanto, el tringulo ABQ es
issceles. La tangente
2
a
1
en P se transforma
en una paralela a
1
por . La recta g
BC
se ha
convertido en el circuncrculo de BC. Y la
recta g
AP
es invariable y el crculo
PQR
se
transforma en la recta por Q y R. Lo que
queda a demostrar es que la recta
PQR
es
tangente a g
BC
en R y paralela a B.



Comparando unos ngulos se ve que los tringulos
ABQ y BR son semejantes en una posicin en
que A, y R estn sobre una lnea recta. Para esta
configuracin se demuestra facilmente, que B y
QR son paralelas, lo que quedaba a probar.




Problema 13 Sea ABCDEF un hexgono convexo tal que AB es paralelo a ED, BC es paralelo a
FE y CD es paralelo a AF. Sean R
A
, R
C
, R
E
los radios de las circunferencias circunscritas a los
tringulos FAB, BCD y DEF, respectivamente; y sea p el permetro del hexgono. Demostrar que
R
A
+ R
E
+ R
C
p.
(Original de Nairi M. Sedrakian).
Solucin ocial
Sean a, b, c, d, e, f las longitudes de AB, BC,
DE, EF y FA, respectivamente. Obsrvese
que los ngulos opuestos del hexgono son
iguales. Desde A y D se trazan
perpendiculares a las rectas BC y EF . Se
verican las relaciones
KH = AB sin B + AF sin F
LN = DC sin C + DE sin E
que, mediante la igualdad de ngulos opuestos en el hexgono, se covierten en
KH = AB sin B + AF sin C
LN = DC sin C + DE sin B.
La distancia KH = LN es la distancia entre las rectas BC y EF, luego BF KH =LN,
y por lo tanto
2 BF KH + LN = AB sin B + AF sin C + DC sin C + DE sin B.
El teorema de los senos en ABF da BF = 2R
A
sin A, de donde
4R
A
sin A = 2BF AB sin B + AF sin C + DC sin C + DE sin B
y anlogamente
4R
C
sin C = 2BD FA sin A + FE sin B + CB sin B + CD sin A
4R
E
sin B = 2DF BC sin C + BA sin A + ED sin A + EF sin C
Dividiendo esas desigualdades respectivamente por sin A, sin B, sin C y sumando, se
obtiene
4 (R
A
+ R
C
+ R
E
)
sin sin sin sin
...
sin sin sin sin
C A B C
DC CB
A C C B

+ + + +



y que falta para obtener el resultado es utilizar la desigualdad y/x + x/y 2.
La igualdad se alcanza si y slo si el hexgono es regular.


Sedrakian ha publicado en Mathematics Competitions, vol. 9, n2, 1996, un artculo
titulado The Story of creation of a 1996 IMO problem, en el que explica el
proceso de obtencin del problema.

Problema 14 En el tringulo acutngulo ABC, AD y BE
son alturas, y AP, BQ bisectrices interiores. Si I, O son,
respectivamente, el incentro y el circuncentro de ABC,
demostrar que D, E, I estn alineados si y slo si P, Q,
O estn alineados.

Solucin ma
Si AP es bisectriz, entonces b : c = x : y , lo cul
significa que las coordenadas baricentricas
homogneas de P son (0|b|c) (0|sin |sin ).
De la misma manera se calculan las coordenadas
baricentricas (sin |0|sin ) de Q,
(sin |sin |sin ) de I, (tan |0|tan ) de E y
(0| tan |tan ) de D.











Para determinar las coordenadas baricentricas de O obtenemos en los tringulos
AUO y BUO: u : sin 2 = w : sin = v : sin 2, lo cul significa que las
coordenadas de U son (sin 2|sin 2|0). Un clculo similar para los otros lados del
tringula ABC nos lleva a las coordenadas baricentricas (sin 2|sin 2|sin 2) de O.

D, E y I estn alineados en coordenadas baricentricas:
0 tan tan
tan 0 tan 0
sin sin sin



=
(Eso significa que el rea del tringulo DEI es zero.)
P, Q y O estn alineados en coordenadas baricentricas:
0 sin sin
sin 0 sin 0
sin 2 sin 2 sin 2



=
Pero la segunda determinante es 2cos cos cos veces la primera:


Problema 15 Las circunferencias G, G
1
, G
2
estn relacionadas de la siguiente manera: G
1
y G
2
son
tangentes exteriores en el punto W; ambas son, adems, tangentes interiores a G. Los puntos A, B y
C de la circunferencia G se determinan de la siguiente forma: BC es la tangente exterior comn a G
1

y G
2
; y WA es la tangente comn interior a G
1
y G
2
, de modo que W y A estn a un mismo lado
de la recta BC. Demostrar que W es el incentro de ABC.
Solucin ma













En el imagen a la izquierda se ve el problema y a la derecha su transformacin despus
de una inversin con respecto a un crculo con centro W y un radio sin especificar. Los
crculos G
1
y G
2
se transforman en rectas paralelas y el imagen de G toca las dos rectas.
La recta g
WA
queda invariable, y en lugar de W tenemos el punto . El imagen de la
recta BC es un crculo que toca como G las dos paralelas G
1
y G
2
y pasa por
entonces una traslacin de G por el vector A
JJJG
. Las imagenes de B y C son los puntos
de interseccin de ambos crculos G y g
BC
. Las rectas g
AB
y g
AC
son los circuncrculos
de los tringulos AB y AC.
El problema se transforma en la afirmacin de que g
AB
, g
AC
y g
BC
tienen el mismo
radio, ya que en este caso es el centro de un crculo al que g
AB
, g
AC
y g
BC
son
tangentes interiores (o A, B y C son ejes de simetra de cada dos de los crculos
g
AB
, g
AC
y g
BC
).

La demonstracin se basa en la igualdad de los
ngulos amarillos y rojos.
Por ejemplo BC=BA significa que los
circuncrculos de BC y BA tienen el mismo
radio
2sin
B
R
BC

=
)
.

Problema 16 Sean a, b, c los lados de un tringulo; m
a
, m
b
, m
c
las longitudes de sus medianas, y D el
dimetro del crculo circunscrito. Demostrar que
2 2 2 2 2 2
6 .
c a b
a b b c c a
D
m m m
+ + +
+ +
(Olimpiada de Rusia 1994, Dimitri Tereshin)
Solucin ma (muy similar a la solucin propuesta)
Como hay la formula:
2 2 2
2
2 2
4
c
a b c
m
+
=
(ecuacin de paralelograma ( )
2
2 2 2
2 2 2
c
a b m c + = + )
se puede escribir
2 2 2
2
2 4
c
a b c
m
+
= + o
2 2 2
2 4
c
c c
a b c
m
m m
+
= +
Como
2
1 2
4
c
c
m C C = , entonces
2 2
1 2 1
2
c
c
a b
m C C CC D
m
+
= + = < etc.

EL TEOREMA DE MUIRHEAD Y ALGUNAS APLICACIONES
A PROBLEMAS DE CONCURSO
Francisco Bellot Rosado
Introduccin
Durante las sesiones de trabajo entre los miembros del Jurado Internacional
de la IMO, en una de las Olimpiadas Internacionales a las que tuve el privile-
gio de asistir como Jefe de la Delegacin de Espaa, escuch a Valeri Vavilov
(entonces Jefe de la Delegacin de la URSS) el siguiente comentario:
Si se propone una desigualdad simtrica, mis estudiantes conocen la tcnica
que permite resolverla de manera automtica, casi sin pensar. Por lo tanto, yo
estara de acuerdo en que tal desigualdad se incluyera en la prueba.
La tcnica de la que hablaba Valeri es el teorema de Muirhead, y algn
tiempo despus de aquella Olimpiada, la Revista SIPROMA (nr. 2, septiembre
de 1997) public un artculo de Vavilov sobre el particular[1].
La demostracin general del teorema es muy complicada, y hasta hace rela-
tivamente poco tiempo, la nica documentacin a mi alcance sobre el asunto, de
un nivel adecuado para ser presentado a alumnos de Bachillerato, era el artculo
mencionado y el publicado en Quantum, nov.-dic. 1999, titulado [2]Obtaining
symmetric inequalities, de S. Dvoryaninov y E. Yasinovyi, y que en mi opinin
es excelente. Los trabajos clsicos, el de Hardy, Littlewood y Plya en su libro
[3]Inequalities, Cambridge U.P. 1934; y el de Marshall y Olkin en [4]Inequalities:Theory
of Majorization and its Applications, Academic Press 1979, no parecen, a mi
juicio, muy apropiados para una exposicin ante un pblico poco experimen-
tado; sus tecnicismos son demasiado sosticados.
Creo que la situacin, recientemente, ha cambiado. En [5]Making Mathemat-
ics Come to Life, de O.A. Ivanov (AMS, 2009), y en [6]Inequalities: A math-
ematical Olympiad Approach, de R. Bulajich Manfrino, J.A. Gmez Ortega y
R. Valdez Delgado (Birkhuser, 2009) se trata el teorema desde un punto de
vista riguroso pero plenamente abordable durante la preparacin de Olimpiadas
Internacionales. Adems Birkhuser va a publicar la versin en espaol del libro
escrito por los colegas mexicanos, lo cual har mucho ms accesible el resultado
a los alumnos iberoamericanos. Tampoco se debe olvidar el artculo de Lau Chi
Hin [7]Muirheads Inequality, en la revista digital gratuita Mathematical Excal-
ibur (vol. 11, nr.1) que se encuentra en http://www.math.ust.hk/mathematical_excalibur/.
Otro libro relativamente moderno, donde se relaciona el teorema de Muir-
head con el de Cauchy-Schwarz y otros, de una forma a mi juicio magistral, es
[8] The Cauchy-Schwarz Master Class, de J. Michael Steele (MAA-CUP, 2004).
En este trabajo pretendo utilizar las fuentes [1] ; [2] ; [5] ; [6] ; [7] ; [8] , para
poner a disposicin de los lectores de la REOIM el teorema de Muirhead y
como utilizarlo para resolver problemas de concurso.
Una mnima nota biogrca
Robert Franklin Muirhead (1860 - 1941) fu un matemtico escocs que
desempe el cargo de Presidente de la Edinburgh Mathematical Society, en
1
cuyos Proceedings public el teorema que nos ocupa y que se puede descargar
gratuitamente de la red (Some methods applicable to identities and inequalities
of symmetric algebraic functions of n letters, Vol. 21,pp. 144-157, ao 1903).
En [4] hay una pequea biografa suya y dos fotos, una de las cuales incluyo
ahora aqu:
En 1900 fund el Glasgow Tutorial College, del que fu Director hasta su
muerte en 1941. Presidi la EMS en 1899 y en 1909. La segunda foto de [4]
muestra un Muirhead mucho mayor, leyendo el Scots Independent, peridico
socialista del Scots National Party, en el que milit activamente.
Primeras aproximaciones al teorema de Muirhead
Trataremos de seguir, modestamente, el parecer de David Hilbert, quien en
cierta ocasin dijo: El arte de hacer matemticas consiste en encontrar ese caso
particular que contiene todo el germen de generalidad.
Es bien conocido que, para nmeros reales positivos a; b se verica
ab _
(a + b)
2
4
_
a
2
+ b
2
2
;
y designaremos esas tres expresiones por G; A; Q respectivamente.
Cul de estas dos expresiones ser mayor, GQ A
2
?
Se puede comprobar sin dicultad que
ab
_
a
2
+ b
2
_
_
(a + b)
4
8
;
porque la diferencia
2
(a + b)
4
8ab
_
a
2
+ b
2
_
= = (a b)
4
_ 0:
Como segunda pregunta, tratemos de ver si la desigualdad
ab
_
a
2
+ b
2
_
2
_
(a + b)
6
16
es cierta para todos a; b _ 0:
En este caso, poniendo b = 2a; el primer miembro es 50a
6
y el segundo
729
16
a
6
: Ya que 50 16 = 800; la presunta desigualdad no se cumple siempre.
Vamos a considerar ahora desigualdades con polinomios homogneos (todos
sus trminos son del mismo grado), como por ejemplo
x
2
+ y
2
_ 2xy (1)
x
5
+ y
5
_ x
3
y
2
+ y
3
x
2
(2)
x
2
+ y
2
+ z
2
_ xy + yz + zx (3)
x
3
+ y
3
+ z
3
_ 3xyz (4)
x
2
y
2
+ y
2
z
2
+ z
2
x
2
_ x
2
yz + y
2
xz + z
2
xy (5)
x
4
+ y
4
+ z
4
+ w
4
_ 4xyzw (6)
que se verican cualesquiera que sean los valores positivos de las variables.
Si el nmero de variables es 2, usualmente agrupando trminos y factorizando
se consigue probar la desigualdad. Por ejemplo, en (2):
x
5
+ y
5
x
3
y
2
y
3
x
2
= x
3
_
x
2
y
2
_
y
3
_
x
2
y
2
_
=
_
x
3
y
3
_ _
x
2
y
2
_
;
y los dos factores tienen el mismo signo, tanto si x _ y _ 0 (ambos son
positivos) como si y _ x _ 0 (ambos son negativos).
Para desigualdades con tres o ms variables, es ms difcil encontrar una
prueba simtrica. En el ejemplo (5), ser conveniente pasar todos los trmi-
nos de la desigualdad propuesta a un miembro, multiplicar por 2 y agruparlos
convenientemente:
x
2
y
2
+ y
2
z
2
+ z
2
x
2
x
2
yz y
2
xz z
2
xy =
x
2
_
y
2
2yz + z
2
_
+ y
2
_
x
2
2xz + z
2
_
+ z
2
_
x
2
2xy + y
2
_
=
x
2
(y z)
2
+ y
2
(x z)
2
+ z
2
(x y)
2
_ 0:
Simetrizacin de un monomio
Supongamos que tenemos las tres variables x; y; z que toman valores no
negativos. Se nos da un conjunto de tres enteros no negativos = (k; j; i), con
k _ j _ i, que sern los exponentes. Formamos una tabla con tres cuadrados
3
e insertamos el correspondiente exponente en el vrtice superior derecho de
cada cuadrado. Ponemos las tres variables en los cuadrados para obtener el
monomio x
k
y
j
z
i
: A continuacin ponemos las variables en un orden diferente y
obtendremos otro monomio, como y
k
x
j
z
i
: Una gura contribuye a claricar las
cosas:
Contemos el nmero de monomios que se obtienen de esta forma. Cada
una de las tres variables se puede colocar en el primer cuadrado, lo que da
3 posibilidades. Luego, cada una de las tres restantes se puede colocar en
el segundo, lo que da 32 = 6 posibilidades, y no hay ms, porque una vez
colocadas dos de las variables, la tercera va obligada. Luego sumamos todos los
monomios que hemos obtenido as para formar un polinomio en las tres variables
x; y; z, que designaremos como
T
(k;j;i)
(x; y; z) o bien T

(x; y; z) o incluso T

:
Estos polinomios son simtricos porque no varan si se intercambian las vari-
ables. El grado de cada monomio es s = k + j + i:
Veamos algunos ejemplos ms:
T
(2;1;0)
(x; y; z) = x
2
y + y
2
x + z
2
x + x
2
z + y
2
z + z
2
y
T
(3;1;1)
(x; y; z) = x
3
yz + y
3
xz + z
3
xy + x
3
zy + y
3
zx + z
3
yx
= 2
_
x
3
yz + y
3
zx + z
3
xy
_
T
(2;2;2)
(x; y; z) = 6x
2
y
2
z
2
En los dos ltimos ejemplos se ve que, si hay nmeros iguales en los
exponentes, se agrupan los trminos semejantes, dando una expresin ms
corta.
4
Para representar de una forma ms grca los polinomios T podemos utilizar
los diagramas de Young:
Si el conjunto de exponentes = (
1
; ;
n
) consta de n nmeros, la tabla
debe contener n cuadrados, y debemos usar n variables x
1
; x
2
; ; x
n
: Entonces
el polinomio T

(x
1
; ; x
n
) debe contener n! = 1 2 n trminos (antes de
que los trminos semejantes sean agrupados).
As, a cada conjunto = (
1
; ;
n
) de enteros, con
1
_
2
_ _
n
_
0; se le asigna un polinomio T

:A este polinomio se dice que es la simetrizacin


del monomio de exponentes
1
; ;
n
:
El nmero de cuadrados de cada diagrama de Young es igual al grado del
polinomio T : s =
1
+
2
+ +
n
:
Ejercicio: Escribir los polinomios T

y dibujar el correspondiente diagrama


de Young para los siguientes conjuntos :
(3; 2)
(3; 2; 1)
(3; 3; 0; 0)
(4; 1; 1; 0)
(5; 0; 0; 0; 0)
(1; 1; 1; 1; 1)
Comparacin de diagramas de Young
La gura que sigue muestra los pares de diagramas de Young correspondi-
entes a las desigualdades (1), (2), y (4) - (6) anteriores. Vemos que el diagrama
ms "empinado" corresponde al mayor de los dos polinomios.
5
Podemos pasar del diagrama ms empinado al otro moviendo los cuadrados
hacia la derecha y hacia abajo, como se muestra en la gura siguiente:
Vamos a formular una denicin ms precisa de la expresin ms empinado.
Lo haremos para diagramas de tres exponentes.
Sean = (
1
;
2
;
3
) y = (
1
;
2
;
3
) dos conjuntos de enteros tales que
s =
1
+
2
+
3
=
1
+
2
+
3
;

1
_
2
_
3
y
1
_
2
_
3
:
Diremos que mayoriza ; y lo escribimos ~ ; si se verica la condicin
siguiente: se puede obtener a partir de realizando la siguiente operacin un
cierto nmero (puede ser 0) de veces:
Esta condicin puede formularse tambin de la siguiente manera equivalente:
~ si
_
_
_

1
_
1

1
+
2
_
1
+
2

1
+
2
+
3
_
1
+
2
+
3
(**)
En general, para conjuntos no crecientes de enteros no negativos = (
1
; ;
n
) ;
= (
1
; ;
n
) escribimos ~ si
_

1
_
1

1
+
2
_
1
+
2

1
+
2
+ +
n1
_
1
+
2
+ +
n1

1
+
2
+ +
n1
+
n
_
1
+
2
+ +
n1
+
n
6
7
Por ejemplo, (4; 2; 1) ~ (3; 2; 2) porque 4 _ 3; 4+2 _ 3+2; 4+2+1 _ 3+2+2:
La relacin ~ es una relacin de orden parcial entre los conjuntos de enetros
considerados, porque hay pares de conjuntos que no son comparables mediante
~, aunque ambos tengan la misma suma.
Ejercicios
i) Comprobar que las condiciones (*) y (**) se verican para los diagramas
de Young de la gura 3.
ii) Probar que las condiciones (*) y (**) son equivalentes.
iii) Dibujar los diagramas de Young formados por s = 4 escalones en orden
decreciente, empezando por (4; 0; 0; 0) y terminando por (1; 1; 1; 1) : Hgase lo
mismo para s = 5:
iv) Comprobar que los diagramas de Young (4; 1; 1) y (3; 3; 0) no son com-
parables, es decir que ninguno mayoriza al otro. Hay otros conjuntos incom-
parables con suma 6?
Hallar todos los pares de conjuntos incomparables para s = 7:
El "aperitivo simtrico" de Michael Steele
En [8], antes de enunciar el teorema de Muirhead, se propone la siguiente
desigualdad:
Demustrese que para valores no negativos de x; y; z se verica
x
2
y
3
+ x
2
z
3
+ y
2
x
3
+ y
2
z
3
+ z
2
x
3
+ z
2
y
3
_ xy
4
+ xz
4
+ yx
4
+ yz
4
+ zx
4
+ zy
4
;
e insprese en sus descubrimientos para generalizar este resultado lo ms
ampliamente que pueda.
Es, en mi opinin, instructivo, hacer aqu un inciso para ver el tratamiento
que se da en [8] a esta desigualdad.
"Para relacionar dos polinomios homogneos con la desigualdad de las medias
aritmtica y geomtrica (ponderadas), sera necesario ver que cada sumando
del primer miembro se puede escribir como la media geomtrica ponderada de
sumandos del segundo miembro. La clave en este caso es
a
2
b
3
=
_
ab
4
_2
3
_
a
4
b
_1
3
_
2
3
_
ab
4
_
+
1
3
_
a
4
b
_
y la cuestin es ver cmo podemos aplicar sto.
Si se sustituye sucesivamente (a; b) por los pares ordenados (x; y) e (y; x),
tenemos (sumando)
x
2
y
3
+ y
2
x
3
_ xy
4
+ x
4
y;
de modo que ya lo que sigue no es difcil: es repetir el asunto con los pares
(x; z) y (z; x) ;y nalmente con (y; z) ; (z; y) : Sumando las tres cotas se obtiene
el resultado.
Naturalmente, para productos de ms variables las cosas se complican bas-
tante. Pero la geometra ensea el camino (sic).
8
El punto (2; 3) est en la envolvente convexa de los puntos (1; 4) y (4; 1) ; y
se tiene
(2; 3) =
2
3
(1; 4) +
1
3
(4; 1) :
Si el punto (
1
;
2
) est en la envolvente convexa de (
1
;
2
) y (
2
;
1
), en-
tonces x
1
y
2
esta acotado por una combinacin lineal de x

1
y

2
y x

2
y

1
: Esto
conduce a algunas desigualdades notables, cuando se aplica a sumas simtricas
de productos, y hay generalizaciones excepcionalmente reveladoras de esas cotas.
Pasando a los exponentes, se vuelve a obtener la descomposicin a
2
b
3
=
_
ab
4
_2
3
_
a
4
b
_1
3
:
Pero el benecio real del punto de vista geomtrico es que sugiere la repre-
sentacin til para productos de tres o ms variables. La clave es encontrar la
gura anloga a la anterior:
En este caso, la envolvente convexa H () es el subconjunto del hiperplano
bidimensional de R
3
generado por los 6 puntos obtenidos al permutar las coor-
denadas de = (
1
;
2
;
3
) :Entonces, como en el caso bidimensional,
- == H () :
En dimensiones mayores que 3, la intuicin geomtrica sigue siendo sugestiva,
pero el lgebra es la que debe servir de gua infalible."
El teorema de Muirhead
Utilizaremos la formulacin incluida en [2] :
Sean = (
1
;
2
; ;
n
) y = (
1
;
2
; ;
n
) dos conjuntos de expo-
nentes con la misma suma. Si ~ ; entonces T

(x
1
; x
2
; ; x
n
) > T

(x
1
; x
2
; ; x
n
)
9
para todos los valores no negativos de las x
i
: Y recprocamente, si esta ltima
desigualdad se cumple, entonces ~ :
Las ideas bsicas subyacentes en la demostracin son (siguiendo [2]) :
La necesidad de la condicin ~ se deduce del hecho simple que, de
dos polinomios en una variable t (con coecientes principales positivos), el
polonomio de mayor grado es mayor para valores grandes de t:
La prueba de la suciencia se basa en dos ideas: la primera es la idea de
mover cuadrados en los diagramas de Young hacia la derecha y hacia abajo. Dos
conjuntos ~ pueden conectarse por una cadena de conjuntos de manera que
dos conjuntos consecutivos de la cadena dieran en slo dos lugares. Podemos
pasar de cada conjunto de la cadena al siguiente moviendo un cuadrado de un
escaln al siguiente en el correspondiente diagrama. La segunda idea es la del
agrupamiento simtrico: la diferencia entre los polinomios correspondientes a
conjuntos consecutivos se puede representar como la suma (extendida a todos
los conjuntos de las variables x e y) de grupos idnticos de la forma
_
x
p+r
y
q
+ y
p+r
x
q
x
p
y
q+r
y
p
xq + r
_
Z;
donde Z es el producto de otras variables correspondiente a exponentes idn-
ticos en los conjuntos consecutivos. La ltima expresin puede ser factorizada
y se verica que es no negativa para p > q y r _ 0:
La demostracin detallada del teorema se puede encontrar en [6] ; donde por
cierto se advierte que "es bastante difcil". En [5] tambin es posible seguirla
(con algn detalle dejado a los lectores); y en [8] la notacin empleada es, por
llamarlo de alguna forma, "tensorial", con orga de sub y superndices incluida.
Aplicaciones del teorema de Muirhead a problemas de concurso y
otros
10
En uno de los informes que habitualmente presenta el Jefe de la Delegacin
britnica en la IMO despus de cada prueba, y que se pueden descargar en
la pgina web de la British Mathematical Olympiad, se menciona como "de
pasada" : parece que algunos estudiantes conocan mejor el teorema de Muir-
head que algunos miembros del Jurado Internacional. Veamos cmo se pueden
resolver problemas de concursos y otros resultados de desigualdades "va Muir-
head". Se recomienda, en todos los casos, dibujar los diagramas de Young
correspondientes. Pero hay que advertir igualmente a los participantes en con-
cursos que no debe uno quedarse en los diagramas de Young y pensar que eso es
una demostracin rigurosa. En algunos ejemplos que siguen se dan soluciones
detalladas y en otros no. En un concurso hay que pensar siempre que el ju-
rado va a inclinarse por la solucin ms rigurosa posible, y que por lo tanto no
bastar con invocar el teorema de Muirhead.
Problema 1
Si a > 0; b > 0; demostrar que
_
a
2
b
+
_
b
2
a
_
_
a +
_
b:
Solucin (incluida en [1])
Llamando x =
_
a; y =
_
b y simplicando, queda x
3
+ y
3
_ xy (x + y) :
Por tanto, segn el teorema de Muirhead, bastar comprobar que T
30
_ T
21
lo cual es fcil.
Problema 2
Si a; b; c son no negativos, demostrar que
a
3
+ b
3
+ c
3
+ abc _
1
7
(a + b + c)
3
:
Solucin (incluida en [1] )
Teniendo en cuenta que
11
(a + b + c)
3
=
1
2
T
300
+ 3T
210
+ T
111
;
lo que debemos comprobar en este caso es que
1
2
T
300
+
1
6
T
111
_
1
7
_
1
2
T
300
+ 3T
210
+ T
111
_
;
es decir,
1
2

6
7
T
300
+
1
42
T
111
_
3
7
T
210
==
3
7
(T
300
T
210
) +
1
42
T
111
_ 0;
y esto es una consecuencia de las desigualdades T
300
_ T
210
y T
111
_ 0:
Problema 3(de la Olimpiada URSS 1962)
Los cuatro nmeros positivos a; b; c; d son tales que abcd = 1: Demostrar que
a
2
+ b
2
+ c
2
+ d
2
+ ab + ac + ad + bc + bd + cd _ 10:
Solucin (incluida en [1])
Elevando al cuadrado la desigualdad propuesta se obtiene
_
a
2
+ b
2
+ c
2
+ d
2
+ ab + ac + ad + bc + bd + cd
_
_ 100abcd:
Desarrollando el primer miembro obtendremos una combinacin de los poli-
nomios T
4000
; T
3100
; T
2200
; T
2110
; T
1111
con ciertos coecientes; hallaremos esos
coecientes y una estimacin para el primer miembro de la desigualdad con el
teorema de Muirhead:
24abcd = T
1111
a
4
+ b
4
+ c
4
+ d
4
=
1
6
T
4000
_
1
6
T
111
= 4abcd
2
_
a
3
b + a
3
c +
_
= T
3100
_ T
1111
= 24abcd
3
_
a
2
b
2
+ a
2
c
2
+
_
_ 18abcd
a
2
bc + ab
2
c + _ 48abcd
6abcd _ 6abcd
y sumando miembro a miembro se obtiene el resultado.
Veamos un ejemplo en el que inicialmente no se puede aplicar el teorema de
Muirhead:
Problema 4 (IMO 1964, #2, propuesto por Hungra)
Si a; b; c son estrictamente positivos, entonces
a
3
+ b
3
+ c
3
+ 3abc _ ab (a + b) + bc (b + c) + ca (c + a)
12
Solucin (incluida en [1])
Escribimos la desigualdad de otra forma
a
3
+ b
3
+ c
3
_ ab (a + b c) + bc (b + c a) + ca (c + a b)
y hacemos la sustitucin
x = a + b c; y = b + c a; z = c + a b:
Entonces se tiene
a =
x + z
2
; b =
x + y
2
; c =
y + z
2
(*)
Observacin: esta sustitucin, de un tiempo a esta parte, recibe en algunos
medios olmpicos el nombre de "sustitucin de Ravi", aludiendo al medallista de
oro canadiense Ravi Vakil(1975). Pero, como ya indic el jefe de la delegacin
israel, Shay Gueron, en un artculo publicado en CRUX MATHEMATICO-
RUM, es un cambio de variable conocido desde mucho tiempo antes de que Ravi
naciera, y se encuentra profusamente documentada en los libros clsicos de De-
sigualdades de Bottema y Mitrinovic.En el libro "Geometric Inequalities" de
Bottema hay, al menos referencias datadas en 1925 en las que se utiliza, y en
el "American Mathematical Monthly", anteriores.
Volviendo al problema, la desigualdad propuesta se convierte en
1
8
_
(x + y)
3
+ (y + z)
3
+ (z + y)
3
_
_
1
4
[(x + y) (x + z) x + (x + y) (y + z) y + (x + z) (y + z) z]
y haciendo operaciones resulta
3
_
x
2
y + y
2
x + + z
2
x
_
_ 2
_
x
2
y +
_
+ 6xyz
o lo que es lo mismo
x
2
y + y
2
x + y
2
z + z
2
y + z
2
x + x
2
z _ 6xyz;
y aplicando ahora el teorema de Muirhead se obtiene el resultado, cuando
x; y; z son mayores o iguales que 0.
Si de entre los nmeros x; y; z exactamente uno es negativo (no puede haber
ms), entonces usando (*) obtendremos la desigualdad propuesta en la forma
siguiente:
x
2
(y + z) + y
2
(z + x) + z
2
(x + y) + x
2
2c + y
2
2a + z
2
2b _ 6xyz;
pero el segundo miembro es negativo y el primero no negativo, luego es cierta
tambin en este caso.
En el lenguaje de los polinomios T; el enuncado original pide probar que
T
300
+T
111
_ 2T
210
; y no podemos usar directamente el teorema de Muirhead.
13
Observacin: En el libro "International Mathematical Olympiads 1959 -
1977", Samuel Greitzer presenta tres demostraciones distintas de este problema.
Ninguna de ellas utiliza el teorema de Muirhead.
Problema 5 (la desigualdad de las medias aritmtica y geomtrica)
a
1
+ a
2
+ a
3
3
_
3
_
a
1
a
2
a
3
con a
1
; a
2
; a
3
_ 0:
Solucin via Muirhead:
Ponemos a
1
= x
3
; a
2
= y
3
; a
3
= z
3
y llegamos a la desigualdad
x
3
+ y
3
+ z
3
_ 3xyz:
Con los diagramas de Young:
Debemos probar que
T
(3;0;0)
(x; y; z) _ T
(2;1;0)
(x; y; z) _ T
(1;1;1)
(x; y; z) :
Formemos la diferencia entre el primero y el segundo:
R
1
= T
(3;0;0)
(x; y; z) T
(2;1;0)
(x; y; z)
= 2
_
x
3
+ y
3
+ z
3
_
x
2
y y
2
z z
2
x x
2
z y
2
x z
2
y
Reordenaremos los trminos en grupos de cuatro de acuerdo con el siguiente
mtodo: para cada par de variables, incluimos en un grupo todos los trminos en
los que los exponentes de esas variables cambian de (3; 0) a (2; 1), y el exponente
comn de la tercera variable es cero. As se tiene
R
1
=
_
y
3
+ z
3
y
2
z z
2
y
_
+
_
x
3
+ y
3
x
2
y y
2
x
_
+
_
z
3
+ x
3
z
2
x x
2
z
_
=
_
y
2
z
2
_
(y z) +
_
x
2
y
2
_
(x y) +
_
z
2
x
2
_
(z x) _ 0
14
para x; y; z no negativos.
Ahora probaremos la segunda desigualdad:
R
2
= T
(2;1;0)
(x; y; z) T
(1;1;1)
(x; y; z)
= x
2
y + y
2
z + z
2
x + x
2
z + y
2
x + z
2
y 6xyz
Aqu, el exponente comn de la variable y es igual a 1, y los exponentes
(2; 0) de las variables x; z cambian a (1; 1) : Ahora se tiene
R
2
= x
_
y
2
+ z
2
2yz
_
+ y
_
z
2
+ x
2
2xz
_
+ z
_
x
2
+ y
2
2xy
_
= x(y z)
2
+ y (z x)
2
+ z (x y)
2
_ 0:
La desigualdad queda probada.
Problema 6
Demostrar que, si a; b; c _ 0; se verica
a
3
bc
+
b
3
ca
+
c
3
ab
_
a
2
+ b
2
2c
+
b
2
+ c
2
2a
+
c
2
+ a
2
2b
_ a + b + c
Solucin (incluida en [2])
Multiplicando por 2abc escribimos las desigualdades "tipo Muirhead":
2
_
a
4
+ b
4
+ c
4
_
_ a
3
b + b
3
a + b
3
c + c
3
b + c
3
a + a
3
c (7)
a
3
b + b
3
a + b
3
c + c
3
b + c
3
a + a
3
c _ 2
_
a
2
bc + b
2
ac + c
2
ab
_
(8)
Veamos los diagramas de Young correspondientes:
La diferencia entre el primer y el segundo miembros de cada desigualdad
puede escribirse, como antes, como una suma de tres grupos, de cuatro trminos
cada uno. Escribimos solamente el primero (los dems se obtienen cambiando
a; b y c por b; c; a y por c; a; b, respectivamente):
Para la desigualdad (7)
_
a
4
+ b
4
a
3
b b
3
a
_
+ =
_
a
3
b
3
_
(a b) +
Para la (8):
_
a
3
b + c
3
b a
2
cb c
2
ab
_
+ = b
_
a
2
c
2
_
(a c) +
lo cual demuestra las desigualdades.
Terminamos el artculo con algunos problemas propuestos, sin solucin.
Problema 7
Escribir todas las desigualdades de Muirhead para polinomios de grado 4
15
Problema 8
Sea
T
(1;2;3)
(x; y; z) _ T
(
1
;
2
;
3
)
(x; y; z) :
probar que se cumplen las desigualdades (**). Considrense varios casos:
x = y = z = t; x = y = t; z = 1; x = t; y = z = 1 y comparar las potencias de
los polinomios obtenidos.
Problema 9
Demostrar las siguientes desigualdades para valores no negativos de las vari-
ables:
a) x
4
y
2
z + y
4
x
2
z + z
4
yx
2
+ x
4
z
2
y + z
4
x
2
y _ 2
_
x
3
y
2
z
2
+ y
3
z
2
x
2
+ z
3
x
2
y
2
_
b) x
5
+ y
5
+ z
5
_ x
2
y
2
z + y
2
z
2
x + z
2
x
2
y
c) x
3
+ y
3
+ z
3
+ v
3
_ xyz + xyv + xzv + yzv
Problema 10
Deducir del teorema de Muirhead la desigualdad de las medias aritmtica y
geomtrica para n variables. Cuntos cuadrados hay que mover para que el
conjunto (n; 0; 0; ; 0) se transforme en (1; 1; ; 1)?
Problema 11
Hay algn tipo de ordenacin entre los polinomios
16
p
1
= abc (a + b + c)
p
2
=
1
27
(a + b + c)
4
p
3
=
1
3
_
a
2
+ b
2
+ c
2
_
2
p
4
= a
2
b
2
+ b
2
c
2
+ c
2
a
2
p
5
=
1
3
(ab + bc + ca)
_
a
2
+ b
2
+ c
2
_
;
en el sentido de que haya desigualdades entre ellos, vlidas para todos a; b; c _
0?
Bibliografa
[1] Vavilov, V.: El teorema de Muirhead (y 2). Revista SIPROMA, vol. 2,
sept. 1997
[2] S. Dvoryaninov y E. Yasinovyi.: Obtaining symmetric inequalities. QUAN-
TUM, Nov.-Dec. 1999, Springer.
[3] G.H. Hardy, J.E. Littlewood y G.Plya.: Inequalities, Cambridge U.P.
1934.
[4] A.W. Marshall e I. Olkin.: Inequalities: Theory of majorization and its
applications. Academic Press 1979
[5] O.A. Ivanov.:Making Mathematics Come to Life, AMS, 2009.
[6] R. Bulajich Manfrino, J.A. Gmez Ortega y R. Valdez Delgado.: In-
equalities: A mathematical Olympiad Approach, Birkhuser, 2009
[7] Lau Chi Hin : : Muirheads Inequality, Mathematical Excalibur (vol. 11,
nr.1) que se encuentra en http://www.math.ust.hk/mathematical_excalibur/.
[8] J. Michael Steele.: The Cauchy-Schwarz Master Class, MAA-CUP, 2004.
17
1

CUADRADOS NEGATIVOS?
Luis Gmez-Snchez
Universidad de Oriente. Venezuela.
lagsa7@gmail.com

Ejemplos de supuestos cuadrados negativos no dados por la unidad imaginaria en ,
podran presentarse fcilmente en los anillos de clases residuales mdulo n. As por
ejemplo en /5 se tiene (2)
2
= 1 y en /13 se tiene (5)
2
= 1 (donde tambin se
tiene (3)
2
+ (4)
2
= 1 y en general se demuestra que en todo cuerpo finito todo elemento
es suma de dos cuadrados). Otro ejemplo sera la matriz M = para la cual se
tiene tambin M
2
= 1 donde 1

Pero acaso son buenos ejemplos los que preceden? Qu significa la palabra
negativo en los anillos correspondientes? En principio nada, porque en dichos anillos no se
define una relacin estndar de orden, similar a la conocida en (la que define x < 0).
Adems en el anillo /n todo elemento no nulo sera a la vez positivo y negativo lo que
prcticamente equivaldra a volver intiles en /n dichos trminos. Notemos desde ahora
que los vocablos positivo y negativo se deben en el conjunto de los nmeros reales al orden
usual el cual es total sobre , lo que significa que dos reales arbitrarios son siempre
comparables, es decir, o bien son iguales o bien uno es mayor que el otro. Esto es clave
para lo que queremos aqu responder: Cundo, en conjuntos X no contenidos en , un
cuadrado puede ser negativo?

Aclaremos que esta pregunta es defectuosa porque, en particular, no dice lo que
significa negativo en X. Es ms propio preguntar en qu clase de conjuntos X, distintos
de , la ecuacin x
2
= 1, o su equivalente x
2
+ 1 = 0, tiene solucin. Y vale decir al
paso que tambin en X deben entonces estar definidas una suma y una multiplicacin (sta
para que tenga sentido inmediato x
2
), as como tambin dos elementos notados 1 y 0. La
pregunta es entonces obviamente pertinente cuando X es un anillo o cuerpo (cuntas
soluciones, distintas de la M del ejemplo dado al comienzo, habr en el correspondiente
anillo de matrices?.....). Y si se quiere que tenga sentido hablar de elementos negativos,
debe adems el anillo X estar provisto de una relacin de orden. Seguiremos con esto ms
adelante.

*********************

2

El interesante artculo, Hablando de cuadrados negativos, muy laudable en su
intencin pedaggica y que aparece en el nmero 39 de esta REOIM, expone un ejemplo
en que no se da ningn significado contextual a la palabra negativo. Agreguemos que
dicho ejemplo es lo que los gemetras contemporneos llaman un conjunto algebraico, el
cual resulta ser una cbica que no es irreducible por constar de dos conjuntos algebraicos
irreducibles, a saber, una recta y una cnica no degenerada en dos rectas. Pero es una
cbica (producto de un polinomio lineal por otro de segundo grado) y la ley de
composicin que usualmente se define en las cbicas irreducibles y que da lugar a la teora
de curvas elpticas (una rama importantsima y muy activa de la matemtica actual) es
consagradamente notada como suma y no como multiplicacin. (El producto G
2
del
ejemplo comentado, en el cual se usa una notacin multiplicativa pasara a ser G + G).
Adems esta multiplicacin (cuya asociatividad es demostrada de muy bonito modo) es
prcticamente la misma que la suma de las cbicas elpticas (cuando tres puntos A, B y C
son colineales se tiene en las curvas elpticas A + B + C = 0 mientras que en el ejemplo
citado se tendra ABC = 1 si no se exceptuaran los puntos C de la recta h), con la sola
diferencia que se ha tomado el punto fijado F como elemento neutro en vez del usual punto
del infinito y que no se define el producto para puntos de la recta h; por lo dems, sabemos
determinarlo pero no debe ser claro para un escolar cul punto de la cnica es AB si los
puntos A y B determinan una lnea paralela a dicha recta h.


*********************

UN EJEMPLO NOTABLE.- En el cuerpo no conmutativo de los cuaterniones,
o cuaternios, definidos sobre , se tiene una infinidad no numerable de soluciones de la
ecuacin x
2
+ 1 = 0 (Recordar que si el cuerpo de coeficientes fuese conmutativo
debera haber a lo sumo slo dos soluciones!) con la particularidad de que el 1 que aqu
figura, s puede propiamente identificarse con el nmero real 1, tal como sucede en .
(En efecto, contiene una copia de al mismo ttulo que contiene una copia de ).

Recordar que
2
referido a la base cannica {(1, 0), (0, 1)} es un espacio vectorial
real en el que para los vectores a = (a
1
, a
2
) y b = (b
1
, b
2
) se puede definir una multiplicacin
ab = (a
1
b
1
a
2
b
2
, a
1
b
2
+ a
2
b
1
). As
2
, provisto de esta multiplicacin y de la suma
proveniente de su estructura de espacio vectorial, deviene un cuerpo conmutativo que se
identifica con .

(En [1] se puede ver una demostracin sencilla de que en
3
es imposible actuar de
una manera similar. Pero en
4
s es posible hacerlo y lo que se obtiene es el cuerpo , el
primero no conmutativo en ser descubierto, en 1843 por Hamilton, de donde la consagrada
letra para su notacin. Y no hay otro espacio vectorial real
n
que pueda convertirse en
3

un cuerpo, de acuerdo a un teorema de Frobenius (1878). Salvo isomorfismos, slo , y
, de dimensin 1, 2 y 4 respectivamente).

El conjunto de los cuaternios es definido por = {a1 + bi +cj + dk / a, b, c, d }
donde {1, i, j, k} es la base cannica {(1, 0, 0, 0), (0, 1, 0, 0), (0, 0, 1, 0), (0, 0, 0, 1)}
de
4
sobre cumplindose por definicin los productos i
2
= j
2
= k
2
= ijk = 1 de donde
se deduce que ij = ji = k, jk = kj = i, ki = ik = j lo que define componente a
componente una multiplicacin asociativa en .
Abreviadamente se puede notar a = (a
1
, a
2
, a
3
, a
4
) y b = (b
1
, b
2
, b
3
, b
4
) y entonces a las
conocidas suma y producto por un escalar, a + b = (a1+b1, a2+b2, a3+ b3, a4+ b4) y
a = (a1, a2, a3, a4), se agrega la multiplicacin ab = (p1, p2, p3, p4) donde
p1 = a1b1 a2b2 a3b3 a4b4
p2 = a1b2 + a2b1 + a3b4 a4b3
p3 = a1b3 a2b4 + a3b1 + a4b2
p4 = a1b4 + a2b3 a3b2 + a4b1
Se puede verificar que por lo general ab ba si bien la sola igualdad ij = ji dice ya
de por s que esta multiplicacin no es conmutativa.
Se ve fcilmente que 0 = (0, 0, 0, 0) y 1 = (1, 0, 0, 0) son, respectivamente,
elementos neutros de la suma y de la multiplicacin en y que tiene sentido plantearse en
la ecuacin x
2
+ 1 = 0.
Todo cuaternio a 0 posee un inverso nico a
-1
= a* donde
a* = (a
1
, a
2
, a
3
, a
4
) es el cuaternio conjugado de a (ntese la similitud con ).

Provisto de la suma y multiplicacin precedentes, se puede verificar que es un
cuerpo y se deduce fcilmente que los cuaternios solucin de la ecuacin x
2
+ 1 = 0 son
todos aquellos x = (0, b, c, d) tales que b
2
+ c
2
+ d
2
= 1, es decir todo punto de la esfera
unidad proporciona un cuaternio cuyo cuadrado es igual a 1.

*********************

Pasamos a deducir formalmente una respuesta a la pregunta En qu clase de
conjuntos X, la ecuacin x
2
= 1 tiene solucin? (Se ha visto al comienzo que X debe
ser un anillo o un cuerpo).
Para ello generalizaremos a cuerpos abstractos, propiedades bien conocidas del
cuerpo ordenado de los nmeros reales. Con respecto a su suma, es un grupo
conmutativo provisto de un orden que es compatible con dicha suma, es decir, si para
x, y, z se tiene x y, entonces x + z y + z. Adems los trminos positivos son
aquellos x tales que 0 x, los negativos siendo los opuestos x de los x positivos.
4

(se requiere para nuestro propsito que el cero sea a la vez positivo y negativo por lo cual
los x tales que 0 < x son dichos estrictamente positivos y similarmente con los negativos)
Con respecto a la multiplicacin, * = \ {0} es un grupo conmutativo que es tambin
dicho compatible con el orden, en el sentido de que si para x, y se tiene x y,
entonces xz yz para todo positivo z .
As, notando P al conjunto de todos los positivos en , se cumple que P + P P,
P.P P, y P P) = {0}, es decir, toda suma y todo producto de positivos es positivo y
el nico elemento a la vez positivo y negativo es 0. Como dos reales arbitrarios son siempre
comparables, el orden usual es total lo que equivale a decir que P P) = .

Se recuerda que una relacin binaria en un conjunto S es una relacin de orden si
ella es:
1) Reflexiva: a a,
2) Transitiva: a b y b c implica a c,
3) Antisimtrica: a b y b a implica a = b
para todos a, b, c en S. Cuando todo par
de elementos es comparable el orden es dicho total.

EJEMPLOS: El orden usual en es un orden total. La relacin de divisibilidad en es un
orden que no es total. En el conjunto de partes del conjunto {a, b, c, d}, la relacin de
inclusin define un orden que no es total.

Se dice que A es un anillo ordenado cuando se define una relacin de orden en A.
Los elementos positivos y negativos se definen como usualmente en , es decir, todo
elemento x tal que 0 x es dicho positivo y todo x 0 es negativo. (Asimismo se hereda
nociones como mayor que, menor que, signos iguales o contrarios, mayorante, minorante,
mximo, mnimo, sucesor (cuando existe), etc y se verifica para la multiplicacin la ley
escolar de los signos).

En un anillo ordenado, a b 0 b a por lo cual la relacin de orden
est completamente determinada por el conjunto P de los elementos positivos.

Un anillo totalmente ordenado A, es un anillo conmutativo, con unidad y cero
distintos, provisto de un orden total compatible con la suma y con el producto, tal como
hemos visto en , es decir
1) a b implica a +c b + c para todos a, b, c en A.
2) a b implica ac bc para todos a, b, c en A con c positivo.

5

Un cuerpo totalmente ordenado es un anillo totalmente ordenado A que es un
cuerpo, es decir todos los elementos no nulos son inversibles, o lo que es lo mismo,
A* = A \ {0} es un grupo multiplicativo.

EJEMPLOS: con el orden usual es un anillo totalmente ordenado.
El anillo [x] de todos los polinomios en una variable y a coeficientes reales
es totalmente ordenado para la relacin definida por
P(x) Q(x) a
n
0, siendo Q(x) P(x) = a
n
x
n
+ a
n-1
x
n-1
+ + a
1
x + a
0
.
En cambio ni , ni , ni todos los cuerpos finitos /p de clases mdulo un
primo p admiten un orden que los haga anillos totalmente ordenados.

Se demuestra fcilmente que el conjunto P de los elementos positivos de un anillo
ordenado A satisface las propiedades P + P P, P.P P, P P) = {0} que hemos visto
se satisfacen en el caso de . Se verifica, recprocamente, que si P es un subconjunto de un
anillo conmutativo A satisfaciendo estas tres propiedades existe entonces un nico orden
compatible sobre el anillo A y que admite P como el conjunto de los elementos positivos
(ver ejemplo 1 al final).

Se define la caracterstica de un cuerpo K como el menor entero no negativo n tal que
la suma de n veces 1 es igual a 0 donde 1 y 0 son, respectivamente, los elementos neutros
de la multiplicacin y de la suma en K. Los cuerpos finitos /p de clases mdulo un
primo p tienen caracterstica p. El cuerpo de los nmeros racionales tiene caracterstica 0
y todo cuerpo que contenga como subcuerpo tiene entonces la misma caracterstica.

TEOREMA.- Sea K un anillo totalmente ordenado; se tiene entonces:
a) Todo cuadrado en K es positivo
b) La caracterstica de K es 0

DEMOSTRACIN: a) Si x es positivo su cuadrado es positivo y si x es negativo su
opuesto x es positivo por lo cual (x)
2
es positivo. Como el orden es total, es decir
P P) = K, no existen en K cuadrados negativos.
b) 1 es positivo porque (1)
2
= 1. Si la caracterstica fuera n > 0 se
tendra que la suma de n-1 veces 1 sera igual a 1 lo que se opone a que la suma de
positivos sea positiva (por definicin 1 0).

Este teorema demuestra lo ya dicho previamente: ningn cuerpo finito puede ser
totalmente ordenado porque la caracterstica es mayor que 0 y tampoco porque posee
cuadrados negativos.

6

Si un cuerpo K est provisto de una relacin de orden no total, compatible con la
suma y la multiplicacin, se puede demostrar que K posee elementos cuyo cuadrado no es
positivo.

EJEMPLOS DE RDENES EN .- Ningn orden compatible con la suma y la
multiplicacin que se defina sobre puede ser total por el teorema precedente pero existen
en rdenes totales que no son compatibles. En los tres ejemplos siguientes, se deja como
ejercicio verificar que la relacin notada define en efecto una relacin de orden en .

EJEMPLO 1 (La nica extensin compatible del orden usual de ): Identificando por
comodidad con
2
, se define un orden por
(a, b) (c, d) a c y b d
Es claro en la figura que los nicos elementos comparables con z = (a, b) son los (x, y)
situados en la zona amarilla (no acotada, por supuesto) lo que pone en evidencia que el
orden no es total y es adems claro que es compatible con la suma.











Para verificar que es compatible tambin con la multiplicacin de , determinamos
el conjunto P de los correspondientes elementos positivos. Se requiere que si x y
entonces xz yz para todo z = (z
1
, z
2
) P, es decir que si x = (x
1
, x
2
), y = (y
1
, y
2
) se
debe tener en las dos desigualdades
x
1
z
1
x
2
z
2
y
1
z
1
y
2
z
2

x
1
z
1
+ x
2
z
2
y
1
z
1
+ y
2
z
2


Se deduce fcilmente que z
1
0. Si z
2
0, entonces la correspondiente forma polar del
nmero complejo z, es decir z = r(cos + isen) = re
i
deja ver claro que existe una potencia
z
n
de z cuya primera componente es estrictamente negativa (porque z
n
= r
n
e
in
con
). Esto niega la propiedad P.P P y por lo tanto P= {(x, 0) / x 0} que
es la imagen en del conjunto de los positivos de por la funcin inyectiva que aplica x
7

en (x, 0). La restriccin de al eje real coincide con el orden usual . Obviamente
P P) por lo cual el orden no es total lo que ya sabamos por la figura.


EJEMPLO 2 (Orden total pero no compatible): Se define (a, b) (x, y) como equivalente
al hecho de que o bien a < x o bien b y cuando a = x.

(Este es el orden lexicogrfico, que se usa para las palabras en los
diccionarios sobre la base del orden total definido en el alfabeto tal que
a b c x y z).

Es claro que es total porque necesariamente se tiene en toda ocasin (a, b) (x, y)
o bien (x, y) (a, b) para todos (a, b) y (x, y), es decir estos dos elementos arbitrarios son
siempre comparables. No es compatible porque (0, 0) (0, 1) = i pero
i
2
= 1 = (1, 0) (0, 0) y no se cumple entonces P.P P.

EJEMPLO 3 (Orden compatible que no es extensin del orden usual de ): Se define un
orden en por
(a, b) (x, y) a x y b = y










En la figura es evidente que el orden no es total --porque los nicos elementos
comparables con z = (a, b) son los que estn en la lnea celestey que los elementos
positivos son de la forma (x, 0), con lo cual se deduce fcilmente que el conjunto P de los
elementos positivos se reduce a un punto y entonces se verifica trivialmente la
compatibilidad de con la multiplicacin de . Es clara adems la compatibilidad con la
suma de . Deduzcamos sin embargo el conjunto P: si x y se debe tener xz yz para
todo z = (z
1
, z
2
) positivo, es decir que si x = (x
1
, c), y = (y
1
, c) y x
1
y
1
se deben cumplir
en las dos condiciones

8

x
1
z
1
cz
2
y
1
z
1
cz
2

x
1
z
1
+ cz
2
= y
1
z
1
+ cz
2

lo que da z
1
= 0. Por otro lado, (0, 0) (0, z
2
) de donde z
2
= 0 por lo cual P = {(0, 0)}. Es
claro que este orden no prolonga el orden usual de y entonces no puede ser total lo que
ya sabamos por la figura.

*********************

REFERENCIAS

[1]Algbre linaire et gomtrie lmentaire (p. 197). Jean Dieudonn, Hermann, Paris
1964. (Hay edicin en espaol).


Problemas para los ms jvenes 40
Problemas de la Primera Olimpiada de Lituania para los ms
jvenes (1999)
Nuestro agardecimiento al Prof. Romualdas Kasuba por habernos facilitado
estos problemas.
LIT1. En la multiplicacin siguiente, en los factores cada letra representa un
nmero, de modo que letras distintas corresponden a nmeros distintos. Pero
en los productos parciales, todos los nmeros (iguales o no) han sido codicados
por la letra x :
F I N D
F I N D
__ __ __ __ __ __ __ __
x x x x
x x x x
x x x x
__ __ __ __ __ __ __ __
x x x x x x x x
LIT2. Descomponer un rectngulo 4x9 en dos partes tales que se puedan
reunir sin solaparse formando un cuadrado.
LIT3. Robinson Crusoe, navegando por el proceloso Ocano de los Nmeros,
se aproxima a la isla donde habitan todos los nmeros con exactamente 100
dgitos. Quiere cumplir dos deseos:
a) Hallar un nmero de 100 dgitos divisible por 100 y tal que la suma de
sus cifras sea 100.
b) Encontrar el menor de tales nmeros.
LIT4. Carlos y su hermano menor tienen una Megatableta de chocolate de
tamao 1999x1999. Se la empiezan a comer cumpliendo las reglas siguientes:
Empieza Carlos, que corta piezas 2x2; su hermano las corta 1x1. Si uno de
los dos no puede cortar su pieza en un momento dado, el otro se comer todo
el chocolate que queda.
Es posible que alguno de los dos proceda de tal forma que siempre obtenga
ms de la mitad de la tableta, independientemente de lo que hag el otro?
1
Problemas de Nivel medio y de Olimpiadas 40
Cinco problemas de la Olimpiada de Suiza 2007
CH1. Determinar todas las soluciones reales positivas del siguiente sistema
de ecuaciones:
a = max

1
b
;
1
c

; b = max

1
c
;
1
d

; c = max

1
d
;
1
e

d = max

1
e
;
1
f

; e = max

1
f
;
1
a

; f = max

1
a
;
1
b

CH2. Sea ABC un tringulo acutngulo con AB > AC y ortocentro H. Sea


D el pie de la altura desde A sobre BC. Sea E el simtrico de C respecto de D.
Las rectas AE y BH se cortan en el punto S. Sea N el punto medio de AE y M
el punto medio de BH. Demostrar que MN es perpendicular a DS.
CH3. Determinar todas las funciones f : R
0
! R
0
que verican las
propiedades siguientes:
i) f(1) = 0
ii) f(x) > 0 para todo x > 1:
iii) Cualesquiera que sean x; y 0 tales que x + y > 0; se verica
f (xf (y)) f (y) = f

xy
x + y

:
CH4. Sean a; b; c nmeros reales no negativos con media aritmtica m =
a+b+c
3
:
Demostrar que
r
a +
q
b +
p
c +
r
b +
q
c +
p
a +
r
c +
q
a +
p
b 3
r
m +
q
m +
p
m:
CH5. Hallar todos los pares (a; b) de nmeros naturales tales que
a
3
+ 1
2ab
2
+ 1
es un nmero entero.
1
Problemas 196 - 200
Problema 196 (Propuesto por Pedro H.O. Pantoja, Universidad de Natal,
Brasil)
Sea j un nmero primo. Demostrar que
p
X
k=0
(j +/ 1) (j +/ 2) (/ + 1) 2(modj)
Problema 197 (propuesto por Laurentiu Modan, Univ. de Bucarest, Ru-
mania)
Se considera un cuadriltero inscrito en una circunferencia de radio 1. Sean
c, ,, , c los ngulos subtendidos por los lados en el centro de la circunferencia.
i) Hallar una expresin para el rea o del cuadriltero en funcin de 1, c, ,, , c.
ii) Si en la expresin para o los trminos que dependen de los ngulos son
todos iguales, y c =

3
, hallar los valores de los lados y ngulos del cuadriltero.
Problema 198 (propuesto por el editor)
Sea ' un punto interior al tringulo 1C, y , 1, Q los puntos en que
una recta corta a los lados AB, BC y a la prolongacin de CA. Utilizamos la
notacin [...] para representar el rea del polgono cuyos vrtices se escriben
entre los corchetes.
Demostrar que si
[']
['1]
+
['11]
['C1]
= 2
s
['Q]
['CQ]
,
entonces la recta NPQ es antiparalela de CA con respecto a AB y BC.
(el problema no es nuevo. Se dar noticia de su procedencia cuando se
publique la solucin)
Problema 199 (propuesto por el editor)
Demostrar que
1
X
n=1
arctan

1
:
2

<

2
.
(el problema no es nuevo. Se dar noticia de su procedencia cuando se
publique la solucin)
Problema 200 (propuesto por el editor)
Determinar, en funcin del parmetro real a, el nmero de races de la
ecuacin
a
x
= log
a
r.
(el problema, obviamente, no es nuevo. Se dar noticia de su procedencia
cuando se publique la solucin)
1
UNIVERSIDAD DE ANTIOQUIA
Problema 191 Soluci on

n=1
1
n

1
1 x
(1 + x + x
2
+ ... + x
n
)

k
=

n=1
1
n

1
1 x

(1 x)
1 x
(1 + x + x
2
+ ... + x
n
)

k
=

n=1
1
n

1 (1 x
n+1
)
1 x

k
=

x
1 x

n=1
(x
k
)
n
n
Por la expansion en series de Taylor se sabe que
ln(1 + x) =

n=1
(1)
n+1
n
x
n
cuando |x| < 1
Ahora notese

n=1
(x
k
)
n
n
=

n=1
(1)
n+1
(x
k
)
n
n
= ln(1 x
k
).

n=1
1
n

1
1 x
(1 + x + x
2
+ ... + x
n
)

k
=

x
1 x

k
ln(1 x
k
)
1
Problema 192
Demostrar que para n 1,
n
2
1

k=1
(k)
(n 1)(5n 1)
12
, siendo la funcion de Euler.
Solucion (Xavier Ros, Barcelona)
A continuacion demostraremos que
m

k=1
(k) >

2m
3
3
,
que para m = n
2
1 nos dara una desigualdad mas fuerte que la del enunciado,
pues para probar la del enunciado basta usar que (k) 1.
Para demostrar nuestra desigualdad, probaremos en primer lugar que
(k)

k
2
, k 2. (1)
En efecto, como (ab) = (a)(b) si mcd(a, b) = 1, entonces basta comprobar
la desigualdad para n umeros de la forma p

. En este caso tenemos


(p

/2
= p
/2

1
1
p

2 2
/2

1
1
2

2 1,
y queda probada la desigualdad (1).
Ahora, como la funcion

x
2
es una funcion creciente, tendremos que
m

k=2
(k)
m

k=2

k
2

m
1

x
2
dx
=

2
3
m
3/2

2
3
,
de donde
m

k=1
(k) 1

2
3
+

2
3
m
3/2
>

2
3
m
3/2
,
tal como queriamos demostrar.
1
Problema 194
Sean ABC y A

dos triangulos, rectangulos respectivamente en A y A

;
y sean D y D

los pies de las bisectrices interiores de A y A

, respectivamente.
Demostrar que
4
ADA

1
BD
+
1
DC

1
B

+
1
D

.
Cuando se alcanza la igualdad?
Solucion (Xavier Ros, Barcelona)
A continuacion demostraremos que la desigualdad es cierta para todo par de
triangulos, no necesariamente rectangulos.
Aplicando el Teorema del seno a los triangulos ABD y ACD obtenemos que
BD
sin
A
2
=
AD
sinB
,
DC
sin
A
2
=
AD
sin C
,
por lo que
AD
BD
+
AD
DC
=
sin B
sin
A
2
+
sin C
sin
A
2
.
Usando ahora que la funcion sin es convexa en (0, ),
sin B + sin C 2 sin

B +C
2

= 2 sin
A
2
,
de donde
AD
BD
+
AD
DC
2, (1)
y la igualdad se da si y solo si B = C.
Analogamente, tendremos que
A

+
A

2, (2)
y multiplicando las desigualdades (1) y (2), obtenemos

1
BD
+
1
DC

1
B

+
1
D

4
ADA

,
con igualdad cuando los triangulos son isosceles en A y A

, respectivamente.
1
Not i ci a de Congr esos y pgi nas w eb 40
Congr eso de l a SBPMef en Di nant ( Bl gi ca)
La Soci edad Bel ga de Pr of esor es de Mat emt i cas de ex pr esi n
f r ancesa ha cel ebr ado en agost o de 2010 su Congr eso nmer o
36, con asi st enci a de unos 150 par t i ci pant es, y en el cual
qui en suscr i be col abor con l a ex posi ci n del t ema Ren
Goor maght i gh, i ngeni er o y gemet r a de Mat hesi s.
El Congr eso ha t eni do l ugar en l a pi nt or esca y espect acul ar
pequea ci udad de Di nant , en el v al l e del Mosa, en l as
i nst al aci ones del Col egi o Bel l ev ue, sobr e l a or i l l a der echa, y
desde el cual se apr eci aba una v i st a espect acul ar de l a
Col egi at a y l a ci udadel a de Di nant :

El Congr eso t uv o sesi ones l os das 24, 25 y 26 de agost o. La
Conf er enci a i naugur al cor r i a car go del Pr of . Andr Del edi cq,
cr eador del concur so Cangur o Mat emt i co, l l ev aba por t t ul o
Pour quoi l es Mat hmat i ques sont - el l es j ubi l at oi r es?, y f ue
ex puest a con l a pr ov er bi al br i l l ant ez del conf er enci ant e.
El l ema del Congr eso er a Mat emt i cas y Pal abr as, y adems de
l as sesi ones pl enar i as hubo v ar i os t al l er es, uno de l os cual es
ver s sobr e l a cr eaci n de gr f i cos y f i gur as en Lat ex .
En l a pgi na w eb ht t p: / / w w w .sbpm.be/ congr es/ se pueden
consul t ar t ant o l os r esmenes como l as ex posi ci ones
compl et as de l as ponenci as pr esent adas.
La SBPMef puso a l a v ent a, en el st and habi l i t ado al ef ect o, sus
publ i caci ones, en par t i cul ar el 7 v ol umen de l a Ol i mpi ada
bel ga y el muy i nt er esant e l i br o ( con CD i ncl ui do) Ensei gnons
en j ouant , escr i t o por B. Honcl ai r , N. Lambel i n, G. Nol y Y.
Nol - Roch.
El pr x i mo Congr eso de l a Soci edad Bel ga t endr l ugar en
agost o de 2011 en Bast ogne, l a ci udad cl av e de l a bat al l a de
l as Ar denas en l a Segunda Guer r a Mundi al .
XI I I Congr eso de Enseanza y Apr endi zaj e de l as Mat emt i cas
THALES
Los das 10, 11 y 12 de sept i embr e de 2010 se ha cel ebr ado en
Cr doba el dci mo t er cer congr eso de l a Soci edad Andal uza de
Educaci n Mat emt i ca THALES, baj o el l ema Mat emt i cas par a
obser v ar y act uar , en un mar co r eal ment e ex cepci onal : el
r eci ent ement e r enovado Rect or ado, en cuy a Sal a Mudj ar el
que suscr i be t uv o l a opor t uni dad de ex poner un Tal l er de
Resol uci n de pr obl emas.
Dur ant e el Congr eso se pudo cont empl ar l a ex posi ci n Por
qu l as Mat emt i cas?, pat r oci nada por l a UNESCO. La
Conf er enci a i naugur al est uv o a car go del mat emt i co y
educador dans Mogen Ni ss; l a pr onunci ada por el cr eador de
GeoGebr a, Mar k us Hohenw ar t er desper t gr an ex pect aci n, l o
mi smo que l as Mat emt i cas sur r eal i st as de Cl audi Al si na, a
qui en se l e hi zo ent r ega del nombr ami ent o de Soci o de Honor
de l a Soci edad Thal es. La de cl ausur a, Qu cuent an l os
nmer os, t ambi n muy i nt er esant e, est uv o a car go de l a Pr of .
Capi Cor r al es, del Depar t ament o de l gebr a de l a Uni v er si dad
Compl ut ense de Madr i d.


Dent r o de l as Comuni caci ones pr esent adas, muy numer osas
como es habi t ual , dest acamos aqu La t cni ca de l a eval uaci n
del apr endi zaj e de l as Mat emt i cas por el ement os del
conoci mi ent o: Una ex per i enci a en l a Educaci n Pr i mar i a en
Mx i co, de l os v et er anos mat emt i cos cubanos Cel i a Ri zo y
Lui s Campi st r ous; Pr opuest as di dct i cas con l a nuev a f ami l i a
de l os pol gonos cor dobeses, de Ant oni a Redondo y
Encar naci n Rey es; Est r el l as en l acer as, de Encar naci n
Rey es e I nmacul ada Fer nndez; y La t ecnol oga y el desar r ol l o
del pensami ent o en l a Geomet r a, de Lui s Campi st r ous, Jor ge
Lpez y Cel i a Ri zo.
Val l adol i d, oct ubr e 2010
Fr anci sco Bel l ot Rosado
LA HISTORIETA COMO ESTRATEGIA DE APRENDIZAJE
EN LOS CURSOS DE MATEMATICAS
MODELO EDUCATIVO
A partir del enfoque educativo centrado en el aprendizaje
propuesto en el Modelo Educativo del IPN, el Instituto
actualiz sus programas de estudios promoviendo los
conceptos de aprender a aprender y aprendizaje a lo
largo de la vida, as como una evaluacin dividida en
conceptual, procedimental y actitudinal (destrezas,
habilidades y actitudes). Es un hecho de que en las aulas
predomina el aprendizaje memorstico y que no existe en
nuestros alumnos una disposicin positiva para aprender.
Para ayudar a resolver estas dificultades, se propuso
como una alternativa de aprendizaje significativo, utilizar
la elaboracin de historietas como una estrategia
complementaria de aprendizaje para los cursos de
matemticas.
LA HISTORIETA
La historieta es uno de los medios de comunicacin ms
extendidos entre la juventud y es uno de los recursos
comunicativos en continua evolucin que ms pblico
potencial tiene. La accesibilidad de la historieta hace que
sea un instrumento ideal para familiarizar al alumno con el
mundo del relato y la imagen. Actualmente las nuevas
generaciones estn ms acostumbradas a convivir ms
con medios visuales, con los que se les bombardean da a
da (programas de televisin, pelculas, videojuegos, etc.),
que con la lectura de textos literarios, con los que cada vez
mantienen un menor contacto. En este sentido la historieta
puede ser de gran utilidad para empezar a convertir el
inters por los medios visuales en conocimiento.
CONCLUSIONES
Durante el ciclo escolar 2009-2010 se trabaj con los
estudiantes del curso de Geometra y Trigonometra,
a los cuales se les pidi que elaboraran una historieta
de la historia de la Trigonometra. La presentacin del
trabajo fue libre: usando la computadora (en power
point o con software para la elaboracin de comics),
con recortes de revistas o dibujada a mano; pudiendo
utilizar personajes existentes o inventados para
contar la historia. A partir de esta experiencia los
estudiantes han propuesto estrategias similares como
hacer animaciones o videos, teatro guiol,
dramatizaciones y hasta cantar corridos.
El resultado en general fue exitoso, ya que a los
estudiantes les gust la estrategia y les pareci
divertida. Adems, segn un cuestionario de opinin
que les fue aplicado, calificaron a la elaboracin de la
historieta como una actividad creativa, con trabajo
colaborativo y que les ayud a mejorar su
aprendizaje.
En general el nivel de aprovechamiento grupal fue
aprobatorio.
DISEO:
UNIDAD DE TECNOLOGA EDUCATIVA
CENTRO DE ESTUDIOS CIENTFICOS Y TECNOLGICOS
JUAN DE DIOS BATIZ 2010