......... .... .. .......................... ....

...
lecciones
populares
....
de matemticas
..

....
...
..
.....
...
.

METO DO
DE INDUCCION
MATEMATICA

..
.

.
....

..
..

l. S. Sominski
....................................................

...

...

sn-.;1

..
.

..
..

.
Mosc

.
..
.....................................................

nonYJHIPHbIE JIEKU.HH no MATEMATtlKE

H. C. COMVIHCKVl'A

METO.U
MATEMATHl.IECKOA
HH.UYKUrU1

H3AATEJlbCTBO HAYI<.A
MOCKBA

LECCIONES POPULARES DE MATEMTICAS

l. S. SO.MINSKI

Merooo
DE INDUCCIN
MATEMATICA

Traducido del ruso por Carlos Vega,

Candidato a Doctor en ciencias
fislco-matemticas

Segunda edicin

EDlTOIUAL Mllt

MOSCO

IMPRESO l!N LA. URSS

Primera edicin 1975

Segunda edicin 1985

Traduccin al espaol. Editorial Mir. 1975

Ha ltcnaucKoM

11at.1Ke

fNDICE
.. .
Introduccin 7

1. Demostracin de identidades;
problemas aritmticos
(ejemplos 1-13, problemas J-16) 17
2. Problemas trigonomtricos
y

algebraicos (ejemplos 14-18, problemas

16-23) 30
3. Demostracin de desigualdades

(ejemplos 19-24, problemas 24- 27) 34

, 1.

4. Demostracin de algunos teoremas

del lgebra elemental (teoremas 1-7) 41

Epilogo. Yu. A. Gstev. 47

Soluciones 52

lNT~ODUCCIN

- --- -- - -

Existen proposiciones generales y particulares.

Son proposiciones generales, por ejemplo, las siguientes.
Todos los ciudadanos de la URSS tienen derecho a la
enseanza.
En todo paralelogramo las diagonales se cortan en el
punto medio de ambas.
Todos Jos nmeros que terminan en cero son divisibles
por 5.
Las proposi~iones p,articulares correspondientes son:
Petrov tiene derec.ho a la enseanza.
Las diagonales del paralerogramo ABCD se cortan en el
punto medio de ambas.
140 es divisible por 5.
El paso de las proposiciones generales a las particulares
se denomina deduccin. Veamos un ejemplo.
Todos los ciudadanos de Ja URSS tienen derecho
(1)
a la enseanza.
Petrov es ciudadano de la URSS.
(2)
Petrov tiene derecho a la enseanza.
(3)
La proposicin particular (3) ha sido deducida de la
proposicin general (1) mediante la proposicin (2).
El paso de las proposiciones particulares a las generales se denomina induccin. La induccin puede llevar a con.
el usiones justas y a conclusiones fal sas. Aclaremos esto con
dos ejemplos.
140 es divisible por 5.
(1)
Todos los nmeros que terminan
en cero son divisi bles por 5.
(2)

De la proposicin particular (1) hemos obtenido la proposicin general (2) que es justa.
140 es divisible por 5.
(J)
Todos. los nmeros de tres dgitQs
son divisibles por 5.
(2)
De .a proposicin particular (1) hemos obtenido la proposicin general (2) que es falsa:
Cmo debe emplearse la induccin en las Matemticas 11
para llegar siempre a conclusiones justas? La respuesta
viene en este 1ibro.
t. Veamos primero dos ejemplos de indu(!Cin inadml
sible en las Matemticas.
Ejemplo 1. Sea
1

Sn =).2+2.3+3.4+

+ n(n+ 1)

'

Es fcil ver que

1

S1=n=2
81

=n+273=3

8 =n+ra+a.:=-r
4

S,=i:-2+2.3+3.4 +r.g=5
Sobre Ja base de los resultados obtenjdos afirmamos que
para todo nmero natural n se tiene
Sn=n+i

Ejemplo 2. Consideremos el trinomio. x+x+41 estudiado ya por L. Euler. Tomando el cero en lugar de x,
obtenemos el nmero primo 41. Tomando ahora en este
mismo trinomio el uno en lugar de x, obtenemos de nuevo
un nmero primo, el 43. Tomando en el trinomio sucesivamente 2, 3, 4, 5, 6, 7, 8, 9 y 10 en lugar de x, obtenemos
cada vez un nmero primo (47, 53, 61, 71, 83, 97, 113,
11

Vase el epilogo (pginas 47-51).

131 y 151, respectivamente). De aqu inferimos que al su s

tituir x en el trinomio por un nmero entero no negativo

cualquiera siempre se obtiene un nmero primo como resultado.

Por qu son Inadmisibles en las Matemticas los razo
namientos empleados en estos ejemp los? De qu adolecen

los razonamientos realizados?

Ambas veces hemos enunciado una proposicin general
para tod n (para todo x, en el segundo ejemplo) basndonos slo en que esta proposicin ha resultado justa para
algunos valores de n (o de x).
la induccin se emplea ampliamente en las Matemticas, pero hay que hacerlo con entendimiento i>; la ligereza
puede co nduci a conclusiones falsas.
Asi, a unque en el eje mplo l la proposicin general
enunciada resulta casualmente justa. (como se demuestra en
el ejemplo 4), ta proposicin general del ejem plo 2 es
fa lsa.

Efectva'mente, analizando con mayor atencin el trinomio x1 +x+41, nos persuadimos de que es iguaJ a un nmero
primo para x=O, 1 2, ... , 39, pero que para x=40 este
1

trinomio vale 4 11 , o sea, un nmero compuesto >,

2. En el ejemplo 2 nos hemos encontrado con una proposicin que, siendo vlida en 4Q <;asos particulares, no lo

es en general.
'

Daremos otros ejemplos de proposiciones "justas en varios

casos particu lares, pero no en general.
Ejemplo 3. El binomio xn- t, donde n es un nmero
natural, tiene gran inters para los matemticos. Bastar
decir que est ligado estrechamente al problema geomtrico
sobre Ja divisin de la circunferencia en n parles iguales.
No tiene nada de extrao, por consiguiente, que este binomio haya s ido estud iado profundamente. En particular, los
matemticos se han interesado por la descomposicin de este
binomio en coeficientes de factores enteros.
Analizando las descompo3iciones correspondientes a varios

particulares de n, los matemticos observaron que los valores

absolutos de todos los coeficientes de estas descomposiciones
no pasan del uno. En efecto,
Vase el epilogo (pginas 47-51).
Y salta en seguida a la vista que siendo x=41 el nCtmcro
x + x+41 = 41' + 41+41 es divisible por 41.
11

21

l - 17

JO

x- l =x-1,
x' - l = (x-l) (x+ 1),
r- J= (x-1) (xs+x+ 1),
x'-1 = (x-1) (x + 1) (xt+ 1).
x-1 =(x- 1) (~+x+x'+x+ l ),
x-t =(x-1) (x+ 1) (xi + x+ l ) (x'-x+ 1),

Fueron compuestas tablas dentro de cuyos limites los

coeficientes posean esta propiedad. Pero los intentos de
demostrar este hecho para todo n fracasaron .
En 1938 apareci en la revista YcnexH r.taTCMaTH'fecKHX
HayK> (Logros de las ciencias matemticas, fascculo IV) un
pequeo ar ticulo de N. G. Chebotarlov, destacado matem
tico sov~tico, proponiendo a nuestros matemt icos estudiar
esta cuestin.
E l problema fue resuelto por V. K. lt!anov 11 Result
que esta propiedad la tienen todos los binomios xn- 1 de
grado menor que 105; pero uno de los factores <le xm- t
es el polinomio
'
x4

+ xn + x0 -x.s-x42 -2xu-x4-x81 +
+r+x3' +x'' + xu + x' + xsi_xu - xi-xu-xn-xio + x11 + xH +xu + x + xu +,xn - x' - x*-2x' - x6-x + x + x + 1

que no verifica dicha propiedad .

Ejemplo 4. Consideremos los nmeros de tipo 2i" l.

Para n =O, 1, 2, 3 y 4 IQs nmeros 2 2 l = 3, 2 2:
l = 5,
22 t = 17, 21 ' + 1= 257 y 2'' 1= 65 537 son primos.
P . de Fermat, ilustre matemtico francs del siglo XVll,
aceptaba que todos los nmeros de este tipo son pr imos. Sin
embargo, l. Euler encontr, ya en e l siglo XVII I, que

22

+ 1=4 294967 297 = 641 6 700 417

es un nmero compuesto.
11

cYcoexH

mtka~.

M&TeMatl!'lecKH X HayK (Logros de las ciencias ma le1941, fascculo IV, pginas 313-317.

11

Ejemplo 5. G. W . Leibniz, eminente matemtico alemn del siglo XVII y uno de los fundadores de las Matemticas superiores, demo.str que cualquiera que sea el entero
positivo n el nmero 11!-n es divisible por 3. el nmero
nr.-n es divisible por 5 y el nmero n'-n es divisible
por 7. De aqu supuso que para todo k impar y cualquier n
natural el nmero n1t-n es divisible por k, pero pronto
observ que 2 -2 = 510 no es divisible por 9.
Ejemplo 6. Un error del mismo carcter cometi
D. A. Grave, conocido matemtico sovitico, al suponer que
para todo primo p el nmero 21>- 1 - l no es divisible por p.
El clculo directo confirmaba esta hiptesis para todos los
nmeros p menores que mil. Sin embargo, pronto se comprob que 21m - J es divisible por 1093' (1093 es un nmero
primo); o sea. la hiptesis de Grave result errnea.
Ej~mplo 7. En cuntas partes dividen el espacio n pJa.
nos pasando todos por un mismo punto sin que pasen nunca
tres por una misma recta?
Consideremo.s algunos casos particulares elementales de
este problema. Un plan~ divide el espacio en dos partes.
Do.s planos, con un punto comn, dividen el espacio en
cuatro partes. Tres planos que pasan por un mismo punto,.
pero no tienen recta comn, dividen el espacio en ocho

partes.
A primera vista parece que, al aumentilr en uno el nmero-

de plano.s, la cantidad de partes en que queda dividido el

espacio se dupUca y, por consiguiente, cuatro plano.s lo
dividen en 16 partes, cinco lo dividen en 32 partes y, en
general, n planos dividen el espacio en 2n partes.
Pero la realidad es distinta: cuatro planos dividen el
espacio en 14 partes y cinco planos lo dividen en 22 partes.
Se puede demostrar 1 > que n planos dividen el espacio en
n (n - 1) 2 partes.
Ejemplo 8. Veamos otro ejemplo de carcter muy instructivo. Tomando en lugar de n en la expresin 9911t + 1
sucesivamente los nmeros enteros 1, 2, 3, ... jams obten
dremos el cuadrado de un nmero por muchos das o incluso
aos que dediquemos a ello. Sin embargo, seria errneo
deducir de aqu que ningn nmero de este tipe> es un
cuadrado. En efecto, entre los nmeros de Upo 991n+ l

1.1

La soluc c'5" viene en el ejemplo 13 (pgina 29).

12

tambin hay euadrados; pero ~s muy grande el valor mnimo

de n para el cual es un cuadrado el nmero 99tn 1. He

aqu este valor:

n = 12 055 735 790 331 359 447 442 538 767.
Los ejemplos considerados permiten hacer una concl.usin
sencilla y al mismo tiempo importante.
Una proposicin puede ser vlida en una serie de casos
par.ticutares y no serlo en general.
3. Ahora surge otra pregunta. Se tiene una proposicin
vlida en varios casos particulares y es imposible analizar
todos los casos. Cundo se puede afirmar que esta proposi
cin es vlida en general?
A veces la respuesta se logra aplicando un razonamiento
espedal conocido como mtodo de lnduccln matem.tica
(completa o perfecta).
Este mtodo se basa en el principio de induccin mate-

mtica que consiste en lo siguiente.

Una proposicin es vlida para todo nmero natural n
sl: 1) es vlida para n= 1 y 2) de su validez para un nmero natural cualquiera n = k se isprende su validez para

n=k+ l.

Demostracin 1>. Supongamos lo contrario, o sea, que la

