Induccin Matemtica o a

Olimp adas Matemticas a Diciembre de 2011

Induccin de Cauchy o El matemtico Augustin Louis Cauchy, conocido por sus trabajos en anlisis matemtico, ide un a a a o mtodo inductivo que puede resultar de extrema utilidad. Pasemos a enunciar los pasos que implica. e 1. Demostramos que una propiedad vale para el nmero 1. u 2. Demostramos que si esta propiedad vale para algn n, entonces vale para kn.1 . u 3. Demostramos que si esta propiedad vale para algn n, entonces vale para n 1. u Ejemplo A modo de ejemplo, vamos a demostrar, usando este mtodo inductivo, la desigualdad entre las e medias aritmtica y geomtrica de n nmeros reales positivos. Es decir, vamos a demostrar que para e e u todo n 2 natural, siendo a1 , a2 , ..., an nmeros reales positivos, vale la siguiente desigualdad: u a1 + a2 + ... + an n a1 a2 ... an n Veamos, primero que vale para n = 2. En efecto, pues, es claro que ( a1 a2 )2 0. Desarrollando, amos. se tiene que a1 2 a1 a2 + a2 0, entonces: a1 +a2 a1 a2 , como quer 2 Ahora, supongamos que vale para algn n 2. Entonces, es cierto que: u a1 + ... + an n a1 a2 ... an n Pero, entonces, tambin es cierto que: e an+1 + an+2 + ... + a2n n an+1 an+2 ... a2n n Pues an+1 , ..., a2n son n reales positivos. Ahora bien, est claro que se cumple que: a
a1 +...+an n

+ an+1 +...+a2n n 2

a1 + ... + an an+1 + ... + a2n n n

Acomodando el lado izquierdo: a1 + a2 + ... + a2n 2n

1

a1 + ... + an an+1 + ... + a2n n n

k es un entero jo que podemos elegir a nuestra conveniencia, normalmente se utiliza k = 2

Pero usando las desigualdades que ten amos, es cierto que: a1 + ... + an an+1 + ... + a2n n n n an+1 an+2 ... a2n n an+1 an+2 ... a2n

Entonces, juntando las dos ultimas desigualdades obtenidas, deducimos que: a1 + a2 + ... + a2n n an+1 an+2 ... a2n n an+1 an+2 ... a2n 2n Acomodando el lado derecho, obtenemos, nalmente, que: a1 + a2 + ... + a2n 2n a1 a2 ... a2n 2n Es decir, hemos demostrado que si vale para n, entonces vale para 2n. Ahora, vamos a ver que si vale para n, entonces vale para n 1. Para sto, consideramos los n e a1 +...+an1 nmeros a1 , ..., an1 y an = u . n1 Notemos, por un lado que haciendo un poco de manipulacin algebraica, es cierta la igualdad:2 o a1 + ... + an1 + n a1 + ... + an1 + n
a1 +...+an1 n1

a1 + ... + an1 n1

Bueno, supongamos que la desigualdad vale para n trminos, es decir, se cumple que: e
a1 +...+an1 n1

a1 ... an1

a1 + ... + an1 n1

Usamos la igualdad de arriba. Tenemos entonces que es cierto que: a1 + ... + an1 n1
n

a1 ... an1

a1 + ... + an1 n1

Manipulando el lado derecho, tenemos que: a1 + ... + an1 n a1 ... an1 n1 Es claro que esto equivale a que: a1 + ... + an1 n1 Dividiendo por
n n n n

a1 + ... + an1 n1

a1 ... an1

a1 + ... + an1 n1

a1 +...+an1 n1

a ambos lados, tenemos que: a1 + ... + an1 n1

n1 n

a1 ... an1

Elevando a la n a ambos lados: a1 + ... + an1 n1 Finalmente, es claro que esto implica que: a1 + ... + an1 n1
n1

n1

a1 ... an1

a1 ... an1

Luego, hemos demostrado que si vale para n, vale para n 1. De este modo, la solucin queda o completa.
Ser bueno hacer todos los pasos en un papel a la hora de entender esta igualdad. No es particularmente dif a cil, simplemente son unas cuantas simplicaciones que hay que hacer, pero que omitimos mencionar porque son tediosas
2