Вы находитесь на странице: 1из 66

Revista Escolar de la Olimpada Iberoamericana de Matemtica Nmero 19 (Mayo - Junio 2005)

ISSN 1698-277X ndice Artculos, Notas y Lecciones de preparacin Olmpica Presentacin del Prof. Julio Castieira, por F.Bellot Julio Castieira Merino: Frmulas de ngulos mltiples Francisco Bellot : Tringulos especiales III y Bibliografa sobre geometra del tringulo.

Problemas de Nivel medio y de Olimpiadas Soluciones a los cinco problemas de la Olimpiada britnica, por Daniel Lasaosa Medarde, Pamplona, Espaa. Recibidas adems soluciones a dos de estos problemas (1995,#1 y 1991#3), por Oscar Ferreira Alfaro, Valencia, Espaa. Seleccin de 4 problemas de la Olimpiada de Australia 2004 Problemas para los ms jvenes Soluciones a dos de los problemas rumanos, por Oscar Ferreira Alfaro, Valencia, Espaa. Seleccin de problemas propuestos en la 2 fase de la XIII Olimpiada Provincial de Matemticas de 2 y 4 de E.S.O.; Valladolid, abril de 2005. (Agradecemos a la Prof. Encarnacin Reyes Iglesias, Presidenta Provincial, por habernos facilitado los problemas) Problemas (1Nota del editor)El editor pide disculpas al Prof. Floro damin Aranda Ballesteros, de Crdoba, Espaa, por haber omitido involuntariamente su nombre de la relacin de lectores que resolvieron el problema nmero 83, publicado en la Revista nmero 17. (2 Nota del editor) El Prof. Jos Manuel Aroca, de la Universidad de Valladolid, indica que en el enunciado del problema 81 la condicin de ser paralelogramo el cuadriltero OMNP es innecesaria, y que el resultado se deduce de una aplicacin del teorema de Pappus en ambos hexgonos. Problemas resueltos

Problema 86 : Recibidas soluciones de : J. lvarez Lobo, Oviedo, Espaa; F.D. Aranda Ballesteros, Crdoba, Espaa; D.Lasaosa Medarde, Pamplona, Espaa; B.Salgueiro Fanego, Vivero, Lugo, Espaa; y V. Vicario Garca, Huelva, Espaa. Presentamos la solucin de Lasaosa. Problema 87 : Recibidas soluciones de D.Lasaosa Medarde, Pamplona, Espaa; y B. Salgueiro Fanego, Vivero, Lugo, Espaa. Presentamos la solucin de Lasaosa. Problema 88 : Recibidas soluciones de : J. lvarez Lobo, Oviedo, Espaa; D.Lasaosa Medarde, Pamplona, Espaa; y B. Salgueiro Fanego, Vivero, Lugo, Espaa. Presentamos la solucin de Lasaosa. Problema 89 : Recibidas soluciones de : D. Aranda Ballesteros, Crdoba, Espaa; W. Roberto Rodrguez Valcarce, La Habana, Cuba; y B. Salgueiro Fanego, Vivero, Lugo, Espaa. Presentamos la solucin de Salgueiro. Problema 90 : Recibidas soluciones de : J. lvarez Lobo, Oviedo, Espaa; M. Amengual Covas, Cala Figuera, Mallorca, Espaa; D. Aranda Ballesteros, Crdoba, Espaa; F.Evelio Gotti Pea, La Habana, Cuba; D. Lasaosa Medarde, Pamplona, Espaa; y B. Salgueiro Fanego, Vivero, Lugo, Espaa. Presentamos la solucin de Lasaosa. Problemas propuestos 91 95 Divertimentos matemticos 19 Algunas citas Comentario de pginas web ICMI Study 16: Challenging mathematics in and beyond the classroom

Presentacin del Prof. Julio Castieira Merino, por el Editor El Profesor D. Julio Castieira Merino es Catedrtico de Matemticas del Instituto Marqus de Lozoya, de Cullar (Segovia, Espaa), desde hace largos aos. Es, tambin, uno de los escasos nombres espaoles que publican artculos en revistas como el Mathematics Magazine o, ms recientemente, el College Mathematics Journal, ambos publicados por la prestigiosa Mathematics Association of America. En esta ocasin ha accedido amablemente a escribir para la Revista Escolar de la OIM el trabajo que presentamos a continuacin, titulado Frmulas de ngulo mltiple. El lector observar en seguida que su artculo, muy extenso, es bastante ms que eso. Es una versin ampliada del artculo del College que cita en la Bibliografa, y que, como Editor de la Revista, le agradezco muy sinceramente que lo ponga a la consideracin de todos nuestros lectores. Valladolid, Mayo de 2005. Francisco Bellot

Formulas de Angulo Mltiple


Julio Castieira Merino jcastine@boj.cnice.mecd.es A la memoria de mis padres: Julio y ngeles Este trabajo explica algunas de las propiedades de las frmulas de ngulo mltiple. En primer lugar expresaremos de forma concisa las frmulas de ngulo mltiple de las funciones trigonomtricas e hiperblicas. Posteriormente utilizaremos estas frmulas en algunas temas de trigonometra, lgebra y en geometra. Para la funcin coseno, las frmulas de ngulo mltiple se pueden expresar usando los polinomios de Chebyshev [1], [6]. Estos polinomios estn definidos por la relacin de recurrencia T1 (x ) = x T0 (x ) = 1, Tn (x ) = 2 x Tn1 (x ) Tn2 (x ) , n 2 . Los ocho primeros polinomios con sus correspondientes frmulas de ngulo mltiple son: Polinomio

T1 ( x ) = x

T0 (x ) = 1

Frmula

cos 0 a = 1 cos 1 a = cos a

T3 ( x ) = 4 x 3 3x T5 ( x ) = 16 x 5 20 x 3 + 5 x T6 ( x ) = 32 x 6 48 x 4 + 18 x 2 1

T2 ( x ) = 2 x 2 1

cos 2 a = 2 cos 2 1 cos 3a = 4 cos 3 a 3 cos a cos 4a = 8 cos 4 a cos 2 a + 1 cos 5a = 16 cos 5 a 20 cos 3 a + 5 cos a cos 6a = 32 cos 6 a 48 cos 4 a + 18 cos 2 a 1

T4 ( x ) = 8 x 4 8 x 2 + 1

T7 ( x ) = 64 x 7 112 x 5 + 56 x 3 7 x cos 7a = 64 cos 7 a 112 cos 5 a + 56 cos 3 a 7 cos a


Observamos que los polinomios de Chebyshev cumplen la propiedad cos na = Tn (cos a ) . Demostracin Por induccin sobre n. Para los valores iniciales n = 0 y n = 1 tenemos:

cos 0a = 1 = T0 (cos a ),

cos 1a = cos a = T1 (cos a )


Supongamos que la frmula es cierta para todo valor de k < n, Aplicando la frmula de la diferencia de cosenos es decir

cos na cos(n 2)a = 2 cos(n 1)a cos a

cos na = 2 cos a cos(n 1)a cos(n 2)a


cos(n 1)a = Tn 1 (cos a ) y cos(n 2 )a = Tn 2 (cos a ) cos na = 2 cos a Tn1 (cos a ) Tn2 (cos a )

por hiptesis de induccin sabemos que Luego

Sustituyendo x = cos a en la frmula de recurrencia Tn ( x ) = 2 x Tn 1 ( x ) Tn 2 ( x ) tenemos que

Tn (cos a ) = 2 cos a Tn 1 (cos a ) Tn 2 (cos a ) , cos na = Tn (cos a ) .

por tanto

Observemos que la frmula anterior tambin se verifica para valores complejos del argumento, puesto que la frmula de la diferencia de cosenos es cierta para argumento complejo. Una consecuencia de este hecho es que la frmula de argumento mltiple para el coseno hiperblico es

Ch na = Tn (Ch a )

Ch na = cos ina = Tn (cos ia ) = Tn (Ch a ) . Una propiedad que ser utilizada posteriormente es

En efecto

Demostracin En efecto

( 1)(n1) 2 sen na Tn (sen a ) = ( 1)n 2 cos na

n impar n par

n Tn (sen a ) = Tn cos a = cos n a = cos na , 2 2 2


como

( 1)(n1) 2 sen na , n impar n n n , cos cos na + sen sen na = na = cos 2 2 ( 1)n 2 cos na , 2 n par

la igualdad queda demostrada. Ejercicios 1. Demostrar que el polinomio de Chebyshev tiene grado n y tiene n races simples. 2. Demostrar que el polinomio de Chebyshev de grado n es una funcin par si n es par y es una funcin impar si n es impar. 3.-Demostrar la propiedad transitiva de los polinomios de Chebyshev Tn (Tm ( x )) = Tnm ( x ) . Frmulas para la funcin seno Derivando la formula cos na = Tn (cos a ) podemos obtener una frmula de ngulo mltiple para la funcin seno. En efecto
' n sen na = Tn (cos a ) ( sen a )

Es decir

' Tn (cos a ) sen na = sen a n ' T (x ) , se le llama polinomio de Chebyshev de segunda clase Al polinomio U n ( x ) = n +1 n +1

de grado n [6]. Usando estos polinomios la frmula de ngulo mltiple de la funcin seno se expresa sen na = sen a U n1 (cos a ) . Anlogamente para el seno hiperblico tenemos la frmula

Sh na = Sh a U n1 (Ch a )

que se deduce derivando la frmula de argumento mltiple para el coseno hiperblico.

Los siete primeros polinomios de Chebyshev de segunda clase con sus correspondientes frmulas de ngulo mltiple son: Polinomio U 0 (x ) = 1 Frmula sen 1a = sena sen 2a = 2sen a cos a

U1 ( x ) = 2 x

U 3 (x ) = 8 x 3 4 x U 5 ( x ) = 32 x 5 32 x 3 + 6 x U 6 (x ) = 64 x 6 80 x 4 + 24 x 2 1

U 2 (x ) = 4 x 2 1

U 4 (x ) = 16 x 4 12 x 2 + 1

( ) sen 4a = sen a (8 cos 3 a 4 cos a ) sen 5a = sen a ( cos 4 a 12 cos 2 a + 1) 16 sen 6a = sen a (32 cos 5 a 32 cos 3 a + 6 cos a ) sen 6a = sen a (64 cos a 80 cos a + 24 cos a 1)
sen 3a = sen a 4 cos 2 a 1
6 4 2

Ejercicio 4. Demostrar que el polinomio de Chebyshev de segunda clase de grado n es una funcin par si n es par y es una funcin impar si n es impar. Una frmula que expresa sen na en funcin de sen a es
( 1)(n 1) 2 T (sen a ), n impar n sen na = n 21 ( 1) cos a U n 1 (sen a ), n par

Demostracin Si n es impar basta despejar el seno en la formula Tn (sen a ) = ( 1)(n1) 2 sen na . . Si n par es par tenemos que

derivando

Tn (sen a ) = ( 1)n 2 cos na ,

' Tn (sen a ) cos a = ( 1)n 2 ( sen na ) n , Despejando el seno del ngulo mltiple

n Los polinomios de Chebyshev de primera y segunda clase estn relacionados por la


frmula En efecto Por tanto Tn (x ) = U n (x ) xU n 1 (x )

T sen na = ( 1)n 21 cos a n

'

(sen a )

= ( 1)n 21 cos a U n1 (sen a ) .

sen(n +1)a = sen na cos a + cos na sen a


sena U n (cos a ) = sena U n1 (cos a ) cos a + Tn (cos a ) sen a

dividiendo por sen a

Tn ( x ) = U n (x ) xU n1 ( x ) . Los polinomios de Chebyshev de segunda clase satisfacen la siguiente relacin U 1 (x ) = 2 x , U 0 (x ) = 1, U n (x ) = 2 x U n 1 (x ) U n 2 (x ) n 2 Demostracin Es claro que

U n (cos a ) = U n1 (cos a ) cos a + Tn (cos a ) sustituyendo cos a por x y despejando Tn obtenemos

1 d U 0 (x ) = T1 (x ) = 1 1 dx , 1 d 1 d 2 T2 (x ) = U1 (x ) = 2x 1 = 2x 2 dx 2 dx Veamos que satisfacen la relacin de recurrencia. Derivando la relacin Tn (x ) = 2 x Tn1 (x ) Tn2 (x ) obtenemos

' ' ' Tn (x ) = 2 Tn1 (x ) + 2 x Tn1 (x ) Tn2 (x )

Sustituyendo

nU n1 ( x ) = 2 (U n1 (x ) xU n2 ( x )) + 2 x (n 1)U n2 ( x ) (n 2)U n3 ( x )

Operando Dividiendo por Por tanto

(n 2)U n1 (x ) = 2 x (n 2) U n2 (x ) (n 2) U n3 (x ) n 2 obtenemos U n1 (x ) = 2 xU n2 (x ) U n3 (x )

U n (x ) = 2 xU n1 (x ) U n2 (x ) . Las frmulas de recurrencia anteriores son interesantes desde el punto de vista terico y permiten hallar los polinomios de Chebyshev para valores pequeos de n. Pero para valores moderados de n son completamente intiles. Por fortuna disponemos de las siguientes frmulas explicitas de los polinomios de Chebyshev de primera y de segunda clase para n mayor que cero. n2 ( 1)k n k (2 x )n2k n Tn ( x ) = 2 k =0 n k k

y U n (x ) =
k =0

( 1)k

n2

n k (2 x )n2k k

Estas frmulas se pueden demostrar por induccin. Demostraremos la frmula para los polinomios de Chebyshev de segunda clase y dejaremos la otra frmula al lector. Demostracin Para n = 1 y n = 2 se cumplen. En efecto 1 U1 (x ) = ( 1)0 (2 x )10 = 2 x 0

1 2 U 2 (x ) = ( 1)0 (2 x )20 + ( 1)1 (2 x )22 = 4 x 2 1 1 0 Demostremos que si se cumple para k < n entonces se cumple para n: Sabemos que U n (x ) = 2 xU n1 (x ) U n2 (x ) usando la hiptesis de induccin podemos afirmar que (n 1) 2 (n 2 ) 2 n 2 k k n 1 k n 1 2 k (2 x ) (2 x )n 22k , ( 1) ( 1)k U n (x ) = 2 x k k k =0 k =0

operando y renombrando el ndice del segundo sumatorio

U n (x ) =

(n1) 2
k =0

( 1)k

(n 2 ) 2 n 1 k n2 (2 x )n 2k + ( 1) j +1 j k j =0

j (2 x )n22 j ,

haciendo el cambio de ndices k = j +1 en el segundo sumatorio

k =0 Tenemos dos casos. Si n es impar U n (x ) = (2 x )n +

U n (x ) =

(n1) 2

( 1)

k n

(k + 1)
k

(2 x )

n2k

k =1

( 1)k

n2

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

k =1

( 1)k

n2

n (k + 1) n (k + 1) n 2 k + , k 1 (2 x ) k

luego la propiedad de los nmeros combinatorios U n (x ) = (2 x )n + Si n es par U n (x ) = (2 x )n + luego tambin en este caso U n (x ) = ( 1)k
k =0 n2 n 21 k =1

k =1

( 1)k

n2

n2 n k (2 x )n2k = ( 1)k k k =0

n k n 2 k . k (2 x )

( 1)k

n (k + 1) n (k + 1) n 2 k + + (2 x )n 2 , k 1 (2 x ) k n k (2 x )n2k . k

Ejercicio 5-Demostrar las frmulas Tn (x ) = y U n (x ) =


Frmulas para la funcin tangente

k =0

2k x n 2k (x 2 1)
n2

k =0

2k + 1 x n 2k (x 2 1)
n2

n +1

Es sobradamente conocida la frmula de la tangente del ngulo doble 2 tan a tan 2a = 1 tan 2 a pero est poco difundida la frmula de la tangente del ngulo mltiple a pesar de su simplicidad [4]. En efecto

(n1) 2

tan na = k =0

n ( 1)k 2k + 1 tan 2k +1 a

k =0

( 1)k 2k tan 2k a

n2

la frmula se demuestra fcilmente por induccin usando la frmula de la tangente de una suma de ngulos. Ilustremos la sencillez de la frmula con un ejemplo, la expresin de la tan 5 x . En primer lugar calculamos los trminos de la quinta fila del tringulo de Tartaglia. Estos trminos son 1, 5, 10, 10, 5, 1 despus construimos los polinomios

1 10t 2 + 5t 4 y 5t 10t 3 + t 5
tomando los trminos de dos en dos y alternando los signos. Entonces

tan 5 x =
Las funciones racionales

5t 10t 3 + t 5 1 10t 2 + 5t 4
(n 1) 2

con t = tan x .

Rn (t ) =

k =0 n2

n ( 1)k 2k + 1 t 2k +1

k =0

( 1)k 2k t 2k

no reciben un nombre especial. Gozan al igual que los polinomios de Chebyshev de primera clase de la propiedad transitiva Rn (Rm (t )) = Rnm (t ) . Para la funcin tangente hiperblica se cumple la frmula

(n 1) 2 n 2k + 1 Th 2k +1a k =0 . Th na = n2 n 2k 2k Th a k =0
6 Th a + 20 Th 3 a + 6 Th 5 a

Por ejemplo

Th 6a = Las funciones racionales

1 + 15 Th 2 a + 15 Th 4 a + Th 6 a

al igual que las funciones Rn (t ) tampoco reciben un nombre especial, gozando al igual que ellas de la propiedad transitiva S n (S m (t )) = S nm (t ) .

2 k +1 2 k + 1 t S n (t ) = k =0 n2 n 2k t 2k k =0

(n 1) 2 n

Clculo algebraico de las razones trigonomtricas Las funciones de ngulo mltiple permiten calcular las razones trigonomtricas de muchos ngulos de forma puramente algebraica. Veamos algunos ejemplos 1) Razones trigonomtrica de / 5 Podemos calcular el coseno de / 5 radianes usando el polinomio de Chebishev de quinto