proposicin no es vlida para cualquier nmero natural ti.
Entonces existe uil' nmero natural m tal que 1) para n = m
la proposicin es falsa y 2) par:a todo n menor que m la
prop,oS:icin es justa (en otras palabras, m es el primer nmero natural para el cual resulta falsa la proposicin).
Es evidente que m > 1 pues para n= 1 la proposicin
es justa (condicin 1). Por consiguiente, m-1 es un nmero natural. Pero entonces Ja proposicin es vlida para el
11 El lector puede omitir el texto que sigue hasta el punto 4 sin
perjuicio para la comprensin del matenal posterior, pues el principio
del ttmero mlnim-q.ue se menciona a continuacin y en el que se
basa la demostra'cin del prlnci pio de foduccln matemUca - no e'!
ms (ni tampoco menos) evidente que el propio principio de induc
cin matemtica, Por olra parle, un estudio ms profundo permite
ver que ambos principios son equivalentes slo si se aceptan condieio
nes complementarias. Por eso, podemos considerar el principio de
fnduccio matemtica como una hiptesis Intuitivamente muy convi ncenfe tomndola como un .axioma que determina la sucesin de los
nmeros naturales. Para mayores detalles v.ase el epr!ogo y la lite
ratura en l mencionada.

13

nmero natural m - 1 y no lo es para el nmero natural

siguiente m. Esto contradice Ja condicin 2.
Para demostrar el principio de induccin matemtica
nos hemos valido, como se ve, de que cualquier conjunto
de nmeros naturales contiene el nmero mnimo. Se puede
demostrar que esta propiedad es, a su vez, un corolario del
principio de induccin matemtica. Por lo tanto, ambas
proposiciones son equivalentes y cua lquiera de ellas se puede
tomar como un axioma que define la sucesin de los
nmeros naturales; entonces la otra ser un teorema. Suele
tomarse como axioma precisamente el principio de induccin

matemtica.

4. Toda demostracin que se basa en el principio de

induccin matemtica se denomina demostracin por induccin (por el mtodo de induccin matemtica). Tal demostracin consta necesariamente de dos partes, o sea, de la
demostracin de dos teoremas:
Teorema 1. La proposicin es ulida para n =l.
Teorema 2. La proposicin es vlida para n = k 1 si

lo es para n=k, donde k es un nmero natural arbitrario.

Si ambos teoremas han sido demostrados, podemos afir

mar, en virtud del principio de induccin matemtica, que

Ja proposicin es vlida para todo nmero natural n.
Ejemplo 9. Calclese la suma (vase el ejemplo l )
1

Sn=n+w+3.4T . + n(n+I).
Sabemos ya que
1

S 1 =2 S2 =3 S,= 4 y S~=s
Ahora no repitremos el error cometido en el ejemplo
afirmando de inmediato que para todo nmero natural n es
n

S11= n + I
Seamos prudentes y digamos que el anlisis de las sumas

Sz, Ss y s, sugiere la hiptesis de que sn = n~ 1 para

todo nmero natural n. Sabemos que la hiptesis se cumple para n = 1, 2, 3 y 4. Para comprobarla recurriremos al
mtodo de induccin matemtica .
SH

14

Teorema l. Para n = 1 la hiptesis se cumple pues

1

S1 = 2
Teorema 2. Supongamos que la hiptesis es v lida para
n = k , o sea, que
J
l
1
s.= n+2.3 + +k (k+ 1>

k+

donde k es un nmero natural. Demostremos que, entonces,

la hiptesis es vlida tambin para n = k+ l, o sea, que
k+I

s k+ l

= k -t-2.

En efecto,

s 11

+1

= s_.+(k+ 1) Ck+2>;

por consiguiente, segn la hiptesis del teorema,

k

S k+ l = k +1

kl+2k ..L.. l

k+ I

+ (k -j- l) (k + 2> = (k + 1) (k + 2> = k + 2.

Hemos demoslra<lo ambos teoremas. Ahora podemos afirbasndonos en el principio de induccin matemlica,
que

mar,

Sn =

n:.I

para todo nmero natural n.

Observacin l. Es necesario subrayar que la demostra
cin por induccin ex.ige incondicionalmente la demostracin
de ambos teoremas 1 y 2.
Hemos visto a qu conduce despreciar el teorema 2
(ejemplo 2).
Ahora mostraremos que tampoco se puede omitir el
teorema l. Veamos un ejemplo.
Ejemplo 10. Teorema. Todo nmero natural es igual al
nmero natural siguiente.
Apliquemos para Ja demostracin el mtodo de ind uccin
matemt ica . Supongamos que
k= k+ l
(1)
y demostremos que
(2)

15

En efecto, agregando l a ambos miembros de la igua ldad

( 1), obtenemos la igualdad (2). Resulta, pues, que si la
proposicin es vlida para n = k, tambin lo es para n=k+ 1.
Hemos demostrado el teorema.
Corolario. Todos los nmeros naturales son iguales.
Dnde rad ica el error? Consiste en que el primer teorema, necesario para poder aplicar el principio de induccin
matemtica, no ha sido demostrado (ni puede ser demos
trado) y slo ha sido demostrado el segundo teorema.
Cada uno de los teoremas l y 2 desempea su papel.
El teorema l crea, hablando figuralmente, la base de la
induccin. El teorema 2 permite ampliar automtica e
indefinidamente esta base pasando de un caso particular
l.
al siguiente, o sea , de n a
Si no ha sido demostrado el teorema l , pero ha sido
demostrado el teorema 2 (ejemplo 6), no se ha creado Ja
base de la induccin y no tiene sentido aplicar el teorema 2,
pues nada hay que ampliar .
Si no ha sido demostrado el teorema 2, pero ha sido
demostrado el teorema J (ejemplos 1 y 2), existe la base
de la induccin pero no tenemos derecho de ampl iarla.
Observacin 2. Hemos explicado el mtodo de induccin
matemtica en el caso ms sencilfo. En situaciones ms
complejas habr que mod ificar respectivamente los enunciados de los teoremas l y 2.
A veces, la segunda parte de la demostracin se basa
en que la proposicin es v lida no slo para n = k sino
tambin para n = k - l. En ta l caso la proposicin de la
primera parte debe comprobarse para dos valores sucesivos
de 11. Ms adelante el lector encontrar ejemplos de este
tipo (ejemp lo 7, pgina 23).
A veces. en Ja segunda parte se demuestra la proposicin para un valor de n suponindose su va lidez para
tooos Jos nmeros natura les k menores que n.
A veces, la proposicin se demuestra para todo nmero
entero n mayor que un nmero entero m (y no para
cualqu ier nmero natural). En este caso la primera parte
debe consistir en demostrar la proposic in para n= m 1
y, si es necesario, para a lgunos otros valores de n.

n.+

1>

de

/1

Por ejemplo, toda proposicin relacionada con los poUgonos

1ados tiene sentido slo para n ~ 3.

16

5. Volvamos al ejemplo 1 para dejar constancia de un

momento importante en el mtodo de induccin matemtica.
Analizando la suma
1

S,,=1.2+w+ +ncn+l)'
para distintos valores de n, hemos visto que
l

81=2

s.=3. S,=4 y S,=5

por donde hemos Jlegado a la hiptesis de que

S,,= n~ I
para todo n comprobndola despus mediante el mtodo de
induccin matemtica.
Hemos tenido la suerte de enunciar una h.iptesis que
efectivamente es justa. Si no hubisemos acertado en la
hiptesis, su falsedad quedara manifiesta al demostrar el
teorema 2.
Ejemplo 11. Consideremos las sumas

l+l+
t
1
S ,,=r:z
23
ri(n +

l)'

Supongamos que, analizando S,,, hemos llegado a la hip6

tesis de que
n+ I
811 =3n+1

(1)
l

La frmula (l) es vlida para n = t ya que S, = 2 Supongamos que es vlida para n = k, o sea, que

y tratemos de demostrar que tambin es vJida para n

= k+ l, o sea, que

17

Tenemos

S,.+1 =S,.+ (k+I) (k+2)

k+l

k+u+sk+2

= Sk+ 1+(k+1) (k+2) = (k+ 1) (k+2) (3k+ l)'

o sea, un resultado distinto al que quedamos encontrar.
Es dec1r, de la validez de la frmula (l) para tt=k
no se deduce su validez para n = k 1. Queda claro que la
frmula (1) es falsa.
Por lo tanto, el mtodo de induccin matemtica permite
determinar la ley general ensayando las hiptesis que sur
gen, rechazando la.s falsas y llegando a la justa.
Para llegar a dominar el mtodo de induccin matemtica es preciso considerar un nmero suficiente de problemas.
Para no repetir constantemente las palabras Teorema b
y cTeorema 2. convendremos en indicar por 1 y 2 la
primera y la segunda parte de Ja induccin (por su contenido, estas partes corresponden precisamente a los dos
teoremas cuya demostracin equivale a emplear el mtodo
de induccin matemtica). Adems, haremos diferencia entre ejemplos, acompaados de solucin detallada, y pro.
blemas, destinados al trabajo individual del lector. Al fi.
naJ del libro damos la solucin de todos los problemas
insertados en el texto.

DEMOSTRACIN DE IDENTIDADES;
P~OBLEMAS AR.ITMTICOS

Ejemplo 1. Consideremos los nmeros impares positivos

tomados en orden de crecimiento: t, 3, s, 7, ... Indiquemos el primero con u1 , el segundo con u,, el tercero con ua.
etc., es decir, pongamos
U 1 = 1, U 1 =3,
U 3 =5,
u,=1, ...
Plantemonos el problema siguiente: hallar la frmula que
vincula el nmero impar u,. y su indice n.
Solucin. Podemos expresar el primer nmero impar
asi:
u.l = 2 1-l;
(l)
3 - 17

18

podemos expresar el segundo nmero impar asf:

u,=2 2 -l ~

(2)

podemos expresar el tercer nmero impar as:

u,=32-1.

(3)

Analizando con atencin las igualdades (l ). (2) y (3), podemos enunciar la siguiente hiptesis: para obtener cualquier nmero impar un basta dupl car su ndice y restar 1;
es decir, para cualquier n-simo nmero impar se tiene
Un=2n-l.
(4)
Demostremos que esta frmula es justa.
1. La igualdad (l) significa que la frmula (4) es vlida para n = l.
2. Supongamos que la frmu la (4) se cumple para n=k,
o sea, que para el k-simo nmero Impar se tiene

u,.=2k-l.
Demostremos que, entonces, la frmula (4) debe ser tambin vlida para el (k+ 1)-sirno nmero impar, o sea, que
el (k+ 1)-sirno nmero impar es de la forma
U.k+ 1 =2(k+l)-l

o, lo que es lo mismo,

uk+ 1 =2k+ l.

Para obtener el (k 1)-simo nmero impar basta agregar 2 al k-simo nmero impar:

uk+i=uk+2.

Pero, por hiptesis, u.- =2k- l de modo qe

UH 1

=(2k- t)+2 = 2k+ 1

como queramos demostrar.

Respuesta. Un=2n-1.

Ejemplo 2. Calclese la suma de Jos n primeros nmeros impares.

Solucin. Tndiquemos por S,n la suma buscada:

S,. = 1+3 +5+ . . +(2n-l).

19

.
Para problemas de este tipo los matemticos

disponen
de frmulas hechas. Nos interesa resolver este problema
sin recurrir a dichas frmulas, empleando el mtodo de in
duccin matemtica. Para ello debemos elaborar la hipte
sis. o sea, adivinar la respuesta.
Con este fin, tomamos para n sucesivamente los valores
1, 2, 3, .. . hasta obtener material suficiente para poder
enunciar una hiptesis ms o menos acertada. Despus quedar slo demostrarla empleando el mtodo de induccin
matemtica.
Tenemos
S1 = 1, s.=4, S8 =9, S,= 16, Sr. c::25 y S11 =36.
Ahora todo depende del espritu de observacin, de la
capacidad de adivinar el resultado general a partir de los
particulares.
Pensamos que en nuestro caso salta a la vista que
SJ= P, s,=2', Ss=3S y s.=41
Sobre esta base podemos suponer que
Sn.=n 3
Demostremos que esta hiptesis es justa.
1. Siendo tz = 1, la suma consta de un sumando igual
a l. La expresin n tambin es igua l a 1 si n =J. O sea,
la hiptesis se cumple para n = 1.
2. Supongamos que la hiptesis es vlida para n-= k,
es decir, que- S 11 =k1 Demostremos que tambin debe ser
vlida para n = k +J. o sea, que
Su 1 =(k+ I).
En efecto,
s..... , =S11 (2k+ 1).

Pero Sk c::a k1 de modo que

s11+1 =k + (2k+ 1) = (k+ t)
como queriamos demostrar.
Respuesta. Sn =n.
Probltm8 f. Determnese u,, si se sabe que u1 e: 1 y que
U11=U11-1+3
3'

20

para todo nmero natural k >l.

Sugerencia. u1 =31-2, u 1 =32-2.
Problema 2. Hllese la suma
sn = l +2+21 +2+ . .. +2-1
Sugerencia. 8 1 =2-1, 8 1 = 21 -l, S, = 2-1.
Ejemplo 3. Demustrese que la suma de los n primeros
nmeros naturales es igual a n<nt I).
Solucin. Este problema difiere de los anteriores pues
la hiptesis viene dada y no hay que elaborarla. Slo es
necesario demostrar su validez.
Indiquemos por S0 la suma buscada:
Sn= 1+2+3+ ... +n.
0
l Para n = 1 la hf p6tesis es vlida.
20. Sea
S11:= 1+2+ 3+ . . +k =k(kiJ).

Demostremos que
S #+1 --

<~+ l) (k+2)

