Captulo 3 LA INDUCCIN MATEMTICA

3.1 INTRODUCIN 3.1.1. El Teorema de Euler. Hay una curiosa relacin entre el nmero de caras de un poliedro, el nmero de vrtices y el de aristas (descubierta por Euler). Para averiguar cul es esta relacin, hagamos un conteo para algunos poliedros sencillos: Para un cubo tenemos: 6 caras, 8 vrtices y 12 aristas. Para un tetraedro: 4 caras, 4 vrtices y 6 aristas.

Figura 3.1 En verdad no es fcil establecer una relacin con tan pocos casos....pero tampoco con muchos: tuvo que ser Euler, uno de los matemticos ms creativos de la Historia, quien se diera cuenta que: G Z E# (1)

donde G es el nmero de caras, Z el de vrtices y E el de aristas. En los dos ejemplos anteriores se cumple la relacin. Si Ud. tiene paciencia y curiosidad, podra intentar hacer el conteo en otros poliedros sencillos, por ejemplo en los 5 posibles poliedros regulares (adems del tetraedro regular y el cubo, est el octaedro, el dodecaedro y el icosaedro). Hagamos un primer salto infinito: consideremos un prisma con 8 caras laterales:

116

Figura 3.2 En este caso es fcil contar los elementos: hay 8 # caras, #8 vrtices y 8 #8 $8 aristas: la relacin (1) se cumple !! Notar que hay aqu una infinidad de poliedros que satisfacen la relacin (1). Hay otro caso similar: una pirmide con 8 caras laterales:

Figura 3.3 En este caso hay: 8 " caras, 8 " vrtices y 8 8 #8 aristas : la relacin (1) tambin se cumple. Tenemos aqu otra familia infinita de poliedros que satisfacen la frmula de Euler. Sin embargo, es claro que estos casos no agotan todos los posibles poliedros. Hagamos una experiencia diferente: tomemos 2 prismas de base triangular y unmoslos ortogonalmente por sus bases:

117

Figura 3.4 Contando cuidadosamente, se obtiene: hay 9 caras (G * 9 vrtices Z * pero 15 aristas E "& : G Z ") "( E # la relacin de Euler no se cumple!!! En realidad, Euler se di cuenta que no todos los poliedros satisfacen esa relacin. Pero conjetur que, con una condicin adicional, la relacin sera un teorema. La condicin es que el poliedro sea convexo , es decir, que si se toman dos puntos cualquiera dentro del poliedro, el trazo completo que los une tambin est dentro del poliedro. Esta condicin claramente no se cumple en el ejemplo de la Figura 3.4, pero efectivamente se cumple para prismas y pirmides. An as el problema est lejos de estar resuelto: hay una infinidad de poliedros convexos que no son ni prismas ni pirmides. Es ms: a partir de un poliedro convexo cualquiera uno puede fabricar otro distinto. Por ejemplo cortndole una punta con un plano:

Figura 3.5 Notemos que, si el poliedro original es convexo, el nuevo poliedro tambin lo ser. Supongamos que el poliedro original satisface la relacin

118

(1) de Euler y que a la arista A que se corta concurren 8 caras. El nuevo poliedro tendr G w G " caras, una ms que el original, el nmero de vrtices Z w del nuevo poliedro ser uno menos que el original (se pierde el vrtice que se cort) pero se ganan 8 vrtices nuevos , luego Z w Z " 8 y del mismo modo se ganarn 8 aristas nuevas: Ew E 8 Por lo tanto: G w Z w G " Z " 8 E 8 # Ew # Nuevamente se cumple la relacin (1). Hagamos otro intento: supongamos que tenemos un poliedro convexo que satisface la relacin (1). Tomemos una cara cualquiera de este poliedro y agregmosle un "techo":

Figura 3.6 Si el poliedro original es convexo y el "techo" que se agrega tiene una altura suficientemente pequea, entonces el nuevo poliedro tambin ser convexo. Supongamos que la cara elegida tiene 8 lados: El nuevo poliedro tendr G w G " 8 caras, pues se pierde una pero se ganan 8 caras nuevas. El nmero de vertices ser Z w Z " pues se gana un solo vrtice nuevo. El nmero de aristas ser Ew E 8 pues no se ha perdido ninguna pero se han ganado 8 aristas nuevas. Veamos si el nuevo poliedro satiface la relacin (1) : G w Z w G " 8 Z " G Z 8 E # 8 Ew # Efectivamente la satisface!! Desgraciadamente todava no podemos afirmar que la relacin (1) sea vlida para todos los poliedros convexos: agregar un vrtice ms a un