grado. Para ello resolvamos la ecuacin T5 + 1 = 0 de dos maneras. La primera de forma algebraica y la segunda utilizando las propiedades de las funciones trigonomtricas. x T5 + 1 = 0 x 5 5 x 3 + 5 x + 2 = 0 2 Factorizando el polinomio

x 2

x 5 5 x 3 + 5 x + 2 = ( x + 2) x 4 2 x 3 x 2 + 2 x + 1 x + 2 = 0 x 4 2x3 x 2 + 2x + 1 = 0

luego la segunda ecuacin es una ecuacin recproca. Haciendo el cambio w = x

1 queda x

w 2 2w 1 = 0 w = 1
Por tanto
x 1 1 5 =1 x = x 2 1+ 5 1 5 y . 2 2

observemos que por ser w = 1 una raz doble tambin son races dobles

Las races de la ecuacin dada ordenadas de menor a mayor son

x1 = 2 , x 2 =

1 5 1+ 5 . , x3 = 2 2

Resolvamos ahora la ecuacin utilizando las propiedades trigonomtricas

Haciendo

x 2 = cos tenemos cos 5 = 1 = + k 2 5 5 2 cos

x T5 + 1 = 0 2

k = 0 ,1,.., 4

Las soluciones de la ecuacin son

, 2 cos

3 5 7 9 , 2 cos , 2 cos , 2 cos 5 5 5 5 9 5 y cos 3 7 = cos 5 5

Teniendo en cuenta que

cos

= cos

las races ordenadas de la ecuacin son

x1 = 2 , x 2 = 2 cos
Por tanto

3 , x3 = 2 cos 5 5 3 1 5 1 = = 5 4 2

cos

donde es la razn urea.

1+ 5 = 4 2

y cos

Anlogamente resolviendo la ecuacin T5 1 = 0 obtenemos los valores

x 2

cos

2 1 + 5 1 = = 5 4 2

y cos

4 1 5 . = = 5 4 2

Los valores del seno de / 5 radianes se pueden obtener anlogamente resolviendo la ecuacin :

T5 ( x ) = 0 16 x 5 20 x 3 + 5 x = 0 , y observando que sen 5a = T5 (sen a ) .


Efectuando los clculos obtenemos

x1 = sen

las otras races son x3 = sen proporcionan los valores

2 , y x5 = 0 . 5 5 Observemos que la ecuacin T5 ( x ) = 0 y la frmula cos 5a = T5 (cos a ) nos , x 4 = sen cos

1 10 2 5 4

x 2 = sen

2 1 = 10 + 2 5 5 4

10

1 10 + 2 5 4
tan 5 x =

y cos

3 1 = 10 2 5 . 10 4

Podemos usar la frmula 5 tan x 10 tan 3 x + tan 5 x 1 10 tan 2 x + 5 tan x 4 para calcular la tangente de / 5 radianes. k En efecto tan 5 x = 0 x = , k Z ; luego las races de la ecuacin 5 5t 10t 3 + t 5 = 0 ordenadas de menor a mayor son 2 2 tan , tan , tan 0 , tan , tan . 5 5 5 5 Calculando las races por mtodos algebraicos tenemos
5t 10t 3 + t 5 = 0 t = 0 t 4 10t 2 + 5 = 0 , resolviendo la ecuacin bicuadrada se obtienen las races 5 + 2 5 , 5 2 5 , 5 2 5 , 5 + 2 5 , Por tanto tan

= 5 2 5 y tan

2 = 5+2 5 . 5

2) Calculo del coseno de

La ecuacin

T7 ( x ) = 0 64 x 6 112 x 4 + 56 x 2 7 = 0 tiene por races x x k = sen k k = 1, 2 ,..., 6 . 7 2 Si en esta ecuacin hacemos el cambio y = 2 x 1 obtenemos la ecuacin

2 radianes 7

8 y 3 4 y 2 + 4 y + 1 = 0 cuyas races son 2 4 6 , y1 = cos , y 2 = cos , y3 = cos 7 7 7

cambiando

el

signo

haciendo

el

cambio

de

variable z =

y 2

obtenemos

la

ecuacin z 3 + z 2 2 z 1 = 0 , cuyas races son

z1 = 2 cos

2 4 6 . , z 2 = 2 cos , z 3 = 2 cos 7 7 7

Resolvamos esta ecuacin usando las formulas de Cardano Obtenemos

2 1 = 2 + 3 28 + 84 3 i + 3 28 84 3 i 0.6234898 7 12 4 1 = cos 4 + 1 + 3 i 3 28 + 84 3 i + 1 3 i 3 28 84 3 i 0.22252 7 24 6 1 = 2 + 1 3 i 3 28 + 84 3 i + 1 + 3 i 3 28 84 3 i 0.9001 cos 7 24 cos

Donde la raz cbica compleja se calcula en la rama principal Ejercicio 6 Si p es primo impar las races del polinomio W p (x ) = p son

( p 1) 2
k =0

( 1)k p k x p 1 2k
pk k

x = 2 sen

k = 1, 2 ,...,

p 1 2

La Ecuacin de Adriaen Van Roomen En su obra Ideae mathematicae el matemtico flamenco Adriaen Van Roomen, tambin conocido por su nombre latino Adrianus Romanus, propuso a los matemticos del mundo el reto de resolver la ecuacin de grado 45 siguiente:

x 45 - 45x 43 + 945x 41 - 12300x 39 + 111150x 37 - 740259x 35 + + 3764565x 33 - 14945040x 31 + 46955700x 29 - 117679100x 27 + + 236030652x 25 - 378658800x 23 + 483841800x 21 - 488494125x19 + + 384942375x17 - 232676280x15 + 105306075x13 - 34512075x11 + + 7811375x 9 - 1138500x 7 + 95634x 5 - 3795x 3 + 45x = c
El problema fue resuelto por Vieta [2] dos aos ms tarde en su trabajo Responsum quien, con otro lenguaje y notacin al usado por nosotros, se di cuenta que la ecuacin de Van Rooemen es en realidad la ecuacin

Resolvamos la ecuacin de Van Roomen. Haciendo x = 2 sen tenemos c sen 45 = 2 c k = 0,1, ...,44 ; siendo = arc sin . y por tanto x = 2 sin + k 8 2 Cmo lleg Vieta a darse cuenta de este hecho? Vieta conoca perfectamente la solucin de la ecuacin

x 2 T45 = c . 2

z z 3 3 z = c 2 T3 = c 2

Haciendo el cambio de variable


y z = 2 T3 z = y 3 3 y , 2

poda tambin resolver la ecuacin y 9 9 y 7 + 27 y 5 30 y 3 + 9 y = c , que escrita en trmino de los polinomios de Chebyshev es y y 2 T3 T3 = c 2 T9 = c . 2 2 Si en la ecuacin anterior hacemos el cambio de variable x y = 2 T5 y = x 5 5 x 3 + 5 x 2

obtenemos la ecuacin x x 2 T3 T3 T5 = c 2 T45 = c 2 2 que es la ecuacin de Van Roomen.

10

Curvas en Polares La ecuacin polar de muchas curvas se expresa por medio de funciones trigonomtricas. Los polinomios de Chebyshev de primeray de segunda clase son tiles para calcular la ecuacin cartesiana de la curva. Ilustraremos la tcnica del paso de la ecuacin polar a la cartesiana con dos ejemplos muy sencillos: la lemniscata de Bernoulli y la cbica de Tschirnhausen. Posteriormente aplicaremos esta tcnica a las Rosas, Curvas Botnicas, Araas y Curvas Nodales. Las definiciones de estas curvas pueden encontrarse en [6] y [5]. La Lemniscata de Bernoulli

La lemniscata de Bernoulli tiene la ecuacin polar r 2 = a 2 cos 2 Para obtener la ecuacin implcita observemos que x r 2 = x 2 + y 2 y cos = = r Luego
x x 2 + y 2 = a 2T2 x2 + y2

x x2 + y2
2

Es decir
x 2 2 2 x + y = a 2 2 2 x +y Operando
2 1