En efecto,
Su1 =Sk+ (k+ 1) = k (k/ 1)

+ (k + 1) = (k+ l)ik+ 2).

Hemos resuelto el problema.

Ejemplo 4. Demustrese que la suma de los cuadrados
de Jos n primeros nmeros naturales es igual a n (n + 1 ~<211 + l).
Solucin. Sea S,(n) = 11 +2+3'+ ... +n'.
l. S,(l) = l=1c1+1>~2.1+1>.

20. Supongamos que

_riCn+1)(211+1)
S ' (n) 6

Entonces
s.(n+ 1) = 11 +2+31 + ... +n'+ (n+ 1)=

= n (n+ 1) (211+ t) + (n + l)
6

21

y definitivamente
S, (n + l) = (n+ l) ((n+ 1)+ 11 {2 (n+ l)+ IJ .
6

Ejemplo 5. Demustrese que

Sn= 1-2+3-4+ . .. +(-l}n-1n=

= (- 1)11-1n(n2+1).
Solucin. l. Salta a la vista que para n = 1 la hiptesis es vlida ya que (-1)0 = l.
2. Sea
S1i= 1-21+ 3'-... + (-l)"- 1k' = (-l)A-1 k (k:l).
Demostremos que

s..., 1 =

1-21 +31 -

+<-I>"- k +{-I)"Ck+ I)=

1

e::

(-1)" (k+ 1) (k
2

+ 2)

En efecto,
S1c+ 1 =S.+(- l)" (k + 1)1 =

+ (-1)" (k+ 1) =
2
(-1)" [(k+ 1)-;] (k + 1) = (-1)" (k+ J)t >.

= ( - J)A-s k (ki l)
=:

1,

Problema 3. Demustrese que

l'+ 3+ 5
2n-l)' = n (2n-1J (2n+ 1).

+ ... + (

Problema 4. Demustrese que la suma de los cubos de

1
los n primeros nmeros natura les es Igual a
<n:Problema S. Demustrese que

(n

l+x+x+ ... +x

11

xn+l- 1

x- 1

Ejemp'o 6. Demustrese que

l 2+23+ 34+ . . . +(n-1) n =
Solucin. 1.

12=':S

>]'

(x=F l ).

(n- I); <n +I ).

22

2. Si
12 +23 +34 + .. . + (n-1) n =

(n-l)

;<n+J),

se tiene

l 2 + 23+ 34+ .. . +(n-J) n+n (n+ l) =

_ (n-l)n(n+l)+

( + l)-n(n -l-l)(n+ 2).

nn

El resultado del eJemplo 6 puede ser deducido tambl~n

de los resultados de los ejemplos 3 y 4 si nos fijamos en que

12+23 +34+ ... +(n-l)n=

= 1 (1 + l) +2(2+1)+3(3+ 1)+ ...
.. . +(n-l)[(n-1)+1]=
=[1'+2 + . . . +(n-1)) +[1+2 ... +(n - 1)] .
Problema 6. Demustrese que

l 23 +234+345+ ... +n (n + 1) (n +2) =

_ n (n+ 1) (n+2) (n+3)
-

Problema 7. Demustrese que

1
l
r:a+a.s
+ + (2n- l)l (2n+ 1)

"

2n+ 1

Problema 8. Demustrese que

1
21
13 +a.5

n tn + 1)

+ + (2n-1) (2n +o= 2(2n.+1>

Problema 9. Demustrese que

1

r.+:+7.10+

11

+ (3n-2) (Jn+l) =sn +t

Problema 10. Demustrese que

1

r:s+s.g+ 913

+ + (4n-3)(4n+l)=4n+1

Problema 11. Demustrese que

1

a"(a + 1)

(a+ l)(a+2)

+ ..
l

+ (a + n-1) (a+n) =a (a+n)

23

Ejemplo 7. Demustrese que si v0 = 2 y v1 =3 y si

tl,t+i = 3t111-2V1r-i

para todo nmero natural k, se tiene

Vn=2n+

l.

Solucin. 1. Para n =O y para n= l la proposicin

es vlida por hiptesis.

2. Supongamos que
u11 _ 1 =2.t-i + 1 y que

2+ l.

tl.t =

Entonces
V 11 -u =3 (2k+

1)-2 (21:c-l + l) =211+ 1 +l.

Problema 12. Demustrese que si

ex-~'

Ui

= ex-~

cz.3-jll

y Ua= a-~

(a =r: P)

y si
U1i

=(a+~) U1r-1-~U1r-1

para todo nmero natural k

> 2,

se tiene

cin+1_ ~11 +t

Un=

-ll

Ejemplo 8. El producto l 2 3 ... n se indica por ni

(se lee n factorial). Conviene memorizar que 11=1, 21=2 ,
31=6, 41 =24 y que 51=120.
Calclese
= l 11 +221 +33!
+nnl.

sn

+...

Solucin.

8 1 =1-11=1,

s.= i.11 +221 =5,

S8 = 111 +221 +33t =23,
S,= l 11 +221+331+4.4f = 119.
Analizando estos resultados podemos persuadirnos de que

S,=21 -1, S,=31-1, 8 1 =41-1 y S,= 51 -1 .

24

Por eso, podernos enunciar la siguiente hiptesis

Sn= (n+l)l-1.

ComprobmosJa.
1. Para n = l la hiptesis es vHda pues
S 1 = l ll =21 -1.
2. Sea

s.= 1. 11 +221 + .. . +kk' =

(k+ t) 1-1.

Demostremos que

s.+t =

1. 11 +2 -21 + ... +kkt +

+ (k+ 1) (k+ 1) 1=(k+2)1-1.

En efecto,
S Hl

= S.-,+ (k+ l)(k + l) 1=

= [(k-1- 1) 1-1) + (k + 1) (k+ 1) t =

= (k + l) 1[l + (k + 1)]-1 =

=(k+ 1) 1(k+2)-l = (k +2) 1-l.

Problema 13. Demustrese la Identidad

1

i+:c + l+x+

1+ .x'

+ l +:c' +
2n
J
2n+l
'' + 1+x =x=t + l-x'"+
1"

Ejemplo 9. Sea
a+~=m, a~=a, A 1 =m-~

m- 1
a
A, =m---a- , A, =m - ---a
m--m--1
a

m----

, etc.,

m- m-1

o sea,
Au 1 = m

(m ':/= l ; a.-+ ~)

para k > 1. Demustrese que

A _ (an+1 _pn +l) -{a" -~n)
n -{a" -~11) -{an- 1_~11- 1)

(1)

25

Solucin. J. Demostremos primero que la frmula ( 1)

es vlida para n = 2. Por hiptesis,

a
(
A.
af>
Aa=m-m-1 = a+"'>-ca+~)-1

+ af>-a-fi
a.+ fi-J

~ a2 +~a

La frmula (l) da

A _ (a 8 - , ) -'(a9 - fi")
' -

(a1-fi1)-(a-fi)

o, simplificando Ja fraccin en a-p,

A _ a.+JJ+af>-a-~
a + ~ -1

como queriamos demostrar.

2'>, Supongamos que la frmula (1) es vlida para
n = k, o sea, que
( 1)

Ak= (r;i-'+l-Jik+l)-(a"'-fi"'l
.
(a-~)-(a-1-fi-1)

Demostremos que, entonces, tambMn debe ser vlida para

n. = k J, o sea, que

k +1 -

(ak+11-f>k+s)-(aa+-f' +1)
fr.t +1-p.t-t-l)-(cx-p)

En efecto,
Ak+1 =m-A,, .

es decir,

Au 1 = (a+6) -~~

Apljcando la igualdad (2), encontramos

A
af'[a-p)-(a-1-:J-1)
.t+t

(+~)- (aA+1-~+i)-(a - ~). =

= (ak+t-JAH )- (ak+L-fiil+l)
(a+ - ~h l)-Ca"' _ ~")

como queramos demostrar.

Problema 14. Simplifquese el polinomio
(-J)n x(x--1) ... (x-n+I)
1 f..+X(.r-1)
JI

21

. --

ni

Resp~sta .

(- l),. (x - l)(x~~) ..
~- 17

(x - n).

26

Ejemplo lO Demustrese que toda suma de un nmero

entero de rublos, mayor que 7, se puede pagar ea billetes
de. 3 y de 5 rublos.
Solucin. 1. La proposicin es vlida para la suma
de. 8 rublos (;'a que 8 rublos = 3 rublos +5 rublos).
2'' Supongamos que la proposicin es vlida para una
.:;urna de k rublos, donde k es un nmero entero mayor o
igual a 8.
Se pueden presentar dos casos: l) la suma de k rublos
.'.'e puede pagar en billetes de 3 rublos y 2) para pagar
la '-Urna de k rubl os se precisa al menos un billete de 5
rublos.
En el primer caso habr no menos de t res bi lletes de
3 rublos ya que k > 8 . Para pagar la .suma de k + L rublos ba<>tar sustituir tres billetes de 3 rublos por dos billetes de 5 rublos.
En el segundo caso para pagar la suma de k+ 1 rubl os
'> U5tituirnos un billete de 5 rublos por dos billetes de 3
rublos.
Ejemplo t 1. Demustrese que la suma de los cubos de
tres nmero-:; naturales sucesivos es divisible por 9.
Solucin. 1. La suma P 23 +33 es divisible por 9,
o sea , Ja proposicin es vlida si el primero de los tres
nmeros sucesivos es el l.
2. Supongamos que la suma k 3 + (k+ 1)3+(k + 2)3 ,
donde k es un nmero natural , es divisible por 9. La
"urna
<k + 1)~ + (k + 2r + (k+J):l =
= (k + l)3 + (k + 2)3 +k3 + 9k2 + 27k+ 27 =
= [k3 +(k + l)3 + (k + 2)2) + 9(k~ + 3k +3)

tamb1~n

ser divisible por 9 pues consta de dos sumandos

divi.sibles cada uno por 9.
Problema 15. Demustrese que la suma
A,, = l ln+ 2 12~n +t.

~s

divisible por 133 cualquiera que sea el nmero entero

n~O.

Ejemplo 22. Entre los 21t nmeros 1, 2, . . . , 2n se

escogen al azar

ti+ l

nmeros. Demustrese que entre- los

27

ltimos habr al me.nos dos nmeros divisibles uno por

otro.
Solucin 11 1. Para el caso de dos nmeros 1 y 2 la
proposicin es vlida.
2. Supongamos que hemos logrado escoger
l nmeros entre los 2n nmeros l, 2, , .. , 2tt (Ji~ 2) de modo
que ninguno sea divisible por otro. Para abreviar indica.remos este conjunto de nmeros por Mn+i Demostremos
que, entonces, tambin se puede escoger n nmeros entre
los 2n-2 nmeros 1, 2, .. . , 2.n-2 de modo que ninguno
sea divisible por otro.

n+

Se pueden presentar cuatro casos:

1) M n + 1 no contiene el nmero 2n- 1 ni el nmero 2n.
2) M n+i contiene el nmero 2n-l y no contiene el
nmero 2n,
3) M 11 +J contiene el nmero 2n y no contiene el nmero
2n-I y
4) M11 + 1 contiene ambos nmeros 211-l y 2tt.
Caso l. Eliminemos de M11 ... 1 cualquier nmero. Queda.
ro n nmeros lodos no superiores a 2n-2; ninguno ser
divisible por otro.
Caso 2. E liminemos de Mn+l el nmero 2n-I. Q,uedarn n nmeros todos no superiores a 2n-2; ninguno de
estos n nmeros ser divisible por otro.
Caso 3. Eliminando de M 11 .., 1 el nmero 2n, obtenemos
el mismo resultado.

Caso 4. Observemos, ante todo, que M + 1 no contiene

el nmero n pues, de lo contrario, habra en Mn.+i dos nmer.os, 2n y n, divisible uno de ellos por el otro.
EHminemos de M,,+ 1 ambos nmeros 2n-l y 2n. Quedar un conjunto de n-1 nmeros que indicaremos con M,,_ 1
Agreguemos a Mn-t el nmero n. Obtendremos as n n
meros con la particularidad de que ninguno pasa de 2n-2.
Resta demostrar que entre estos n nmeros no hay ninguno
divisible por otro.
Como quiera que en Mn+i no haba dos nmeros divisibles uno por otro, tampoco habr nmeros de este tipo en
M"_ 1 Slo queda por demostrar que tampoco aparecen
11

11

Esta solucin ha sido propuesta por M . Fridman.

28

--------

nmeros de esta tndole al agregar el nmero n al conjunto

Mn-t

Para ello es suficiente probar que 1) ninguno de los

