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:

100

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:

101

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

102

(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

103

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

104

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

105

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:

106

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:

B" #

107

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"

108

55"
#

C8 # 8 "
# 8 "

8"

"
#

5 5 #

5"

" 88"
#
#

8"

"
#

5#

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 $

5# $

5"

5 " , de donde, despejando la suma de

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

109

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
"
"
"
1. Consideremos la suma: "# + #$
$%
88"
habr alguna formula general sencilla para ella? Hagamos nuestra fase
inductiva calculando los primeros casos:
"
"
# #
"
"
$"
#
# + #$ #$ $
"
"
"
#
# + #$ $% $

110

"
"#

$
%

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 "#
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 "#

111

88"
#

8 "# 8 " 8# 8 "

8"8#
#

lo que demuestra la conjetura.

Utilizando la abreviatura de las sumatorias, el resultado anterior se puede
escribir:
8

"5" 5 # "8"

5"

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

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

visto:

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

5"

5"

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
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:

112

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:
+"<8
"<

W8

(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!

85 +85 , 5

(4)

se conoce en la literatura como Teorema del Binomio. Aqu hay que

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

n-factorial . Por razones prcticas se extiende al 0 esta definicin : 0! "

8x
85 5x85x
Vamos a demostrar (4) usando el principio de induccin finita. Pero antes
necesitamos hacer un clculo algebraico sencillo pero muy til:

113

8
85 5"

8"
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

85 +85 , 5 + ,

85 +85" , 5
5!

8! +8"
5!

8"

5!

85
5"
8

85 +85 , 5"

8 8"5 5
5"
+
, 88 , 8"
5!

8"
+8"5 ,5
5

que es la frmula para 8 "

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
diferentes se pueden hacer con 8 objetos? Llamaremos T88 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:
T88 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

114

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)

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
palabras diferentes se pueden hacer? Llamemos E<8 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 :
E<8 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
combinaciones y su nmero vamos a denotarlo G<8 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
<x permutaciones obtenemos precisamente T<8 . Por lo tanto nuestro
nmero G<8 de conjuntos ser T<8 dividido por <x o sea
G<8

8x
<x8<x

Observar que este nmero ya era conocido: G<8 8<

115

(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?
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 "

116

!
- +8 "
8#
+8" +
#
!

8"
8#
8#

8"
8#
. +8 "
#+8" +8# 8 #
* Demuestre usando el principio de induccin finita:
+ B8 C8 es divisible por B C
, "# #$ $% 88 "

88"8#
$

- "$ #$ $$ 8$ 88"
#
#
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?

117

13. Demuestre que la suma de los coeficientes 85 del desarrollo del

binomio + ,8 es igual a #8
8

14. Calcular:

"
"
# 5"
# 5"

3" 5"

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,
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 ?

118

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.
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 ?

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

: </-=

119

MM =8 =7 8 7
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) .

120