(x

+ y2

= a2 x2 y2 .

La Cbica de Tschirnhausen

Su ecuacin polar es

r = a sec 3
Por tanto

cos
Luego

=3

a 3

a T3 cos = T3 3 3 3

11

es decir

cos
Sustituyendo
x x2 + y2

=4

a a 33 r r
33 a
6

4a x2 + y2

x2 + y2

Operando

x = 4a 3 3 a 3 x 2 + y 2 Despejando las races y elevando al cubo 27 a x 2 + y 2 = (4a x )3 .

12

Rosas

Las rosas o rhodoneas son curvas cuya ecuacin polar es

r = a cos m ,

las ecuaciones paramtricas son por tanto

x = a cos m cos y = a sen m sen

El nombre de esta familia de curvas se debe a su forma parecida a la de una flor. El matemtico italiano Grandi las llam Rhodoneas, Rhodon significa rosa en griego, en su libro Flora Geometrica. Si m = 0 m = 1 la curva es una circunferencia, para m = 2 la curva se llama quadrifolium, para m = 3 se llama trifolium, para m entero impar rosa de m ptalos y para m par rosa de 2n ptalos. El nombre hace referencia al nmero de ptalos que tiene la curva. La curva est definida tambin para valores fraccionarios. Para m = se llama Folium de Durero.

Aplicando el mismo procedimiento a la ecuacin polar que el realizado a la ecuacin de la lemniscata se observa que la ecuacin cartesiana de la rosa para m entero impar es

x x2 + y2 x + y = a Tm 2 2 x +y
2 2

por ejemplo si m =3 , la curva se llama trifolium, tenemos

x x2 + y2 x + y = a T3 2 2 x +y
2 2

Teniendo en cuenta que T3 ( z ) = z 4 z 2 3 la ecuacin es

x2 + y2 =
Operando

2 4 x 3 x 2 + y 2 x2 + y2 x2 + y2

ax

(x

+ y2

= ax x 2 3y 2 .

Si m es par la ecuacin cartesiana anterior slo corresponde a la mitad de la curva pues r puede tomar valores negativos. La curva completa corresponde a la ecuacin

13

x x + y = a Tm 2 2 x +y Por ejemplo el Quadrifolium r = a cos 2


2 2 2

x x 2 + y 2 = a 2 T2 2 2 x +y
por tanto

x2 1 x + y = a 2 2 x + y2
2 2 2

operando

(x

+ y2

= a2 x2 y2 .

Para valores fraccionarios de m = el proceso de la siguiente forma

p el proceso necesita una modificacin. Podemos realizar q p r = cos p q a q

r = a cos
por tanto

x2 + y2 x2 + y2 = T T cos = T p cos Tq q p a q a q Como T p Tq ( x ) = Tq T p ( x ) = T pq (x ) tenemos que

14

x2 + y2 = T T cos = T (cos( )) Tq p q p a q
Luego

x Tp 2 2 x +y
Veamos algunos ejemplos

2 2 =T x + y q a

1) Para m =1/2 tenemos el Folium de Durero r = a cos

2 2 x =T x + y T1 2 2 2 a x +y

Es decir

x x2 + y2

x2 + y2 1 = 2 a

Simplificando y elevando al cuadrado para racionalizar

(2 x

+ 2y2 a2

) (x
2

+ y2 = a4x2

la curva es simtrica respecto de los ejes de coordenadas. Esta situacin se cumple para los valores de m =

1 . 2n

2) Para m =

1 tenemos 3 r = a cos

3 2 2 x =T x + y T1 3 2 2 a x +y
es decir

15

x x2 + y2
Operando

2 x2 + y2 x2 + y2 3 4 a a

(x

+ y 2 4 x 2 + 4 y 2 3a 2 = a 3 x .

)(

La curva en este caso es simtrica respecto del eje OX. Observemos que no hemos tenido que elevar al cuadrado en el proceso de eliminacin. Anlogamente a este caso ocurre para m =

1 . 2n + 1 4 4 3) Para m = la ecuacin polar es r = a cos y siguiendo el mismo proceso se obtiene la 5 5

ecuacin cartesiana

a10 x 4 6 x 2 y 2 + y 4
una curva de grado 18.

) = (x
2

+ y2

) (16x
5

+ 32 x 2 y 2 20a 2 x 2 + 16 y 4 20a 2 y 2 + 5a 4
y

Rosa 4/5

16

Curvas Botnicas

r = 1 + d cos m d > 0 son las concoides de la rosa r = d cos m d > 0 respecto de su centro 0 y con distancia 1.
Estas curvas engloban algunos tipos de curvas clsicas que veremos en los ejemplos. Obviamente para d = 0 la curva es la circunferencia de radio unidad. Si d >1 a la familia de curvas se la conoce con el potico nombre de Rosas de Troya. Para m entero la ecuacin cartesiana de la curva botnica se obtiene racionalizando la ecuacin x . x 2 + y 2 = 1 + d Tm x2 + y2 Veamos algunos ejemplos 1) Para m = 1 la curva es El Caracol de Pascal. Racionalizando la ecuacin

Las curvas botnicas tienen la ecuacin polar

x2 + y2 = 1+ d
obtenemos

x x2 + y2

(x

+ y 2 dx

= x2 + y2 .

La tabla muestra los diferentes tipos de caracol de Pascal. Recordemos que para d = 1 la curva se llama cardioide.

17

Los diferentes tipos del Caracol de Pascal

18

2) Para m = 2 obtenemos

x 2 2 x + y = 1+ d 2 x2 + y2
Operando y elevando al cuadrado

2 1

(x

+ y2

= (d + 1) x 2 (d 1) y 2

+ y 2 = (d + 1) x 2 (d 1) y 2 Dependiendo de los valores de d se tienen tres tipos de curva Si d >1 la curva se llama cicloide de Ceva
2 3

(x

) [

si d = 1valo doble,

y si d<1 curva cacahuete.

19

3) para m =5 se obtiene la ecuacin de grado 12 = x2 + y2 para d > 1 la curva se llama Rosa de Troya,
2

(x

+ y2

dx x 4 10 x 2 y 2 + 5 y 4

para d < 1 se llama Estrella de mar

y para d =1 no tiene nombre especial. La forma de esta curva botnica nos recuerda la Rosa de 5 ptalos que la genera.

20

Curvas Botnicas con valores fraccionarios del parmetro m. Si m = p/q el proceso de reduccin se basa en racionalizar la siguiente frmula 2 2 x = T x + y 1 . Tp q x2 + y2 d La deduccin de la frmula es un proceso anlogo al seguido con las rosas y se deja su verificacin al lector. Veamos algunos ejemplos de curvas notables 1) Para m = 1/2 la curva se llama la Nefroide de Freeth, su ecuacin polar es
2 y la ecuacin cartesiana se obtiene racionalizando la ecuacin r = 1 + d cos

x2 + y 2 1 1 = 2 2 2 d x +y x Operando Elevando al cuadrado

(2 x
(2 x
2

+ 2y2 + 2 d 2
2

)
2

x2 + y2 = d 2 x + 4 x2 + y2

)
2

+ 2y2 + 2 d 2

) (x

+ y 2 = 4x 2 + 4 y 2 + d 2 x .

) [

2) Para m = 2/3 la curva se llama el nudo de ocho y para el valor d = 2 la ecuacin cartesiana queda una ecuacin de dcimo grado relativamente sencilla

(3x

+ 6x 2 y 2 + 3y 4 4 y 2

) = (x
2

+ y2

21

Ejercicio 7 Encontrar una formula para hallar la ecuacin cartesiana de las curvas poligasteroides, tambien llamadas curvas de m vientres, de ecuacin polar 1 r= , mQ 1 + k cos m Estas curvas estudiadas por Gino Loria son una generalizacin de la ecuacin polar de las cnicas.
Araas

Hay dos familias de curvas araas. Las araas envueltas de ecuacin polar

r=a
y las araas desenvueltas de ecuacin polar

sen n sen(n 1)

r=a

sen n . sen(n + 1)

Las ecuaciones cartesianas de ambos tipos se expresan muy bien usando los polinomios de Chebyshev de segunda clase. Las araas desenvueltas cumplen la ecuacin

r sen(n 1) = a sen n

por tanto simplificando Por tanto

r sen U n2 (cos ) = a sen U n1 (cos ) r U n2 (cos ) = a U n1 (cos )


x x 2 + y 2 U n2 2 x + y2 x = a U n 1 2 x + y2

Multiplicando la ecuacin por

x2 + y2
x

n 1

tenemos

(n 1) 2 x = a x2 + y2 U n 1 2 2 x2 + y2 x +y que es una ecuacin de grado n. Veamos algunos ejemplos

(x 2 + y 2 )n 2 U n 2

1) Para n = 2 obtenemos la ecuacin x 2 + y 2 = 2ax . Circunferencia de centro (a , 0) y radio a.

22

2) Para n = 3 obtenemos la ecuacin 2 x x 2 + y 2 = a 3x 2 y 2 . La trisectriz de Maclaurin.

) (

3) para n = 4 obtenemos la ecuacin 3x 2 y 2 x 2 + y 2 = 4 xa x 2 y 2 .

)(

4) Para n = 5 Obtenemos la ecuacin 4 x x 2 y 2 x 2 + y 2 = a 5 x 4 10 x 2 y 2 + x 4 .

)(

) (

Observemos que para n mayor que cuatro la araa envuelta tiene n-2 asntotas de ecuaciones y = x tan k

ecuacin x = 1 . Para las araas desenvueltas se obtienen resultados anlogos que se dejan como ejercicio al lector.

n 1

, k = 1,.., n 2 . Si n = 3 la trisectriz tiene una asntota vertical de

23

Nudos

Se llaman curvas nodales o nudos las de ecuacin polar r = a cot k . Las ecuaciones cartesianas de estas curvas se obtienen usando las funciones de ngulo mltiple de la tangente. En efecto y r = a cot k Rn (tan ) r = a Rn x 2 + y 2 = a x Elevando al cuadrado

y + y 2 Rn = a 2 . x Usando la expresin del ngulo mltiple podemos dar una frmula polinmica equivalente a la expresin anterior. Esta es
2

(x

(n 1) 2 n 2 n n (2 k +1) 2 k +1 k n n2 k 2 x ( 1)k y y 2k . x + y = a ( 1) x 2k + 1 2k k =0 k =0 Luego los nudos son curvas de orden 2n + 2. Veamos algunos ejemplos Si n = 1 la curva es una curtica llamada kappa o curva de Gutschoven de ecuacin

y2 x2 + y2 = a2 x2

Si n = 2 la curva es una sxtica llamada molino de viento de ecuacin 4x 2 y 2 x 2 + y 2 = a 2 x 2 y 2 .

Si n = 4 la curva es de orden ocho y tiene por ecuacin

y 2 x 2 + y 2 3x 2 y 2 = a 2 x 2 x 2 3 y 2 . Ejercicio 8-Hallar las ecuaciones de los nodos si el parmetro k es racional.

)(

24

Curvas de Lissajous Las curvas de Lissajous se pueden definir por las ecuaciones paramtricas x = cos(m t + p ) . y = sen (n t + q ) Fueron descubiertas por el matemtico norteamericano Nataniel Bodwitch en 1815 cuando estudiaba el movimiento del pndulo compuesto. Posteriormente el fsico francs Jules Antoine las estudi en sus investigaciones sobre ptica. El proceso de eliminacin del parmetro t es, salvo en los casos triviales, ms complicado que en los casos anteriores y excesivamente laborioso y complejo si se utilizan las tcnicas de eliminacin algebraica. Los dos teoremas explicados mas abajo resuelven fcilmente la cuestin. Teorema 1. Dada la curva de Lissajous x = cos(m t + p ) y = sen (n t + q )

0 t 2 , donde p, q son nmeros reales y m impar.


Llamemos =
2

m n
2

p q

. Las coordenadas x, e y de la curva de Lissajous satisfacen la ecuacin


(m1) 2

a) Tn ( x) + Tm ( y) 2 ( 1)

Tn (x)Tm ( y) sen cos2 = 0 , cuando cos 0 .

( m 1) / 2 Tm ( y ) = 0 , cuando cos = 0 . b) sin Tn ( x ) ( 1)

Demostracin. Aplicando la propiedad caracterstica de los polinomios de Chebyshev y la correspondiente para m impar para la funcin seno tenemos que Tn (x ) = Tn (cos(mt + p )) = cos[n (mt + p )] = cos(mn t + n p ) Tm ( y ) = Tm (sen(nt + q )) = sen[m (nt + q )] = sen(mn t + m q ) Aplicando las frmulas de la suma de dos ngulos cos mnt cos np sen mnt sen np = Tn ( x ) (m1) 2 Tm (x ) cos mnt sen mq + sen mnt cos mq = ( 1) Este es un sistema lineal en las incgnitas cos mnt y sen mnt con determinante = cos np sen mq sen np cos mq = cos mq cos np + sen mq sen np = cos (mq np ) = cos

Si = cos 0 , aplicando la regla de Cramer cos cos mnt = cos mq Tn (x ) ( 1)(m1) 2 sen np Tm ( y ) cos sen mnt = sen mq Tn (x ) + ( 1)(m1) 2 cos np Tm ( y ) elevando al cuadrado y sumando miembro a miembro cos 2 = Tn (x ) + Tm ( y ) 2 ( 1) Tn (x )Tm ( y ) (sen mq cos np cos mq sen np ) luego (m 1) 2 2 2 Tn ( x ) + Tm ( y ) 2 ( 1) Tn (x )Tm ( y ) sen cos 2 = 0 quedando as demostrada la primera frmula. Si = cos = 0 el sistema anterior es compatible slo cuando los coeficientes son proporcionales, es decir cuando
2 2