nmeros que componen Mn-L es divisible por n y que 2) el
nmero n no es divisible por ninguno de los nmeros que
componen Mn-L
La primera proposicin se deduce de que M,,_1 no con

tiene nmeros superiores a 2n-2.

La segunda, de que el nmero 2n no es divisible por

ninguno de los nmeros que componen Mn-i
Por consiguiente, si aceptamos que la proposicin no es
vlida en el caso de Jos. 2n nmeros 1, 2, ... , 2n, tampoco

ser vlida para los 2 (n-1) nmeros 1, 2, .... 2n-2.

O sea, si la proposicin es vlida para los 2 (n-1) nme.ros l, 2, .. . , 2n-2, tambin ser vlida para los 2n n
meros l, 2, ... , 2n.
De aqu y de 1 se infiere que nuestra proposidn es
vHda para tos 2n nmeros l, 2, ... , 2n ualquiera que
sea el nmero natural n.
Este problema admite la s.iguiente solucin sencilla.
Escojamos entre los 2n nmeros l, 2, ... , 2n un conjunto
cualquiera de n + 1 nmeros e ind iqumoslo con M 11 +,.

Dividamos todo nmero par que figura en M,H"L por una

potencia del 2 de modo que el cociente sea impar. lndi
quem()s con M,;.1 el conjunto de estos cocientes y de
todos los nmeros impares que figuran en M,.~, . El
conjunto. M~+ contiene n l nmeros impares todos menores que 2n.
.
Pero slo hay n. nmeros impares positivos menores que
2n y, por eso, en M~H habr al menos dos nmeros iguales.
Sean ambos iguales a k.
Este resultado significa que M,,+ 1 contenia dos nmeros
2"k y 2tk (uno de los nmeros so t puede ser igual a cero).
Pero uno de estos dos nmeros 21k 6 21k es divisible por
el otro.
Problema 16 1). Demustrese que n. rectas distintas tra
zadas por un mismo punto de un plano lo dividen en 2n
partes.

1) El problema 16 y el ejemplo 13 vinculados e temas geomtricos, han sido. sin embargo, incluidos en esle pargrafo porque. dl'
~ho, son de carcter aritmtico.

29

Ejemplo 13. Demustrese: n planos que pasan por un

mismo punto, sin que contengan nunca tres una recta comn,
dividen eJ espacio en An = n (n-1) 2 partes.
SoJucin. 1'>. Un pJano divide el espacio en dos partes
y, por otro lado, A,= 2 de modo que Ta proposicin se
,
cumple para n = l.
2. Supongamos que la proposicin es vlida para n = k,
o sea, que k planos dividen el espacio en k(k-1)+2
partes. Demostremos que, entonces, k 1 planos lo dividen
en k (k+ 1}+2 partes.
En efecto, sea P el (k 1)-slmo plano. Corta cada uno
de los k planos primeros segn rectas y de esta forma el
plano P queda dividido en partes mediante k rectas distintas
que pasan por un mismo punto. En virtud del resultado
del problema 16, el plano P estar dividido en 2k partes
repr.esentando cada una un ngulo plano de vrtice en el
punto dado.
Los k planos prJmeros dividen el espacio en ngulos
poliedros. Algunos de ellos son divididos por el plano P en
dos partes.
La faceta comn de dos Je estas partes es una porcin
del plano P comprendida entre dos rayos, intersecciones
de este plano y determinadas facetas del ngulo poliedro,
o sea, es uno de los 2k ngulos planos en que est dividido
el pl ano P.
De aqu se deduce que no pasa de 2k el nmero de
ngulos poliedros divididos en dos partes por el plano P.
Por otro lado, cada una de las 2k partes, en que los
k primeros primeros planos dividen P, es la faceta comn
de dos ngulos poliedrQs y, por consiguiente, divide en dos
partes el ngulo poliedro formado por los k primeros p )anos.
De aqu se deduce que no es menor que 2k el nmero
de ngulos poliedros divididos en dos partes por el plano P.
Es decir, el plano P divide en dos partes exactamente
2k porciones del espacio formadas por los k planos primeros. Luego, si k planos dividen el espacio en k (k-1) +2
partes, k+ 1 planos lo dividen en

[k (k-l)+2J+2k ' k (k+ 1)+ 2

partes. Hemos demostrado la proposicin.

30
2
PROBLE./'l\ AS TRIGONOMTRICOS
Y ALGE BRAICOS

Ejemplo l 4. Demustrese la identidad

sen 2" -r ' a;
cosa COS 2a COS 4a. . . . COS 2na = 2 n+l sen a.

Solucin. I". La identidad es v lida para n = O ya que

sen 2ci

cos

= 2 sen a

2. Suponga mos que es vlida para n = k, o sea. que

cos et cos 2a . . . cos 211a =

sen 2k+l a
.
211 + 1 sen et

Entonces, tambin es vlida para n =k + l . En efecto,

cos acos 2a

. e.os 211 a e.os 2H 1 a =

sen 2k+ 1 ex cos 2k+ 1 a
211+ 1 sen a

se.n 2.t+ 1 a
2 i- 2 sen a

Ejemplo 15. Demustrese que A,, = cos n6, si se sabe que

A1 =cos0 y A2 =cos20 y que
A11 = 2cose A 11 _ 1 -A11-,

para todo k ...., 2.

Solucin. 1. La proposicin es vlida para r1 = J y para
n = 2.
2. Sea
A 11 _ 1 = cos (k-2)0 y A11 _ 1 = cos (k- l) 0.

Entonces
A.-= 2 cose cos (k-1 ) 6-cos (k-2) e= cos k6.
Ejemplo l6 . Demustrese que

sen x +sen 2x +

11+ 1

sen-2-x
nx
sen nx =
x sen .
2
sen

... +

31

..
Solucin. 1. La proposicin es vlida para n = 1.
2. Sea

------------- ~---- -

/...L. 1

sen x -4- sen 2x +

... +

sen kx =..

sen - 2- .t
x

sen

kx

sen 2 .

Entonces
senx + sen2x + .. , +sen kx + sen(k + l)x =-

k H
kx
- --"-sen 2 +sen (k + 1) x=
sen-rx
sen

2
k+ I

sen-2-,t

"
sen
2

kx

k -f- 1

k+ t

sen 2 +2sen-2-x cos -

2- x ' '

k+ 2
f.en-rx
k+l
x sen2 -x

sen

ya que
k+ t
X
k-f-2
. kx
2 cos - 2- x sen 2 =sen - 2- x-sen 7 .

Problema 17. Demustrese que

211.-t

2 +cosx+cos2x+ ... +cos nx

sen - 2- x
:e
2 sen

Problema 18. Demustrese que

senx+2sen 2x + 3sen3x+ . . . + nsennx=

=(n+ l) sen 4nx-~11'!n!.sen (n+ 1) x

2

ProblerQa 19. Demustrese que

cosx + 2cos 2x + ... +neos nx=

(n+ l) cos ri.x-n cos (n+ J) x - 1

= ---------- ------ - -

32

Problema 20. Demustrese que

1

2 tg2+

lt

21

g21+ +rntg2ii =
l

= 2,.ctg 2,.-ctgx

(x:pmn).

Problema 21. Demustrese que

are d g 3 +are ctg 5 + .. +are clg (2n ..+ 1) =
=are tg 2 +are tg ;

+ ... +are tg n ~ 1-n are tg ! .

Ejemplo 17. Demustrese que

11

(l

+ i)" = 21 ( eos n: + i sen n; )

Solucin. 1. La proposicin es vlida para n = 1 ya

que

2. Sea

+ i) = 21 ( eos ~ +l sen k: ).
f

(l

Entonces
/t.

(1+ i)H1=2 (cos k4n

+ i sen

":) x

!..(cos -n +isen -n) =

x2 '

/t. +1

= 2 --[cos (k ~ l)n + i

sen<k+>n].

Problema 22. Demustrese que

(V3 -i) =2" ( cos 7 - ksen ~ ).

11

Ejemplo 18. Demustrese el teorema:

Si por efecto de un nmero finito de oper.aciones recio
nales (adicin , sustraccin, multiplicacin y divisin) aplicadas a los nmeros complejos x 1 , x,, . . . , x,, se obtiene
un nmero u , por efecto de estas mismas operaciones apli-

33

x,,

cadas a Jos nmeros complejos conjugados :X,, 2 , ,

se obtiene el nmero conjugado de u.
solucin. 1. Demostremos, ante todo, que la proposicin se cumple par.a cada una de las cuatro operaciones
aplicadas a dos nmeros complejos. Sean
x 1 =a+bi y x: = c+ di.
Entonces

X 1 +x1 =

(a+c)+(b+d) i=u y

xi+x, = (a-bi) +<e-di)= (a +c) -

(+d) i = .

Simllannente se demuestra la proposicin para las operaciones de sustraccin, de multiplicacin y de divisin.

2. Supongamos ahora que se ha formado una expresin
racional con los nmeros complejos Xu x,, . .. , xn. Es
sabido que para calcular esta expresin hay que realizar
sucesivamente una serie de pasos empleando en cada uno
una de las cuatro operaciones y siempre con dos nmeros
complejos, con la particularidad de que estos pasos pueden
ser numerados.
Sea, por ejemplo,
U= XXi+X~4

x1 +x1 -xa
Para cafcular u basta rea_lizar los siguientes pasos
1)

t1Xa=U1,

2) x,x,=U2,
3) x1 +x 9 = U 3 ,

4) U3-Xa=u.,
u, -l-U1=U..

5)
6)

U 1 :U, = U.

Supongamos que Ja proposicin es vida para todas

las expresiones que requieren a 1o sumo k pasos para su
clculo. La palabra paso significa aqui que se realiza la
adicin, la sustraccin, la multiplicacin o la divisin de
dos nmeros complejos. Demostremos que, entonces, la proposicin es tambin vJida para las expresiones que requie
ren k+ 1 pasog,.
En efecto, el ltimo. (k + l )-smo, paso> se realiza
con dos nmeros u, y u1 que se calculan efectuando k
cpasos a lo sumo.
Si sustituimos los nmeros x 1 , x 11 , x,. por sus con
jugados, los nmeros u y u1 se convertirn en sus conju

u,

gados
y u1 y. por eso, el resultado del (k+ 1)-s imo
paso efectuado con e:) tos ltimos, o sea, el nmero u, se
convertir en el nmero conjugado .
Problema 23. Demu<>trese que
(e.o... x: l- 1sen x)n = cos nx i sen 11x.
para todo 11 na tural.

DEMOSTRACIN DE DESIGUALDADES

Ejemplo 19. Oemu<;trese que

1

1 ..... 13

nn +11 + 2+ +2 24para tocio nmero natural n ;:. 1,

Solucin. Indiquemos por S,, e l primer miem bro de la
de,.igualdad.

12

I S~ =- = ~! y, por consiguiente, la dec;igua ldad se

cumple para ri - 2.
2. Sea Sk ,,., ~ para cierto k. Demostremos que, enton

ces,

" ->k
" H
ta m b1en

..

13

24 .

T enemos
1

S" "" m+ k + 2

+ +

l
1 = k-p+ k + 3+

2k
1

y
1

SIH
'+2k + 2k+ 1+
Comparando sk y sht-1 vemos que
<..'
Vl,!+t -

sk -'0 2k +1 I + 2k +1 2 -

1
2k+2

1
k+ I

o 'Sea,
1

S,.+,-Sk -= 2(k + 1) (2k -I- t )

El segundo miembro de la lt ima igualdad es positivo
cualquiera que sea el nmero natural k. Por eso, Sir+ 1 '> S".

Pero Stt > ~! de modo que lambien 81:+ 1 .> ;~ .

Problema 24. Hllese eJ error en el razonamiento que
sigue.

35

Proposicin. La Jesgualdad
211

,...,

