Академический Документы
Профессиональный Документы
Культура Документы
NDICE
Donaire Pea, Milton F.: Una prueba elemental del teorema de Pascal.
Dinca, Marian: Generalizacin de la desigualdad propuesta en la I.M.O.
2008, Madrid.(Traduccin por el editor del original en rumano)
Lasters, Guido y Staelens, Hugo :Hablando de cuadrados negativos
(Traduccin por el editor del original en francs)
Modan, Laurentiu: Acerca de una suma combinatoria inusual y difcil
(Traduccin por el editor del original en ingls)
Soifer, Alexander: Un problema de Teora de grafos, de Colorado
(Traduccin por el editor del orginal en ingls)
Problemas resueltos:
Presentamos la solucin de Andrs Zorrilla Vaca (estudiante, Col.
Lacordaire, Cali, Colombia) al problema 36-5 de esta seccin, y a los
problemas 38-1 y 38-3 del nmero anterior.
Presentamos tambin las soluciones a los problemas para los ms
jvenes del nmero 37 de la REOIM, que ha enviado Ral Simn
Elexpuru (Santiago, Chile).
Acceder
http://www.oei.es/oim/revistaoim/numero39.htm
http://www.oei.es/formularios/cursomat.htm
UNA PRUEBA ELEMENTAL DEL TEOREMA DE
PASCAL
Milton F. Donaire Pena
Lima, Peru
En este artculo se presenta una nueva prueba del teorema que el matematico Blaise
Pascal (1623 1662) obtuviera a la edad de 16 anos, sobre la colinealidad de las inter-
secciones de los lados opuestos de un hexagono.
Sean OX y OX 0 rayos que pasan por el vertice O del angulo M ON simetricos con
respecto a la bisectriz del angulo M ON . Entonces OX y OX 0 se llaman par de rectas
isogonales para el angulo M ON .
1
Teorema (J. J. A. Mathieu)
Prueba
Prolonguemos BP hasta G de modo que los trangulos BQA y BCG sean seme-
jantes, luego: mBGC = mBAQ = y.
De all: BC = BQ k y BG = AB k y como mCBQ = mP BA, tendremos que
los triangulos CBQ y GBA tambien seran semejantes, entonces mBCQ = mBGA,
pero como mBCQ = mP CA tenemos que el cuadrilatero CP AG es inscriptible,
entonces: mP GC = mP AC, es decir x = y.
1
En general el teorema es valido para cualquier conica y la prueba del teorema general se puede
reducir a la forma que mostramos a continuacion luego de realizar una conveniente proyeccion de la
conica en algun plano
2
Figura 3: Pascal y las medidas angulares
La Prueba
Los triangulos ABY y CRY son semejantes, pero P y X no son homologos, entonces
construimos el punto X 0 que sea el homologo de P , luego mRY X 0 = mBY P = ,
por el teorema anterior mXY C sera igual a y por lo tanto P , Y , X son colineales.
BIBLIOGRAFIA
[1] Eves, Howard Estudio de todas las geometras. Hispano - Americana. Mexico. 1969.
[2] Frere Gabriel Marie. Exercises de Geometrie. J. Gigord. Pars. 1920.
[3] Donaire, Milton Formas y Numeros. La geometra en las olimpiadas Matematicas.
Universidad de Ciencias y Humanidades. Peru 2010.
[4] Barroso, Ricardo http://personal.us.es/rbarroso/trianguloscabri/
[5] Ayme, Jean Louis http://pagesperso-orange.fr/jl.ayme/contenu.html
[6] Capitan, Garca http://garciacapitan.auna.com/index.htm
3
GENERALIZACIN DE LA DESIGUALDAD PROPUESTA EN
LA I.M.O. 2008 MADRID (ESPAA)
Prof. Marian Dinca
x2 y2 z2
2 + 2 + 2 1 (1)
(x 1) (y 1) (z 1)
ii) Probar que el signo igual se alcanza para innitas ternas de nmeros
racionales x; y; z:
X 2
n
X 2
i j (xi xj ) k k+1 (xk xk+1 )
n
X
2 1 i<j n k=1
k xk n n donde n+1 = 1 y xn+1 = x1 (3).
X X
k=1
k k
k=1 k=1
As pues, tenemos
n
X 2
n k k+1 (xk xk+1 )
X k=1
2
k xk n (4).
X
k=1
k
k=1
1
n
X n
X n+1
X
1
n k k+1 k+1 k
X x2k k=1
k
k=1 k=2
n = n = n = 1 pues n+1 = 1 (5).
(xk xk+1 )
2 X X X
k=1
k k k
k=1 k=1 k=1
n
X n
Y
yk2
2 1; con yk = 1; yk 6= 1 para k = 1; 2; ; n:
k=1
(yk 1) k=1
2
HABLANDO DE CUADRADOS NEGATIVOS...
Los alumnos que se encuentran por primera vez ante los nmeros imaginarios desconfan
frecuentemente del hecho que i=-1. No siempre es fcil para el profesor de matemticas
hacer que sus estudiantes acepten tal frmula, por no hablar de nuestra frustracin para
hacerles entender la utilidad de la misma. Hay diferentes maneras de introducir los nmeros
imaginarios. El enunciado axiomtico de la frmula no es un modo apto para convencer a los
alumnos. No obstante, hay que decir que en los cursos de matemticas uno se las arregla
bastante bien.
Definiremos una multiplicacin entre los puntos que se encuentran sobre una cnica k.
Sea F un punto fijo de k y sea h una recta fija en el plano. Por definicin, el producto AB es
el punto P, obtenido uniendo el punto de interseccin S de la recta AB y la recta fija h, con el
punto fijo F de k. (Ver fig. 1)
Se tiene, claramente,
P=AB=CD=U=V=PF.
En efecto, si se piensa en el teorema de Pascal, aplicado al hexgono definido por los puntos
A,B,C,AB,1,BC, se observa que los pares de puntos opuestos (1,4),(2,5) y (3,6) se cortan
sobre la recta fija h.
Entonces es fcil ver que los puntos (AB)C y A(BC) coinciden,
(AB)C=A(BC),
Se tiene G=F, y como F=1, se sigue que G=1. Podemos entonces identificar a G con -1:
G=-1.
Finalmente obtenemos
H=I=GF=G1=G=-1.
H,I{i,-i}.
Los cuadrados negativos son inherentes a la Matemtica. Somos nosotros los que los
debemos descubrir!
Abstract
In this short note, we present the origin story and the manner in which it
can be calculated the sum
n
X1 2n 1 2n + 1
k k+1
k=1
Key words
Intervalo de aproximacin, suma combinatoria, lmite, frmula de Stirling
para n!
Mathematics classication
Primaria : 05A05, 11B75. Secundaria: 05A10
1. Preliminares
En [4] corregimos un error aparecido en el texto y en la solucin de un
problema de [1] : Luego presentamos la siguiente generalizacin:
i) Estudiar de cuntas maneras se pueden distribuir 2n 1 chicos y 2n + 1
chicas en dos equipos, cada uno de 2n personas.
ii) Hallar el nmero total de posibilidades cuando, en cada equipo de i), debe
haber al menos un chico.
(4n)!
En [6] presentamos la solucin a la parte i), a saber [(2n)!] 2 ; pero por lo que
2.Resultados
Estudiemos la forma en la que aparece (1). La eleccin de k chicos de entre
2n 1; y de 2n k chicas de entre 2n + 1; para el primer equipo que consta de
2n personas, puede realizarse de
2n 1 2n + 1
maneras.
k 2n k
Para el segundo equipo, tambin de 2n personas, el nmero de posibilidades
es
2n 1 k 2n + 1 (2n k)
= 1:
2n 1 k 2n + 1 (2n k)
1
De todo ello se deduce que el nmero de formas en el que estamos interesados
viene dado por la suma
n
X1 n
X1
2n 1 2n + 1 2n 1 2n + 1
= ;
k 2n k k k+1
k=1 k=1
o lo que es lo mismo,
2n
X2 2n 1 2n + 1 4n
= 2 (2n + 1) : (3)
k 2n k 2n
k=1
Como en la suma (3) los trminos son iguales dos a dos, reescribimos la
relacin anterior como
n
X1 2n 1 2n + 1 1 4n
= 2n 1:
k k+1 2 2n
k=1
2
p 4n 4n
(4n)! 8 n e e 1 =48n 24n 1=12n( 1
);
2 = hp i2 =p e 4 2
1; 2 2 (0; 1) (6).
[(2n)!] 4 n 2n 2n
e 2 =24n 2 n
e
1 1 1 1
2 2 ; ; y de aqu
12n 4 12n 12n
e 12n ( )
1 1 1 1
4 2
2 e 12n ; e 48n (7)
3
Department of Mathematics
Faculty of Computer Science, Bucarest
Calea Dorbantzilor 15-17, sector I, Bucarest
modan.laurent@yahoo.fr
4
Un problema de Teora de Grafos, de Colorado
La teora de grafos ha sido una base frtil para obtener bellas ideas que funcionan muy bien en
competiciones del tipo de las Olimpiadas. El problema que presentamos aqu fu utilizado como
problema 4 el 23 de abril de 2010 en la Olimpiada Matemtica de Colorado.
Para crear este problema yo necesitaba conocer cuntos pases forman las Naciones Unidas.
Supuse que eran 200, y estuve muy cerca de acertar!
Y ahora, el problema:
Solucin.
1). Cada Estado Miembro est representado por un vrtice de un grafo, en el que dos vertices
estn conectados por una arista si y solamente si los pases correspondientes tienen un
desacuerdo. Entonces el Grafo Inicial de Desacuerdos es el grafo completo K192 de 192 vrtices
(un conjunto de 192 vrtices, tal que dos cualesquiera de ellos est unidos por medio de una
arista). Una negociacin selecciona un ciclo de 4 vrtices C4 del grafo (representantes de cuatro
pases se sientan en una mesa redonda de modo que cada par de consecutivos tiene un
desacuerdo) y elimina una arista de l. El problema, traducido a este lenguaje, pide determiner
el mnimo nmero de aristas del Grafo de Desacuerdos obtenido del inicial K192 por una serie de
eliminaciones consecutives de una arista de un 4-ciclo.
2). Obsrvese primero que la eliminacin de una arista en un subgrafo C4 conserva la
conectividad del grafo (es decir, la capacidad para pasar de un vrtice a otro a travs de una serie
de aristas).
Si la serie de negociaciones consecutivas llevase a eliminar todos los ciclos, obtendramos un
grafo conexo sin ciclos, lo que se llama un rbol , de 192 vrtices. Ese rbol tiene exactamente
191 aristas (demostracin fcil por induccin).
Obsrvese que para cualquier par de puntos de un rbol hay un nico camino que los conecta, a
travs de una serie de aristas (porque si hubiera ms, habramos creado un ciclo con la union de
dos caminos distintos). Esta observacin nos permite demostrar que cualquier rbol es
coloreable con 2 colores (de modo que los vrtices del mismo color no sean adyacentes). En
efecto, se colorea un punto A del color 0, y cualquier otro punto B de color 0 1 dependiendo de
la paridad de la distancia en aristas de A a B.
Obsrvese ahora que la propiedad de colorearse con 2 colores se conserva bajo la operacin
inversa a la negociacin, es decir la operacin consistente en completar un camino de 4 aristas en
un ciclo de 4. Por lo tanto, si suponemos que se ha conseguido el grafo de 191 aristas, el Grafo
Inicial de Desacuerdos es tambin coloreable con 2 colores. Sin embargo el grafo Inicial de
desacuerdos K192 no es coloreable con 2 colores (require 192 colores), luego nunca obtendremos
un rbol como resultado de una serie de negociaciones. Hemos probado de 191 es inalcanzable.
3). Por otra parte, veamos el siguiente proceso a partir del Grafo de Desacuerdos de 192 aristas.
Figura 1: Kite-0
A travs de la serie de negociaciones podemos pasar, del grafo Kite-0, que es K192, al Kite-1 ,
que consta de K191 con una arista adicional (una cola). En efecto (v. fig.1), del 4-ciclo {1, 3, 4,
5} quitamos la arista {1, 3}; de {1, 4, 5, 6} quitamos {1, 4}; , de {1, 190, 191, 192} quitamos
{1, 190}; de {1, 191, 192, 2} quitamos {1, 191}. Finalmente, de {1, 2, 3, 192}, quitamos {1,
192}, y obtenemos el Kite-1 deseado (Figura 2).
Figura 2: Kite-1
Figura 3: Kite-189
Continuando este proceso (que se puede formalizar por simple induccin), llegaremos al grafo
Kite-189 , que consta de K3 con una cola de longitud 189 (figura 3), que tiene exactamente 192
aristas, como se quera demostrar.
Problem Jov36-5
Demostrar que no hay ningn par de nmeros reales tales que se verifiquen
simultneamente las igualdades
x = y 2 + 1; y = x 2 + 1
Solucin:
x + y = x2 + y2 + 2
luego restamos a ambos lados de la ecuacin (x+y), para luego factorizar convenientemente de
la siguiente manera:
0 = x2 x + y 2 y + 2
0 = x( x 1) + y ( y 1) + 2
llegamos a una contradiccin ya que:
x( x 1) 0
y ( y 1) 0
2> 0
y el resultado de la suma nunca sera cero, por consiguiente no existe ningn numero REAL que
satisfaga las igualdades. Finalmente se ha demostrado.
Andrs Zorrilla Vaca
Cali, Colombia
Colegio Lacordaire
Prob. 38-1
E
F
B C
Solucin:
En primer lugar, es obvio que los segmentos AE y EF son congruentes por ser tangentes que
parten desde un mismo punto en comn; lo mismo ocurre con las tangentes CF y CD. Razonando,
obtenemos que los angulos AEF y DCF suman 180 ya que sabiendo de que la suma de los
angulos internos del cuadrilatero AECD suman 360 y como el angulo EAD y ADC son rectos,
entonces concluimos lo anterior. Luego, como el radio de un circulo es siempre perpendicular a
sus tangentes y como los segmentos tangentes al circulo desde un punto exterior forman angulos
congruentes con la recta que une al centro con el punto, entonces podemos graficar lo siguiente:
O D
A
B C
datos: (llamemos al angulo FCD p y al angulo AEF z)
p+z=180
p/2= FCO.
z/2= FEO.
p/2 + z/2= 90
t=180 - 90 = 90
e/u=u/r
e/(1/2)=(1/2)/1
2e=1/2
e=1/4
ya como conocemos el valor de e y que e (segmento EF) es igual al segmento AE (por ser
tangentes que tienen un punto en comn exterior a la circunferencia) , entonces AB-AE= altura
del triangulo CBE. Como el lado AB=1 (por el enunciado), entonces la altura(h) del triangulo es
igual a y la base(b)=1.
Cali. Colombia
Colegio Lacordaire
Prob. 38 3
Solucin:
El numero ms pequeo que cumple con todos los anteriores requerimientos es una
unidad menos que el menor numero divisible entre 2,3,4,5,6,7,8,9 y 10. Este minimo
numero es su M.C.M, es decir 2520, y como dije anteriomente: a este se le debe restar
una unidad ya que al dividirse entre 2,3,4,5,6,7,8,9 y 10 su residuo es uno menos que el
divisor correspondiente.
a + b = 2. (1)
El permetro es
P = 2(a + b) = 2x2 = 22 .
Raul A. Simon
CHILE.
Sea A = 10n+2 + 10n a , donde n es un nmero natural y a es un dgito (0 < a 9).
Determinar a sabiendo que A es divisible por 3.
Solucin. Si A es divisible por 3, la suma de sus cifras, c(A), tambin lo es. Para calcular
c(A), debemos escribir A en forma ms apropiada. Sea el entero b tal que
a + b = 10, (1)
de modo que
a = 10 b. (2)
c(A) = (n + 2) + n + b 1 = 2n + 1 + b = 2n + 11 a ; (4)
2n + 11 a = 3k,
a = 2n + 11 3k. (5)
Raul A. Simon
CHILE.
La transversal de gravedad AM (M pertenece al lado BC)en el tringulo acutngulo ABC
corta por segunda vez a la circunferencia circunscrita al tringulo en D (la primera vez es
en A). Si E es el simtrico de A con respecto M, demostrar que BC es la tangente comn
a los crculos circunscritos a los tringulos BDE y CDE.
BCD = 1 ; (3)
anlogamente,
DBC = 2. (4)
Sean ahora:
Raul A. Simon
CHILE
DOB = 22. (7)
Las Ecs.(9 a-b) prueban que BC es la tangente comn a los crculos BDE y CDE.
Raul A. Simon
CHILE
Calcular el resto de la divisin del nmero
A = 1.2.3....2007 + 2008
por 2002.
Solucin. Al dividir A por 2002, el primer trmino da un entero, ya que 2002 est incluido
entre los factores que lo forman. El segundo trmino es
2008/2002 = 1004/1001 ;
Raul A. Simon
CHILE.
Se considera el nmero
Demostrar que
.................
Raul A. Simon
CHILE
De aqu,
Ahora,
De aqu,
Sumando todas estas desigualdades, y teniendo en cuenta que a la derecha falta 1/(1.2),
tenemos
Raul A. Simon
CHILE.
Problemas de la Competicin Matemtica Mediterrnea 2010
(Memorial Peter OHalloran)
Problema 1
Dados los nmeros reales a; b; c; d , resolver el sistema de ecuaciones (incg-
nitas x; y; z; u)
9
x2 yz zu yu = a > >
=
y 2 zu ux xz = b
z 2 ux xy yu = c > >
;
u2 xy yz zx = d
Problema 2
Dados los nmeros positivos a1 ; a2 ; ; an ; con n > 2 y a1 +a2 + +an = 1;
probar que
a2 a3 an a1 a3 an a1 a2 an 1 1
+ + + 2
a1 + n 2 a2 + n 2 an + n 2 (n 1)
Problema 3
Sean A0 2 (BC); B 0 2 (CA); C 0 2 (AB) los puntos de tangencia de los crcu-
los exinscritos del tringulo ABC con los lados de ABC. Sea R0 el circunradio
de A0 B 0 C 0 : Demostrar que
1p
R0 = 2R (2R ha ) (2R hb ) (2R hc );
2r
donde, como es usual, R es el circunradio de ABC; r es el inradio de ABC;
y ha ; hb ; hc son las longitudes de las alturas de ABC:
Problema 4
Sea p un entero positivo, p > 1: Hallar el nmero de matrices m n con
elementos en el conjunto f1; 2; ; pg y tales que la suma de los elementos de
cada la y de cada columna NO es divisible por p:
1
2.Hallar nmeros naturales a, b < 10 tales que
a n + b n+ 1 + a n+ 2 + b n+ 3
sea divisible por 10 para todo nmero natural n mayor o igual a 2. (M.Radu)
SOLUCIN//:
Primero, factorizar la expresin hasta llegar a que:
a n ( a 2 + 1) + b n+ 1 ( b 2 + 1)
luego, razonamos la expresin con el enunciado hasta concluir que para que dicha sea divisible entre 10
entonces debe terminar en cero(0); por lo tanto la suma de los dos factores debe terminar en cero, para todo n
mayor o igual que 2. Entonces, formamos una tabla para justificar los planteamientos:
a n ( a 2 + 1) b n+ 1 ( b2 + 1)
...
2 (2 + 1) = 5
n 2
...
3n 10
...
4n 17
*
5n 26 ...
6n 37 ...
*
7 n 50 ...
8n 65 ...
9n 82 ...
*
En esta tabla se observa cada uno de los posibles valores que podran tomar cada una de las variables.
Facilmente se puede deducir que unicamente cuando las variables toman valores como (2,3,5,7,8)* siempre
terminarn en cero(0), para cualquier valor que pudiese tomar n. Por lo tanto, todas las parejas de (a,b) que hacen
parte de las soluciones son todas las permutaciones posibles del conjunto (2,3,5,7,8), son 25 soluciones de distintas
formas que puede tomar la pareja de variables (a,b).
PRUEBA: Probemos la solucion con dos tipos de parejas (a,b).
-1- (a,b)=(5,3) para n=4 -2- (a,b)=(8,2) para n=3
54 + 35 + 56 + 37 = 18680 83 + 24 + 85 + 26 = 33360
las cuales son ciertas para los dos casos; ya que el resultado de las dos operaciones son divisibles por 10, y ya
quedara solucionado el problema.
*NOTA: Las variables (a,b) no pueden tomar los valores de 1,4,6,9; ya que para cualquier n mayor o igual a 2
no cumple con la condicion de que el resultado de la operacin sea divisible entre 10. Por lo tanto quedarn
excluidas de la solucin.
SOLUCION AL PROBLEMA 4 DE LAS 2nd OLIMPIADAS BENELUX AMSTERDAM.
4 PROBLEMA PROPUESTO EN LAS OLIMPIADAS BENELUX AMSTERDAM
NOMBRE: ANDRES ZORRILLA VACA GRADO: 9 (bachillerato) Nivel Medio
PAIS: COLOMBIA CIUDAD: CALI COLEGIO: Colegio Lacordaire
3 + 3 = ( + )(2 + 2 )
luego, se tendra:
( + )(2 + 2 ) =
( + ) (2 + 2 ) =
A) Uno de los dos factores (a+b) (a2-ab+b2) tiene que ser uno (1), ya que el numero
primo p debe ser divisible por uno o por el mismo. Luego si (a+b) es uno(1) entonces
una de las variables ya sea a o b tendra que ser cero o un numero negativo pero
de acuerdo a la informacin del enunciado estas variables deben ser nicamente
nmeros enteros positivos, es decir, mayores que cero (0); solamente nos resta
evaluar cuando (a2-ab+b2) es igual a uno y razonando obtenemos de que:
(2 + 2 ) = 1
(2
+ 2 ) = 1
2 2 + 2 = 1
, por conveniencia agrego -ab a ambos lados de la ecuacin para factorizarlo como un
cuadrado perfecto:
( )2 = 1
, razonamos de que el producto (ab) debe de ser menor o igual a uno, ya que todo numero
elevado al cuadrado es positivo; entonces:
0<ab1; y la nica solucin acondicionada y coherente es cuando a=b=1.
B) de que los dos factores sean iguales. En este caso, continuamos (factorizando):
( + ) = (2 + 2 )
2 = 2
(1 ) = 2 ( + 1)
,ya factorizado procedemos a pasar a restar a ambos lados a(1-a)
0 = 2 ( + 1) (1 )
Teniendo de esta forma un polinomio de grado 2, cuyos coeficientes son: (1; -(a+1);
-a(1-a))respectivamente (a1,b1,c1); que se puede resolver (resolver las races) mediante
la ecuacin cuadrtica, teniendo:
1 12 41 1
21
, reemplazando obtenemos:
( + 1) ( + 1)2 [4(1) (1 )]
=
2(1)
Evaluando la expresin -a(1-a), en este caso a1 (de acuerdo al enunciado del
problema) y lgicamente podramos expresarlo por a(1-a) positivo, ya que ( ) () =
(+). Entonces transformada la ecuacin cuadrtica con los argumentos anteriores nos
quedara:
( + 1) ( + 1)2 4(1 )
=
2
, en este caso, como b es un numero entero positivo(por el enunciado) entonces la
discriminante debe de ser un numero positivo cuadrado perfecto, es decir mayor que
cero, por lo tanto(razonando):
Si |-4a(1-a)||(a+1)2| {a|a Z+ a<2 a>2} , entonces no existe un numero b
dentro del conjunto de los enteros positivos.
Si |-4a(1-a)|<|(a+1)2| {a|a Z+ a=2}, entonces si existe un numero b dentro de
los nmeros enteros positivos; ya que resolviendo la desigualdad tenemos de que la
nica solucin para los valores de a es que sea igual a dos(2):
Prueba:
|-4(2)(1-2)|<(2+1)2
|8|<32
8<9, ya esta demostrado; ahora procedemos a resolver la ecuacin cuadrtica
sabiendo de que a obligatoriamente debe de ser igual a dos(2) para una solucin de
b dentro del conjunto de los enteros positivos:
(2 + 1) (2 + 1)2 4(2)(1 2)
=
2
3 9 8
=
2
31
= 2
4 2
= =2 = =1
2 2
Resolvindolo podemos observar de que b puede tener dos valores, dos(2) [que no
se puede tener en cuenta como componente de una nueva cuaterna ya que el p no
sera primo]*; uno(1)**.
*no se debe tener en cuenta como cuaterna por que:
23+23=16=42, por tanto 4 no es un numero primo(es un numero compuesto).
**Entonces trasladando los valores anteriores para la cuaterna (2,1,3,n),[ en donde
n no lo conocemos](falta hallarlo) tenemos:
2 3 + 1 3 = 3
9 = 3
Ahora despejo n:
= log 3 9
=2
Teniendo de esta forma las dos ultimas formas de cuaterna, (hay que probarlas):
(2,1,3,2) 2*
(1,2,3,2) 3*
1* (1,1,2,1) 2* (2,1,3,2) 3*
X1 k
1 1
1 x x2 xn ; para jxj < 1:
n=1
n 1 x
4 1 1 1 1
+ + :
AD A0 D0 BD DC B 0 D0 D0 C 0
cundo se alcanza la igualdad?
PROBLEMA 195 (original de Dan Branzei, Iasi, Rumania; propuesto por
el editor)
Dado el tringulo ABC, de semipermetro s, se dene t = sr
R (notaciones
habituales).
1) Demostrar que min (a; b; c) > t:
2) Demostrar que existe un tringulo de lados
p p p
a0 = a (a t); b0 = b (b t); c0 = c (c t):
1
Problema 36. Si {Fn }0 es la sucesion de Fibonacci, pruebe que
q
2 2 2
4(2Fn+1 F2n )2 + F2n (Fn2 + 4Fn+1 2F2n ) + 6Fn Fn+1 (4Fn+1 F2n )
o equivalentemente,
2 2
(4Fn+1 F2n )[(4Fn+1 2F2n ) + 6Fn Fn+1 ] + F2n Fn2 .
Ahora bien, de la identidad F2n = 2Fn Fn+1 Fn2 se tiene que la expresion
2
dentro de los corchetes en la lnea anterior es 4Fn+1 + 2Fn Fn+1 + 2Fn2 y de
aqu que todo ese renglon se pueda reescribir como
2 2
(4Fn+1 F2n )(4Fn+1 + 2Fn Fn+1 + 2Fn2 ) + F2n Fn2 .
y por tanto a
2
(4Fn+1 + Fn2 )2 4Fn2 Fn+1
2
+ Fn2 (4Fn+1
2
2Fn Fn+1 + Fn2 ) + F2n Fn2
2
= (4Fn+1 + Fn2 )2
1
Problema 186 (propuesto por Luis Gmez-Snchez, Universidad de Oriente,
Venezuela)
Sean los nmeros naturales a, b, c tales que a < b < c y a2 + b2 > c2 . Demostrar
que existe un nico entero que satisface la inecuacin
Solucin por Jos Heber Nieto, Universidad del Zulia, Maracaibo, Venezuela.
Como 0 < a/c < b/c < 1, la sucesin (a/c)n + (b/c)n es decreciente y tiende
a 0 cuando n tiende a +. Por lo tanto hay un mnimo entero x 2 tal que
ax +bx > cx pero ax+1 +bx+1 cx+1 . De hecho, la ltima desigualdad es estricta
debido al teorema de Fermat-Wiles. Por lo tanto
a2x+1 + b2x+1 + c2x+1 + (a + b)(ab)x (a + c)(ac)x (b + c)(bc)x
= (ax + bx cx )(ax+1 + bx+1 cx+1 ) < 0.
ma2 ha2 4 R 2 ha
Lema: En todo triangulo ABC se tiene que = .
l a2 ha2 l a2
Demostracin: Usando las expresiones bien conocidas para las longitudes de las
bisectrices interiores y las medianas en funcin de los lados del triangulo
a 2 2b 2 + 2c 2 a 2
l = bc 1 , etc., y ma =
2 2
, etc.
b + c
a
4
bc
y la expresin ha = , etc., que se demuestra teniendo en cuenta que a = 2 RsenA ,
2R
m 2 ha2 4 R 2 ha
etc. y 2 = aha = bcsenA , etc., y sustituyendo en la expresin 2a = ,
l a ha2 l a2
tenemos que
abc
que puede desarrollarse teniendo en cuenta la relacin R = y la formula de Heron
4
4 = (a + b + c)(b + c a )(c + a b)(a + b c) y simplificar, para llegar a la prueba de
la identidad.
ciclica ha
2
2
l a ha
2
= 4 R 2 a 4 R 2 3 = 12 R 2
ciclica wa
---oooOooo---
Nota: Se puede mejorar la desigualdad anterior utilizando el famoso teorema de Liu 1
que establece que si es el Angulo que forman la mediana y la bisectriz interior que
parten del mismo vrtice, entonces se cumple que ma l a cos = s ( s a ) , con lo que
tenemos
ma s( s a) s(s a)
ciclica l a
= 2
ciclica l a cos
ciclica l a2
3
2
la = bcs( s a ) s ( s a )
b+c
llegamos a
1
Ver en la red Pythagoras theorem and its Applications de Paul Yiu ; Pag. 128.
PROBLEMA 188, (propuesto por Roberto Bosch Cabrera, La Habana, Cuba)
Determinar todos los polgonos regulares para los que existe una curva cubica
de ecuacion
y = x3 + ax2 + bx + c, a, b, c reales,
que pasa por todos sus vertices.
1
Problema 189 (propuesto por el editor)
A, B, C, D, E son cinco puntos en una circunferencia. Se trazan cnicas tangen-
tes a los lados de los tringulos BCD, CDA, DAB y ABC, respectivamente,
y para las cuales E es un foco. Demostrar que todas son parbolas, y que sus
directrices son tangentes a otra parbola de foco E.
Solucin por Jos Heber Nieto, Universidad del Zulia, Maracaibo, Venezuela. Es
sabido que el lugar geomtrico de los simtricos de un foco respecto a las distintas
tangentes a una cnica es la directriz (en el caso parbola) o la circunferencia
focal con centro en el otro foco (en los casos elipse e hiprbola). De aqu se
deduce que, si las proyecciones ortogonales de un punto E sobre tres rectas p,
q y r pertenecen a una misma recta s, entonces hay una nica cnica tangente
a p, q y r y con un foco en E, a saber la parbola cuya directriz es la recta
homottica de s en la homotecia H de centro E y razn 2.
Llamemos EXY al pie de la perpendicular desde E a la recta XY . Si A,
B, C, D y E son concclicos entonces EAB , EBC y EAC pertenecen a la recta
de Simson s(A, B, C) del tringulo ABC respecto a E, por lo tanto la (nica)
cnica con un foco en E que es tangente a los lados del tringulo ABC es una
parbola, cuya directriz es la recta s0 (A, B, C) homottica de s(A, B, C) por H.
Lo mismo vale para los tringulos ABD, ACD y BCD. Para probar que
s0 (A, B, C), s0 (A, B, D), s0 (A, C, D) y s0 (B, C, D) son tangentes a una mis-
ma parbola de foco E basta probar que s(A, B, C), s(A, B, D), s(A, C, D) y
s(B, C, D) lo son (luego bastar aplicar H).
Ahora bien, como los ngulos AEAB E, AEAC E yAEAD E son rectos, los
puntos EAB , EAC y EAD pertenecen a la circunferencia de dimetro AE. Por lo
tanto las proyecciones ortogonales de E sobre las rectas EAB EAC = s(A, B, C),
EAB EAD = s(A, B, D) y EAC EAD = s(A, C, D) son colineales. Permutando
cclicamente A, B, C y D resulta que tambin las proyecciones ortogonales
de E sobre s(B, C, D), s(B, C, A) y s(B, D, A) son colineales, es decir que las
proyecciones ortogonales de E sobre las cuatro rectas de Simson s(A, B, C),
s(A, B, D), s(A, C, D) y s(B, C, D) son colineales, como queramos probar.
Problema 190 (propuesto por el editor)
La quinta potencia de un nmero entero es congruente con 5, mdulo 91. De-
mostrar que el nmero es congruente con 31, mdulo 91.
Solucin por Jos Heber Nieto, Universidad del Zulia, Maracaibo, Venezuela.
Sea x tal que x5 5 (mod 91). Como 91 = 7 13 resulta que x5 5 (mod 7)
5
y x 5 (mod 13), y en particular x no es divisible entre 7 ni entre 13. Entonces
por el teorema pequeo de Fermat x6 1 (mod 7) y x12 1 (mod 13). Por lo
tanto
Solucin:
1
Comentario de pginas web y noticias de congresos
39