(m1) 2

25

Tn (x ) cos np sen np = = (m1) 2 sen mq cos mq ( 1) Tm ( y )

por tanto

(m1) 2 cos np Tm ( y ) = 0 sen mq Tn (x ) ( 1) (m 1) 2 cos mq Tn (x ) ( 1) sen np Tm ( y ) = 0 Multiplicando la primera por cos np y la segunda por sen np y restando ambas ecuaciones

queda

(sen mq cos np cos mq sen np ) Tn (x ) ( 1)(m1) 2 (cos 2 np + sen 2 np ) Tm (x ) = 0


sen Tn (x ) ( 1)
(m 1) 2

por tanto

Tm (x ) = 0

c.q.d. Es natural preguntarnos si el recproco del teorema anterior es cierto, es decir si un punto que satisface la ecuacin cartesiana satisface las ecuaciones paramtricas. La respuesta es s en el primer caso y este hecho se demuestra en el teorema 2.

Tn (x) + Tm ( y) 2 ( 1) con m impar y cos 0 , 2 m


2 2

Teorema 2. Si un punto (a, b) satisface la ecuacin cartesiana


(m1) 2

Tn (x)Tm ( y) sen cos2 = 0

a = cos d t 0 + n k k,l Z , existe un t0 tal que 2 n b = sen t 0 + + l m m d donde d = m.c.d .(m,n ) . Es decir la curva descrita por la ecuacin dada es una unin finita de curvas de Lissajous. Observaciones: 1) Notemos que en una curva de Lissajous siempre podemos tomar p = 0. Basta realizar el p cambio de parmetro t = u . m 2) La ecuacin cartesiana nos determina n, p y sen . El ngulo puede tomar una infinidad de valores. Una vez elegido uno cualquiera de ellos q = . m
Demostracin Sabemos que

Tn (a) + Tm (b) 2 ( 1)
2 2
2 2

(m1) 2

Tn (a)Tm (b) sen cos2 = 0


(m1) 2

Teniendo en cuenta la identidad trigonomtrica cos 2 + sen 2 = 1 tenemos

cos2 Tn (a) + sen2 Tn (a) 2 sen Tn (a) ( 1)

Tm (b) +Tm (b) = cos2


2

Por tanto

(cos Tn (a))2 + (sen Tn (a) ( 1)(m1) 2 Tm (b))


2
2

= cos2

Dividiendo por cos

sen Tn (a) ( 1)(m1) 2 Tm (b) Tn (a) + =1 cos


Luego existe un valor tal que

26

Tn (a) = cos (m1) 2 Tm (b) sen Tn (a) ( 1) = sen cos


Despejando
Luego

Tm (b) = ( 1)

(m1) 2

(sen cos cos sen ) = ( 1)

(m1) 2

sen( + )

Tn (a) = cos (m1) 2 sen( + ) Tm (b) = (1) Por tanto podemos haciendo a = cos y b = sen tenemos que 2 Tn (cos ) = cos cosn = cos = + k k Z n n
y

2 = m + m + m l Tm (sena) = sen( + ) senm = sen( + ) l Z 2 , = + + l m m m


m n t0 se deduce el resultado enunciado. d Cuando m es par se tienen resultados anlogos que se enuncian en los teoremas siguientes.
Sea d = m.c.d .(m,n ) . Haciendo =
Teorema. 3 Dada la curva de Lissajous

x = cos(m t + p ) y = sen (n t + q )

0 t 2 , donde p, q son nmeros reales y m par. m p Llamemos = . Entonces la ecuacin cartesiana de la curva de Lissajous es n q
a) Tn ( x ) 2 + Tm ( y ) 2 2( 1) m / 2 Tn ( x )Tm ( y ) cos sin 2 = 0 cuando sin 0 , b) cos Tn ( x) ( 1) m / 2 Tm ( y ) = 0 cuando sin = 0 .
Teorema 4. Si un punto (a, b) satisface la ecuacin cartesiana

Tn ( x ) 2 + Tm ( y ) 2 2(1) m / 2 Tn ( x )Tm ( y ) cos sin 2 = 0 con m par y sen 0 ,


2 m a = cos d t 0 + n k k,l Z , existe un t0 tal que 2 n b = sen t 0 + + l m m d donde d = m.c.d .(m,n ) . Es decir la curva descrita por la ecuacin dada es una unin finita de curvas de Lissajous.

27

Las demostraciones de los teoremas 3 y 4 son anlogas a las de los teoremas 1 y 2 y no las haremos. El lector interesado puede consultar el artculo [3]. Resumiendo la curva de Lissajous definida por la ecuacin paramtrica coincide con la definida por su ecuacin cartesiana cuando m es impar y cos es distinto de cero o cuando m es par y sen es distinto de cero Diremos entonces que la curva de Lissajous es no degenerada y en caso contrario decimos que es degenerada. Cuando la curva de Lissajous es degenerada la ecuacin paramtrica es slo un arco de la curva definida por la ecuacin cartesiana. Ver los casos degenerados de los ejemplos 1 y 2.
Ejercicio 9. Demostrar los siguientes hechos en una curva de Lissajous degenerada a) La curva queda determinada con un intervalo de longitud . b) La curva es un arco con un origen y un extremo. c) Los puntos singulares son nodos Ejercicio 10 Demostrar lo siguiente hechos en una curva de Lissajous no degenerada a) La curva queda determinada con un intervalo de longitud 2. b) La curva es curva cerrada y todos los puntos singulares son nodos.

Apliquemos los teoremas a algunos ejemplos seleccionados


1. Alforja La alforja es la curva de ecuaciones paramtricas x = c cos t 2 c y = sen(2t + ) + c sen 2 2 1 En este caso m =1 es impar y = 2 = + . Cuando cos( + ) = 0 , es decir cuando 2

+ k

kZ

podemos aplicar la formula


x 2y + sen = 0 sen T2 T1 c c

es decir

x 2 2 y + sen = 0 sen 2 1 c c
sen 2 x c como cos = 0 tenemos que la ecuacin de la curva es y=

operando nos queda

y=

x2 c

y=

x2 c

que es la ecuacin de una parbola. Observemos que en este caso la curva parametrizada es un arco de parbola. Cuando cos 0 tenemos

x 2y x 2y + sen 2 T1 T2 + sen sen cos2 = 0 T1 + T2 c c c c


Operando queda 4 x 4 8sen x 2 y 4 cos 2 x 2 4 y 2 + 2 =0 c4 c3 c2 c

28

Multiplicando por

c4 4

x 4 2c sen x 2 y c 2 cos 2 x 2 + c 2 y 2 = 0 llamando a = c cos y b = c sen queda x 4 2b x 2 y a 2 x 2 + a 2 + b 2 y 2 = 0


o bien

by = a 2 x 2 y 2 que es la ecuacin cartesiana de la alforja

(x

Cuando b=0 la alforja se llama Lemniscata de Gerono

x4 = a2 x2 y 2

x = c cos t 2 c y = sen 2t 2 2

2) Cbica Crunodal

x = cos 2t y = sen 3t + 2 2 0 = 0 , la frmula es por tanto En este caso m =2 es par y sen = sen 3 2

cos Tn ( x) ( 1) m / 2 Tm ( y ) = 0
Sustituyendo

29

cos T3 (x ) ( 1)T2 ( y ) = 0 2

Operando

2 y 2 = 4 x 3 3x + 1 Esta curva se llama cbica con punto doble o cbica crunodal.

Observemos que es una curva de Lissajous degenerada y que la curva parametrizada es un arco de la cbica con forma de letra alfa.

Otro Ejemplo con m par

x = cos 2t y = sin 3t + 4 2 0 = 1 , la frmula es por tanto En este caso m =2 es par y sen = sen 3 4
Tn ( x ) + Tm ( y ) 2 ( 1)
2 2
2 2

m2

Tn (x )Tm ( y ) cos sin 2 = 0

sustituyendo
T3 (x ) + T2 ( y ) 2 ( 1) Tn (x )Tm ( y ) cos

sin 2

=0

Operando o bien

(4 x

3x + 2 y 2 1 = 1

) (
2

30

(4 x

3x = 4 y 2 y 4 .

Ejemplo de curva reducible La curva definida por las ecuaciones x = cos 8t + 2 y = sen 12t + 3 Satisface la ecuacin

3 = 0. 4 Esta ecuacin nos determina cuatro componentes irreducibles que corresponden a las cuatro curvas de Lissajous siguientes: T12 ( x ) + T8 ( y ) + T12 ( x ) T8 ( y )
2 2

x = cos 2t y = sen 3t 5 12

x = cos 2t + 6 5 y = sen 3t 12

x = cos 2t + 3 5 y = sen 3t 12

x = cos 2t + 2 5 y = sen 3t 12

31

Las cuatro grficas juntas

Observemos que la curva parametrizada inicial satisface tambin las ecuaciones

x = cos 2t + 2 y = sen 3t + 3 o eligiendo el parmetro p =0 x = cos 2t y = sen 3t 5 . 12 Cualquiera de estas dos ecuaciones paramtricas nos generan

T3 (x ) + T2 ( y ) 3T3 (x ) T2 ( y )
2 2

1 =0 4 .

Referencias 1. R. L. Burden y J. D. Faires, Anlisis Numrico, Grupo Editorial IberoAmericana, 1985. 2. F. Cajori, A History of Mathematics , Chelsea, 1999) 3. J. Castieira Merino, Lissajous Figures and Chebyshev Polynomials, The College Mathematics Journal 34 (2003) #2, 122-127. 4. Eli Maor, Trigonometric Delights, Princenton University Press, 1998. 5. J. W. Rutter, Geometry of Curves, Chapman & Hall, 2000. 6. Vinogradov y otros, Enciclopedia de las Matemticas, Editorial Mir-Rubios, 1994.

32

TRINGULOS ESPECIALES (3) Francisco Bellot Rosado III Tringulos especiales definidos por relaciones entre sus lados u otros elementos del tringulo. III.1 El tringulo cuyos lados estn en progresin aritmtica: 2a  b  c. Propiedades: i) OI AI. En efecto, podemos suponer c  b. Si D es el pie de la ceviana de Gergonne, se tiene DB 2 " DC 2  p " b 2 " p " c 2  ac " b . Como 2a  b  c, c 2 " b 2  2DB 2 " DC 2 ; pero BH 2 " CH 2  2DB 2 " DC 2 , a a luego M 1 H a  2M 1 D. Si AIcorta de nuevo al crculo circunscrito en D 1 es sabido que D 1 M 1 5 AH a ; como I  AD 1 , OI AI.Q ii) AI 2  2Rr. En efecto: AI 2  R 2 " OI 2  R 2 " R 2 " 2Rr  2Rr.Q Las siguientes condiciones implican 2a  b  c : a) GI 5 BC b) tan B tan C  1 . 2 2 3 En efecto: si GI 5 BC, GM 1  h3a , luego ar  a h a  2S  2 sr 3 3 3 y a  2 s, as que 2a  b  c. 3 Por otro lado, tan y haciendo operaciones resulta 2a  b  c.Q Otras propiedades de este tringulo, tomadas de Mathesis (varios aos): IG  2 b " a ; la recta IG contiene al punto de Nagel y al centro de gravedad del permetro 3 del tringulo (no debe confundirse con G; es el incentro del tringulo medial de ABC); los puntos I, O 9 , el punto de tangencia del crculo inscrito con BC, y el punto de Feuerbach 1, estn alineados. Adems se verifican, entre otras, las relaciones 1 h a  3r  r a ; AI 2  3Rr  1 bc; r a  1 3 2 OI 2  2rR " r ; a 2  4r2R " r . La recta OI corta a AB o a AC en un punto P tal que 1  3 AP 4 1  1 . c b 1 1 rb  rc
B 2

tan

C 2

pcpa

ppa

pa pb

ppc

pa p

1 3

Si a  b  c estn en progresin aritmtica de diferencia d, entonces i) 6Rr  ac ii) d  2rR " 2r En efecto: de un lado, 2p  3b (*). Como 4Rsr  abc, esto es lo mismo que 2Rr 3b  abc 6Rr  ac, que es i). Para probar la segunda parte, tenemos 2Rr  ac  1 b 2 " d 2 (**) 3 3 Por otra parte,

r2 

" a p " b p " c


p
b 2 4d 2 3

b 2

d

 2 
3 2

b 2

"d

 2d b " 2d  b
12

de donde 4r 2 

' ' '. De (**) y (***) resulta


2Rr " 4r 2  d 2

d

2rR " 2r .Q

En Crux Mathematicorum, 1977, p.166 se demuestra que a, b, c en p.a.

p 2  18Rr " 9r 2

