III Olimpada Iberoamericana de Matemtica Lima, Per 25 y 26 de abril de 1988

Problema 1 Las medidas de los lados de un tringulo estn en progresin aritmtica y las longitudes de las alturas del mismo tringulo tambin estn en progresin aritmtica. Demuestre que el tringulo es equiltero. Solucin Sean los lados del tringulo a, a+d, a+2d con d 0. Entonces las alturas son

k k k a a + d a + 2d
donde k es dos veces el rea. Ahora tenemos:

k k 2k + > a a + 2d a + d
A menos que d = 0. Esto es equivalente a (a + d)(a + 2d) + a(a + d) > 2a(a + 2d) o 2d2 > 0, lo cual es obviamente verdad. Las altitudes pueden formar tan solamente una progresin aritmtica si d = 0 y por lo tanto el tringulo es equiltero.

III Olimpada Iberoamericana de Matemtica Lima, Per 25 y 26 de abril de 1988

Problema 2

Sean a, b, c, d, p y q nmeros naturales no nulos que verifican ad bc = 1, y Demostrar que: I II

a p c > > . b q d

q b+d
Si

q = b + d entonces p = a + c

Solucin

p c p c 1 a p implica pd > cq, entonces pd cq + 1, tambin . Similarmente, implica > + > q d q d qd b q

1 1 b+d a p 1 a c a c 1 . Pero = . Entonces q b + d . + = > + . Tambin b q bq b d qd qb qbd b d bd

Ahora asumimos que q = b + d. Tenemos ad bc = 1 d, por lo tanto ad + cd d bc + cd y de lo anterior tenemos

a + c 1 c . Entonces p a + c. Similarmente ad bc b, Ahora bien b+d d

bc + b + ab ad + ab, por lo tanto

a + c +1 a . b+d b

Y p a + c. Por lo que p = a + c.

III Olimpada Iberoamericana de Matemtica Lima, Per 25 y 26 de abril de 1988

Problema 3 Demuestre que entre todos los tringulos cuyos vrtices distan 3, 5 y 7, de un punto dado P, el que tiene mayor permetro admite a P como su incentro. Solucin

Los puntos dados P, B, C y un crculo fijo con centro P, nosotros demuestran que el punto A en el crculo, lo cual maximiza AB + CA es tal que el PA biseca el ngulo BAC. Considerar un punto A cerca del A. Entonces el cambio en AB + CA y entonces al mover A a A se tiene que AA(Sen PAC Sen PAB) + O (AA'2). Entonces para una configuracin mxima debemos tener Sen PAC = Sen PAB, si no podramos conseguir una suma ms grande tomando A en el otro lado. Esto se aplica a cada vrtice del tringulo, as que P debe ser el incentro.

III Olimpada Iberoamericana de Matemtica Lima, Per 25 y 26 de abril de 1988

Problema 4 Sea ABC un tringulo cuyos lados son a, b, c. Se divide cada lado del tringulo en n segmentos iguales. Sea S la suma de los cuadrados de las distancias de cada vrtice a cada uno de los puntos de divisin del lado opuesto distintos de los vrtices.

Demuestre que:

S es un nmero racional. a + b2 + c2
2

Solucin

Usando la ley del coseno, AAk = AB +

2 2

k 2 BC 2 2k AB BC CosB . Por lo tanto (n + 1) 2 n +1

AAk2 = n AB 2 +

BC 2 (2 AB BC CosB )(1 + 2 + 3 + ... + n) 2 2 2 2 2 (n + 1) (1 + 2 + 3 + ... + n ) n +1

Semejantemente para los otros dos lados. As la suma total es:

n( AB 2 + BC 2 + CA2 ) +

n(2n + 1) n( AB BC CosB + BC CA CosC + CA AB CosA) 6(n + 1)( AB 2 + BC 2 + CA2 )

Pero AB BC CosB =

AB 2 + BC 2 CA2 de lo cual tenemos que 2

AB 2 + BC 2 + CA2 AB BC CosB + BC CA CosC + CA AB CosA = 2

As la suma es mltiplo racional de

(AB

+ BC 2 + CA2 .

III Olimpada Iberoamericana de Matemtica Lima, Per 25 y 26 de abril de 1988

Problema 5 Considere las expresiones de la forma x + yt + z t2 con x, y, z nmeros racionales y t3=2. Demuestre que: Si x + yt + z t2 0, entonces existen u, v, w racionales tal que: (x + yt + z2).(u + vt + wt2) = 1 Solucin Tenemos que xu + 2zv + 2yw = 1, yu + xv + 2zw = 0, zu + yv + xw = 0. Los cuales forman justamente un sistema de ecuaciones lineales. Resolviendo tenemos:

u=

2 z 2 xy x 2 2 yz y 2 xz , v= , w= d d d

donde

d = x 3 + 2 y 3 + 4 z 3 6 xyz

Esto no sucede para d = 0. Pero si d = 0, entonces multiplicndose por un nmero entero conveniente tenemos 6mnr = m3 + 2n3 + 4r3 para cualquier entero m, n, r. Pero podemos dividir por un factor comn de m, n, r para conseguirlos sin cualquier factor comn. Pero 6mnr, 2n3, 4r3 son todos pares, entonces m tiene que ser par. Ahora bien, m = 2M. Entonces 12Mnr = 8M3 + 2n3 + 4r3, tambin 6Mnr = 4M3 + n3 + 2r3. Pero 6Mnr, 4M3 y 2r3 son todos pares, entonces n tiene que ser par. Ahora bien n = 2N. Entonces 12MNr = 4M3 + 8N3 + 2r3, tambin 6MNr = 2M3 + 4N3 + r3, por lo que r tambin es par. Por lo tanto m, n, r tienen como factor comn al 2, lo cual es una contradiccin. Por lo tanto d no puede ser cero.

III Olimpada Iberoamericana de Matemtica Lima, Per 25 y 26 de abril de 1988

Problema 6 Considere los conjuntos de n nmeros naturales diferentes de cero en los cuales no hay tres elementos en progresin aritmtica. Demuestre que en uno de esos conjuntos la suma de los inversos de sus elementos es mxima. Solucin Induccin en el N. Para n = 1, {1} es obviamente mxima. Ahora suponer que a1 < a2 < < an es el mximo conjunto para n. Se toma an+1 el entero ms pequeo > an tal que {a1, a2,, an+1} no tiene tres miembros en AP. Ahora se considera la secuencia b1 < b2 < < bn que no se tienen tres en AP y bn+1 an+1. Hay solamente una secuencia finita. Entonces podemos encontrar una que sea mxima. Suponemos que es c1 < c2 < < cn+1. Ahora tomamos cualquier ai, ci que se la suma ms grande de los inversos. Es claramente mxima con respecto a las secuencias cuyos miembros ms grandes son an+1. Suponemos que tenemos una secuencia x1 < x2 < < xn+1 sin tres en AP y xn+1 > an+1. Entonces tenemos

1 1 , < xn+1 an+1

por

induccin,

1 1 1 1 1 1 + + + + + + , x1 x2 xn a1 a2 an

as

que

1 1 1 1 1 1 1 1 , que es peor que la secuencia que hemos elegido. + + + + + + + + x1 x2 xn xn+1 a1 a2 an an+1