'2n + 1

es vl ida para todo nmero nalural n.

Demostracin. Supongamos que la desigualdad se cumplepara 11 = k, donde k es un nmero natura 1:
2k > 2k + l.
(1)
Demostremos que, entonces, tambin se cumplir para
n=kJ_ l. o sea , que
(2l
2H 1 > 2 (k + 1) + J.
En efecto, 2k es no menor que 2 cualquiera que sea el
nmero natural k.. Agreguemos 2k al primer miembro de
Ja desigualdad ( 1) y 2 al segundo. Obtendremos la desigualdad justa
2k + 2 > 2k -- 1+ 2.
o sea,
2H 1 : 2 (k + 1) + l.
Hemos demostrado la proposicin.
Problema 25. Para qu va lore5 nalurales de n se
cumple la desigualdad
2n .> 2n + I?
Ejemplo 20. Para qu valores natura les de

11

se cumple

la desigualdad
Solucin.
Para n = 1 la desigualdad es v lida ya que 21 ' 1 ~.
Para n = 2 la desigua ldad es falsa ya que 2: = 2'
Para 11 = 3 la desigualdad es falsa ya que 23 .._, 3i.
Para n=4 Ja desigualdad es falsa ya que 2 = 4'.
Para n=5 Ja desigualdad es vlida ya que 2 > 51
Para n = 6 1a desigualdad es vlida ya que 2' > 6t.
Por lo visto, Ja desigual dad es vlida para n = l y para
todo n > 4. Demostrmoslo.
1. Para n = 5 Ja desiguald ad e& vlida .

2. Sea
( 1)

36

donde k es un nmero natural mayot que 4.

Demostremos que
(2)

Sabemos que 2k > 2k 1 para k > 4 (problema 25).

Por eso, agregando 2k al primer miembro de la desigual
dad {1) y 2k + 1 al segundo, obtenemos la desigualdad {2)
que, por consiguiente, es vlida.
Respuesta. 2n > n: para n. = 1 y para n > 4.
Ejemplo 21. Demustrese que
(I +a)"> 1 + na ,
donde a > - l. a+ O y n. es un nmero natural mayor
que l.
Solucin. 1. La desigualdad es vlida para n = Z pues
as> O.
2. Supongamos que la desigualdad se cumple para
n=k, o sea, que
( 1)
donde k es un nmero natural. Demostremos que, entonces, la desigualdad tambin se cumple para n = k + l,
o sea, que

(l+a).11+ 1 > l +(k+ 1) a.

(2)

En efecto, por hiptesis, se tiene 1 +a.> O de modo que

es vlida la desigualdad
(1 +a)Hl > (l +ka) (1 +a)
(3)
que se obtiene multiplicando por l +a. ambos miembros
de la desigualdad (J).
La desigualdad {3) se puede expresar as:
(1 +a)Hl > 1+<k+ l)a+kce'.
Desechando el sumando positivo ka 9 en el segundo miembro
de la ltima desigualdad, obtenemos la desigualdad (2) que,
por consiguiente, es vlida.
Problema 26. Demustrese que
1

Jl"")+y2

+ ... + Yn

para todo nmero natural n > J.

.~

>vn

37

Problema 27. Demustrese que

4"

(211)1

n+ l < (nl\

para todo nmero natural n > l.

Ejemplo 22. Demustrese que
2n-i (a" + b") > ta+b} 11 ,

(1)

donde a+b > O, a==b y n es un nmero natural mayor

que l.
Solucin. 1. Para n=2 Ja desigualdad (1) da
2 (a +b)

> (a+b)".

(2)

Puesto que a =F b. se cumple ta desigualdad

(a-b) >O.

(3)

Agregando (a +b) a ambos miembros de la desigualdad (3),

obtenemos la desigualdad (2) .
Con esto queda demostrado que la desigualdad (1) se

cumple para n = 2.
2. S upongamos que la desigualdad (1) se cumple para

n =k. o sea. que

2- 1 (a+bi) > (a+b)'.

(-1)

donde k es un nmero natural.

Demostremos que, entonce!, la desigualdad (1) tambin

se cumple para n =k+ l , o sea, que

2.t(aH1+fJk+1) > (a-!-b)-+-1.

(5)

MuJtipliquemos por a+b ambos miembros de la desi

gualdad (4). Puesto que, por hiptesis se tiene a + b >O,
obtendremos la siguiente desigualdad justa
2-1 (a + b"')(a+b) > (a + b)H.

(6)

Para demostrar la validez de la desigua ldad (5) basta

probar que
2" (a-'2 + bH-1) > 2-'- 1 (a-'+ b~) (a +b)
(7)
o, lo qul' es lo mismo , que
a+ 1 +b-'H

> ab+abk.

(8)

38

La desigualdad (8) equivale a la desigualdad

(a11 -f>1) (a - b) . O.

(9)

Si a~ b, tenemos ak > bk y el primer miembro de la

de<>igualdad (9) es el producto de dos nmeros posit ivos.
S a < b, tenemos a1c < bk y el primer miembro de la desigualdad (9) es el producto de dos nmeros negativos. En
ambos casos la desigualdad (9) se cumple.
Con esto queda demostrado que la validez de la desigualdad ( 1) para n = k implica su validez para n = k + 1.
Ejemplo 23. Demustrese que cua lquiera que sea x >O
y cualquiera que sea el nmero natural n se cumple la
desigualdad

x rz .,-1 X n-2

, X

Solucin. Ln.

n- J

a)

+ ... +X-=l
1 + x"-i
I + x"~flI ....__ j-

(1)

Para 11=1 la desigua ldad (1) da

(2)
La desigualdad (2) se desprende de la desigualdad evidente
(x -1 )2~0.

b) Para 11 = 2 la desiqualdad (1) da

(3)

Puesto que la desigualdad (2) se cumple para lodo x :-,. O,

subsiste al sustitu ir x por x11 , o sea,

t+ xz1 -2
~ .

Agregando 1 a ambos miembros de la ltima desigualdad,

obtenemos la desigualdad (3).
2. Supongamos que la desigualdad ti) se cumple para
11 = k, o sea, que

xk + xk-t + ... +- + xk
..!. ~k+ 1,
xll-i
1

(4 )

donde k es un nmero natural . Demostremos que. entonces, Ja desigualdad ( l ) fambien se cumple para n = k + 2,

39

-- --- - -- - -

o sea, que

Introduciendo xH 2 en la de5igualdad (2l en lugar de x ,

obtenemos
(6}

Sumando miembro por miembro la'\ deslgua lc.Jade.i:; t 4) y (6).

obtenemos la desigualdad (5).
Resumamos .
En lo~ puntos a) y b) de l" h emo~ t1emo~ lrad o la de.c;igualdad (1} para n = 1 y para n = 2.
En el punto 2 hemos demostrado que, sientlo vlida
la desigualdad (1) para rt = k, tambin lo es para 1t=k -l+2. En otras palabras, el punto2 permtepasarden=k
a n=k+2.
Los resultados de los puntos 1() a) y 2 permiten afirmar
que la desigualdad (1) se cumple para cualquier nmero
i mpar n. Similarmente, los resu Ita dos de los puntos 1b)
y 2 permiten afirmar que la desigualdad ( 1) se cumple
para cualq uier nmero par n.. En conjunto, podemos afirmar que la desigualdad (l ) se. cump le para todo nmero
nat ural n .
Ejemplo 24. Demustrese el teorema : La media geomtrica de varios nmeros positivos no pasa <le la media arit
mt ka de los mismos, es decir, siendo a1t a 2 , , a,,
unos nmeros positivos, se tiene
t l)

Solucin. 1. Para n = 2 la desigualdad ( 1) da

- ~a1 -l- ni
V 12~-2
-

(2)

Es fcil obtener esta desiguada<l a partir de esta otra

(Va1-V ir ~ o.

v lida cualesquiera que sean los nmeros positivos a1 y rr 2

La desigualdad (2) admte una interpretacin geom
trlca sencilla. Tomemos sucesivamente en una recta AB

40
- - - - - - - - - - --- -- -- -- -los segmentos al y a 1. Construyamos la circunferencia
cuyo dimetro es la suma de estos segmentos. Entonces,
1 es el radio de est circunferencia y V a 1 a 1 es a mitad de la cuerda perpe dicuJar al dimetro en el punto
comn de los segmentos a1 y a 1 (vase la figura); de aqu
se deduce la desigualdad (2).
2. Supongamos que la desigualdad (1) se cumple para
ll=k .

- ... ... - --

- - -- - ----- -----

a
- - - -rt =

Demostremos que, entonces, tambin se cumple para

2k. En efecto,

:1ya,ai .. . a,,1:= .,- Va1aa ... a,. Vaa+1 . .. a~

& Va,a 2 .. a1i+ Va+ .. a0 &
2
o,+a,+ ... ++t++ . .. +a
~

1 ,.

&

......

a,+a + .. .+a.11+ .. .+aa

1

2k

Pue:Sto que hemos demostrado ya la desigualdad (1) para

a = 2, podemos afirmar ahora que se cumple para n = 4,
8, 16, etc., o sea, para n=2s, dondL s es un nmero natural.
3. Para demostrar que la desigualdad (l) se cumple
cualquiera que sea el nmero natural n, probemos que,
si se cumple para n = k , tambin se cumple para n =k-1.

41

-i

Sean, pues,
... ,
unos nmeros positivos.
Sea A. un nmero positivo (por ahora indefinido). Entonces
~a1 +a1 + ... +a1i-+.A
Va1a2 A-1"-~ ~
k

Determinemos i.. de modo que

a1 +a~ + .

-f- D.t-1+.A_a 1+a2 + .. . + a11- 1

-

k-1

o sea, pongamos
Tenemos

+ ... +a.t- 1

a1a 3 . . a 11 _ 1 (a. + a,+ . . . + a11- 1) ~ a 1+a2

V
es decir,

k-1

k-1

k-v1 ... 11 - 1 ~+a1+

+k-l
~
k-1

Sea ahora m un nmero natural cualquiera. SI m=2.r,

la desigualdad se cumple en virtud de 2. Si m =6. 2~, deter
minemos el nmero s de modo que m sea menor que 2";
entonces, basndonos en 2 y 3, podemos afirmar que la
desigualdad se cumple para n = m.
4
DEMOSTRACIN DE ALGUNOS TEOREMAS

DEL LGEBRA ELEMENTAL

Teorema 1. El cuadrado de un polinomio es igual a la

suma de los cuadrados de sus trminos y del duplo de todos
los productos de sus trminos tomados dos a dos, o sea,
(aJ +a:a+ ... +an) 2 =a~+a:+ ... +a~+
+2(a1a 1 +a1a,+ . . . +an-ian)
(1)
1. Para n =2 la frmula (1) se demuestra mediante
el clculo directo.
2. Supongamos que la fnnula (1} es vlida para
n=k-l, o sea, que

(a +a,+ ... +at_ )=a+ la:+ ... +aL1 +28,

1

42

<!onde S es la suma de todos productos de los tnnfnos

att a,, ... ,
1 tomados dos a dos. Demostremos que
(a1 +a.+ ... +a1c-t +air)' = a~+a:+ ... +al- 1 +al+2S.,
donde S 1 es la suma de todos los productos de los trminos
u ak tomados dos a dos, o sea.
a 1,
S 1 =S+ (a1 +a,+ . . . +a.1c- 1) ak.
En efecto,
(a 1 + ... + a"_1 +ak) =((a1+ .. . +a,._ 1) +ak]'=
= (a 1 + .. . +ak _1)t + 2 (a1+ ... +aa_,) " +a1c =

--

.. ., 1a-

=af + .. .+aJ_ 1 +2s+2 (a1 + ... +a1e-1)ak+al=

=ar+a:+ ... az+2s1

Teorema 2. El trmino n-slmo de una progresin. aritmica se determitia segn la frmu la

an =a1 -j-d (n- 1),
(1)
onde a1 es el primer trmino de la progresin y d es la
razn de la misma.
1. La frmula {l ) es vlida para n =l.
2. Supongamos que la frmula (1) es vlida para n= k,
o sea, que
Entonces

aA:+ 1 =ak+d=a1 +d (k- l)+d=a, +dk

de modo que la frmula (1) tambin se cumple para
n=k+l.
Teorema 3. El trmino n-simo de una progresin. geomtrica se determina segn. la frmula

an=a,qn-1,
donde a 1 es el primer trmino de la progresin

ratn. de la misma.
1. La frmula (1) es vlida para '' = l.
2. Sea

(1)

uq

es la

Entonces
+=a,= a1q,..

Teorema 4. El nmero de permutaclones de m elementos

se determina segn la frmula
P,,,=ml.

(1)

1. Observemos, ante todo, que P1 = 1 de modo que la

frmula (1) es vlida para m = 1.
2. Sea P 11 =k l Demostremos que
Pu1 = (~+1)1.

Entre los k+ 1 elementos dados a 1 , a,, ... , ak, aH, escojamos los k primeros formando con ellos todas las permutaciones posibles. Por hiptesis, habr kl permutaciones de
este tipo.
Coloquemos en cada una de ellas el elemento aA+,
delante del primer, del segundo, ... , del k-simo y detrs
del k-simo elemento. Por esta va obtenemos a partir de
una permutacin de k elementos un total de k + 1 permutaciones de k + 1 elementos. En suma habr
kt (k

+ 1) = (k + l) t

permutaciones de k+ J alemento!ii.
Es preciso demostrar ahora que
1) entre las (k+ 1) 1 permutaciones no hay dos iguales y
2) hemos obtenido todas Jas permutaciones de k + l
elementos.
l) Supongamos que entre las (k+ 1) 1 permutaciones hay
dos iguales. Sean stas p1 y p 2 Supongamos que el ele
mento a.-+ 1 ocupa en la permutacin Pi la posicin s-sima
a partir de la izquierda. Tambin en Pa el elemento a.H 1
ocupar la posicin s-sima a partir de Ja izquierda.
Eliminemos de Pt y de p1 et elemento ak+ J Obtendremos dos permutaciones iguales, p1 y p., de k elementos.
Asi, pues, para obtener p 1 y p, hemos colocado el
elemento a1<+ 1 dos veces en la misma posici6n. y en. una misma
permutacin de los elementos a 1 , a 1 , , ak. Pero esto
contradice la regla empleada para construir las permutaciones.
2) Supongamos que no hemos obtenido una permutacin
p de k+ 1 elementos y que el elemento R+ ocupa en p