III.2 El tringulo tal que 3a  b  c Propiedades de este tringulo: i) IG BC ii) O equidista del incentro y del punto medio de AI iii) Si D es el punto de tangencia del crculo inscrito con BC, el punto de Nagel del tringulo es el segundo extremo del dimetro DI. iv) Se verifican, entre otras, las relaciones S  ar a ; p 2  2r b r c ; 2r 2  p " b p " c  c " a b " a ; r 1 1 1 AI 2  bc  4Rr; r a  r b  r c ; r  a  IB  IC ; 2 2 IA cot A  cot B  cot C ; tan B tan C  1 ; 2 2 2 2 2 2 r sin A  sin B sin C  1 cos B " C  2 2 3 4R 2 2 Estos resultados son de V.Thbault y R. Goormaghtigh. III.3 El tringulo cuyos lados estn en progresin geomtrica: a 2  bc Propiedades de este tringulo : i) El punto medio de AB, el pie de la simediana desde B y el pie de la bisectriz exterior desde A estn alineados. Tambin lo estn el pie de la simediana desde C, el punto medio de AC y el pie de la bisectriz exterior desde A. (Demostracin con el teorema de Menelao) ii) La bisectriz interior desde A, la paralela media de BC y la recta que une los pies de las simedianas desde B y C son concurrentes. 2 2 iii) a 2ac 2  a 2bb 2 (Estos resultados son de Thbault, Mathesis 1930, p.188) iv) Los puntos de Brocard son las intersecciones de la bisectriz AI con las mediatrices de AB y AC. v) 1 5 "1  b  1 5 1 . a 2 2 2 2 3 vi) p  4Rr  r  32Rrp 4 (Crux Mathematicorum, 1977,p.166) III.4 El tringulo medio armnico 2  1  1 a c b Propiedades de este tringulo: i) Si b  c, entonces b  1  2 c ii) Las paralelas a AB y AC trazadas por el pie de la bisectriz desde A forman con esos lados un rombo de lado a . 2 iii) La perpendicular a la bisectriz interior desde A, trazada desde el pie de esta bisectriz, corta a AB y a AC en puntos que distan a del punto A.

iv) Llevemos sobre CA y AB las longitudes CL  AL U  a ; sean N y N U los isotmicos de L y 2 L. Entonces las rectas BL y CL; BN y CN se cortan en puntos de la mediana desde A. (Laisant, 1890) III.5 El tringulo tal que 1  1  1 a c b Propiedades de este tringulo : i) h a  h b  h c (inmediato a partir de ah a  bh b  ch c  2S ii) La recta que une los pies de las bisectrices interiores desde B y desde C pasa por G (coord. trilineales) Estos resultados son de R. Goormaghtigh. III.6 El tringulo automediano 2a 2  b 2  c 2 Dado el tringulo ABC, consideremos sus medianas AD, BE, CF y prolongumoslas hasta que corten de nuevo al crculo circunscrito en L, M, N respectivamente. Cundo ser issceles el tringulo LMN? C.F. Parry, en The Mathematical Gazette 1991, p.151, estudia este bello problema de geometra clsica y encuentra que la condicin sobre los lados de ABC para que LMN sea issceles es 2a 2 b 2 " c 2  b 2  c 2 b 2 " c 2 , que se verifica en los dos casos siguientes: 1) b  c (ABC es issceles, que es el caso obvio, en el que las medianas son proporcionales a los lados en su mismo orden) 2) 2a 2  b 2  c 2 y ABC no es issceles. Los lados son proporcionales a las medianas, pero en un orden diferente. Estos tringulos se llaman automedianos. Propiedades de los tringulos automedianos : x i) Si x, y, z son los lados de un tringulo rectngulo de lados enteros, con x  y  z, y 2  z, entonces el tringulo de lados x, y  z , y " z es automediano. Por ejemplo, la terna pitagrica 13,12,5 da la terna automediana 13,17,7 que es el menor tringulo automediano con lados enteros. Slo hay un tringulo rectngulo automediano, el de lados 2 , 3 , 1. Adems es el nico tringulo rectngulo que tiene dos medianas perpendiculares (v. Tringulos ortomedianos) ii) G es el punto medio de AL (cuerda en el crculo circunscrito) iii) BGCL es un paralelogramo. iv) BGL y CLG son indirectamente semejantes a ABC v) La recta de Euler OG es perpendicular a la mediana AG vi) Si K es el punto de Lemoine (o punto simediano), GK es paralela a BC vii) Si T es el punto de Fermat (punto interno isgono), entonces BT, AT y CT forman una progresin aritmtica (en ese orden). viii) 2m 2  m 2  m 2 a c b ix) 2AH 2  BH 2  CH 2 x) 2 cot A  cot B  cot C xi) OK AK xii) (( U 5 AK (usar coord. trilineales) xiii) La condicin necesaria y suficiente para que ABC sea automediano es que las bisectrices de ABC y AGC, BCA y BGA, o CAB y CGB se corten sobre CA, AB o BC, respectivamente.(Jiro Fukuta, en The College Mathematics Journal, marzo 1993, p. 186-188) III.7 El tringulo tal que 3a 2  b 2  c 2

Propiedades de este tringulo: i) a 2  b cos A ii) cot A  cot B  cot C iii) G  H b H c iv) K  BC v) O  K b K c vi) a  bc vii) 2 bc  wa  bc .
5

III.8 El tringulo ortomediano Una excelente exposicin sobre el tringulo ortomediano (el que tiene dos medianas perpendiculares) es de Mihaly Bencze en su revista Gamma, 1/1986, pp. 23-25 (en rumano). Las siguientes propiedades son equivalentes : i) ABC es ortomediano ii) entre sus lados se verifica una relacin de la forma a 2  b 2  5c 2 . iii) 2 cot A  cot B  cot C iv) sin B sin C cos A  sin 2 B " 2 sin 2 C v) m a , m b , m c son los lados de un tringulo rectngulo vi) 1/h a , 1/h b , 1/h c son los lados de un tringulo ortomediano Otras propiedades de los tringulos ortomedianos: Si ABC es ortomediano, entonces: viii) El coseno de uno de los ngulos del tringulo es mayor o igual que 4/5. ix) Si m b m c , entonces cot B  cot C u 2 (S.Reich, en American Mathematical Monthly, 3 10/1965) x) Si a 2  b 2  5c 2 , entonces 3c 2  p 2 " r 2 " 4Rr; 3pr cot C  p 2  r 2 " 4Rr. 2 1 1 xi) h2  m2  m2
c b a

III.9 El tringulo seudo-pitagrico a 4  b 4  c 4 Propiedades de este tringulo: i) tan .  sin 2A ii) 2 sin 2 A  tan B tan C III.10 El tringulo tal que ab  c  b 2  c 2 Propiedades de este tringulo: i) La simediana desde A pasa por el punto de tangencia del crculo inscrito con BC. ii) Las rectas AI y CF (F, punto de tangencia del incrculo con AB) se cortan sobre la mediana BG iii) IK y N son paralelas a BC iv) A t 60 v) Se verifican, entre otras, las relaciones
p

" a 2  p " b p " c ;

" a  p "2 b  p "2 c bc c b a 2 r a  r b r c ; tan A  sin B  sin C; cos A  bc


p

III.11 Los tringulos en donde un exradio es igual a un lado

Sea r a  a. Propiedades de este tringulo: i) a  h a  b  c ii) h a  2p " a iii) 1  h1b  h1c " h1a a iv) r b  r c " r a r b  r c  r b r c v) cos A  cos B cos C 2 2 2 vi) tan B  tan C  1 2 2 Sea r b  a. Propiedades de este tringulo: i) h a  2p " b ii) pp " a p " c  a 2 p " b iii) cot B " tan C  1 2 2 III.12 El tringulo tal que m 2  bc a Propiedades de este tringulo: i) Si los vrtices B y C son fijos, A describe una hiprbola equiltera que es tangente a la bisectriz AI; I e I a se mueven sobre perpendiculares a BC en los puntos de tangencia del incrculo y el excrculo con BC; el ortocentro describe una curtica. ii) Sean K y G los puntos donde la simediana AK y la mediana AG cortan de nuevo a la circunferencia circunscrita. Se verifican las relaciones m a  AK U , h a  1 a cot A ; a  |b " c| 2 ; a 2  8rr a . 2 4 III.13 El tringulo tal que a 2 b 2  c 2  b 4  c 4 Propiedades de este tringulo: i) (( U BC ii) ( y ( U estn situados respectivamente sobre h b y h c iii) El centro del crculo de Brocard est sobre la mediana AG iv) La mediana desde C y la altura desde B se cortan sobre la simediana AK. v) El ortopolo de la recta de Euler es un punto de AG vi) K est en la paralela a BC trazada por el punto de coordenadas baricntricas a 4 , b 4 , c 4 vii) La recta H b H c pasa por el punto medio de la tercera altura, h a . viii) HO AK ix) cot 2 A  cot B cot C 2 bc c3 x) cosB " C  a 2 ; cos B  b 3 ; cot A  cot C  b2 cot B cos C cot A c Estos resultados son de V. Thbault. III.14 El tringulo escaleno en el que una altura, una bisectriz y una mediana son iguales Supongamos ABC tal que h a  wb  m c . i) El ngulo B es raz de la ecuacin sin30 o B 1 " sin B 2 ii) Poniendo t 
a c

 sin B
2

se obtiene 4t 5 " 24t 4  49t 3  21t 2 " t " 1  0

(Lemoine y Delahaye, 1890 y 1906)

III.15 El tringulo en el que la altura desde A, la bisectriz desde B y la mediana desde C son concurrentes Propiedades de este tringulo: i) a  c b 2 " c 2  a 2 a " c ii) cos B  aa c  iii) tan B  sin A : cos C iv) tan C  tan 2 B tan B 2 v) Si C  90, h a y m c se cortan sobre la bisectriz exterior desde B. (Dprez, 1889 y Lemoine, 1885)

III.16 El tringulo en el que el pie de la bisectriz exterior desde A, el pie de la mediana desde B y el de la altura desde C estn en lnea recta Propiedades de este tringulo: i) c cos A  a cos B c ii) cos A  bc c2 iii) cos B  abc iv) BH c  AH b v) La perpendicular en B sobre AB corta a AC en un punto L tal que CL  c. (Delahaye, Mathesis 1906) III.17 El tringulo en el que la recta H a H b pasa por el simtrico de A con respecto a O Propiedades de este tringulo: i) cos 2C " cos 2A " 3 cos 2B  1 ii) a 2  3b 2 " c 2  8R 2 (Barisien, Mathesis 1914) III.18 El tringulo donde la circunferencia circunscrita y la de los nueve puntos son ortogonales Propiedades de este tringulo: i) HO  R 5 ii) cos A cos B cos C  " 1 2 iii) cos 2A  cos 2B  cos 2C  1 iv) sin 2 A  sin 2 B  sin 2 C  1 v) a 2  b 2  c 2  4R 2 vi) cot .  R 2 /S  1/2 sin A sin B sin C III.19 El tringulo con dos simedianas perpendiculares Supongamos BK CK. Entonces se tiene: i) Uno de los ngulos, B o C, es obtuso. ii) a 4  b 4 " 4b 2 c 2  c 4 iii) 2 sin 2 A  tan B tan C  0 iv) BGC  90  A v) La circunferencia circunscrita a BGC pasa por los puntos de interseccin de AB, AC respectivamente, con las perpendiculares a AC en C, a AB en B.Tiene como centro el punto T a  t b 9 t c , siendo t b la tangente en B a la circunferencia circunscrita a ABC en B (anloga definicin para t c , y como radio T a B.

Problemas sobre tringulos especiales definidos por relaciones entre sus lados u otros segmentos del tringulo Problema 60 : Si los lados del tringulo ABC verifican
b

 c 2  a  b  c,

ca a

probar que GI pasa por el pie de la altura desde A.(Mathesis 1935) Problema 61: Los lados de un tringulo estn en progresin geomtrica, y adems verifican b  ca . Determinar los ngulos. (Agrgation 1880) Problema 62: Los lados de un tringulo verifican b 2  c 2  b  c a.

Probar que r a , r b , r c estn en progresin geomtrica. (Gazeta Matematica 1962) Problema 63 : Si dos medianas (simedianas) son perpendiculares, las simedianas (medianas) correspondientes cortan al crculo circunscrito en dos puntos diametralmente opuestos, y recprocamente. El tringulo podario de K (de G) es rectngulo. (Thbault, en Mathesis 1945) Problema 64 : El tringulo ABC es tal que la mediana y la simediana desde A son perpendiculares. Entonces: i) a 2  "2bc 3 cos A 3 cos A  1 , A  90 ii) b2  c2  ma . sa 2bc Problema 65 : Encontrar la condicin para que las simedianas BK, CK sean perpendiculares.(Mathesis, 1903) Problema 66: En el tringulo ABC, la altura desde A, la bisectriz desde B y la mediana desde C son concurrentes o tienen sus pies en lnea recta, segn que los productos sin A cos B, sin B cos C sean iguales u opuestos. (Mathesis, 1958) Problema 67: Si en el tringulo ABC, OIH es issceles, entonces OH  maxa, b, c " mina, b, c . (Gazeta matematica 9/1995) Problema 68: Demostrar que si el crculo circunscrito a ABC es tangente al de los 9 puntos, entonces sin 2 A  sin 2 B  sin 2 C  2. Problema 69: Si el crculo inscrito en ABC pasa por O, calcular cos A  cos B  cos C  2.
R r