119

poliedro no agota todos los posibles poliedros. Es fcil ver que hay poliedros convexos muy diferentes con el mismo nmero de vrtices. En efecto, basta considerar los dos poliedros presentados en la Figura 3.7

Figura 3.7 En el poliedro de la izquierda hay 5 vrtices, 6 caras y 9 aristas mientras que en el de la derecha hay tambin 5 vrtices pero solo 5 caras y 8 aristas. Esto muestra que, por la va de agregar un vrtice ms a un poliedro convexo, no agotamos todos los posibles poliedros convexos. En todo caso hemos encontrado cuatro formas distintas de generar familias infinitas de poliedros convexos que satisfacen la relacin de Euler (1). En las dos ltimas formas se ha empleado el llamado metodo inductivo, consistente en prolongar cierta propiedad en un caso ms, sabiendo que la propiedad se cumple para el caso anterior. La relacin (1), llamada Teorema de Euler, ha quedado, sin embargo, en el estado de conjetura : todava no es teorema. La induccin, desde un punto de vista filosfico, consiste en conjeturar leyes generales a partir de casos particulares. Es la actitud propia de todo cientfico: la observacin y los experimentos permiten conjeturar leyes generales de la Naturaleza, las cuales quedarn en estado de teoras en el caso de las ciencias naturales y de conjeturas en el caso de las matemticas. Mientras ms observaciones y ejemplos satisfacen la teora, ms fuerza adquiere sta. Lo mismo ocurre en matemticas: la verificacin de una conjetura para un caso ms (o para una familia de casos) refuerza la conjetura acercndola al nivel de teorema. Sin embargo basta un caso en que sta falle para hecharla completamente por tierra. Es lo que nos pas con el poliedro que no era convexo. Tambin es lo que ocurre en las ciencias naturales: si un nuevo experimento contradice la teora, es preciso cambiarla. Esto requiere coraje intelectual. Se necesita coraje para revisar

120

las propias creencias. Galileo, cambiando los prejuicios de sus contemporneos y de la autoridad eclesistica de la poca, es un gran ejemplo de coraje intelectual. Tambin requiere honestidad intelectual. Adherirse a una conjetura que ha sido claramente contradicha por la experiencia slo porque es mi conjetura sera deshonesto. Sin embargo no es bueno cambiar las creencias frvolamente, sin un serio exmen, tal vez siguiendo una moda o la opinin de alguna autoridad. Se necesita entonces lo que George Polya llama " sabia contencin". 3.1.2 La divisin del espacio. Vamos a presentar un nuevo problema introductorio: en cuntas partes queda dividido el espacio por cinco planos? El problema es fcil de resolver si los cinco planos son paralelos: el espacio queda dividido en seis partes. Pero no es nada fcil si suponemos que ninguno de los planos es paralelo a otro. Usando la intuicin geomtrica es sencillo ver que, con un plano, el espacio se divide en dos pedazos; con dos planos no paralelos, se divide en cuatro y con tres planos, se divide en ocho. El problema con cuatro planos es ya ms difcil. Pero podemos hacer un esfuerzo: cuatro planos no paralelos forman un tetraedro:

Figura 3.8 Un primer trozo del espacio es el que queda atrapado dentro del tetraedro. Cada arista colinda con un trozo nuevo: son seis aristas por lo tanto llevamos 7 pedazos. Cada vrtice determina un trozo nuevo : son 4 ms. Finalmente, cada cara del tetraedro limita con otro pedazo del espacio que

121

queda hacia afuera : luego seran 15 trozos del espacio. Hacer un conteo como este para cinco planos resulta prcticamente imposible. Qu hacer? Cuando un problema matemtico se pone difcil, se puede tratar de resolver uno anlogo, pero ms fcil. Por ejemplo, dividir el plano por medio de rectas no paralelas. Una recta divide al plano en dos; dos rectas lo divide en cuatro y tres rectas no paralelas lo hacen en 7 . Para cuatro rectas la cosa se complica un poco:

Figura 3.9 Como se puede observar, tampoco el problema para el plano es tan fcil. Por lo tanto, bajemos un peldao ms: dividir la recta por cinco puntos. Ahora si que el problema se facilita. Es ms: podemos generalizar el problema y plantearnos dividir la recta por 8 puntos:

Figura 3.10 Se v claramente que la recta quedar dividida en 8 " trazos. Podemos hacer una tabla con los resultados que hemos obtenido hasta ahora:

122

n 1 2 3 4 5 6 ....... n

lnea por puntos 2 3 4 5 6 7 n+1

nmero de divisiones plano por lneas espacio por planos 2 2 4 4 7 8 11 15 ? ?

Aqu se observa una regla extraa: sumando en la primera fila los nmeros de la segunda y la tercera columna se obtiene el nmero correspondiente de la segunda lnea, tercera columna. Lo mismo ocurre sumando el segundo con el tercer nmero: se obtiene el nmero de la segunda fila. Si tomamos la segunda fila, observamos el mismo fenmeno: $ % ( , con los dos primeros nmeros; % % ) con el par de nmeros siguientes. ser esto una casualidad? En la tercera fila se observa exactamente lo mismo : % ( "" para los dos primeros y ( ) "& con los dos siguientes. Esto no puede ser casual: debe haber alguna razn especial para que esto ocurra. En efecto: debemos preguntarnos cuando tenemos 8 lneas que dividen el plano qu sucede cuando se agrega una lnea nueva? La nueva lnea, que no debe ser paralela a ninguna de las anteriores, debe por lo tanto cortarlas a todas. Por lo tanto la nueva lnea queda dividida con 8 puntos y estos 8 puntos dividen a la lnea en 8 " pedazos: cada pedazo nuevo de la lnea divide al trozo de plano en que se encuentra en dos, crendose por lo tanto 8 " pedazos de plano nuevos. Llamemos B8 al nmero de trozos en que 8 lneas dividen al plano. Hemos encontrado una frmula recursiva: B8" B8 8 " #

La frmula recursiva (2) permite obtener una frmula explcita para el nmero B8 en que queda dividido el plano por 8 lneas:

123

B" # B# B" # B$ B# $ B8 B8" 8 Si sumamos toda esta columna de igualdades, observamos que los trminos B5 se van cancelando desde 5 " hasta 5 8 " y se obtiene: B8 # # $ % 8 " " # $ 8 Pero sabemos que la suma de los primeros 8 nmeros naturales es por lo que hemos obtenido: B8 "
88" # 88" #

(3)

Ahora podemos pasar al espacio: la argumentacin es completamente anloga a la anterior. La pregunta es ahora qu ocurre al agregar un plano nuevo a los n planos anteriores? Cuando se agrega un nuevo plano, como no debe ser paralelo a ninguno de los antiguos, se intersecta con los 8 planos anteriores y por lo tanto debe quedar cortado por 8 rectas, las cuales generan, como lo hemos indicado, B8 pedazos en el plano nuevo. Cada uno de estos pedazos genera un nuevo trozo en el espacio. Si llamamos C8 al nmero de trozos en que 8 planos dividen al espacio, podemos poner: C8" C8 B8 (4)

Para obtener una frmula explcita, podemos emplear el mismo truco que antes: C" # C# C" B" C$ C# B# C8 C8" B8" Sumando como antes, obtenemos:
8"

C8 # B" B# B8" #
5"

"

55" #

124

C8 # 8 " # 8 "

" #

8" 5"

5 5 #
" # 8" 5"

" 88" # #

5#

Para poder continuar necesitamos calcular la suma de los cuadrados. Esto lo podemos hacer con un mtodo similar al que hemos empleado hasta ahora: " "$ " $ $ " " #$ " $ ## $ # #$ " 8$ " $8# $8 8$ Nuevamente al sumar las columnas se cancelan (casi) todos los trminos al cubo y queda: " 8$ 8 $
8

5# $

5 " , de donde, despejando la suma de

5"

5"

los cuadrados, se obtiene, despues de un arreglo algebraico:

8 5"

5#

88"#8" '

(5)

Finalmente, introduciendo (5) en la ltima expresin obtenida para C8 se tiene: C8 " 8

88" %

88"#8" "#

(6)

La frmula (6) sobrepasa con creces el problema que nos habamos propuesto. La divisin del espacio con 5 planos no paralelos d 26 trozos de espacio. Pero con la relacin (6) podemos continuar indefinidamente.

3.2.

EL PRINCIPIO DE INDUCCIN FINITA

125

Supongamos que hay una propiedad T definida para los nmeros naturales tal que: 3 T 59 es decir, la propiedad se cumple para cierto nmero 59 33 T 8 T 8 " , es decir, suponiendo vlida la propiedad para 8 entonces es vlida para 8 ". Entonces T 8 a8 59 es decir, la propiedad se cumple para todos los nmeros naturales a partir de 59. Este es es el llamado principio de induccin finita , que es un Teorema o un Axioma, segn sea el punto de vista que se adopte. Si aceptamos a los nmeros naturales como modelo de cantidades discretas y finitas, entonces este principio se convierte en teorema. En efecto, supongamos que la conclusin no es vlida: tendr entonces que haber un nmero 7 59 para el cual la conclusin no es vlida. Entonces podemos examinar la lista finita de nmeros: 59 59 " 59 # 59 $ 7 y chequear uno por uno si cumple o no la propiedad T . Uno de ellos ser el menor de los que no cumplen, que no puede ser el primero pues hemos supuesto que la propiedad se cumpla para l. Luego, llamando 5 a este nmero se tendr que 5 " cumple la propiedad, luego debe cumplirla 5 segn nuestra hiptesis 33 , lo que contradice el hecho de que 5 es el primero que no cumple la propiedad. La induccin matemtica consta entoces de dos fases: 3 la fase propiamente inductiva, donde a partir de casos particulares se conjetura una ley general 33 la fase demostrativa , donde, suponiendo vlida la ley para el caso 8 (esto es lo que se llama hiptesis de induccin) se demuestra para el caso 8 " De este modo, usando el principio de induccin, se demuestra la ley general.

EJEMPLOS

126

" " " 1. Consideremos la suma: " # + #$ $% 88" habr alguna formula general sencilla para ella? Hagamos nuestra fase inductiva calculando los primeros casos: " " # # " " $" # # + #$ #$ $ " " " # # + #$ $% $

" "#

$ %

Observando estos resultados, o tal vez haciendo otros ms, podemos 8 aventurarnos en conjeturar el resultado general : 8" Ahora debemos pasar a la fase demostrativa: supongamos que " " " 8 efectivamente " # + #$ $% 88" 8" . Veamos si la frmula es vlida para el nmero siguiente:
" " " " " # + #$ $% 88" + 8"8# 88#" 8"# 8" 8"8# 8"8# 8#

8 8"

" 8"8#

con lo que queda demostrado para todo nmero natural a partir de 8 " # Observemos que : "" " % " # "%*"#$ " % * "' " # $ % Cual ser la ley general de esta igualdad? cmo demostrarla? Notar que, al lado izquierdo tenemos la suma de los enteros al cuadrado pero con signos alternados y al lado derecho la suma de los enteros con signo negativo para el caso par y positivo para el caso impar: " ## $# 8# " # 8 , 8 par " ## $# 8# " # 8 , 8 impar Vamos a demostrar estas igualdades utilizando la frmula de la suma de los primeros 8 nmeros naturales, que ya hemos utilizado en la introduccin, y separando los dos casos: 3 Sea 8 par: por lo tanto 8 " ser impar, luego: " ## $# 8# 8 "# " # 8 8 "#

127

88" #

8 "# 8 "8 " 8 #

8"8# #

que es la frmula de la suma de los naturales hasta 8 " 33 Sea 8 impar: 8 " ser par, luego: " ## $# 8# 8 "# " # 8 8 "# 8"8# 88" 8 "# 8 " 8 # # 8 " # lo que demuestra la conjetura. Utilizando la abreviatura de las sumatorias, el resultado anterior se puede escribir:
8 5"

"5" 5 # "8"

88" #

(1)

3. En general se llama progresin a una secuencia finita de nmeros que se identifican mediante sub-ndices: +" +# +$ +% +8 La suma de estos nmeros, llamada sumatoria , se abrevia, como hemos
8

visto:

estos nmeros, que se denomina productoria y se abrevia : # +5

5" 8 5"

+5 . De modo anlogo puede ser interesante el producto de

Hay dos progresiones clsicas, muy usadas, que aparecen en distintos problemas: 3 La progresin aritmtica: + + . + #. + $. + 8. cuya caracterstica es que la diferencia entre dos trminos sucesivos es constante.

33 La progresin geomtrica: + +< +<# +<$ +<8

128

que se caracteriza porque la razn entre dos trminos consecutivos es constante La suma de 8 trminos de una progresin aritmtica se puede obtener mediante un truco usado por K.F.Gauss a la edad de 7 aos: poner dos veces la suma pero invirtiendo su orden: W8" + + . + #. + $. + 8. W8" + 8. + 8 ". + . + Sumando estas dos expresiones por columnas, se observa que todas las sumas arrojan el mismo resultado: #+ 8. . Como hay 8 " sumandos, se tiene: #W8" 8 "#+ 8. , de donde W8" 8 "+
88" . #

(2)

Notar que se han sumado 8 " trminos, pues hemos empezado de cero. Tambin se pueden sumar los 8 primeros trminos de una progresin geomtrica. Ac el truco es un poquito diferente: W8 + +< +<# +<$ +<8" <W8 +< +<# +<$ +<8" +<8 Esta vez restamos ambas sumas: W8 <W8 + +<8 , de donde: W8
+"<8 "<

(3)

Notar que esta frmula solo es vlida para < " . Esta no es una restriccin importante, pues si < ", la suma es trivialmente igual a 8+ 4. Sean + , , 8 un nmero natural. La frmula: + ,8
8 5!

8 85 , 5 5 +

(4)

se conoce en la literatura como Teorema del Binomio. Aqu hay que explicar algunas notaciones :

129

 el producto: "#$8 # 5 se denota por 8x y se llama

8

n-factorial . Por razones prcticas se extiende al 0 esta definicin : 0! " 8x 8 5 5x85x Vamos a demostrar (4) usando el principio de induccin finita. Pero antes necesitamos hacer un clculo algebraico sencillo pero muy til: 8 8 8" 5 5" 5 &

5"

En efecto, basta poner las definiciones y hacer la suma de las fracciones:

8x 5x85x

8x 5"x85"x

85"8x58x 5x85"x

8"x 5x85"x

La frmula (% se cumple trivialmente para 8 ". Tambin es muy conocida para 8 # Supongamos que es vlida para 8 y veamos qu pasa para 8 ": + ,8"
8 8

5!

8 8" ! +
8" 5!

8 85" , 5 5 +
5!

8 85 , 5 + , 5 +
8 5!

8" +8"5 ,5 5

8 5 5"
8

8 8"5 5 8 8" 5" + , 8 ,

8 85 , 5" 5 +

que es la frmula para 8 ".

8 Observando que 8 ! " y que tambin 8 " la relacin (5) permite construir el llamado Tringulo de Pascal :

1 1 1 1 2 1

130

1 3 3 1 14 6 4 1 1 5 10 10 5 1 1 6 16 20 16 6 1 ......................................... donde en cada fila se ha colocado la suma de los elementos situados a izquierda y derecha de la fila anterior. Notar que cada fila corresponde a los coeficientes del desarrollo del binomio elevado a la potencia 8 " , donde 8 es el nmero de orden de la fila. 5 En el lenguaje corriente una permutacin es un intercambio de posicin entre objetos dados. Supongamos que tenemos 8 objetos: +" +# +$ +8 . Estos objetos se encuentran en una ordenacin determinada. En matemticas se entiende por una permutacin a una ordenacin particular de ellos. El problema es: cuntas permutaciones 8 diferentes se pueden hacer con 8 objetos? Llamaremos T8 a este nmero y tratemos de obtener una frmula general por el mtodo inductivo Para los primeros casos basta contar con paciencia: T"" " T## # T$$ ' T%% #% ....... Cul es la conjetura? Atrevmonos a proponer:
8 T8 8x

(6)

Tomemos ahora un conjunto con 8 " elementos: +" +# +$ +8 ,+8" y observemos que el elemento nuevo +8" tiene 8 " posibilidades de ser ubicado y por cada ubicacin del elemento +8" hay 8x posibilidades de ubicar los otros 8 elementos (hiptesis de induccin). Por lo tanto
8" T8" 8 "8x 8 "x

lo que demuestra nuestra conjetura. Esta idea puede ser generalizada suponiendo que solo hay < 8 lugares donde ubicar los 8 objetos. Vamos a llamar permutaciones recortadas a cada ordenacin de 8 objetos en los < lugares y T<8 a su nmero. Podemos razonar del siguiente modo: hay 8x permutaciones completas: estn sobrando 8 < lugares en los cuales se podrn hacer 8 <x permutaciones. Por lo tanto: T<8 8 <x 8x , luego: T<8
8x 8<x

(7)

131

6. Se dispone de 8 "letras" : +" +# +8 y se desean hacer palabras de < letras, repitiendo cada letra cuantas veces se desee. El largo < de la palabra puede ser mayor o menor que el nmero de letras. Cuntas 8 palabras diferentes se pueden hacer? Llamemos E< a este nmero. Esto tambin se conoce como arreglos de n letras con repeticin. Podemos razonar como sigue: en cada lugar de la palabra se pueden usar las 8 letras. Por lo tanto : 8 E< 8< (8) 7. Supongamos que tenemos un conjunto E de 8 elementos y nos preguntamos: cuntos subconjuntos de E diferentes podemos hacer y que tengan < 8 elementos? En este caso el orden no importa, solo queremos definir subconjuntos diferentes. Estas son las llamadas 8 combinaciones y su nmero vamos a denotarlo G< Este es un problema clsico con muchas aplicaciones y no resulta fcil hacer un conteo inductivo directo. Vamos a usar, en este caso el "principio de Condorito" que consiste en contar un nmero mucho mayor y dividir apropiadamente. Como se sabe, Condorito obtena el nmero de ovejas de su rebao contando sus patas y dividiendo por 4. En nuestro caso tomemos el nmero de permutaciones recortadas T<8 si a cada subconjunto de < elementos le practicamos sus 8 <x permutaciones obtenemos precisamente T<8 : G< <x T<8 Por lo 8 tanto nuestro nmero G< de conjuntos ser
8 G< 8 Observar que este nmero ya era conocido: G< 8 < 8x <x8<x

(9)

3.3

PROBLEMAS

1. Encuentre una frmula sencilla para la suma de los nmeros impares: " $ & ( * #8 " y demustrela usando el principio de induccin finita. 2. Si Ud. suma un nmero natural y su cuadrado, el nmero resultante ser siempre par?

132

3. Desde qu nmero natura 8 es vlida la desigualdad #8 8# % Conjeture una frmula para la siguiente suma y demustrela por induccin: " " " " " # ' "# #! 88" 5. Conjeture una frmula para la siguiente suma y demustrela por induccin: " " " " " 3 15 35 63 (2n-1)(2n+1) 6. Conjeture una frmula para la siguiente suma y demustrela por induccin: 8 4 2 $ $ 8% 27 9 3 1 # # 7. Demuestre que, si 8 es un nmero natural cualquiera, entonces el nmero: " $ $ 8 #8 es un entero. 8. En las siguientes progresiones definidas por recurrencia, conjeture una frmula general y demustrela por induccin: $ 8" + +8 % +8" 8 " , +8 )" 8" # $ +8" 8 " 8" 8# 8#

! -(*) +8 " 8# +8" + # !

8" 8# . +8 " #+8" +8# 8 #

* Demuestre usando el principio de induccin finita:

133

+ B8 C8 es divisible por B C , "# #$ $% 88 " - "$ #$ $$ 8$ 88" # #

88"8# $

10. Usando la induccin Ud. puede demostrar que un conjunto cualquiera de 8 nias tiene el mismo color de ojos . En efecto, para 8 " es evidente. Supongamos que es vlido para 8 nias y agreguemos una ms: 8 nias : iguales E" E# E8 E8" E" E# E8 E8" 8 nias: iguales Explique la paradoja. Ud. puede ayudarse experimentalmente mirando los ojos de varias nias de su curso. (las nias pueden resolver el mismo problema demostrando que todos los nios tienen el mismo color de ojos...) 11. Encuentre el trmino constante (independiente de B ) en el desarrollo de #B#
" ") #B

+ "" "# En el desarrollo de B B encuentre el quinto trmino y el & trmino donde aparece B . son el mismo trmino?

13. Demuestre que la suma de los coeficientes 8 5 del desarrollo del 8 8 binomio + , es igual a #
8

14. Calcular:

3" 5"

" " # 5" # 5" 3 3" 5"

15. Si se pone un grano de trigo el el primer cuadrado de un tablero de ajedrez, dos en el segundo, 4 en el tercero y as, doblando sucesivamente,

134

se llega al final Cuntos granos habr en el ltimo casillero? Cunto habr en el tablero completo? Suponga que 1 kilogramo de trigo tiene aproximadamente 40.000 granos y calcule las cantidades anteriores en toneladas. Compare con la produccin mundial de trigo. 16. Una hoja de papel-biblia ( 0.001 cm de espesor) se dobla sucesivamente por mitades 50 veces. Calcule el espesor resultante en Km 17. Tres personas se reparten una herencia de US$210.000 proporcionalmente a sus edades, que estn en progresin geomtrica. Si la del medio tiene 6 aos y la menor recibe US$30.000 Cunto recibe cada una y qu edad tienen? 18. En cierto cultivo las bacterias se duplican cada 20 minutos. Si se comienza con 1 bacteria cuntas habr despus de 2 horas? y despus de 2 dias? (suponiendo que no se mueren ) 19. Cuntos nmeros de 6 cifras se pueden formar con los dgitos 1,2,3,4,5,6,7,8, de modo que no haya cifras repetidas? Cuntos son pares? Cuntos son impares? 20. Tres viajeros llegan a una ciudad donde hay tres hoteles. De cuntas maneras se pueden alojar? Discuta las diferentes variantes. 21. Cuntas patentes de automvil pueden hacerse usando 4 letras y dos nmeros? 22. Para identificar los cerdos de una piara se acostumbra a hacer marcas en las orejas, identificando el lugar de cada marca. Cuntos cerdos se pueden identificar haciendo hasta 3 marcas en cada oreja? Cuntas marcas por oreja es preciso hacer para identificar 1000 cerdos ? 23. De cuntas maneras se pueden sentar 4 hombres y 4 mujeres en una mesa redonda de modo que haya siempre sexos alternados? 24. Hay 7 estadsticos y 4 matemticos y se desea formar un comit de 6 miembros de modo que: + haya 2 matemticos , haya al menos dos matemticos.

135

25. Se desea encerrar 3 gallos de pelea en 6 corrales diferentes De cuntas maneras se puede hacer? (no puede haber dos gallos en el mismo corral). y si hay 8 corrales y < gallos? Discuta el problema segn 8 y <

26. En un juego de Poker calcule cuntos: a) poker de ases b) poker cualquiera c) full de ases d) par de tontos se pueden formar 27. Un granjero tiene 4 verracos y 36 cerdas. De cuntas maneras puede dividir la piara en 4 grupos de 8 , 9 , 11, 12 animales de modo que haya siempre un verraco en cada uno? 28. De cuntos modos pueden abrevar 3 parejas de leones en una laguna circular de modo que nunca haya dos machos contiguos? 29. Se tienen 4 monedas de $5 , 6 de $10 y 3 de $50. De cuntas maneras puede formarse una cantidad de $50 ? 30. En un curso de 42 mechones de la PUCV se ha detectado una extraa enfermedad. Para estimar el nmero de enfermos se hace un muestreo tomando 10 alumnos al azar. Si en realidad haba solo 8 enfermos, cul es la probabilidad de que en el muestreo aparezca el 50% de enfermos?