44
la posicin s-sima a partir de la izquierda. Eliminemos
de p el elemento aHt Obtendremos una permutacin pformada por los k elementos primeros. Es decir, para obtener p basta tomar la permutacin p y colocar en ella el
elemento ak-o en la posicin ssima a partir de la izquierda.
Es imposible que nos hayamos saltado la permutacin
p ya que hemos tomado todas las permutaciones de los k
elementos primeros. Es imposible que no hayamos colocado
el elemento a11+ 1 en la posicin sealada pues lo hemos
colocado en Ja primera, segunda, . .. , (k+ 1)-slma posicin a partir de la izquierda.
Por lo tanto, toas las permutaciones construidas son
distintas y no hemos perdido ninguna permutacl6n de k 1
elementos.
De lo expuesto se deduce que
Phi = (k+ l)J.

Teorema 5. El nmero de vari.aciones de m ementos

tomados n a n se determina segn la frmula
A~=m(m-1) .. . (m-n+l).

(1)

1. Observemos, ante todo, que Aln=m y, por consi

guiente, la frmula (1) es vlida para n = l.

20. Supongamos que

A~=m(m-1) (m-k+l),

donde k < m. Demostremos que

A~+=m(m -1 ) ... (m- k).

Pa ra obtener todas las variaciones de m elementos to

mados k l a k 1 basta tomar las variaciones de m e le
mentos tomados k a k y agregar al final de cada una de
ellas uno de los m-k elementos restantes. Es fcil persuadirse de que las variaciones de m elementos tomados
k 1 a k 1 obtenidos de este modo son distintos y de
que, adems, cualquier oariacin de m elementos toma.dos
k 1 a k 1 figura entre esos.
Por lo tanto,

+
+

A:t 1 =A~ (m-k) =m (m-1) ... (m-k).

45

Teorema 6. El 11mero de comhlna.ciones de m elementos

tonuulos n a n se determina segn la frmula
C" _m(m-l) ... (m-11+1)
m-

12 ... n

(1)

1. Observemos, ante todo, que CJ., = m y, por consi

guiente, la frmula (I) es vlida para n =l.
2. Supongamos que
Ck _ m (m-1) ... (m-k+ I)
m12 ... k

y demostremos que

c+i _ m (m -1) ... (m-l+ 1) (m-k)

m

1.2 . . . .. k(k+l)

Para obtener todas las comb inaciones de m elementos

tomados k 1 a k + l consideremos todas las combinacion es de m elementos tomados k a k y agreguemos a cada
una de ellas, como el (k+ 1)-simo elemento, uno de los
m-k elementos restantes.
Salta a la vista que de esta forma se obtendrn todas
Jas combinaciones de m elementos tomados k + 1 a k 1
apareciendo cada una de el las k + 1 veces.
En efecto, la combinacin L a1, , A ak+t se obtendr
al agregar el elemento i a la combinacin at, a8 , ,
a .. 1 al agregar el elemento a la combinacin a 1, a8 , , a~,
ak+ 1 , etc., y, por ltimo, al agregar el elemento a.t+ 1 a la
combinacn a1 , a2 , a11 Por lo tan lo,

Ck+i_Ck ~- m(m-1) . .. (m-k)

m m k--1 1-2 .... k(k+I)

Teorema 7. Cualesquiera que sean los nmeros a y b y

el nmero natural n tiene lugar la frmula
(a+b)n=a"+C~an-Jb+ . .
. . . +c~an-sb1 + ... +c~- 1 ab"- 1 +b" (l)
(frmula del binomio de Newton).
1. Para n= l tenemos a+b=a+b y, por consiguiente,
la formula (1) es vlida en este caso.
2. Sea
(a+b).t=a.11+c,ia.t- 1b+Clak- 2b1 + .. +b.

46

Entonces
(a +b).1:+ 1 = (a+b)fl (a+b) =

= (ak+cia11-1b+ .. +bk) (a+b) =

=au1+ (1 +Cl)aflb+(Cl+Ci) a 11- 1 b1 + .. .
.. . +cc1+c+ 1)a-.rb1+1+ . . . +bu.
Tomando en consideracin que q
(a+ b)k+ i = ak+ i q+1akb +

+ Cr1 =

C1~1.

obtenemos

+G1+ 1a- 1b+ .. . +ci~~ak-"bs+ i+ . . . t-bHJ.

EPLOGO
Yu. A. Gstev

La inducdn es el paso de lo particular a lo general

la deduccin, de lo general a lo particular. Es sabido el papel que desempea n los procesos de slntesis de obrervacio nes y experementos
aislados (o sea, la induccin) en las tiendas empiricas. En cambio,
las Matemticas siempre se han considerado como un modelo clsico
de apllcacin de mtodos puramente deductivos ya que siempre se
sobreentenda, expllcita o lmplkitamente, que todas las proposiciones
matemticas (salvo los axiomas, proposiciones de partida) se demues
tran, mientras que la~ ap licaciones concretas de estas proposiciones
se infieren de las demostraciones, vlidas en el caso general, (deduccin).
Pero leemos: cla induccin se emplea ampliamente en las Matemticas, pero hay que hacerlo con enlendimiento> (pgina 9) o cCmo
debe emplearse la Induccin en las Matemticas para llegar siempre
a conclusiones justas? ll (pgina 8). Qu significa esto? No querr
decir que entre los mtodos matemticos ex is len correctos> o infalibles (deductivos) y mtodos cpoco seguros (inductivos) que a veces,
y especialmente en manos inexpertas (o, como dice el autor, aplicados con cUgereza>), fallan? Si esto fuese as! . dnde est el criterio
de seguridad de estos mtodos cnductivon? Cmo recuperar la seguridad en el carcter irremisiblemente obligalorfo de las conclusiones matemticas? ~O se trata de una situacin sin salida y la valideJ
de los razonamit:ntos matemticos es de la misma naturaleu que la.s
sntesis experimentales de las ciencias empricas y, por lo tanto, nO'
estara de ms ccomprobar una vez ms un hecho dmostrado (como
e menudo se recomienda a los escolares que ccomprueben> las opera
clones aritmticas realizadas o la solucin de una ecuacin hallada
siguiendo una frmula general)?
La realidad es distinta. La induccin (o sea, la sugerencia de una
Idea o una hiptesis) sin duda desempea en las Matemticas un papel
importante, pero pu1amente eurlsUco; permite adialnar cul debe ser,
segn todas las apariencias, la solucin. Pero las proposiciones matemtlc08 6e demuestran siempre deductiuamente. Ningn resultado mahrntlco puede considerarse \usto. vlido, si no ha sido deducido de
las proposiciones de partida.
11 Ests forma de enfoc:ar la c!nduccin en las Matemticas e.s ya
casi tradicional en los textos escolare.s, incluso. en los ms modernos.

48
Pero, y el cmtodo de induccin matemtica? Lo que sucede
es que la cinduccin matemtica es un mtodo tductloo. Bn efecto,
consideremos con ms detalle la estructura de los raionamlentos matemticos que aparentan ser un cpaso de lo particular a lo generab.
Es fcil persuadirse de que la llamada induccin matemtica M es,
de hecho, inducct6n: es un mtodo de razonamiento puramente deduc
Uvo! La demostracin por este mtodo consta de dos partes: 1) ta
base, o sea, la demostracin (deductiva!) de la proposicin para un
nmero natural (o varios; por ejemplo, para O l; en la pagina 13
esta parle se denomina cTeorema h ) y 2) el paso inductloo (<Teorema 2>) que consiste en la demostracin (tambin deductiva} de la
proposicin general: para todo n es cierto que la validez de la proposicin para n implica su validez para n + l. El cprlnclpio de in
duccin ma temtica (pgina 12) es una proposicin precisa (cuya
evidencia intutiva es aceptada por muchos matemticos como indiscutible aunque a la hora de la exposicin axiomtica de la Aritmtica
figure como un axioma) que permite obtener, a partir de la base y
del paso inductivo, una dem<nlraci6n puramente deductiva de la
proposicin para todos los nmeros naturales n. Por consiguiente, no
queda ningun caso que no haya sido ubarcado por las hlptealS> y
al que aun debe hacerse extensiva (por Induccin) la proposicin: el
teorema precisamente se demuestra para todos los nmeros naturales:
de la base demostrada. digamos, para el nmero O) obtenemos aplicando el pa$o inductivo la demostracin para el nmero 1 y despub
de Ja misma forma para 2, 3, . . . De este modo el teorema puede ser
argumentado para cua lquier nmero natural 11.
En otras palabras, el nombre de cfnduccin matemlica se debe
simplemente a ~ue se asocia en nuestra conscfencia con los razonamientos clnductivos tradicionales (ya que la base efectivamente se
demuestra slo para un caso particular); pero el paso Inductivo. a
diferencia de los criterios, basados en la experiencia de verosimilitud
de los razonamientos lnduc:tivos de Jas ciencias naturales (y sociales),
es una proposicin general que no necesita de ninguna hlp61esls part
cular y se demuestra segn los rigurosos canones de los ratonamlentos
deductivos. Es por eso que la <induccin matemtica se denomina
tambin ccompleta> o cperfecta ya que (a diferencia de la Induccin
corriente, cimperfectu, que no garantiza el comximienlo completo) es
un mtodo deductivo (cde 100% de seguridad.t) de demostracin.
Es decir, ta ttidutxwn en tanlo que milodo de detMJtraa6n no u
emplea tn las Matemticas 21; pero esto no excluye en modo alguno,
por supuesto. la amplia aplicacin _en ellas del mtodo deductivo de
c induccl~n matemtica>.
11 Acerca de los problemas que se plantean al argumentar de esta
forma el mEtodo, vase la literatura Indicada ms adelante.
si Hemos mencionado ya de pasada el papel fecundo que desern
pea la Induccin ccorriente> (clncompleta>) en la formacin de hiptesis matemticas que conducen al descubrimiento de nuevos hechos;
de esto y de la relacin entre la induccin ccorriente y el mtodo
de induccin matemtfc.a se trata con ms detalle en e1 libro cLas
Matemticas y los razonamientos veroslmiles> de G. Polvii. volumen 1
(especialmente cap. 7).