y probar que

Problema 70: Demostrar que la condicin necesaria y suficiente para que la mediana desde B sea dividida en tres partes iguales por el crculo inscrito, es que entre los lados del tringulo se verifique a  b  c . 5 10 13

(Kvant, revista escolar rusa) Equivalencias observadas entre unas definiciones de tringulos especiales y otras Los tringulos definidos por las condiciones II.7 y III.7 son los mismos, as como los definidos por las parejas II.13, III.10 y II.14, III.13 .

BIBLIOGRAFA SOBRE GEOMETRA DEL TRINGULO (de la Biblioteca particular de Francisco Bellot Rosado) REVISTAS 1. Coleccin Mathesis (1888-1962) 2. Coleccin Nieuw Archieff voor Wiskunde (1964-1985) 3. Coleccin Gazeta Matematica (1895-2004),en rumano. 4. Coleccin Nouvelles Annales de Mathmatiques (1852-1907) 5. Coleccin Praxis der Mathematik (1959-1995) 6. Coleccin Proceedings of the Edinburgh Mathematical Society 7. Coleccin Matematyka&Informatika (1987-2001),en blgaro. 8. Coleccin The Mathematical Gazette (1902-2004) 9. Coleccin College Mathematics Journal (1970-2004) 10.Coleccin Mathematics Magazine (1928-2004) 11.Coleccin Crux Mathematicorum (1975-2004) 12.Coleccin The American Mathematical Monthly (1894-2004) 13.Coleccin Elemente der Mathematik (1946-2004) 14.Coleccin Kvant (1987-2004) 15.Coleccin Kmal (Kzepiskolai Matematikai Lapk) 1894-2004 16.Coleccin Mathematics&Informatics Quarterly (1991-2004) 17.Coleccin Forum Geometricorum (digital) 2001-2004 18.Coleccin Mathematics Competitions (1984-2004) LIBROS 1. ALEXANDROFF: Aufgaben aus der niederer Geometrie,Leipzig 1903 2. ALTSHILLER-COURT:College Geometry, Barnes 1952 3. AREF-WERNICK:Problems and solutions in Euclidean Geometry, Dover 1968 4. ARTMANN:Euclid:The Creation of mathematics, Springer 1991 5. ASKWITH:Pure Geometry, Cambridge U.P. 1921 6. AYME:Mthodes & Techniques en Gomtrie. Ellipses 2003 7. BAKER:A collection of formulae for the area of a plane triangle 8. BAPTIST:Die Entwicklung der neueren Dreiecksgeometrie, Mannheim 1992 9. BOLTYANSKI-SOIFER:Geometric etudes in Combinatorial Mathematics, Colorado Springs 1991 10.BOTTEMA:Hoofdstukken uit de Elementaire Meetkunde, Utrecht 1987 (en holands) 11.BOTTEMA et al.:Geometric Inequalities, Groningen 1968 12.BRANZEI:Notes on Geometry, Ed.Paralel45, 1995 13.BRANZEI-ANITZA.S-ANITZA A.:Competentza si performantza in Geometrie, I,II; Ed.MINIED, Iasi, 1992 14.BRANZEI-ANITZA.S.-COCEA:Planul si spatziul euclidian, Ed. Academiei, Bucarest 1986 15.BRANZEI-MICULITZA: Analogii triunghiu-tetraedru, Ed.Paralel45, 2000 16.CASEY:A sequel to Euclid, Dublin 1892 17.CASEY: A treatise on the analytical geometry of the point, line,circle and conic sections, Dublin 1885 18.CINDREA: Geometrie (Matematica de drag), Bucarest 2003 19.COCEA:200 de probleme din geometrie triunghiul echilateral, Ed. Asachi, Iasi, 1992 20.COXETER-GREITZER: Geometry revisited, M.A.A.1967 21.CROFT-FALCONER-GUY:Unsolved problems in geometry, Springer, 1991. 22.DALLE:2000 thormes et problmes de Gomtrie, Namur 1912 23.DAVIS:Modern College Geometry, Addison-Wesley, 1949

24.DONATH:Die merkwrdigen Punkte und Linien des ebenen Dreiecks, DVW, Berlin 1969 25.DRRIE: 100 Great problems of Elementary Mathematics, Dover 1965 26.DRAGHICESCU-MASGRAS: Probleme de Geometrie, Ed.Tehnica 1987 27.DUDLEY: A budget of trisections, Springer 1987 28.DURELL-ROBSON: Advanced Trigonometry, Londres 1937 29.EFREMOV: Nueva geometria del tringulo (en ruso), Odessa 1902 30.F. G.-M.: Exercices de Gomtrie, Ed.Gabay, Paris 1991 31.FERRERS: Trilinear Coordinates, Londres 1876 32.FLOREA: Abordarea globala Geometriei triunghiului cu implicatie creative, Ed. ALL, Bucarest 1996 33.FUKAGAWA-PEDOE: Japanese Temple Geometry Problems, Winnipeg 1989 34.FUKAGAWA-RIGBY: Traditional Japanese Mathematics Problems of the XVIII & XIX Century, SCT Publishers, Singapore 2002 35.GALLATLY: The modern geometry of the triangle. 36.GOORMAGHTIGH: Terminologie dans la gomtrie du triangle et du tetradre, Mathesis,varios aos. 37.GUGGENHEIMER: Plane Geometry and its Groups, Holden Day 1987 38.HADAMARD: Leons de gomtrie, Ed. Gabay, 1988 39.HAHN: Complex numbers and geometry, M.A.A. 1994 40.HOBSON: Plane Trigonometry, Cambridge U.P. 1921 41.HONSBERGER: Episodes in the nineteenth and twentieth century euclidean geometry, M.A.A. 1995 42.IONESCU-TZIU: Geometrie plana si in spatziu pentru admiter in Facultate, Ed. Albatros, Bucarest 1976 43.IWATA: Enciclopedia de geometra, 8 vols. (en japons) 44.JOHNSON: Advanced Euclidean Geometry, Dover 1960 45.LALESCU: La gomtrie du triangle, Ed. Gabay 1987 46.LEBOSS-HMERY: Gomtrie, Ed. Gabay, 1990 47.LEMAIRE: Problmes de Gomtrie, Vuibert, Paris 1923 48.LEMOINE: Suite des thormes et de rsultats concernant la gomtrie du triangle. Paris 1900 49.LOOMIS: The Pythagorean proposition, NCTM 1968 50.MARTIN: Geometric constructions, Springer 1997 51.MAXWELL: Geometry by transformations, Cambridge U.P. 1975 52.MIHALESCU: Geometrie elementelor remarcabile, Ed. Tehnica, Bucarest 1957 53.MITRINOVIC et al.: Recent Advances in Geometric Inequalities, Kluwer 1989 54.MODENOV: Problems in Geometry, Ed. Mir, Mosc, 1981 55.NEUBERG: Bibliographie des triangles spciaux, Lieja 1924 56.OGILVY: Excursions in geometry, Dover, 1969 57.PAPELIER: Exercices de gomtrie moderne, Ed. Gabay, 1996 58.PETERSEN: Mtodos y teoras para la resolucin de problemas de construcciones geomtricas (traduccin y apndices de J. Gallego Daz), Ed. Giner, Madrid 1955 59.PRASOLOV: Zadachi po planimetrii (en ruso) I,II; Mosc 1991 60.PRASOLOV-TIKHOMIROV: Geometry, AMS 2001 61.PRITCHARD, Ed.: The changing shape of geometry, Cambridge U.P., 2003 62.PUIG ADAM: Geometra mtrica, Madrid 1952 63.SHARIGIN: Two articles and 200 problems, ed.privada, 2000 64.SHARIGIN: Problemas de Geometra (Planimetra), Mir 1989 65.SHARIGIN: Problems in solid geometry, Mir 1986 66.SOIFER: How does one cut a triangle?, Colorado Springs 1990 67.SORTAIS: La gomtrie du triangle, Hermann, Paris 1987 68.TABOV: Homotecia en problemas (en blgaro), Sofia 1989

69.TURTOIU: Probleme de Trigonometrie, Ed. Tehnica, Bucarest 1986 70.TZITZEICA: Probleme de Geometrie,Ed. Tehnica, Bucarest, 1961 71.VARILLY: Elementos de geometra plana, S.Jos, 1988 72.VELASCO: Tratado de geometra, Ed. Limusa, 1983 73.VIGARI: Gomtrie du triangle, 1887 74.VIRICEL: Le thorme de Morley, A.D.C.S. 1993 75.VODA: Vraja geometriei demodata, Ed. Albatros, Bucarest 1983 76.VODA: Triunghiul: ringul cu trei coltzuri, Ed. Albatros 1979 77.VODA: Surprize in matematica elementara, Ed. Albatros 1981 78.YAGLOM: Geometric transformations I,II,III; M.A.A. 1962 79.ZETELII: Nueva geometra del tringulo (en ruso), Mosc 1962

Cinco problemas de la Olimpiada Britnica


Soluciones de Daniel Lasaosa Medarde, Pamplona, Espaa

1996,#1 Una funcin f est definida para todos los enteros positivos y satisface

f (1) = 1996 ,
Calcular el valor exacto de f(1996). Solucin Demostraremos por induccin que

f (1) + f ( 2 ) + ... + f ( n ) = n 2 f ( n ) , n > 1 .

f (n) =

3992 . n ( n + 1)

Obviamente, la hiptesis de induccin se cumple para n=1. Supongamos que se cumple hasta n=m. Entonces, para n=m+1, se tiene:
f ( m + 1) = f (1) + f ( 2 ) + ... + f ( m ) m2 f ( m ) m 3992 3992 = = . 2 m + 2m m + 2 m ( m + 1) ( m + 1)( m + 2 )

( m + 1)

Luego la hiptesis de induccin se cumple para todo n. En particular,


f (1996 ) = 3992 2 = . 1996 1997 1997

1995,#1 Hallar todos los cuadrados perfectos que terminan en tres cuatros. Probar que ningn cuadrado perfecto puede terminar en cuatro cuatros. Solucin Sea x un entero positivo tal que su cuadrado termina en tres cuatros. Entonces, x2144=(x+12)(x12) acaba en 300, es decir, (x+12)(x12) es mltiplo de 4 pero no de 8, y es mltiplo de 25. Si x fuera impar, el producto anterior sera impar. Si x fuera mltiplo de 4, el producto anterior sera mltiplo de 16, pues tanto x+12 como x12 sera mltiplos de 4. Luego x es par pero no mltiplo de 2. Entonces, x+12 y x12 son pares, y como no pueden ser simultneamente mltiplos de 5, uno u otro es divisible por 50 pero no por 100. Luego x acaba en 38 o 62. Como 62+38=100, nos basta entonces considerar cualquier entero de la forma x=100y+38, pudiendo ser y un entero positivo o negativo. Entonces,
x 2 = (100 y + 38 ) = 104 y 2 + 7600 y + 1444 .
2

Para que este nmero acabe en tres cuatros, 7600y debe acabar en tres ceros, luego y debe ser mltiplo de 5, acabando en 5 o 0. Pero entonces 7600y acaba en 8000 o 6000, luego x2 acaba en 9444, 3444, 7444 o 5444, y ningn cuadrado perfecto puede acabar en cuatro cuatros. Adems, los cuadrados perfectos que acaban en tres cuatros son todos los de la forma (500z+38)2, con z tomando cualquier valor entero, positivo o negativo.

1993,#3 Para cada entero positivo c, la sucesin de enteros {un} se define mediante

u1 = 1 ,

u2 = c ,

un = ( 2n + 1) un 1 ( n 2 1) un 2 , n 3 .

Determinar los valores de c para los que esta sucesin tiene la siguiente propiedad: ui divide a uj siempre y cuando ij. Solucin Es trivial comprobar por sustitucin que u3 = 7u2 8u1 = 7 c 8 ;

u4 = 9u3 15u2 = 24 ( 2c 3) ; u6 = 13u5 35u4 = 120 ( 25c 44 ) .

u5 = 11u4 24u3 = 120 ( 3c 5) ;

Como u2=c debe dividir a u3, entonces c debe dividir a 8. Adems, para c=1, 240 divide a u5 pero no a u6, mientras que para c=8, 16 divide a u3 pero no a u4. Luego slo puede ser c=2 o c=4. Demostraremos por induccin que, en ambos casos, y para n2,

un = ( n + c 2 ) un 1 .
La hiptesis de induccin se cumple trivialmente para n=2. hiptesis se cumple para n=m. Entonces, para n=m+1, um +1 = ( 2m + 3) um ( m2 + 2m ) um 1 = ( 2m + 3)( m + c 2 ) ( m 2 + 2m ) um 1 = ( m2 + 2mc 3m + 3c 6 ) um 1 = ( m + c 2 )( m + c 1) ( c 2 )( c 4 ) um 1.
um +1 = ( m + c 2 )( m + c 1) um 1 = ( m + c 1) um = ( m + 1) + c 2 um ,

Supongamos que la

Ahora bien, si c=2 o c=4,