3.4

LOS NMEROS NATURALES

Hasta ahora hemos trabajado con la idea intuitiva de los nmeros naturales. Conviene, sin embargo, presentar el modelo matemtico abstracto. Se define como sistema de nmeros naturales al tro: : = donde es un conjunto, : y = llamada funcin de sucesin, y donde se cumplen los siguientes axiomas: M : </-= MM =8 =7 8 7

136

MMM Si Q satisface: pQ B Q =B Q entonces Q El axioma MMM se llama axioma de induccin y corresponde al principio de induccin mencionado ms arriba. Este axioma hace que nuestro conjunto sea infinito y que no haya otro conjunto infinito ms pequeo. El elemento : es el primer elemento de y ser llamado 0 si lo definimos como neutro de la suma. En este caso se define: =! " La funcin de sucesin = permite definir la suma de dos nmeros naturales poniendo 8 " =8 y definiendo inductivamente la suma para los dems nmeros Si al primer elemento lo llamamos 1, entonces la suma en no tendr neutro. Histricamente los nmeros naturales han comenzado con el 1. Pero a veces es conveniente dejar atrs la historia. Es fcil demostrar que este sistema es nico salvo isomorfismo, es decir, dos sistemas de nmeros naturales se pueden poner siempre en una correspondencia biunvoca de modo que el primer elemento de uno corresponda al primer elemento del otro y que el sucesor de uno corresponda al sucesor del otro. Estos tres axiomas, llamados axiomas de Peano, describen la estructura bsica de los nmeros naturales pensados intuitivamente: deben comenzar en algn punto (axioma I ) , debe haber un sucesor adecuado para cada punto (axioma II ) y debe ser el conjunto ms pequeo con estas propiedades (axioma III) .

137