49
Entendiendo as este trmino nos podemos, claro est, permi llr
la libertad de emplear frases como cinduccin en la Geomtrla u o
induccin en las Matemticas. Pero siempre debe tenerse presente
que la prlmer11 exrresin, hablando con rigor, tiene un sentido total
mente distinto de que tiene la expresin voluminosa (pero precisa!)
capllcacln del mtodo deductivo de induccin matemtica a la demostracin de teoremas de contenido geom6trko y que la segunda
expresin, a despecho de los criterios gramaticales, no es lo mismo
que la clnduccln matemtica>; este ltimo trmino debe comprenderae en conjunto y no como dnduccln en las Matemticas>.
El mtodo de induccin matemtica (en la forma expuesta en este
libro) es un mtodo de demostracin de teoremas aritmmcos o, ms
rigurosamente, de teoremas referentea e las propiedades generales de
Jos nmeros naturales (O, 1, 2, . , . ; e veces, como sucede en este
libro, la sucesin natural se comienza con el 1, pero esto no es una.
cuestin de principio). Y para la Aritmtica de los nmeros natura
le! este mtodo en cierto sentido (razonable y amplio) es el instrumento
univusal (y a veces {inlco) de demostracin.
Pare que esta ltima afirmacin no le parezca al lector exagerada debe tener el convencimiento de que la edificacin axiomtica
(deductiva) de la Aritmtica se base en la definicin, por induccin
maitmdf{ca, de las operaciones con los nmeros naturales (por ejemplo.
para definir la adicin se define -base de la induccin- la adicin
del 1 del O y despus -paso inductivo- la adicin de un nmero
natural cualquiera se reduce a la adicin del nmero precedente).
Por eso, es evidente qce para cllegar> a las propiedades generales de
los nlmeros naturales relacionadas, digamos, con las operaciones de
adicin o de multiplicacin debemos usar (si queremos argumentar
axlomticamente estas propiedades) la misma escalera (cuyo ceSU
lo inferior es le propiedad correspond ien le enunciada para el numero natural mfnimo) que emple.amos para ascender al concepto
general que nos interesa; hablando flguralmente, no hay otra forma
de cagarrarse a la demostracin necesaria. Y asf ocurre con la demostracin de todas las proposiciones arltnlicas. Y si esto no se ve
en el curso escolar de la Arl tmtica o del Algebre es porque ese curso
(con niucha ra~n) se basa no tanto en el mtodo axiomtico como
en el experimento y la tntu icn '). Al fin y al cabo, incluso el lector
ms meticuloso Y. crtico se conforma a menudo con saber, digamos,
que la ley distributiva de la multiplc.acln respecto a la adicin se
puede demostrar y no exige Ja demostracin misma. (Pero esta seguridad, aunque est bien fundamentada, difiere de la demostracin
autntica tanto como difie~. por ejemplo, una informacin periodls-

1> E.ste es el nombre que, para abreviar, han dado L. 1. Golo11i11

e J. M. Yaglom a su libro (Editorial MIR, 1975) concebido como
continuacin natural del libro de 1. s. Sominski.
1) Por otra parte, cuando en el curso escolar se demuestran propiedades generales de los nmeros naturales sin emplear para ello
Ja induccin, esto se debe a que se utilizan (a veces implcitamente)
como hiptesis proposiciones que, para su fundamentacin rigurosa,
precisan la induccin (de la misma forma que el empleo del poslu
lado de las paralelas en la Geometrla euctrdea se puede ccamular>
tomando en su lugar uno de sus corolarios).

50
tica de lo que sabe autnticamente el testigo; adems, esta analoga va muy lejos.) Por eso, en el curso escolar el mtodo de induccin matemtica aparece mucho ms tarde que tas propledades, Intuitivamente claras y fcilmente asimilables, de la.s operaciones
aritmticas; por ejemplo, en relacin con la frmula del binomio
de Newton de la que no puede decirse que su validez csalta a la
vis la>.
Otras ramas de las Matem ticas necesitan del mtodo de induccin matemtica en la misma medida en que emplean la base ari tmtica . Esta necesidad tiene dos aspectos. Ante todo, muchas ramas
matemticas se edifican directamente sobre la base aritmtica de los
nmeros naturales (digamos, la teora de los nmeros racionales que
conduce, a su vez, a la te.o rla de los nmeros reales); en cambio.
otras pueden ser interpretadas en trminos aritmticos (por ejemplo,
todo resultado de Ja Geometrla euclldea puede ser expresado en el
lenguajt- cde coordenadaSt de los nmeros reales). En estos casos,
las proposiciones de carcter geomtrico, digamos, se pueden demostrar mediante la induccin matemtica empleando esta Interpretacin
ari tmtic;i. Se puede decir que el carcter geomtrico o de otra tndole
de estas proposiciones no es ms substancial para la demostracin
que, por ejemplo, 111 naturaleza de los objetos en el problema relativo a la adicin de tres y cinco pepinos o de tres y cinco barcos.
(El lector podr encontrar ejemplos semejantes en este 1ibro.)
Pero sucede tambin que la base de la induccin se demuestra
por mtodos esencialmente no aritmticos l), Sin embargo, tambin
en este caso representa el paso inductivo (aun cuando se base en
axiomas geomtricos u otros) una proposicin general sobre los ntl
meros naturales puesto que se trata de la validez de una propiedad
para todo nmero natural n 2).
Es decir, la induccin matemtica segn los nmeros naturales
es un mtodo de demostracin de teoremas aritmticos cpor su formu, pero quiz geomtricos o de cualquier otra lndole (mecnicos,
por ejemplo) por su contenido.
Sealemo..~ tambin que el mtodo. tan fruct!fero en las demostra
clones que siguen el proceso de construccin de la sucesin natural
O, 1, 2, ... , puede ser extendido tambin a procesos de ndole muy
distinta. Por ejemplo, en los clculos de la Lgica matemtica que
operan con frmulas (proposic.ione.s>) obtenidas de frmulas elernentaleS> (proposiciones elementaleS>) de tipo A. B. C, . . mediante,
digamos, los signos & (cy>). V (O), ;:) (si ... , entonces ... >) y l
{cno), las propiedades generales de las frmulas se demuestran em
picando la llamada induccin por cxms/ruccin: se demuestra que l ) esta
propiedad es vlida para cualquier frmula elemental (base) y que
2) si esta propiedad es vlida para las frmulas X e Y, tambin lo
e~ para las frmulas (X & Y). (X v Y), (X ;:)_Y) y 1 X (paso inductivo); de aqu se deduce que la proposicin sonsiderada es vlida para
todas las frmulas de este tipo. La analogia que .aqu se observa con
1 ) V~ase, por ejemplo, el libro ya mencionado f l nduccln en
Ja Geometra> de L. l. GolOfJitt e / . M. Yaglom.
') Es decir, el propio paso cde n a n+ h se demuestra p3ra t<><lo
nmero natura I 11.

51
la induccn matemtica expuesta en este libro es tan palpable que
salta a la vista incluso de un lector inexperto.
En general, toda construccin matemtica (o lgica) consis
tente en el paso de uno o varios objetos iniciales a objetos nuevos
mediante una o varias operaciones de paso, puede ser considerada
como el fundamento del mtodo correspond iente cinductivo> (que,
como hemos visto, es puramente deductivo) de definicin o de de
mostracin. (A prop.ii to, e l papel relativamente supeditado que
desempea la Induccin matemtica en el Anlisis matemtico se
debe precisamente a que los numeros reales, a diferencia de los na
turales, no son resultado de una construccin neta que se desarro lla
segn esta forma, de modo que distintas inducciones segn los
nmeros realest estn muy lejos de tener el carcter universal que
tiene la induccin matemtica en la Aritmtica y su modificacin
en la Lgica matemtica.)
En cuan to a las preguntas de carcter general matemtico o lgico que puedan surgirle al lector, lo remitimos a la literatura espe
ci~ 1 ). En cambio. el presente libro sirve muy bien para dar a co
nocer las aplicaciones ccncreJas del mtodo de induccion matematica
elemental.
1) Vase, por ejemplo, Jl. TeHKux, O MaTeMaTHqecKoA HHAYKURH,
M., lf>HsMaTrRa, 1962 (L. Guenkin , Sobre la induccin matemtica);
H . B. ApHOAw, TeopeTH'lecKae apH<j>MeTHKa, M., Y'ilIC.llrHS, 1939
(/. V. Arnold, Aritmtica terica); S. C. Klune. lntroduction to
metamathematics, Amsterdam, New York and Toronto, 1952
(S. C. K.leene, Introduccin a las Metamatemticas, 7, 13, 21, 3S
y otros); ~MaTeM3TH'leCKaff HHAYKUHll> 4>ttnocO<j>cKaJI '.:IHltHKJJOne,ll.Hll,
M., 1964, T. 3 (clnduccin matem tica:., Enciclopedia filosfica, v. 3).

SOLUCIONES 1)

l . Hiptesis

Un=3n-2.

t. La hiptesis es vlida para n =l.

29. Sea
Entonces

U,H=U.t + 3=3k-2+ 3=3(k + 1)-2,

2. Hlptesis

Sn=2"-1.
t, La hiptesis e:; vl ida para n= l.
29. Sea
Entonc~s

S,t+i =S.t+2=2.t +1 -1 .

(Podlamos tambin formor direclomen le lo diferencia 2S,.-S,.

mO!trar que es Igual a 2" - 1.)
S. t . La proposicin es vlida para n =l.
21 Sea

Entonces
1' +3 + ..

+(2k-1) +(2k+ I)'= k (21\>- I~ (2k+ t) +(2k+ l)'=

2

(k + 1) (2k+ 1) (2k + 3)

3
1) Slo ndicamos Jos n meros de los problemas. La solucin de
los t]tmplos se da en el texto.

53
4.

t. La proposicin es vlida para n= 1,

29.Su

is +2'+ .. .

+k= [k (k2+

J'

Entonces
1~+2+

... +k+(k+l)=
=k'(k +1)' +<k+l)8= [<k+l~(k+2'r
4

. 1. La proposicin es vlida para n = 1.

2 . ~ea

+x+.:r + .. .+x = ,rk'tl-1

x- 1
i

fl

6, 1. La proposicin es vllda para n =l.

2. Sea

J .2-. 3+234-1- ... + k (k+ 1) (k+2)

k (k + I) (k+2) (k+3)
4

Entonces

7. 1. La proposicin es vlida para n =l.

2'. Sea

J:3

+3 .51 + i-(2k-1)
.
1
(2k-I- 1)

k
,2k+ 1 '

Entonces

8. 1. La proposicin es vlida para n = 1.

2'. Sea

,,
2'
k2
:a+3. 5+ + (2k-1)(2k+l)

k(k+l)
2(2k+l).

Entonces
s
21

k'

(k+ 1)2

r:a+a.s++ (2k-1)(2k + 1>+(2k+1> (2k+ 3)

k (k+ 1)
(k + 1) 3
2(2k+ l)+(2k + 1) (2k+3)
-Ck+ t)k(2k-t-3)+2(k + l )=
2(2k+1) (2k+3)
(k + t) (2k'-l-5k -l-2) (k + I)(2k + l)(k +2)
2(211 + 1)(2k + 3)
2(2k+1)(2k +3)
(k+l)(k+2)
2 (2k +3)
9. ) . La proposicin es vlida para n = 1.

2. Sea

n+.f.7+ .. + cak-2) (3k+>=ak+ 1

Entonces
l
l
1
1
4.7+ .. +(3k -2) (3k + 1)+(3k+ 1) (3k+4) k
l
k+ I
=ak+1 +cak+ I) (3k+4> ak+4
10. 111 La proposicin es vlida para n =l.
2". Sea
1
J
1
k
+(4k-3) (4k+ 1) o+ 1
Entonces
1
J
J
1
r:s+s:g+ ... +(4k-3) (4k + 1)+(4k-l-1) (4k + 5)k
l
k+ 1
=4k+t+(4k-!- 1) (4k+s)=4k+S.
J l. 1. La proposicin es vlida para n = l.

-:-:+

r:s+s.9+

2. Sea
1
1
a(a -i- l)+(a+ t)(a+2)
Entonces
1
1
a(a+ 1)+ (a+I)(a-1-2)+

+... 1 (a+k-l)(a+ k)

ft

a(a + k).

.+ (o+k-1) (a + k) +(a-1-k) (a + k+ 1) =
k

'

a-(.,...a_
+ . . .,k)1 (a+k) (a+k+ 1)-

55

- - - - --..- - -- -- -- - - - -- 12. 1. La proposicin es v lida para n = 1 y para

2. Sean
et-~

= 2.

alt-fik

a1t-1_ ~k- 1
UJt -2

/1

U1t - 1=

cx-jj ,

13. 1. Siendo n = O, tenemos

1
1
2
l + x = x - J + 1-xs'

o sea, la proposicin es vlida.

2~. Sea
1

1 +.t

2k

+ 1 +x + 1+ x4 + + 1 +xi 1

2 +1

=--+---x- 1 l-xt +1
Entonces
1
2

l + x 1 i + x

2k

2k+I

+ l+r +... + l +x'+ 1 +x~11 + 1

1
2+ 1
2+ l
= x - 1+ l - x2H1 + 1+ xiH 1

J
20
= -x --1 +-1--x-,-k+-~
14. Para n= 1 tenemos
1-

x- 1

x- J

x(x-1)

11=-- ,- .

Para n=2 lenemos

I _.!_+X (X-1)

11

21

- --+

(..r-l)(x-2)
21

Para n=3 tenemos

1

_.!..+ x (x- 1) _
11

21

x (.l-1) (.l- 2)
31
(x-1)2(x- 2) _x_
(x_1)6_(x-2)
__ _

=-

(x-1) (x-2) (x- 3)

31

66
Esto sugiere la hiptesis

-..!.+x (x-1) _
JI

21

...

+<- l)nx (x-1).. ..ni(x-n+l)

=(- t)n (x-1) (x-2)., .(x-11) .
ni

l. La hi ptesis es vlida para n=I.

2. Sea
-.!....+x(x - 1)
..

11

21

+(-l)kx(x-1) ... (x-k+l)

kl

..

=(- J)'t (x-1) (x-:i> .. (x-k).

Entonces

.J-~+x(x-1)
11

21

... +(- l)k (x-1) (x-2kj . . (.x-k+ l)+

... ,(x-k)
+(-J)k+ l x(x-1)(k +l)I
=
=(- J)k (X -1) (X~~) (x-k) +

+<-

l)k+l x (x-J) . . . (x-k)

(k+ 1)1
=(- J)k+ 1 (.t-1)(.r-2) ... (x-k)
kl
k+ 1
l)-'+l (x -1) (x -2) . .. (x-k)(x-k-1)
(k+ l)I
.

(--x--l]=

- (-

t5. 1. La proposicin es vlida para n=O.

2. Supongamos que la proposicin es v lida para n = k,
-o sea, que
Ak= l lk+v + 12u+1
~s

divisible por 133. Entonces

AA+i "" JJ.t+a+ 121 tll+l)+ l = J t.t+a+ 12iAH=
= 11. t k+ 144 121 4+ 1 =
= 11 .
133. 12111+i + 11 . 120+1=
= J) (l Jk+t+ 121k+l)+ IJ.1 (2Sk+l=
= 1lA.t + 133.12111+1.
Hemos representado A.t+i como la suma de dos trminos divisibles
cada uno por 133. Luego, Au 1 es divisible por 133.
18. l. Salta a la vista que la proposicin es vlida para n= l.
2. Supongamos que la proposicin es vlida para n = k , o sea,
que k rectas dividen el plano en 2k ngulos; la recta (k+ 1)-.sima
-divide en dos partes dos ngulos verticales a la vez, es decir, aumenta

u.t++

57
en 2 el nmero de partes en que est dividido el plano. Por eso,
k+I redas dividen el plano en 2k+2=2(k+l) partes.
17. 1. l.a proposicin es vlida para n== 1 ya que

sen 3x
2
--2 sen ;

sen

x+(sen 3x
x)
2 -sen2

1
2 +cos x.

2 ~en 2

2. Sea
1

2k+t
sen-- x
2
+cosx+cos2x+ ... +coskx= - - - 2 seo ~

Entonces

2+cosx+cos 2x+ .. . +cos kx+cos (k+ .1) x=

2k +
I
sen-x
2
----+cos (k-1- l)x=
2sen X

2k+I

sen~x+2sen

2sen

2X cos (k+J) x
X

2k+ I x)
z-x+ ( sen 2k+3
- -x-sen---2

sen 2k+I

2 sen~

3
sen 2k
__:r:_x
1

2sen

18. 1. La proposicin es vlida para n = 1 ya que

2senx-sen2x

2senx(l-cosx)

4 sen1 !...

4sen !...

sen x.

2. Sea

sen x+2 sen 2x+ .. . +k sen kx=

(k+ 1) sen kx-ksen (k+ l)x
4 sen!...
2

58
Entonces
sen .x+2 sen 2x+ ... +k sen 1'x+(+ 1) sen (k + 1) x=
(k+ 1) sen kx-ksen (k+ l) x +<l+ I) sen(~ +l)J:=
4sen 2 -=2
(k+ 1) sen kx-k sen (k + l) x +2 (k +1) sen (k+ 1) x (1- cos x)
4 sen1 -=2

(k+ 2) sen (k + 1)

x+(k + 1) seo kx

='---'----=-~......:........:._...:__....:._:__:----=-~~

4 sen1

!.

2
2(k+ 1) cos x sen (k + 1) x

4sen' !._

2
(k +2) sen (k + l )x + (k + 1) sen

u_

.\:
4sen1 -

(k + 1) [sen (k+2) x+sen kxJ

4sen'

.=_
2

(k+2) sen (k + l)x-(k+ 1) sen (k + 2) x.

4sen~
2

19. 1. La proposicin es vlida para n = 1 ya que

2 cosx- cos 2x-1

4sen
2.

2 cos x - 2 cos1 x

C05 X (

4sen~
2

!.
2

J-

COS X)

2sen ~

cosx.

~a

cos l:+2 cos 2x+ ... -1- k cos kx= (k + 1) cos kx-k cos (k + 1) x - 1

4sen -=2

Entonces

cos .t+ 2 eos 2x+ ... + k cos h +(k + 1) cos (k + 1) x=

(k + I) cos k.t-k c~s' (k+ l)x-1 +Ck-1- I) cos (k+ l) r=
4 sen 1

= (k+ 1) cos kx - k cos

4sens ~
2

(I~+ 1) x-1

59
+ 2 (k+ 1) cos (k+ l) x (1 - cosx)

4sen'~
2

(k+2) cos {k

+ 1) x+ (k-1- 1) cos kx
4 sen~.!.
2

2(k+1) cosxcos (k+ 1) x+I

4sen=~

2
{k+2) cos (k+ 1) x+(k+ 1) oos ltx
4 sen'~
2

(k + 1) [cos (k+2) x+ cos bJ + l

=i

4 sen1 .!.
2

(k+2) cos (k+ l)x - (k+ l) cos (k+2) x-1

4 sen 2 ~
2

20. 1. La proposicin es vlida para n= l ya que

X

1
Jt
1
X
l - tgl 2
- clg --ctg x =-ctg - -

tg 2
2 tg ;

2 tg ;

l
X
- t -
2
2

2. Sea

tg 2

%
1
X
+211 tg2i"X +...+ 2kl tg F=2i"ctg
21'"-ct .c.

Entonces
J

2 tg 2+2'i'tg
1

z-+ ... +2i'tg2+2.t+1tg2+1=

{

= Fctg ~ctg x+ z+i tg 2 + L =

ctgx=

21. 1. Tenemos
tg (are tg 2-arc tg 1)

2-1
1+ 2 1

60
Por eso,
are tg 2-arc tg J =are tg

3 =arc ctg 3,

o sea, la proposicin es vlida para 11 = L

2. Mostremos, ante todo, que
are ctg (2k+ 3)=arc tg

k+2
k+ 1-;irc tg l.

(1)

En efecto

tg ( arctg

!t~

are tg

1)

k+2_J
k+l

o se_a ,
l

'

k+ 2

are .t g 2k + 3=arcctg (2k ,-3)= are tg k+ -are tg l.

Supongamos que la proposicin es vlida para n=k. es decir, que
arcctg3+arcctg5+ ... +arcctg (2k+ 1) =
3
k+l
=~re tg 2 +are tg
+are tg -k--k are tg 1.
(2)

2 +.,.

Demostremos que. entonces, tambin es vlida para n

o sea, que
arcctg 3+arc ctg 5 + .. +are ctg (2k+ l)+are ctg (2k+3) =

= k+ l t

=arctg2+arctg

2 + . ..

. . +are tg

:ti -(k+

1) are tg l.

(3)

En efecto, sumando miembro por miembro las igualdades (l) y (2).

obtenemos la Igualdad (3).
22. l 0 La proposicin es vlida para n = 1 ya que

'V3-=2(cos ~-iseni)
2. Sea

(}"3- r).t=2k ( eos k:-i sen k

:i ).

61

23. 1. La proposicin es vlida para n= l.

2. Sea
(cos x+i senx)k= '-'OS kx+i sen /u:.
Entonces
(cos ~+i sen x)k+ 1 = ( cos kx+I sen kx) (cos x+i sen .x) =
== (cos lu: cos .x-sen kx sen x) +
+i (cos /u: senx+sen /u: cos x) =
=cos (k+ l)x+i sen (k+ 1) x.
24. Es errnea la ltima frase: "Hemos demostrado la proposicin".
En verdad, hemos demostrado slo que la desigua ldad

2n>2n.+ l

es vlida para n = k + 1 si lo es para n = k, donde k es un nmero

natural cualquiera.
De aqul no se deduce todava que la desigualdad se cumple al
mimos para un valor de n y, con ms razn, para un nmero natural
n cualqufera.

En una palabra, el error consiste en que hemos demostrado slo

teorema 2 y no hemos considerado el teorema 1, o sea no hemos
creado la base para la induccin.
.
25, Salta a la vista que 3 es el menor nmero natural n para
el cual se cumple la desigualdad 2n > 211 1.
Puesto que la validez de esta desigualdad para n=k. implica su
valide% para n = k+ 1 (problema 24), podemos afirmar que la desi
ualdad se cumple para cual quier nmero natural n ~ 3.
26. I. La desigualdad se cumple para n=2 ya qut>
~I

VI

+ Y21

+ V2J T

.r-

> ,.
L

... -,

2.

Vi

,r-k.

> ,. .

(I)

Oemostremos que
1
1
1
l
YT + y2 + ... +y+ Yk-FT >

Pr& todo

k~O

vm.

(2)

se cumple la desigualdad

~ >

vm-n.

En efecto, la desigualdad (3) equivale a esla olra

I+

Vk~I > l

(3)

62
que se obtiene multiplicando ambos miembros de (3) por Yi+ l Yk
Sumando miembro por miembro las desigualdades (1) y (3), obtenemos la desigualdad (2).
27. l. Pera n=2 Ja desigualdad da ~ < 6 y, por consiguiente.

" cumple.
2". Sea
4k

k+ 1 <

(2k)l
(kll1

donde k ~ 2. Es fcil comprobar que

(k + 1) (2k+ 1) (2k+ 2)
k+2 <
(k+ J)S
'
para

> O.

Por eso,
4~
4(k+ 1)
1+1. k+2

<

(2k)I
(kl) 11

(2k+1)(2k+2)
(k+ l)'

o sea,
4k+1

k+2

(2k+2)1

< l(k+ 1)1] 2

A nuestros leotores:
"MIR" edita libros soviticos traducidos al espaol,
ingls, fraocs y rabe. Entre ellos figuran las mejores obras
de las distintas ramas de la ciencia y la tcnica; manuales

para los centros de enseanza superior y escuelas tecnolgicas; literatura sobre ciencias natura les y mdicas. Tambin
se incluyen monografas, libros de divulgacin cientfica y
ciencia ficcin.
Dirijan sus opiniones a Editorial MIR, J Rizhsk i per. 2,

129820 Mosc GSP, 1-IJO, URSS.

MIR PUBLICA :

Liusttnik L.
LI NEAS MS CORTAS
El clcu lo de variaciones es una de
las ramas de las Matemticas modernas ms ampliamente desanollada
y con numerosas aplicaciones en las
ciencias naturales y la tcnica . Trata
las magnitudes que dependen de curvas y busca aquellas que expresan
el valor mnimo o mximo de estas
magnitudes. Sus orgenes se rematan
al tiempo en que Galileo plante el
famoso problema sobre la braquistocrona; esta ltima 011 In curv11 que une
dos puntos dados y por la cual desciende, en tiempo mmimo, un punto
material. Galileo pensaba equivocadamente qne se trataba del arco de
una circunferencia. Ms tarde, Berno\tlli demostr que dicha curva es
Hn Arce) rle cicloide y, con Euler y
Lagr11nqe, sent las bases del clculo
de variaciones que, desde entonces,
comr.nz a desarrollarse intensamente,
encontrando c,ada vez mayores npli-

c11ciones.

lecciones populares
de matemticas

::

tl. \ Gudf1>1 1d

\ 1ul1 w .. ni ar.t;mat1co en

ck

d t..\ITI po

f1.111l1on e i. r<l C'll) n...i k"

J (' (j

S h d (H

..lt: \

............................................... :

Edltorlal MIR

Mosc