cumplindose entonces la hiptesis de induccin para todo n. Al ser n+c2>1 para n2, se tiene que un1 divide a un con un>un1. Es trivial entonces demostrar por induccin sobre k que, para n2, unk divide a un pero no al revs, que es obviamente cierto para k=1, y como un(k+1) es menor que y divide a unk, y ste divide a un, entonces un(k+1) es menor que y divide a un. Luego ui divide a uj siempre y cuando ij, si y slo si c=2 o c=4.

1991,#3 ABCD es un cuadriltero inscrito en una circunferencia de radio r. Las diagonales AC y BD se cortan en E. Probar que, si AC es perpendicular a BD, entonces
EA2 + EB 2 + EC 2 + ED 2 = 4r 2 .

Es cierto que, si se cumple la anterior igualdad, entonces AC es perpendicular a BD? Justifique la respuesta. Solucin Si E coincide con el centro O de la circunferencia, EA=EB=EC=ED=r, cumplindose trivialmente la relacin. Supondremos durante el resto del problema que esta situacin no se da. Supongamos que AC y BD son perpendiculares. Aplicando el teorema de Pitgoras,
EA2 + EB 2 + EC 2 + ED 2 = AB 2 + CD 2 = 4r 2 sin 2 ( ACB ) + sin 2 ( CBD ) .

Ahora bien, al ser BEC rectngulo en E, se tiene que la suma de estos dos ngulos es
ACB + CBD = BCE + CBE = BEC = . 2

Luego sus senos al cuadrado suman 1, de donde se obtiene la igualdad del enunciado. Supongamos ahora que se da la igualdad del enunciado, pero que ni E coincide con O, ni AC y BD son perpendiculares. Sean entonces B' y D' los puntos donde la Por el resultado anterior, y

perpendicular a AC por E corta a la circunferencia.

asumiendo que se da la relacin del enunciado, se tiene que


EB '2 + ED '2 = EB 2 + ED 2 = 4r 2 EA2 EC 2 .

Pero adems, por el teorema de la potencia, EBED=EB'ED'. Luego

( EB '+ ED ')

= ( EB + ED ) ;
2

( EB ' ED ')

= ( EB ED ) ,
2

y, sin prdida de generalidad, EB=EB' y ED=ED'. Como adems E y O no coinciden por hiptesis, B y B' son simtricos con respecto a OE, y tambin lo son D y D'. De aqu se deduce que la igualdad del enunciado se da si y slo si se cumplen una de las tres siguientes condiciones: 1) AC y BD se cortan en el centro O de la circunferencia circunscrita a ABCD. 2) AC y BD son perpendiculares. 3) BD y la perpendicular a AC por E son simtricas con respecto a la recta OE.

1998,#1 Hallar todos los enteros a,b,c tales que

( x a )( x 10 ) + 1 = ( x + b )( x + c )
Solucin

para todo x.

La igualdad se debe cumplir en particular para x=10, luego

1 = ( b + 10 )( c + 10 ) .
Por lo tanto, como los dos factores en el miembro de la derecha son enteros, sus valores absolutos deben ser iguales a 1, ambos con el mismo signo, siendo entonces bien b=c=9, bien b=c=11. Tomando entonces x=0, se deduce que 10a+1 debe valer, respectivamente, 81 y 121, siendo entonces a=8 y a=12. Luego (a,b,c) es igual bien a (8,9,9), bien a (12,11,11).

Problemas de nivel medio y de Olimpiadas (19) Seleccin de Problemas de la Olimpiada de Australia 2004 1.Determinar todos los pares a, b de nmeros reales tales que la ecuacin x 3  3x 2  ax  b  0 tiene tres races reales que pueden formar progresin aritmtica. 2. Sea ABC un tringulo equiltero, y D un punto del lado AB, situado entre A y B. Sea E un punto sobre AC tal que DE es paralelo a BC. Sea F el punto medio de CD y G el circuncentro de ADE. Hallar los ngulos del tringulo BFG. 3.Determinar todos los enteros no negativos m y n tales que 6m  2n  2 es un cuadrado perfecto. 4.Sea ABCD un paralelogramo. Supongamos que existe un punto P en su interior tal que ABP  2ADP, y DCP  2DAP. Demostrar que AP  BP  CP.

scar Ferreira Alfaro Profesor de Secundaria Colegio Sagrada Familia P.J.O ( Valencia ) Espaa Solucin a dos de los cinco problemas rumanos N 18.2:
Hallad las cifras a y b para que el nmero ( escrito en el sistema decimal ) 543ab2 sea divisible por 42. Solucin: Sea P = 543 ab2 = 42 k , k . Los valores mnimo y mximo en los que oscilar P se producirn, respectivamente, cuando
a = b = 0 543002

a = b = 9 543992

543002 42 k 543992 12929 k 12952

por lo que tenemos 12952 12929 + 1 = 24 posibles valores para k, y podemos dar una solucin general para P. Si k = 12929 P = 543018
P = 543018 + 42 t, t ,0 t 23

Y de esta relacin debemos buscar los valores de P acabados en 2. P = 42 (12929 + t ) Si P acaba en 2, necesariamente la expresin f ( t ) = 12929 + t ha de acabar en 1 6. El siguiente cuadro de valores nos da todas las soluciones al problema: t 2 12 22 7 17 P 543102 543522 543942 543312 543732 a 1 5 9 3 7 b 0 2 4 1 3

N 18.5:
Halla una terna de enteros positivos ( x , y , z ) que cumplan:
x 2 + y 2 + z 2 = 4113

Solucin: A priori, la ecuacin diofntica no lineal parece de difcil solucin. Sin embargo, realizando los cambios siguientes
x = 416 a y = 416 b z = 416 c

el problema ofrece un resultado rpido.


x 2 + y 2 + z 2 = 4113

4112 a 2 + b 2 + c 2 = 4113 a 2 + b 2 + c 2 = 41

( 41 a ) + ( 41 b) + ( 41 c )
6 2 6 2 6

= 4113

La solucin ser: ( x, y , z ) = (416 ,2 4 16 , 6 416 ) Puesto que no debemos olvidar la simetra de dichas soluciones, el conjunto completo de soluciones se refleja en el siguiente cuadro: x 416
6 416 2 416

Una terna vlida es: ( a, b, c ) = (1,2,6)

y 2 416
416 6 416

z 6 416
2 416 416

2 416
6 416 416

416
2 416 6 416

6 416
416 2 416

Una segunda terna vlida es: ( a ,b , c ) = ( 4,4,3) La solucin ser: x


4 41
6

( x, y , z ) = ( 4 416 ,4 4 16 , 3 416 )
y
4 41 3 416
6

z
3 416

4 416 3 416

4 416

4 416 4 416

Problemas para los ms jvenes (19) XIII Olimpiada Provincial de Matemticas 2005, para alumnos de 2 y 4 de E.S.O. Valladolid, abril de 2005 Segundo de E.S.O.(alumnos de 13 aos de edad) Problema 1: Se ha diseado un programa de ordenador para contar las cifras de los nmeros naturales que se van introduciendo desde el 1 en adelante. Por ejemplo, si se han introducido los nmeros 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 el programa da como resultado 17 cifras. Despus de un determinado tiempo, el programa da como resultado 1788 cifras. Cul fu el ltimo nmero introducido? Problema 2: Se quiere reconstruir un claustro de forma cuadrada, del cual slo ha quedado un pozo P, que por la documentacin existente se sabe que se encontraba a la misma distancia de dos esquinas contiguas y del lado opuesto a las mismas. Dicha distancia es de 10 metros. Cul debe ser la medida del lado del cuadrado? Cul es el rea de la estrella de cuatro puntas obtenida dibujando los otros tres puntos anlogos al P, es decir, cumpliendo las mismas condiciones que P? Cul es el lado del cuadrado cuyos vrtices son P y los otros tres puntos de la pregunta anterior? Problema 3: Juan quiere comprar un televisor. Si lo compra al contado le descuentan 1/10 del precio marcado. Si lo compra a plazos, le incrementan 1/5 al precio marcado. Si lo paga en seis plazos, cada uno ser de 72 euros. Cunto dinero se ahorra si decide pagarlo al contado, en lugar de en los seis plazos? Problema 4: En un congreso de Matemticas, los asistentes, en nmero menor que 5000, pertenecen a delegaciones de Alemania, Francia, Italia, Portugal y Espaa. Todas las delegaciones tienen el mismo nmero de miembros. Sabiendo que hay doble nmero de alemanes que de alemanas, triple nmero de franceses que de francesas, cuatro veces ms italianos que italianas, cinco veces ms portugueses que portuguesas, y seis veces ms espaoles que espaolas, cuntas mujeres participan en el Congreso? Cuarto curso de E.S.O. (alumnos de 15 aos de edad) Problema 2: Disponemos de un nmero de bombones comprendido entre 315 y 400. Nos dan un cierto nmero de cajas para empaquetarlos y en cada caja caben exactamente 7 bombones. Cuando hemos llenado las 5/6 partes de las cajas, nos damos cuenta de que todava nos quedan los 2/5 de bombones sin empaquetar. Cuntas cajas ms necesitamos para que se puedan empaquetar todos los bombones? Problema 3: Tres semicrculos del mismo radio R tienen sus centros C 1 , C 2 , C 3 en lnea recta, en ese orden. Los tres semicrculos estn en el mismo semiplano de los dos que determina la recta C1C2C3. Un cuarto crculo, de radio r, es tangente a los tres semicrculos anteriores, externamente a C 1 y C 3 e internamente a C 2 . Encontrar la relacin existente entre r y R. Problema 4: Tres personas deciden jugar a tirar monedas a ver si coinciden en cara o cruz. Cada uno arroja una moneda, y el que no coincide con los otros dos, pierde. El perdedor debe pagar a cada oponente la misma cantidad que ste tiene en ese momento. Despus de tres jugadas, cada jugador ha perdido una vez y tiene 24 euros. Cunto tena cada uno al principio?

Problema 86 Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa. Demostrar que
3 3 sin ( ka ) sin 3 ka 1 lim n n k =1 sin ( ka ) + sin ka 3
n

no depende de a y calcularlo.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. Utilizando la frmula de De Moivre, se tiene

sin ( 3 ) = 3cos 2 ( ) sin ( ) sin 3 ( ) = 3sin ( ) 4sin 3 ( ) ;


1 3 3 1 sin 3 ( ka ) sin 3 ka = sin ( ka ) sin ( 3ka ) sin ka + sin ( 3ka ) 4 4 3 3 4 4 3 3 = sin ( ka ) + sin ka . 4 4 3

Por lo tanto, cada sumando es igual a 3/4 independientemente de a, salvo en los casos en los que tanto numerador como denominador sean iguales a 0. Luego si numerador y denominador no se anulan para ningn k, entonces el lmite pedido se halla trivialmente:
3 3 n sin ( ka ) sin 3 ka 1 3 3 = lim 1 lim 4 = 4. n n n n k =1 k =1 sin ( ka ) + sin ka 3
n

El denominador se anular para algn k cuando: 3 3 sin ( ka ) + sin ka = sin ( ka ) cos ( ka ) = 3 sin ka = 0 ; 3 2 2 6
ka = m ; 6

6m + 1 a= . 6k

Si esta condicin se cumple para algn entero m y algn entero positivo k, entonces hay sumandos que son indeterminados, del tipo 0/0, y en ese caso la suma, y por lo tanto el lmite, no se podran definir.

Problema 87 Propuesto por Laurentiu Modan, Bucarest, Rumana. Ligeramente modificado por el editor. Se considera la sucesin {xn} definida por n 1 xn = ln 1 + 2k 1 . k =1 2 i) Probar que

(1 2 ) ln 2 < x
n

< 2

1 , n 1 . 2 n 1

ii)

Estudiar la convergencia de {xn} y, en su caso, hallar el lmite.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. ii) Demostraremos por induccin que, para todo n1, 1 xn = ln 2 1 2n 2 La igualdad es obvia para n=1, pues 1 1 1 1 1 x1 = ln 1 + 20 = ln 1 + = ln 2 = ln 2 1 = ln 2 1 21 . 2 2 2 4 2 Si la igualdad se cumple para n=m, entonces para n=m+1, se tiene que m +1 1 xm +1 = ln 1 + 2k 1 k =1 2 1 = ln 2 1 m 22 1 = xm + ln 1 + 2m 2 1 1 = ln 2 1 2m 1 + 2m 2 2 1 = ln 2 + ln 1 2n . 2

( )

1 = ln 2 1 2m+1 2 2

Esto completa la demostracin. Por lo tanto, es obvio que la sucesin converge, siendo
1 1 lim xn = lim ln 2 1 2n = ln 2 + lim ln 1 2n n n n 2 2 = ln 2 + ln1 = ln 2. 1 = ln 2 + ln lim 1 2n n 2

i) Acotaremos primero la sucesin superiormente. positivo, y ser 2n>n para todo entero positivo n, se tiene
1 xn +1 xn = ln 1 + 2n 2 1 1 < 2n < n ; 2 2

Al ser ln(1+x)<x para todo x

xn +1 <

1 + xn . 2n

Luego como x1=ln2<1, es trivial por induccin que xn<1+1/2+...+1/2n1=21/2n1, q.e.d..

Nos falta entonces demostrar que

