Академический Документы
Профессиональный Документы
Культура Документы
...
lecciones
populares
....
de matemticas
..
....
...
..
.....
...
.
METO DO
DE INDUCCION
MATEMATICA
..
.
.
....
..
..
l. S. Sominski
....................................................
...
...
sn-.;1
..
.
..
..
.
Mosc
.
..
.....................................................
H. C. COMVIHCKVl'A
METO.U
MATEMATHl.IECKOA
HH.UYKUrU1
H3AATEJlbCTBO HAYI<.A
MOCKBA
Merooo
DE INDUCCIN
MATEMATICA
Segunda edicin
EDlTOIUAL Mllt
MOSCO
Ha ltcnaucKoM
11at.1Ke
fNDICE
.. .
Introduccin 7
1. Demostracin de identidades;
problemas aritmticos
(ejemplos 1-13, problemas J-16) 17
2. Problemas trigonomtricos
y
lNT~ODUCCIN
- --- -- - -
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)
'
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
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
es en general.
'
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),
+ 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
22
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-
1.1
12
n=k+ l.
13
matemtica.
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
14
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+
s k+ l
= k -t-2.
En efecto,
s 11
+1
= s_.+(k+ 1) Ck+2>;
S k+ l = k +1
kl+2k ..L.. l
k+ I
Hemos demoslra<lo ambos teoremas. Ahora podemos afirbasndonos en el principio de induccin matemlica,
que
mar,
Sn =
n:.I
15
n.+
1>
de
/1
16
S,,=1.2+w+ +ncn+l)'
para distintos valores de n, hemos visto que
l
81=2
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)'
(1)
l
La frmula (l) es vlida para n = t ya que S, = 2 Supongamos que es vlida para n = k, o sea, que
17
Tenemos
k+l
k+u+sk+2
DEMOSTRACIN DE IDENTIDADES;
P~OBLEMAS AR.ITMTICOS
18
(2)
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.
Respuesta. Un=2n-1.
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).
20
Demostremos que
S #+1 --
<~+ l) (k+2)
En efecto,
Su1 =Sk+ (k+ 1) = k (k/ 1)
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
= (- 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 -
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,
+ ... + (
(n
l+x+x+ ... +x
11
xn+l- 1
x- 1
12=':S
>]'
(x=F l ).
22
2. Si
12 +23 +34 + .. . + (n-1) n =
(n-l)
;<n+J),
se tiene
nn
"
2n+ 1
n tn + 1)
r.+:+7.10+
11
r:s+s.g+ 913
+ + (4n-3)(4n+l)=4n+1
a"(a + 1)
(a+ l)(a+2)
+ ..
l
23
l.
2+ l.
tl.t =
Entonces
V 11 -u =3 (2k+
Ui
= ex-~
cz.3-jll
y Ua= a-~
(a =r: P)
y si
U1i
=(a+~) U1r-1-~U1r-1
> 2,
se tiene
cin+1_ ~11 +t
Un=
-ll
sn
+...
Solucin.
8 1 =1-11=1,
24
ComprobmosJa.
1. Para n = l la hiptesis es vHda pues
S 1 = l ll =21 -1.
2. Sea
(k+ t) 1-1.
Demostremos que
s.+t =
En efecto,
S Hl
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.-+ ~)
(1)
25
+ af>-a-fi
a.+ fi-J
~ a2 +~a
La frmula (l) da
A _ (a 8 - , ) -'(a9 - fi")
' -
(a1-fi1)-(a-fi)
Ak= (r;i-'+l-Jik+l)-(a"'-fi"'l
.
(a-~)-(a-1-fi-1)
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) -~~
= (ak+t-JAH )- (ak+L-fiil+l)
(a+ - ~h l)-Ca"' _ ~")
21
. --
ni
Resp~sta .
(- l),. (x - l)(x~~) ..
~- 17
(x - n).
26
tamb1~n
~s
n~O.
escogen al azar
ti+ l
27
n+
11
28
--------
Mn-t
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
30
2
PROBLE./'l\ AS TRIGONOMTRICOS
Y ALGE BRAICOS
cos
= 2 sen a
sen 2k+l a
.
211 + 1 sen et
cos acos 2a
se.n 2.t+ 1 a
2 i- 2 sen a
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 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
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 .
sen - 2- x
:e
2 sen
= ---------- ------ - -
32
2 tg2+
lt
21
g21+ +rntg2ii =
l
= 2,.ctg 2,.-ctgx
(x:pmn).
(l
2. Sea
+ i) = 21 ( eos ~ +l sen k: ).
f
(l
Entonces
/t.
+ i sen
":) x
x2 '
/t. +1
= 2 --[cos (k ~ l)n + i
sen<k+>n].
33
x,,
X 1 +x1 =
(a+c)+(b+d) i=u y
(+d) i = .
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.
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
1 ..... 13
12
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
35
Proposicin. La Jesgualdad
211
,...,
'2n + 1
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
(2)
Jl"")+y2
+ ... + Yn
.~
>vn
37
(211)1
n+ l < (nl\
(1)
> (a+b)".
(2)
(a-b) >O.
(3)
cumple para n = 2.
2. S upongamos que la desigualdad (1) se cumple para
(-1)
(5)
(6)
> ab+abk.
(8)
38
(9)
x rz .,-1 X n-2
, X
Solucin. Ln.
n- J
a)
+ ... +X-=l
1 + x"-i
I + x"~flI ....__ j-
(1)
(2)
La desigualdad (2) se desprende de la desigualdad evidente
(x -1 )2~0.
t+ xz1 -2
~ .
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
(2)
(Va1-V ir ~ o.
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 =
1 ,.
&
......
2k
41
-i
Sean, pues,
... ,
unos nmeros positivos.
Sea A. un nmero positivo (por ahora indefinido). Entonces
~a1 +a1 + ... +a1i-+.A
Va1a2 A-1"-~ ~
k
k-1
o sea, pongamos
Tenemos
+ ... +a.t- 1
V
es decir,
k-1
k-1
42
--
.. ., 1a-
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,..
(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.
(1)
+
+
45
12 ... n
(1)
y demostremos que
1.2 . . . .. k(k+l)
46
Entonces
(a +b).1:+ 1 = (a+b)fl (a+b) =
+ Cr1 =
C1~1.
obtenemos
EPLOGO
Yu. A. Gstev
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-
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.
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 .
Entonces
1' +3 + ..
(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.
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
fl
2. Sea
k (k + I) (k+2) (k+3)
4
Entonces
J:3
+3 .51 + i-(2k-1)
.
1
(2k-I- 1)
k
,2k+ 1 '
Entonces
,,
2'
k2
:a+3. 5+ + (2k-1)(2k+l)
k(k+l)
2(2k+l).
Entonces
s
21
k'
(k+ 1)2
2. Sea
-:-:+
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
= 2.
alt-fik
a1t-1_ ~k- 1
UJt -2
/1
U1t - 1=
cx-jj ,
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
J
20
= -x --1 +-1--x-,-k+-~
14. Para n= 1 tenemos
1-
x- 1
x- J
x(x-1)
11=-- ,- .
11
21
- --+
(..r-l)(x-2)
21
_.!..+ x (x- 1) _
11
21
x (.l-1) (.l- 2)
31
(x-1)2(x- 2) _x_
(x_1)6_(x-2)
__ _
=-
31
66
Esto sugiere la hiptesis
-..!.+x (x-1) _
JI
21
...
11
21
..
Entonces
.J-~+x(x-1)
11
21
+<-
(--x--l]=
- (-
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
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
2senx-sen2x
2senx(l-cosx)
4 sen1 !...
4sen !...
sen x.
2. Sea
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 -
4sen'
.=_
2
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
(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
4sen=~
2
{k+2) cos (k+ 1) x+(k+ 1) oos ltx
4 sen'~
2
=i
4 sen1 .!.
2
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
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,
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
2 +.,.
= k+ l t
=arctg2+arctg
2 + . ..
. . +are tg
:ti -(k+
1) are tg l.
(3)
'V3-=2(cos ~-iseni)
2. Sea
:i ).
61
2n>2n.+ l
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.
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
> 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
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,
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
J (' (j
S h d (H
..lt: \
............................................... :
Edltorlal MIR
Mosc