(1 2 ) ln 2 < x
n

1 = ln 2 + ln 1 2n 2

o equivalentemente,
1 ln 1 2n 1 < 1 + 2 = 1 + log 2 1 2n ln 2 2 ;
1 x

1 2 n

1 log 2 1 2n 2

1 > n ; 2

2n

1 1 + 2n < 1 . 2 2

Sea entonces la siguiente funcin:


f ( x) = 2

+ 2 x .

El lmite de esta funcin cuando x tiende a infinito es 1, pues el primer sumando tiende a 20=1, mientras el segundo tiende a 0. La derivada de esta funcin es 1 1 x df 2 2 x = ln 2 1 1 = ln 2 2 x x x 2 . = ln 2 2 2x x x 2 dx x 2 2 2 x x Para x suficientemente grande, se tiene que 2x>2x2>x221/x, luego para x suficientemente grande la funcin es siempre creciente. Adems, f(1)=1, siendo adems su derivada nula en este punto. Luego si demostramos que la derivada se anula una nica vez para x>1, quedar demostrado que f(x)<1 para x>1, y como conclusin quedar probada la acotacin inferior propuesta. Ahora bien, para que la derivada se anule, ha de ser

x 2 1 x

= x2 ,

ln x = ( ln 2 ) log 2 x =

x2 1 ln 2 . 2x

Las derivadas de los miembros izquierdo y derecho de la ltima igualdad son


1 ; x

1 ln 2 . 1 + 2 x 2

Igualndolas, queda una ecuacin de segundo grado en x, con discriminante positivo, coeficiente de x negativo y trmino independiente igual a 1. Luego tiene dos soluciones positivas cuyo producto es uno, y las derivadas de los trminos izquierdo y derecho de la ltima igualdad slo son iguales en un nico punto x>1. Por lo tanto, la ecuacin ln x = x2 1 ln 2 , 2x

que tiene solucin para x=1, y exactamente una solucin para x>1 (en caso contrario la ecuacin de segundo grado propuesta se cumplira en ms de un punto x>1). Luego f(x)<1 para todo x>1, q.e.d..

Problema 88 Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa. Sea

f : [ a, b ]
una funcin estrictamente positiva y continua. x1,x2,...,xn[a,b], existe un nmero x (axb) tal que
2005

Probar que para cualesquiera

1 n 1 1 f 2005 ( x ) = f ( x ) . n k =1 k

Observacin: la notacin f2005(xk) representa la potencia de exponente 2005 del nmero f(xk). Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. Sean x+, x, elementos distintos de {x1,x2,...,xn}, tales que f(x+)f(xk)f(x) para todo k=1,2,...,n. Se tiene entonces que
1 1 n 1 1 n 1 1 n 1 1 . = 2005 2005 2005 2005 2005 2005 = f ( x ) n k =1 f n k =1 f n k =1 f ( x ) ( xk ) ( x+ ) f ( x+ )

Supongamos, sin prdida de generalidad, que x+>x. Por el teorema de los valores intermedios, al ser f(x) continua en [a,b], tambin es continua en [x,x+][a,b], con lo que f(x) en dicho intervalo toma todos los valores comprendidos entre f(x+) y f(x), ambos inclusive. En concreto, f(x) tomar, para algn x[x,x+][a,b], el valor 1 1 n 1 2005 f 2005 ( x ) n k =1 k , q.e.d..

Bruno Salgueiro Fanego. Problema propuesto 89 del nmero 20 de la Revista Escolar de la O. I. M.: Obtener la conclusin que se deduce de las 10 premisas siguientes: 1) Los nicos animales de esta casa son gatos. 2) Todo animal al que le gusta mirar a la Luna sirve como animal de compaa. 3) Cuando aborrezco a un animal lo hago apartarse de mi camino. 4) Slo son carnvoros los animales que merodean por la noche. 5) Todos los gatos matan ratones. 6) Los animales de esta casa son los nicos que me pueden aguantar. 7) Los canguros no sirven como animales de compaa. 8) Slo los carnvoros matan ratones. 9) Aborrezco a los animales que no pueden aguantarme. 10) A los animales que merodean por la noche les gusta mirar a la Luna.

Solucin: Sean las proposiciones:

c : ser un animal de esta casa; g : ser un gato; l : ser un animal al que le gusta mirar a la Luna; s : servir como animal de compaa; a : aborrecer al animal; h : hago al animal apartarse de mi camino; k : ser un animal carnvoro; m : ser un animal que merodea por la noche; r : ser un animal que mata ratones; p : ser un animal que me puede aguantar y n : ser un canguro.
Entonces: 1) c ? g ; 2) l ? s ; 3) a ? h ; 4) k ? m ; 5) g ? r ; 6) p ? c ; 7) n ? ? s ; 8) r ? k ; 9) ? p ? a y 10) m ? l . As, se tiene la siguiente cadena de implicaciones, en la que intervienen todas las proposiciones y frmulas del enunciado del problema:
n ? ?s ? ? l ? ?m ? ? k ? ? r ? ? g ? ? c? ?p ? a ? h,

donde se han utilizado, en este orden, las frmulas (o las obtenidas por contrarrecproco o como consecuencia lgica de las siguientes): 7), 2), 10), 4), 8), 5), 1), 6), 9) y 3). De ello se deduce que n ? h , o sea, la conclusin siguiente: ? A los canguros les hago apartarse de mi camino.

Bruno Salgueiro Fanego. Problema propuesto 89 del nmero 20 de la Revista Escolar de la O. I. M.: Obtener la conclusin que se deduce de las 10 premisas siguientes: 1) Los nicos animales de esta casa son gatos. 2) Todo animal al que le gusta mirar a la Luna sirve como animal de compaa. 3) Cuando aborrezco a un animal lo hago apartarse de mi camino. 4) Slo son carnvoros los animales que merodean por la noche. 5) Todos los gatos matan ratones. 6) Los animales de esta casa son los nicos que me pueden aguantar. 7) Los canguros no sirven como animales de compaa. 8) Slo los carnvoros matan ratones. 9) Aborrezco a los animales que no pueden aguantarme. 10) A los animales que merodean por la noche les gusta mirar a la Luna.

Solucin: Sean las proposiciones: c : ser un animal de esta casa; g : ser un gato; l : ser un animal al que le gusta mirar a la Luna; s : servir como animal de compaa; a : aborrecer al animal; h : hago al animal apartarse de mi camino; k : ser un animal carnvoro; m : ser un animal que merodea por la noche; r : ser un animal que mata ratones; p : ser un animal que me puede aguantar y n : ser un canguro. Entonces: 1) c g ; 2) l s ; 3) a h ; 4) k m ; 5) g r ; 6) p c ; 7) n s ; 8) r k ; 9) p a y 10) m l . As, se tiene la siguiente cadena de implicaciones, en la que intervienen todas las proposiciones y frmulas del enunciado del problema: n s l m k r g c p a h , donde se han utilizado, en este orden, las frmulas (o las obtenidas por contrarrecproco o como consecuencia lgica de las siguientes): 7), 2), 10), 4), 8), 5), 1), 6), 9) y 3). De ello se deduce que n h , o sea, la conclusin siguiente: A los canguros les hago apartarse de mi camino.

Problema 90 Propuesto por el editor. Por un punto P, interior a un tringulo dado ABC, se trazan paralelas a los tres lados del mismo, formando as tres paralelogramos y tres tringulos. Para qu punto P es mnima la suma de las reas de los tres tringulos?

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa. Llamemos dA, dB, dC las distancia de P a los lados BC, CA, AB, respectivamente, y hA, hB y hC las alturas trazadas respectivamente desde A, B y C a los lados opuestos. Es entonces obvio, llamando [XYZ] al rea del tringulo XYZ, que
d C d A d B d C AB d A BC d CA [ APB ] + [ BPC ] + [ CPA] + + = + + B = = 1. hC hA hB 2 [ ABC ] 2 [ ABC ] 2 [ ABC ] [ ABC ]

Los tres tringulos formados son obviamente semejantes al ABC (pues dos de los lados de cada tringulo y del ABC son paralelos dos a dos, estando los terceros en una recta comn), siendo la razn entre el rea de cada uno de ellos y el rea de ABC igual al cuadrado de la razn entre sus respectivas alturas desde los vrtices correspondientes. Es decir, la suma de las reas de los tres tringulos viene dada por:
dC 2 d A2 d B 2 2 + 2 + 2 [ ABC ] . hA hB hC

Pero utilizando la desigualdad entre las medias aritmtica y cuadrtica, se tiene que
2 2 2 1 d dC d A dB d d 1 + 2 + 2 C + A+ B = , 2 3 hC hA hB 3 hC hA hB 2

dndose la igualdad si y slo si


dC d A d B 1 = = = , hC hA hB 3

es decir, si y slo si P es el baricentro G de ABC. Luego P=G para que la suma de las reas de los tringulos sea mnima, siendo entonces dicha rea igual a 1/3 del rea de ABC.

PROBLEMAS PROPUESTOS 91-95 Problema 91. Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa. Sean ), *, + los ngulos del tringulo ABC y sea n un nmero natural impar. Probar que sin n)  sin n*  sin n+ n* n+ cos n2) cos 2 cos 2 es entero y determinar su valor. Problema 92.Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa. Sean a, b, c tres nmeros complejos distintos y no nulos. Calcular, en la forma ms simplificada posible, 2a 2  b 2  c 2 1  a 1  a c b

a 2  2b 2  c 2 1 b 1 b a c

a 2  b 2  2c 2 c c 1  a 1  b

Problema 93.Propuesto por Laurentiu Modan, Bucarest, Rumania. Se consideran las sucesiones x n , y n definidas por las recurrencias x1  2 x n  2x n"1 y1  1 y n  y n"1  y 2"1  1 n Calcular, si existen, los lmites
nv.

lim

1 xn  yn

lim nv.

xn lny n

Problema 94.Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa. Sea f : a, b R una funcin continua y derivable en a, b . Probar que existe un c  a, b tal que 2 U f c  2 1 a b
2 2

1 1 ac  bc .

Problema 95. Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa. Sea n un nmero entero y positivo. Probar que 4 3
n


n"1 k0

1/2

2n 2k  1

es un entero.

DIVERTIMENTOS MATEMTICOS (19) ALGUNAS CITAS De un libro francs de los aos 60 Una variedad diferenciable es una cosa muy complicada. Sea M una variedad diferenciable... De un libro de resistencia de materiales Definicin de ladrillo: Ente cermico prismtico, de barro cocido, susceptible de ser manejado con una sola mano (citado por J.M. Aroca en su artculo Por qu Juanito no sabe sumar?(1973)Por qu Juanito no sabe sumar an?(2004), publicado en el Boletn de la Sociedad Puig Adam, n 69, Febrero 2005). De un examen de 1 de Bachillerato 1968(enseanza libre), en el Instituto Marqus de la Ensenada (hoy Prxedes Mateo Sagasta), de Logroo. Pregunta : El producto de dos nmeros primos, es primo? Respuesta (evidentemente malhumorada) : Pero primos de quin? De un texto de 1980 El propsito de esta nota es poner al lector al abrigo de un procedimiento aparentemente claro y simple para definir....(objetos matemticos suficientemente complicados para que no los podamos citar, pero lo que sigue merece serlo)...esta convincente construccin para obtenerlos ha sido descubierta independientemente por parte de varios matemticos, incluido el autor. Ha sido presentada en Seminarios en Chicago y Princeton y se public en un libro en 1978. Sin embargo, esta construccin contiene un sutil pero irreparable error y es totalmente falaz. De un comentario en el Bulletin de la APMEP Este tratado de Geometra es excelente....apenas se encuentran en l ms de dos o tres teoremas falsos, lo que es muy poco en un total de 1300 pginas. De una pgina web Ambos edificios se encuentran separados entre s por algo ms de 400 metros escasos. De la prensa de Quebec (1979) Cul es el mejor procedimiento para medir con un barmetro la altura de un edificio? Respuesta de un estudiante: Probablemente, el mejor sera llamar a la puerta del portero, y decirle: Tengo aqu este excelente barmetro. Se lo regalo si me dice la altura del edificio. (Citado por Alain Bouvier en su libro La mystification mathmatique, Hermann, 1981).

COMENTARIO DE PGINAS WEB (19) ICMI Study 16: Challenging Mathematics in and beyond the Classroom www.amt.canberra.edu.au/icmis16.html

Esta pgina web es la de preparacin del volumen 16 de los Studies del ICMI (la Comisin Internacional de Educacin Matemtica), que se encuentra en fase de preparacin. El documento de discusin se puede descargar en espaol, francs e ingls, y sirve como llamada a las colaboraciones que se pueden presentar con vistas a tomar parte en la Conferencia sobre el tema, que tendr lugar en Trondheim, Noruega, del 27 de junio al 3 de julio de 2006, y a la que slo se asistir por invitacin personal. La fecha lmite para enviar propuestas es el 31 de agosto de 2005. Valladolid, mayo de 2005. Francisco Bellot http://www.amt.canberra.edu.au/icmis16ddspanish.html

Revista Escolar de la Olimpada Iberoamericana de Matemtica http://www.campus-oei.org/oim/revistaoim/

Edita: