P. 1
Método de inducción matemática

Método de inducción matemática

5.0

|Views: 517|Likes:
Publicado porCuater Cuyero

More info:

Published by: Cuater Cuyero on Jun 29, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/12/2015

pdf

text

original

••• ~~ ••••••• ~~*.*.

~~ ••••••••••••••• ~ ••••• ~ ••••• ~ •••

-- 0'

• ..

[ecciones populares de matematicas

METODO DEINDUCCION MATEMA.TICA

L S. S 0 min ski

........... ~ ...•..••.....••..• , .

• • • • • ..

.____ ____J, •

..... ~ ..•.•.•.•. - ... ~ ............................•.

nOnYJJ5JPHbIE JIEKlJ;l'fH: no MATEMATl1KE

VI. C. COMHHCl(Mt:i

METOa

MA TEMATMtIECKOA HHllYKl.(HH

H3.£lATEJlbCTBO .HA~I<A.

MOCI(BA

LECCIONES POPULARES DE lolA TEMAnCAS

I. S .. SOMINSKI

METODO

DE INDUCClON MATE MATI CA

Traducido del ruse par Carlos Vega, CandJrlata a Doctor erl dencias . fislco.matemliticas

Segunda .edici6n

EDJTOR.UL MIll:

MOSCO

IMPRESO EN 1.A. Uq,SS

Primera edicidn 1975 Segunda edki6n 1.985

@ Traducd6nal cspafiol. Editorial Mlr. 1975

Ha HCR_aUCKO" ·«:Juxe

l.NDICE

Introducclon 7

§ I. Demostraelon de identldades; problemas arltmettcos (ejemplos 1-,-J3, problemas 1-16) 11 § 2,. Problemas trigonornHricos

y a lgebra ico"s (ejernplos 14-18, problemas 16-23) 30

§ 3. Demostraci6n de desigualdades (ejemplos 19-24, problemas 24-27) 34 .

• 1- §4. Denrostracten de algunos teoremas

del Algebra elemental (teoremas 1-7) 41

Epllogo, Yll. A. Gastev.47 Soluelcnes 52.

INTRODUCC) ON

----------

Existen proposiciones generales y particulares.

Son proposiciones generales, por ejemp~o. Jas slgulentes. TOODS los ciudadanos de la URSS tlenen derecho a 18

ensefianza.

En todo paralelogramo las dlagonaies se cortan en el punta media de am bas.

Todos los numeros que terminan en cero son divlsibles

por5. .

Las proposlciones particulares correspondientes son:

Petrov tlene derecho a Ia ensefianza.

Las diagonales del paralelogramo ABeD se cortan en el punta media de ambas,

140 es divisible por 5.

EI paso de las proposlclones generales a las particulates se denornlna deduce/on. Veamos un ,ejemp)o.

Todos los ciudadanos de la URSS tienen derecho

a 1a ensefianza, (1 )

Petrov es ciudadano de la URSS. (2)

Petrov tlene derecho a Ia ensefianza. (3)

La proposici6nparticular (3) ha sido deducida de Ia proposlclon general (1) medi ante Ia praposicion(2).

E1 paso de Jas proposlciones partieulares a las generales se denomina inducci6fl. La inducclen puede Ilevar a concluslones justas y a conclusiones falsas, Aclaremos esto con dos ejemplos.

140 es divisible par 5.

Todos los numeros que terminan en cero son dlvisibles par 5.

(1) (2)

8

De Is proposfclon particular (1) hernos obtenido la proposlci6n general (2) que es justa.

140 es divisible por 5. (J)

Todoa los ruimeros de tres digitQs

son dlvtslbles par 5. (2)

De .a proposici6n particular (1) hemos obtenldo la 'proposicion general (2) que es falsa.

iC6mo debe emplearse 18 induccion en las Maternitieas I) para Ilegar siempre a conclusiones justas? La respuesta viene en este libra.

t. Veamos prlmero dos ejemplos de tnduecten tnaasusible en las MatemAticas.

EJemplo 1. Sea

I I 1 I

Sn=r.2+2-3+a.4+ '" +,,(11,+1)'

Es facll ver que

J I 81=1.2=2"

1 I II( 2 ~~

Sa=n+1I'3=3" '

J I I 3

SU=n+2'3+a.4=T'

I I I 1 4

S'=n+2'3+3."+i75=S'

Sobre labase de los resultados obtenldos aflrmamcs que para todo numero natural n se tlene

Sn= n+:1 .

Ejemplo 2. Consideremos el trlnomic xll+x+41 estudiado ya por L. Elder. Tamando el cera en lugar de z; obtenemos el numero primo 41. Tomando ahora en este mismo trinomio el uno en lugar de x, obtenemos de nuevo un nLimero primo, el 43. Tornando en el trlnomlo sucesivamente 2, 3, 4, 5, 6. 7. 8, 9 y 10 en Jugar de x, obtenemos coda oez un l1umero primo (47, 53, 61, 71, 83, 97, 113,

1) Vease el epilogo (pAgioas 41-51),

9

131 Y 151, respectivamente). De aqui inferimos que al su s tttulr x en el trlnomio por un numero entero no negative cualquiera siempre se obtiene un numero prima como resultado.

cPor que son inadmisibles en las Matematicas los razenamlentos empleadosen estos ejempJos? ,De que adolecen los razonarnientos realizadoss

Ambas veces hemos 'enunciado una .propostclon general para tod» n (para todo x, en el segundo ejemp 10) basandonos 5610 en que esta proposici6n ha resultado justa para algunos val ores. de n (0 de x).

La inducci6nse amplea ampliamente en las Mati;!maU· cas, ,pera hay que haeerlo can entendlrntento 1); la llgereza puede conduci a conclusiones falsas.

As], aunque en el ejemplo 1 18 proposlclon general enunciada resulta casualmente justa. (como se demuestra en el ejemplo 4), la, proposicidn general del ejemplo 2 es

Ialsa. "

Efectlvamente, analizando con mayor atenci6n el drinomio x' +x+4J. nos persuadlrnos de que es iguaJ a un nurnero prtnro para x =0. I, 2, '" i 39, peroque para x =40, este trinomio vale 41~, 0 sea, un rnimero compuesto v.

2~ En el ejernplo 2 nos hemos encontradocon una pro'posicion que, siendo vallda en 1Q cases parttculares, no 10

es en general. •

Daremos otros ejemp los de proposiclones 'justas en varies casas particulares, perc no en general.

Ejemplo 3. E I bi nomic g"- 1. donde nes un nurnero natural. tiene gran Interes para los maternaticos. Bastara decir que esta ligado estrechamente al problema geornetrico sabre Ia division de lacircunferencIa en n partes Jguales. No tiene nada de extrafio, por consigulente, que este binomio haya sido estudiado profundamente. En particular, 105 rnatematlcos se han Interesado por la descornposlclon de este blnornio en coeficientes de {adores enteros.

.Analizandc las deseornposieienescorrespondientes a varies partlculares de n, los maternatlcos observaron que los valores absolutes de todos los coeficientes de estas descomposiciones no pasan del uno. En efecto,

U Vease el epllQgo (paglnas 47-51).

21 Y salla en segulda II la vista que siendo %=41 el nOmero x.+x+41=41'+41+41 es divtslble por 41.

2-17

10

X-l"==x-l,

x2-J=(x-l) ~x+ I),

r- ,I == (x- 1') (x~+x+ l),

x·_.t = (x-,l) (x,+ 1) (Xl + 1 ). x'-l=(x-l) (~+X3+Xil+X+ I),.

x·-l =(x-l) (x+ 1) t,xil+X+ 1) (x~-x+ 1) •

.. .. • • • • .. • • .. I ••• ; .... 10 ••••• ,

Fueron cornpuestas tab las dentro de cuyos limites '1<>1> ccelicientes poseian esta propiedad. Pero 'los intentos de demostrar este heche para todo n fracasaron.

En 1938 aparecio en Ja revtsta «~crrexH MaTeMi'l1'HQecKHx lia'YK) (Logros de las ciencias matematicas, Iasciculc IV) un pequefio articulo de N. G. Cbeboiarlo», destacado maternatieo soviitico, proponiendo a nuestros matematicos estudlar esta cuesti6n.

EI problema Iue resuelto por V. K. Iuano» II. R:esult6 que_ esta propiedad Ia tienen todos los binomios xTI-l de grado menor que 105; pero uno de los factores de xlQ6-1

es ei polinomio I

XII +x.' +xt.-x$S._xu-2xu-x~o-rl +

+ x811 + x35 + x" +,xu + X31 + x31_XU_ XU_.tli' _

_ Xlii -.t~O + Xl' + XH.+.t16 + Xl' +X13 + xU_ -xu_x8_2.1;7_X6_X&+X~ +x+ 1

que no verifica dicha propledad,

Ejemplo 4. Consideremos los numeros de tipo 2tR + 1-.

Para n=O. 1.2,3 Y 41Qsnumeros 2:.:0+J;--3, 22:+ I ~5t 2~t+l=17, 2~8+1=-257 Y 23'+1=6"5'537 son primos. P. de Fermat, Ilustre matematico frances delsiglo X Vl], aceptaba que todos los numeros de este tipo son primos. Sin embargo, L. Euler encontro, ya en el sigJo XVIII, que

2:i" + 1 = 4 294·967 297 = ,641.6.700 417 es un numero compuesto,

1JcYC[]~X" MareMaTll'leCKH;( 'Hay,g. (Legros de las ciendas mate,m,atkas,), 19<H. lasciculo IV, pllginas 313'-317.

11

EJemplo 5. 0, W. Leibniz, emlnente rnatematico alemall del siglo XVII y uno de Ios fundadcres de las «Mate· matieas superloress, demostr6 quecualquleraque sea el entem positive nel numero tl~-nes divisible por 8, el numero '~~-nes divlslble vpor 6 y el numero n'-n es dlvlsible por7. De aqui supuso que para todo k impar y eualquier n natural el nurnero nlr-n esdivisible por k, pero pronto observ6 que 2,~-2 =510 no es divisible por 9.

Ejempl.o 6. Un error del mismocaracte,r cometlo

D. A .• Graoe, conocldo matematleo sovletico, al suponer que para todo primo p el mimero 21'-1_1 no es divisible por pi, El caleulo directo conflrmaba esta hip6tesis para todos los. numeros p menores que mil. Sin embargo. pronto se cornprob6que 2109\1_1 es divisible por 1093' (1093 es un numero primo); 0 sea, Iii hip6tesis de Grave result» erronea,

Ej!i!'mplo 1.lE'n cuantas partes dividen eJ espaclo ltj>la· nos pasando todos por un mlsrno punta sin que pasennuaea

tres por una misma recta? .

Consideremos algunos casos partjculares elementales de este problema. Un plano. divide eI espacio en dos partes. Dos planes, can un punto xomun, dividen el espacioen cuatro partes. Tres pIanos que pasan por un mismo punto, pero JlQ tienen recta comun, dlvlden el espacio en ocho partes.

A primers vista pareee que, al aumentar en uno el numero de pIanos, la cantidad de partes en que queda dividido eJ espaciose duplica y, por consiguiente, cuatro pianos 10 dlviden en J6 partes, cinco 10 dividen en 32 partes y, en general, n planes dividen el espaclo en 2" partes.

Perala realidad es distinta: euatro planes dividen el espscto en 14 partes y cinco pianos 10 dividen en 22 partes, Se puede demostrar v que n planes dividen el espaclo en n (n -1)+2 partes.

Ejem.Plo 8. Veamos otro ejemplo de caracter muy Instructtvo, Tomando ien lugar de n en Ia expresion 99In.a+ 1 suceslvamente los numeros enteros 1, 2, 3, .. , [arnas obtendremos el euadrado de un numero por rnuchos dias 0 lncluso afios que dediquemos a ello. Sin embargo, seria erroneo dedueir de. aqui que ninguh numero de' este tipo es un cuadrado, En efecto, entre los mimeros de tfpo 99 l·nt + 1

l.J La SOI\iCI lin v,iene en el elem'plQ 13 (pagina 29).

1-2

tambien hay cuadrados; pero es muy grande. el valor minima de n· para el cual es un cuadrado el numero 991n'+ 1. He aqui este valor:

n = 12055 735 790331 359 447 442 538 767 •.

Los e.jetnpJos, conslderados permiten hacer una. conclusion senctlla y al rnismo tiernpc importante,

Una proposicion puede set vdUda en una serie de casas particutares y no serlo en general..

3. Ahara surge otra pregunta, Se tiene unaproposielon val ida en varios casos particulates y es imposihlea_naUzar todes los caSOS. lCuandose puedeahrrnar que esta proposicion es vAl ida en general?

A veces la respuesta se Iogra aplicando un razonamiento especial conoctdo como mModo de InducciOn matemdstca (complela 0 perfecta),

Este rnetodo se basa en el principia de induceion matemdiica que consiste en 10 siguiente.

Una proposiciOn esvdlida para todo numero natural n sl: 1, es vdlida para n..,.-' 1 y 2) de sii. valitwz para un. numero natural cualquiera lJ = k se desprende su: oalide» para n::;::;k+ I .•

- Demostracionv. Supongamos 10 contrarfo, a Seat que la

proposicjort noes valida para cualqnier nurnero natural n. Entoncesexlste uri nurnero natural m tal que 1) para n-== m Ia proposlclon es Ialsa y 2) para todo n menor que m la prop.oS:ict6n esjusla (en otras palabras, m es el primer nurnero natural. para elcual resultafalsa Ia ptoposicion).

Es evidente que in> 1 pues para n= 1 Ia proposielon es justa (condicion 1). Par conslgutente, m-les un nurneronatural, Pero entonees la proposici6h es vaUda para el

, II. pI lector puede omltlr el texto que slgue ha$la elpunto. 4 .SI n perjuicio para lacomprenslen del material postenlcr, pueselpfifiClplo del fl4mero mf/JimO-'qu~ se meneiona a coillinuaci6l\ y en -el que se bil'sa hi demostnfci6n del prlncipi.o de Inducei6!1 mate'maHca-no es mas (nl. tampo.co menos) eVid.enfe que el proplo prim.:ipJo de Indueci6n matern_RHea, Par otra parte, un,' estudlo mlis profunda perml ta ver que ambos principJos soh equlvalentes ~61a sise aeeptsn candid anes·c'9mplem~ntarhI3. PQ{eso, podemcs eonslderar el principia· de Irrducclon matemattea como una hlp6tesls Intl,llUvameate mtiy convl ncente tomnndola como un .axiQma que daterrnlna la suceslen de los numeros naturales .• Para mayores detalles v_ease el e[lilago y 18 Hte-

fatuf aen ~l menclonada, .

13

ntimero natural m - I Y no 10 es para el mimero natural siguiente m. Esto contradice fa condici6n 2.

Para demostrar el principia de inducci6n matematica nos hemos valido, como se ve, de que cualquier conjunio de numeros naturales coniiene el numero minima. Se puede demostrar que, esta propiedad es, a su vez, un corolario del principia de induccion maternatlca. Por 10 tanto, ambas proposlciones son equivalentes y cualquiera de ellas se puede tamar como un axioma que define la sucesion de Jos nUmeros naturales; entonces la otra sera un teorema. Suele tomarse como axioms preclsarnente el principio de inducci6n malematlca.

4. Toda demostraci6n que se basa en el principia de inducci6n matematica se denomina dernostracion por indueeUm (par el metoda de induccion matemdtica}, Tal demostracion consta necesariarnente dedos partes, 0 sea. de la demostracidn de dos teorernas:

Teoeems J. La propesicion es tsilida para tt = 1.

Teoeema 2. La proposicion es ucmda para n=k+ I si to es para h =k, donde k es Ut1 nUfMro natural arbltrarto.

Si ambos teoremas han sido demostrados, podemos aflrmar, en virtud del princtplc de induccion matemattca, que Is proposlclon es valida para todo numero natural n:

Ejempl0 9. Calculese 1a suma (vease el ejemplo 1)

S 1+1+1, + J

.,= J.2 2.3 3.41." . n (n+ I) •

S aberoos ya que

1 2 3 4

SI=2' S2=3"' S.=4 Y S"=5-

Ahora no tepitlremos eJ error cometldo en el ejemplo 1 afirmando de inrnediato que para todo ntrrnero natural fl es

n S~= n+1 •

Seamos prudentes y dlgamos que el anallsis de las sumas Su S,. S, y S, sugiere la hipotesis de que S; = n+ I para todo numero natural n, Sabemos que la hip6tesis se cump Ie para fl. = 1 t 2. 3 Y 4. Para comprobada recurrirernos al metodo de Inducclon matematica.

Teorema 1. Para n= 1 la hipotesis se cumple pues 1·

Sl=2"

Teorema 2. Supongarnos que la hip6tesis es vallda para n=k, 0 sea. que

Sk= 1~.2+2\+··· +k(k~".l) k+it

donde k es un mimero natural. Demosiremos que, entonces, la hipotesis es va lida tarnbien para n = k+ L, 0 sea, que k-j-I

SkH = k-j-2'

En etecto,

1

811+1 = Sk+ (k+ I) (11:+2);

por consiguiente, segun la hipotesis del teorema,

Ski k"L+2k+1 k+l

II.+L = k ·1· 1+ (k+ I) (k+2) = (k+ Ij (k:+2) = "'+2'

Hcrnos dernostrado ambos teorernas. Ahara podemos aitrmar, basandonos en el principio de inducci6n rnatematica, que

S"=n~1

para todo runnero natural /I.

Observacion 1. Es necesario subrayar que Iii. demostracion par lndueclon exlge Incondicloualmente Ia dernostraclen de ambo« ieoremas 1 y 2.

Hernos visto a que conduce despreciar et Ieorema 2 (ejemplo 2).

Ahora mostraremos que tarnpoco se puede omttlr el teorerna 1. Vearnos un ejemplo,

Ejemplo lO, Teorema. Todo ruimero natural es 19ual at ntimero natural sigui~mte.

Apliquemos para Ja demcstracren el metoda de induccion matemattca, Supongamos que

k=k+ 1 (I)

y demostremos que

(2)

15

En efeeto, agregando 1 3 ambos miembros de la igualdad (I), obtenemos la igualdad (2). Resulta, pues, que sl la proposiclon es valida yara n = k, tam bien 10 es para n=k+1. Hemos demostrado e teorema.

Corolario. Tcdos los rnlmeros naturales son iguales.

(Dande radlca el error? Consiste en que el primer teorem a , necesario para poder aplicar el prlnclpio de inducci6n rnatematica, no ha sldo dernostrado (ni puede ser demostrade) y 5610 ha sido demostrado el segundo teorema.

Cada uno de los teoremas 1 y 2 desem pefia su pa pel.

EI teorerna terea, hablando figuralmente, la base de la induccion. EI teorerna 2 permite ampliar automatlca e indeiinidamente esta base pasando de un csso particular at siguiente, 0 sea, de n a n+ 1.

Si no ha sido demostrado el teorema 1. pero ha sldo demostrado el teorema 2 (ejemplo 6), no se haereado la base de Ia inducclon y no tiene sentido apllcar el teorema 2. pues nada bay que amplisr.

Si no ba sldo demostrado el teorerna 2, pew ha sido demostrado el teorema 1 (ejemplos 1 y 2), existe Ia base de Ia Induccion pero no tenemos derecho de ampliarla.

Observacion 2. Hemos explicado el metoda de inducci6n

maternatica en el caso mas sencillo. En situacicnes mas complejas habra que modiflcar respectivamente los enunclades de los teoremas 1 y 2.

A veces, Ia segunda parte de la demestracidn se basa en que la proposicion es va lida no s610 par. a n = k sino tarnbien para It = k - 1. En tal caso la proposiclon de la primera parte debe comprobarse para dos valores sucesivas de fl. Mas adelante el lector encontrara ejemplos de este tipo (ejemplo 7, pagina 23).

A veces, en la segunda parte se demuestra L~ proposicion para un valor de n suponierrdose su validez para todos los numeros naturales k tnenores que n,

A veces, la propeslcion se dernuestra para todo mimero entero n mayor que un ruimero entero mIl (y no para cualquier rnlmero natural]. En este case la prirnera parte debe conslstlr en demostrar la proposlclon para n=m+ 1 y, sl es necesarlo, para algunos otros valores de n:

1) Por ejemple, toda proposic.i6n' relaeloneda con ICIS poligonos de n lades tlene sent/do sole para /I ~ 3.

16

5. Vol varnos a1 ejemplo 1 para dejar constancia de un momenta importante 'en el metoda de induccion matematica, Anallzando 1a suma

S" = /2 +2~3 + ... + n (n~ l) •

para distintos val ores de n, hemos vista que

I 2 3 ..

8:.="2' S~=3' 8.=-. Y 8,=5"

por donde hemos llegado 8 Is hipotesis de que 8n= n~l

para todo n comprobandola despues mediante el rnetedo de induccion matematica.

Hemos tenido la suerte de enunciar una h.ip6tesis que efectivamente es justa. Si no. hubiesemos acertado en la hipotesls, 5U falsedad quedarfs manifiestaal demostrar el teorema 2.

Ejemplo 11. Considerernos las sumas

1 1 I

S .. = 1.2+2:3+'" + n(n+I)'

Supongamos que, analizando 8". hemos Ilegado a la hip6 tesis de que

S n+l 11=311+1 .

(1)

I

La f6rmUla (1) es valida para n:: 1 ya que S, = 2'. Su-

pongamos que es vallda para n = k, 0. sea, que

y tratemos de demostrar que tambien es valida para n == = k+ I, 0 sea, que

t1

Tenemos

, , , I

8.H' =811+ {It + I) (k+2)

, k+1 I fll+4k1+8k+2

=U+I + (k+l) (k+2) = (k+1J(k+2H3k+l)'

o sea, un resultado distinto af, quequerfarnos encontrar, Es deelr, de la validez de Ia formula (1) para It=k IW Sf! deduce su valldez para n = k + 1. Queda clare que la formula (I) es Ialsa,

Por 10 tanto, el metOdode inducctQ!1 maiematica permite de/erminar la leg general ensay_ando las hlp6tesls qUI:! surgen, rechazand.rJ Zas falS()s y llegando a la Justa.

- Para IJegar a dominarel metoda de inducclon maternatica es precise eonslderar un numero suiiciente de problemas.

Para no repetir constantem.entelas palabras'c.Teorema b y«Teorema 2". convendrernos en indicar por 1° y 2° la primera y la segundaparte de la indueclon (por su contenido, estas partes corresponden precisamente a los dos teoremas cuya demostraclon equlvalea ernp'lear el metodo de induceion matematica), Adernas, haremos diferenela entre eiemplos, acompafiados de solucion detallada, y problernas, destinados al trabajo individual del lector. A1 Iinal del Iibro damos Ia soluci6n de todos los problemas insertados en el texto.

§ I

DEMOST'RACI6N DE IDENTlDADES; 'PROBLEMAS AR.ITMBTICOS

'Ejemplo 1. Consideremos los numeros lmpares positivos tornados en orden de crecimiento: 1, 3, "S, 7 •.•. lndiquernosel primerocon ui• el segundo con u •• el tercero con "Il. etc., es declr, pongamos

"l=-l, ",=3,u3=5" u.=7, ...

Planteemonos el problema sigulente: hallar Ia f6rmula que vlnculael namero imparull Y su Indice n,

Soluci6n. Podemos expresarel primer numero impar

asl:

(l)

18

podemos expresar el segundo mimero impar asl;

u.=2.2-1, (2)

podemos expresar el tercer numero impar asi:

u3=3-2-1. (3)'

Analizando con atencion las igualdades (1), (2) y (3), podemos enunciar la siguiente hipotesls: para obtener cualquier numero Impar UTI basta dupllcar su indice y restar t; es decir, para cualquier n·esimo nurnero impar se tiene

un=2n-1. (4)

Demostremos que esta f¢rmula es justa.

1°. La iguaJdad (I) significaque la f6rmula (4) es va-' llda para nd 1.

2°. Supongarnos que Ia f6rmu1a (4) se cumple para n=k, o sea, que para el k-esimo Ilfunero impar se tiene

ull=2k-l.

Demostremos que, entonces, la f6rmula (4) debe sec tambien valida para el (k + Ij-estmo numero Impar, 0 sea, que' el (k+ l)·esimo numero impar es de la forma

Uk+l=2 (k+lJ-l 0, lo que es .10 mlsmo,

uk+l=2k+1.

Para obtener el (k + l)-eslmo numero imparbasta agregar 2 al k-esimo nurnero impar:

"l<+l=ul<+2.

Perot por hipotesis, Uli =2k-1 de modo que Uk+l= (2k-l) +2=2k+ 1

como querlarnos demostrar.

Respuesta. Iln = 2n -1.

Ejemplo 2. Calculese Ia suma de los n primeros numeros impates,

Salud6t1. Tndiquemos par Sf' Ja suma buscada:

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

19

,

Para problemas de este tipo los maternatlcos disponen de formulas hechas, Nos in teresa resolver este problema sin recurrlr a dichas formulas, empleando el mstodo de induccion maternatlca. Para ella debemos elaborar la hipotesis, 0 sea, adivlnar la respuesta,

Can este fin, tomamos para n suceslvamente los valores

1. 2, 3, ,., hasta obtener material suficlente para poder enunciar una hipotesis maso menos acertada. Despues quedara solo demostrarla empleando €ol metoda de inducci6n matematlca.

Tenemos

81= I. 8.=4, SB=9, St= 16, S~ =25 Y 8&=36.

Ahara todo depende del espiritu de observacl6n, de la capacidad de adivinar el resultado general a partir de los

particu la res.. .

Pensamos que en nuestro caso salta a 18 vista que

S,=P, SI=211, 83=31 Y 81=4~,

Sobre esta base podemos suponer que

Sn=n~.

Demostrernes que esta hipotesises justa.

10, S ienda II = 1.. la surna consta de un sumando jgual a l. La expresion n' tarnbien es lgual a 1 si n = 1. 0 sea, la hipotesis se cumple para n = I.

2°, Supongamos que la hlpotesis es vallda para n =.k, es decirvque S,. = k'. Demostremos que tambien debeser valida para n= k +1. 0 sea I que

SHI=(k+I)' ..

En ejecta,

Sut=SII+ (2k+ I).

Pero 8/1. r:::Ik' de modo que

811+1 = Iii + (2k + I) = (k+ 1). como queriarnos demostrar,

Respueeta. S; =fl'.

Problema r. Determfnese u" si sesabe que til &::: J 'i que

UA:=Il.t_,+3

,.

para todo mimero natural k> 1.

Sugerencia. ut=S·!-2, u!=3.2-2.

Problema 2. Hallese fa suma

S,.= 1 +2+2'+23+ ... +2--1• Sugerencia. S, =2-1, Sa;;:: 21-1, Ss = 2'-1.

EJemplo 3. Demusstrese que la suma de los 11. prlmeros numeros naturales es igua 1 a n (n. 2+ I) •

Soluci6n. Este problema difiere de los anteriores pues la hlpotesls viene dada y no hay que elaborarla. 5610 es necesario demostrar 5U validez.

Indiquemos por 8,. la suma buscadat

8,,= 1+2+3+ ... +n. 1° .. Para n= I lahip6tesis es vallda. 20. Sea

S.= 1+2+3+ ..• +k=k(kil).

Demostremos que

S _ (11:+ I) (k+2)

k+1- 2 •

En electo,

Slc+l =Sk + (k+ I) = k (k/ I) + (k+ 1) = (k+ 1)?+2) •

Hemos resuelto el problema.

EJemplo 4. Demuestrese que Ia suma de los cuadrados

de los n primeros numeros naturales es lgual a n (n + 1~(211+ I)

Solucion. Sea S.(n)= 1'+21+3'+ ... +n.t,

10, S,(l)=1.=I(I+I)~2.1+1).

20. Supongarnos que

8 ( )_'I(n+1)(21\+1)

• n - 6 •

Entonces

S,(n+ 1) = 11+21+3' +, .. +n'+ (n + 1)9 = = II (n+ 1)6{'l1l+ I) + (n + 1)2

21

y dellnitlvamente

S. (n + 1) = (11+ I) «11+ 1)+6IJ {2 (11+ 1) + I) •

EJetnplo5. Dernuestrese que

Sn= 1-2'+3'-41+ ... +(-I)"-ln'=

= (_ 1)"-1 n (112+ J) •

Soluci6n. 1°. Salta a la vista que para n =' 1 la hlp6tesis es vallda ya que (_1)0 = 1.

2°, Sea

S,,= 1-2'+3'- ... + (_J)k-lkl = (_1)4-1 k (Itt 1).

Demoslremos que

SH1= 1-2·+3'- ... + (_I)A-1kll+(_I)1r.(k+ 1)1= =(_1)11("+1)(11 +2)

2 •

En electo, S"+1=S,,+(-I}, (k+l)l=

= (-1)1-2 k (ki I) + (-1)" (k + 1)1, =

= (---1)1 [(k + 1)- ~] (k + I) = (-1).11 (k+ 1)Jkt2) •

Problema 3. Demuestrese que

1'+31+5. + ... + (2n-I)2 =11 (2n-~ (211+ I) •

Problema 4. Dernuestrese que la surna de los cubos de los n pr Irneros n iimeros naturales eslgua 1 a [ 11 (lit I) r Problema 5. Demuestrese que

x,,+l-1

1 +x+xl+ ... +x" = x-I (x::;6 1).

Ejempto 6. Demuesirese que

1 .2 + 2 . g + 3. 4 + ... + (It -I) n= (11 - 1) ; (11 + I) •

Soluci6n.10. 1.2=1.:.3.

22

20. Si

1.2+2.3 +3.4+ ... +(n.-l) n = (n-l): (II + 1) ,

se tiene

1.2+2·3+3·4+ ... +{n-l)n+n (n+ 1)= _(~-t)n«(l+l)+ (+1) n(n+l)(n+2).

- 3 tlll = 3

EI result ado del ejemplo 6 puede ser deducido tamblsn de los resultados de los ejernplos 3 y 4 si nos fijamos en que

1.2+2·3+3·4+ ..• +(n-l)n=

= 1(1+ 1)+2(2+1)+3(3+1)+. , .

.. . + (n-I) [en _I) + ll= = [1' +21 + ... +(n-l)~] + [I + 2 ... +(n-l)].

Problema 6. Demuestrese que

1.2·3 +2 ·3·4+3 .4·5+ ... +n (n+ 1) (n+2) =

_ 11 (/1.+1) (/1.-1-2) (n+3)

- 4 •

Problema 7. Dernuestrese que

III n

r:g+3.5+· .. +(2n-1) (21i+ I) = 2n+I'

Problema 8. Dernuestrese que

It 21 nt flln+ 1)

'[:3+3.5 +, .. + (2n-l) (211 + 1) = 2 (211 + I)'

Problema 9. Demuestrese que

I 1 I l n

[.4+ 4.7+7.10+' •. + (3n-2}(3n+ 1) =3n+l-

Problema 10. Dernuestrese que

1 I 1 I I

r:5+ 5.9+ 9·13 + ... + (4n-3)(411+1)= 411+ I'

Problema 11. Demuestrese que

I + 1 +

ala + I) (12+ I) (a+ 2) ••.

1 n

... + (,,+"-1) (a+lI) a (a+n)'

23

Ejempl0 7. Demuestrese que si Vo = 2 Y [/1 =3 Y sl V.hl = 3[1/1-2v/I_l

para todo nurnero natural k, se tiene

[1,,=2"+ 1.

SoIuci6n. 1°. Para n=O y para n= 1 la proposicien es valida por hipotesis,

2°. Supongarnos que

0/1-1 =2/1-1+ 1 Y que Clk= 2A+ L

Entonces

[1/1 of. 1 = 3 (2/1 + 1) -2 (2&-1 + 1) = 211+1 + 1.

Problema 12. Demuestrese que si

ua_~~ . a!_~a

u1 = a-IS Y ua= a;-~ (a =F~)

Y si

Uk = (a+~) Uk-i-apuk-I para todo nurnero natural k > 2, se tlene a"+l_~n+l

u,,= a-~ •

Ejemplo 8. El producto 1·2·3· •... -n se indica por nl (se lee n factorial). Conviene memorlzar que 11 = 1,2[=2. 31 == 6. 4[ =24 Y que 51 = 120.

Calculese

S; = 1.11 +2·21 +3.3! + ... +n.nl.

Soluclon , Sl=l-ll=l,

S. = 1.11 + 2 . 21 = 5,

88= 1.11 +2.21+3·3t =23,

S,= 1.11 + 2·21+3.31 + 4·4t = 119.

Anallzando estos resultados podernos persuadirnos de que 81.=21-1, 8,=31-1, S.=41-1 y S.=51-1.

24

Por eso, podemos enunciar 18 slgutente hip6tesis Sn={n+l)I-1.

Comprobemosl a.

1°. Para n = I la hip6tesis es valtda pues 81 = I . II = 21-1.

2°. Sea

S,,= 1·11 +2·21 + ... +k·kl = (k+ 1) I-I.

Demostremos que

Sk+l = 1·11 +2.2! + ... +k·kl +

+ (k+ I) (k+ I) 1= (k+2) I-la

En etecto,

Sj,+l =S,l\+ (k+ 1) (k+ 1) 1=

= [(k+ 1) I-I] +(k+ 1) (k+ 1) 1= =(k+I) I [l +(k+l)1-1= =(k+l) I (k+2)-1 =(k+2) 1-1.

Problema 13. Dernuestrese Ia. ldentldad

I 2 4 8

l+,t + 1+%'+ I+.t' +l+~ + ...

211 I 211+1

... + I +xll11 =,\'-1 + 1_%311+1 ~

Ejemplo 9. Sea

a' a.+~=m, a~=a, A,=m--I,

m-

a

A,=m

. a __ I etc., a

Q '

m--

m-l

m

a m---

m-I

o sea,

Ak.j.1=m ;" (m9':: I; Gt;¢:~)

para k > 1. Demuestrese que

(a.rl+l_~IO+1)_(a.II_~II) 1)

An = (etn_UII)_(alO-1_plI-1)' (

-------,----'-_." ----,.,,'

Soluci6n. 1°., Demostremos prirnero que, la fOrmu la (1) es valida para n =2, Per hipotesis,

Al=m-m~l =(a.+~)-(a+~~_l-

~ «2 + Il~+ ae;-o:x - ~

- a+~-I

La Mrmula (I) da

A, _ (aB_~)_'(a'a_~") ~ - (a.' - ~a) - (a:-~)

0, slmplfficando la Iracclerien a-~!

A, _ as +j}~ +a:fS-a- ~

• - a+6'-1

como queriamos demostrar.

2°, Supongamos que la formula (I) es valida para n=k, 0 sea, que

(ak-tl_Wl+l)_(a..t_~II) (I)

AI!= " ,

, (a.t-~II)-(all-l-flli-l)

Dernostremos que, entortces, tamblen debe sec valida para n=k+ J, 0 sea, que

(akH_~II+1)_(all+l_,p" +1) AIo+I, = f.a.tH_pkTl)_(a.II_P")

En electo,

a 'aj}

A1I+l=m-A,,", as decir, AH1=(a+BJ-Ak"

Aplicando Ia' igualdad (2), encontramos

A ' '"a~[a.-p.}- (al!-I- fl·-I)! 11+1 = (a+p)- (aII+1_pUl)_(ak_6A'), ~

_ (a," + '-jJ" + i)_(a;1I + l_IlA +l)

- (ait+l_ ~.+I) _ (Q\II"':~II)

como queriamos demostra.r.

Problema (4. Simplifiquese el polinomio

!...+x(x-I) (_I)'" x(:c-I) ... (x-n+l)

11' 21 •.• -r fll

Respuesta.

f_1)1\1 (x-l)(x-2~ .. (.1:- n).

[ I'll

4-11

26

Ejemplo 10_ Demuestrese que toda surna de un nfrmero enters de rubles, mayor que 7, se puede pagar en bllletes de 3: y de 5 rubles,

Solucion. 1°. La proposicion es vallda para la suma

de. 8 rubles (y'a que 8 rublos=3 rublos-l-f rublos).

-2" Supongamos que Ia proposicion es val ida para una <urna de k Tub los, donde k es unn umero entero mayor 0 igual a 8-

Sepueden presentar dos casas: t) la surna de k rubles se puede pagar en bHletes de 3 rubles y 2) para pagar la <uma de k rubles se preclsa 31 rnenos un billete de 5 rubles.

En el pri mer caso habra no menos de tres bil letes de 3 rubles ya que k > 8. Para pagar la surna de k + L rublos bastard sust ituir tres billetes de 3 rubles par dos bil letes de 5 rubles,

En e:\ segu ndo caso para pagar J a s uma de k. + 1 ru b los sustitulrnos un billete de 5 rubles par dos billetes de 3 rubles.

EJemplo 11. Dernuestrese que la surna de los cubes de tres nurneros naturales sucesivos es divisible por 9.

Sol udon. 1°. La sums P+ 2~ + 33 es dlvlsib le por 9, o sea, Ja proposicion es valida st el primero de los tres nurneros sucesivoses el 1.

ZQ. Supongarnos que la surna k~+(k+ 1)~+(k+2)3, donde k es un numero natural, es divisible por 9. La sums

(k + I)~ -1- (k + 2)a +(k+3)3 =

=(k + 1)3+ (k-I-2)a+k~ + 9k~+27k + 27 =

= [k3+(k+ 1)Q+(k+2)2)-+9(k2+3k+3)

tambien sed divisible por 9 pues consta de dos sumandos divisibles cada uno par 9.

Problema 15. Dernuestrese que la suma

All = 11 ""'~. + 12M"':!.

('5 divisible por 133 cualqulera que sea el nurnero entero ri~O,

Ejemplo 22~ Entre los 2n nurneros I, 2, ... , 2n se cscogen al azar n+ 1 numeros, Demuestrese que entre los

27

ultimos habra al menos dos mrmeros : divisibles uno por otro.

Soludon 1). I". Para el caso de dos numeros l-y 2 la

proposicion es val ida.

2°. Supongamos que hernos logrado escoger n+ I namefOS entre los 2n IIU rn eros I, 2, •.. , 2n (,L~ 2) de modo que ninguno sea divisible por otro. Para abrevlar Indicaremos este conjunto de numeros por MII+1' Dernostremos que, entonces, tambten se puede escoger n numeros entre los 2tt-2 nurneros I, 2, ... , 2n-2 de modo que nlnguno sea divisible por otro.

Se pueden presenter cuatro casas:

1) Mn+L no contlene el numero 2n-l Oi el numero 2n·.

2) Mn,+l contlene el nurnero 2,t-l y no contiene el mnnero 2n.

3) M I) +J corrtiene el nurnero 2n y no contiene el n(unero 2n-1 y

·4) MII+1 contiene ambos numeros 2fl-1 y 2ft.

Caso 1. Eliminemos de M,,+l cualquier numero. Queda« ran n numeros todos no superlores a 2n-2; ninguno sera

divisible par otro. .

Caso 2. Eliminemos de M,,+l. el numero 2n.- L Quedarim n numeros todos no superiores a 2tL-2; ninguno de estes n numeros sera dlvlsible par otro,

Casa 3. El iminando de MIITl el nurnero 2ft, obtenemos el rnismo resultado.

Caw 4. Observemos, ante todo, que M"+l no contiene ei numero n pues, de 10 contrarlo, habria en Mn+l: dos rnimeres, 211 y n, divisible uno de ellos por el otro;

Eliminemos de M"+I ambos numerus '2n-l y 2n. Quedara un conjunto de a-I numeros que indicaremos cOhM'f_l. Agreguemos a M,,_l eJ nurnero n. Obtendremos asl n numeros con la partlcularidad de que ninguno pasa de 2n-2. Resta dernostrar que entre estos tt numeros no hay nmguno divisible por otro,

Como quiera que en M"+l no habia dos numeros divistbles uno ear otro, tampoco habra numeros de este tipo en MI}-l' S610 queda por demostrar que tam-poco aparecen

u Es ta sotucioa hasido propuesla por M. Pridman.

28

numeros de esta indole al agregar el namero fI: al conjunto Mn-t•

Para ella es sUficiente probar que 1) ninguno de los

numeros que eomponen Mn-L es divisible por n y que 2) el numero n no es divisible par nlnguno de los ndmeros que componen M,._ L"'

La primers proposiclon se deduce de que M"-l no eontiene ntimeros superiores a 2n-2.

La segunda, de que el numero 2n no es divisible por ntnguno de los numeros que componen Mn-t,

Par conslguiente, s! aceptamos que la proposicion no es vallda en el case de 10s,2n numeros I, 2, . '". 2n, tampoco sera valida para los 2 (11-1) numeros 1 t 2, .,.. 2n - 2. o sea, si Ia proposiCi6n es vallda para los 2 (n-I) nume.ros I, 2 •...• 2n-2, tambiensera vallda para los 2n nU· meros I, 2. . ..• 2n .

. De aqul y de 1° se itlfiete que nuestra propcstcion es valida para los 2n' numeros I, '2, ...• 2ft cualquiera que sea el mimero natural n.

Bste problema admite 1a s.igl,liente solucion sencll la.

Escojamos entre las 2n numeros 1, 2 •...• 2n un conjunto cualquiera de n + 1 ruimercs e indtquemoslo con Mn+,.

Dividamos todo nUmero par que Hguta en MIZ+1 por una potencia del 2 de modo que el coclente sea impar. Indlquemos con M';". eJ conjunto de estos coelentes y de todos los nu meros impares que figuran en M PI +-1" E I conj unto , M~+l oontiene n + I numeros impares todos rneno-

res que 2n. .

Pero s610 hay n numeros impares positivo.s rnenores que 2n Y., por eso, en M~+-I habra al menas dos numeros iguales. Sean ambos Iguales a k.

Este resultado signifiea que Mn+ I contenla dos ntimeros 2"k y 2'k (uno de los mlmeros sot puede ser iguaJ a cero). Pera uno de estos dos nt1rneros 2$k 6 2tk es divisib(,e par el otro.

Problema (61). Demuestrese que If. reetes disUntas trazadas par un rnlsmo punto de un plano Jo dividen en 2n partes.

I) Et problema 16 y el li!jemplo 13 vincullldosB terns! geometrices, han sldo, sin embargo, tncluldcs en este paragralo porque, de h1!Cho, son de I:lrllcter Ilrltmetico.

29

Ejemplo 13. Demuestrese: n planes que pasan par un misrno punta, sln que contengan nunca tres Una recta comtm, dividen eJ espacio en An= n (n-l) + 2 partes.

Sol'uci6n. t". Un plano divide el espacio en dos partes

Y. par otro Jado, AI = 2 de modo. que 13 proposiel6n se

cumpJe para n=-1. ,

2<'. Supongamos que 1a proposiclon es valida para n=k, o sea. que k pianos dividen el espacio en k (k-I}+2 partes, Dernostremos que, entonces, k + 1 planes 10' dividen en k (k+ 1}+2 partes.

Enefecto, sea P el ('k + 1 l-esfmo plano. Corta eada uno de los k planos prlrneros segtin rectas y de esta fonna el plano P queda dlvidldo en partes mediante k rectas distlntas que pasan par un mismo punta. En' virtud del resultado del problema L6, el plano P estara dividido en 2k partes representando cada una un angulo plano de vertice en el punto dado,

Los k planes primeros dividen el espacio en angulos poUedros. Algunos de elias son divldidos par el plano Pen dos partes.

La Iaceta comun de dos Je estas partes es una porci6n del plano P comprendlda entre dos rayos, lntersecciones de este plano y deterrninadas Iacetas del angulo poliedro, o sea, es uno de los 2kangulos planos en que esU dlvidido el plano P.

De aqui se deduce que no pass de2k el nurnero de angulos poJiedros dlvldldos en dos partes par el plano P.

Por otro lade, cada una de las 2k partes, en que los k primerosprtmeros planes divIden P, es la facet a comun de dos angulos poliedros Y. par consigulente, divide en dos partes el anguJo polledro forma<1o por losk primeros planes,

De aquf se deduce que no es menor que 2k el nurnero de angulos polledros dtvididos en dos partes por el plano P.

Es decir, eiplano P divide en dos partes exactamente 2k porciones del espacio Iormadas por los k planes primeres. Luego, sl k pianos dividen el espaelo en k(k.-l)+2 partes, k + 1 pianos 10 dividen en

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

partes. Hemos demostrado la proposlclon.

30

§ 2

PROBLEMAS T~IGONO.METRICOS Y ALGEBRAICOS

Ejemplo 14. Dernuestresa la identidad

'. " selr2"+ 1 a;

COSctcos2a.cos4a .. , c052nO:=2n+'1 '

,sen a.

Saludan. I') La ident idad es valtda para n=O ya que sen 2a

cos a: == 2 sen .a. •

2°. Suponga mos que es vallda para n=k, 0 sea, que

. . . sen 2k+l Ct

cos a. cos 2a. ... cos2ka = .

211+1 sen a

Entonces, tambien es vaiida para n = k + I. En electo. cos a. cos 2a . _ cos 2ka cos 2k+» a.=

Sen 2'&'+.1 a: cos 2"+1 a. 2kt1sena

sen 211+ I 0: 21i 1"2 sen a.

Ejemplo 15, Demuestrese que, A" =cos n6, &1 se sabe que Al =cos9 y A~=cos2e y que

A" =2C0S9 A.II-l-Ak-ll para todo k » 2.

Solucton, 1°, La proposic-i6n es vallda para n = J Y para

n=2.

2°. Sea

Ak_!=cos(k-2)9 y Ak_'l=cos(/l-l).a.

Entonces

A",=2cos9cos (k~l) 9-cos (k-2) 9=coske.

Ejempto 16. Dernuestrese que

11+1 sen-2-x nx

sen x-l-sen Bx-l-. .. +senax= x sen"!.

senT

31

-~---------~- .~ .. ---- .... -------

Solud6n. 1". La proposition es valida para n c-l. 2°, Sea

k-Ll

sen~.t: .k

sen x-l- sen 2x + ... + sen kx = ~ sen 2'{'

sen2'

Entonces

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

sen~x: k

= x' sen it' -l-sen (k+ I) X=

senT

k+J

5en-2-x kx k+l k+,

- x sen2+2sen-2-·xc.os-2-x:_,

SeJ1-z

ya que

k+ 1 x k+2 . kx

2 cos _. -2- x sen "2 = sen -2- .~- sen:.l .

Problema n. Dernuestrese que

; -j-cos x-j-cos 2x+ .'. +cosnx

2Jt +-1 r.eI1-2-x

.(

2 sell 2

Problema lB. Dernuestrese que

sen x + 2 sen2x+3 sen 3x+ ... +1l SeD ItX =

(n+ J) sen nX-11 sen (n+ I) x

= x'

4.~eu2 2"

Problema 19. Dernuestrese que cos x + 2 cos 2x + ... + ft cos nx =

= (n+ I) cos IIX-n cos (n+1) x-I 4sen~ ~

2

32

..... _--_. __ .. _ ----------

Problema 20. Demuestrese que It x+lt x+ +'t x

f'" gT 2- gF . ... F g2"=

I x

=2'" elg 211-ctg:'X (X::F mn).

Problema 21. Demuestrese que

arc elg 3 + arc ctg5+ .. +arc ctg (2n ;J-l) =

3 . n+1

=arc tg2 + arc tg"2+ ... + arc tg -n--n arc tg 1.

EJemplol7. Dernuestrese que

n

(1 +1)1i = 27 (cos': + t sen ~n).

Solution. 1°. La proposiclon es vallda para n = 1 ya que

L

1 + i = 2" ( cos .~ + i sen ~ ) .

fi

(1 + i)/I; = 2' ( cos ~1t, + i 'sen 11,:) .

Entonces

/I;

(I + i).Hl = 21lcos 1I:41l + i sen Ii:) x

.!...( Jt n)

x2' cos 4"+isen"i" =

"+1

-2-.-f, (k+l)n.+. en(k+l)n]

- L cos" 1 S. 4 "

Problema 22. Demuestrese que

(va -i)"-=211 (cos n; -k sen';').

Ejernplo 18. Dernuestrese el teorema:

Si por efecto de un numero flnIto de operaclones raclonales (adicl6n, sustracclen, multfpltcecion y divisl6n) apllcadas a los numeros complejos XI' Xt •.•.• Xli se obtiene un narnero u, por eiecto de estas mlsmas operacIones apll.

33

------ ... ---.-_

cadas a 105 numeros complejos conjugados Xl' X2, ••• , XII se obtiene el nurnero u conjugado de u.

salucian. 1°. Demostremos, ante todo, que la proposicion se cumple para cada una de las cuatro operaclones apllcadas ados numeros complejos. Sean

Xl =a+bi y x2 =c+di.

Entonces

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

xi+x.=(a-bl) + (c-di) = (a +c)-(b+d) l = U.

Sirnllarmente se demuestra la proposiclon para las operaclones de sustraccien, de multipllcacion y de division.

2°. Supongamos. ahora que se ha Iormado una expresion racional con los nurneros complejos XII Xi' •.. , x". Es sahldo que para ealeular esta expresi6n bay que realizar sucesivamente una serie de pasos empleando en cads uno una de [as cuatro operaciones y siempre con dos nurneros comp Iejos, can la partlcularldad de que estos p.8S0S puerlen ser numerados.

Sea, par ejemplo,

X1XIl+X&x4

~= .

Xt+X,-Xa

Para calcular u basta realizar los siguientes pasos

1) t1Xa=U1• 4) Ua-X3=U ••

2) X3X, = "2' 5) u1 -I- u1 = u6•

3) Xl +X~ = U3• 6) Ua :U, '= u.

Supongamos que la proposici6n es vaiida para todas las expreslones que requieren a 10 sumo k «pasos» para 5U calculo. La palabra «paso1l signlllca aqui que se reallza (a adicion, la sustracclon, la multipJicaci6n 0 la dlvlslon de dos numerus compJejos. Demostremos que, entonces, la proposicion. es tam bien valida para las expresiones que requieren k + I epasoss.

En efecto, eI Ultimo, (k + I )·esfmo, «paso» se realize con dos numeros u, y u/ que se calcuJan electuando k «pesos1t a 10 sumo.

Si sustltulmos los ntimeros Xu Xu .• _, x" por sus conjugados, los nurneros u( YUj se convertlran en sus con]u-

3<4

gados U. y ~ y, por eso, el resu1tado del (k+ Ij-esirno «paso» electuado con estes ultirnos, 0 sea, el nurnero u, se

convertira en e] numero conjugado U.

Problema 23. Dernuestreseque

(eos X '1- i sen X)lI = cos '1>':+ I'sen ,/1 x. para todo n. natural.

. § 3

OE.MOSTR ACTON DE DESIGUA LDA.DES

Ejemplo 19. Dernuestrese que

! + ! + -+ L "'" 1'3 i1T1 n+2 ... I 2n .-' 24-

para todo numero natural n ~> 1,

SOIUc.l0n, lndiquernos por SneL primer rniembro de la desigualdad.

]<> S~.::= [72= ~: y, POf consiguierrte, la deslgualdad se

rumple para f( ..: 2.

2" S S·!.:J . t k 0 t t

. ea k ,,' Z4 para Clef 0 - ernos rem as que, en on-

ta b" o 13 T .

'ces, mien ,,).1'.+ \ ... ' 24 . enemas

I I I

Sk ,,,; 1TTT+ k+2 + ... +2k y

I! 1 I 1

Sk.11 = k+2+ k+3+ ... +2k +2k+ J +2k+2'

Comparando Sk Y 811+1> vema'>. que-

S S I + I I

~+l- k~2k+1 2k+2 -k+1 •

I Sk+I-S/l-=2(k+l) (2k+I)'

EI segundo miembro de. la ultima igualdad es posltlvo cualquiera que sea el nnmero naturalk. Por eso, Sk+l > Sil'

p S - 13·d d t bl S ~. 13

.. era It _,--.. 24- e ·rno 0 que am len k+l .. " 24'

'Problema 24. Hallese eJ error en el razonarniento que sigue.

35

Proposici6n. La desigualdad

2u ~..., 211.+ 1

es valida para todo numero natural n.

Demostraci6n. Supongarnos que la desigualdad Sf' curnple

para It = k. donde k es UI] numero rta tural:

21; > 2k+ L (1)

Demostrernos que, entonces, tarnblen se cumplira para n =k--+--l, o sea, que

2H·:;>2(k+l)+1. (2}

En electo, 2k es no menor que 2 cualqurera que sea el numero natural k.. Agreguernos 2" al primer miembro de J a desigualdad (1) y 2 al segundo. Obtend rem os 13 desi gualdsd [usta

o sea,

2k+1.' 2 (k+ I) +1.

Hernos dernostrado la proposlcion.

Problema 25. c:Para que valores naturales de I~ se cumple la desigualdad

2" >2n+l?

Ejemplo 20. tPara que valores naturales de /I se curnple la desigualdad

Soluci6n.

Para n = 1 la desigualdad es valida ya que 21 "> l~. Para fl.=2 la desigualdad es Ialsa ya que 2z=2~

Para n= 3 la desigualdad es falsa ya que 23 <,32• Para n =4 la desiguaJdad es lalsa ya que 2' = 4'. Para n= 5 la desigualdad es val ida ya que 2~ > 5~. Para n = 6 la desigualdad es va I ida ya que 2i > 6z• Par 10 visto, fa desigualdad es valida para n. = I Y para

Iodo n > 4. Dernostremoslo.

1°. Para rt=5 la desigualdad es val ida 2°. Sea

2~ > .kl,

(1)

36

dande k es un nLimero natural mayor que 4.

Dernostremos que

(2)

Sabemos que 2'" > 2k+ I para k > 4 (problema. 25).

Por esc, agregando 211 al primer miembro de la deslgualdad (I) y 2k + I aI segundo, obtenernos la desigualdad (2) que, par consiguiente, es valida.

Respuesta. 2" > nl para f! '= 1 Y para n > 4, Ejemplo 21. Dernuestrese que

(I +0;)" > 1 + ria,

donde a> -1. a. * 0 y n es un numero natural mayor que 1.

Sol uci6n. 10. La deslgua I dad es val ida para n = 2 II ues

a.~ > 0 ..

2°. Supongamos que la desigualdad se cumple para II = k, 0 sea, que

( 1)

donde k es un numero natural. Demostremos que, entonces, Ia desigua ldad tamb ien se cum p Ie para n = k + I, o sea, que

(l +ct)Hl > 1+ (k + 1) Ct. (2)

En electo, par hipotesis. se tiene I +a > 0 de modo que es valida la desigualdad

(I +a)Ht > (I + ka) (I +a) (3)

que se obtiene multiplicando por 1 +a ambos mlernbros de iii desigualdad (1).

La desigualdad (3) se puede expresar 8s1:

(I +a)k+l > 1 +(k + l)a +kct'.

Desechando el sumando posltlvo kat en el segundo miembro de 1a ultima desfgualdad, obtenemos la deslgualdad (2;) que,

por conslguiente, es valida. .

Problema 26. Demuestrese que

t.+V2'+ ... +~ >Vfi

para todo mimero natural n > 1..

31

Problema 27. Demuestrese que

4n (2n)J

Il+ J < (nJ)J

para todo numero natural n:» 1.

Ejemplo 22. Demuestreseque

2"-1 (a"+b") > la+b)". (I)

donde a+b> 0, a=l=b Y Il es un rnimero natural mayor que 1.

Soluci6n. 1°. Para n=2 Ja desigualdad (I) da

2 (al +b') > (a + b)'. (2)

Puesto que a =1= b. se cumple la desigualdad

(a-b)' > O. (3)

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

Con esto queda demostrado que la desigualdad (1) se cumple para 11.=2.

2°. Supongamos que la desigualdad (I) se cumplepara n =k. 0 sea, que

2l!-1 (all + bl') > (a + b)k. (4)

donde k es un numero natural.

Demostremos que, entonces, fa deslgualdad (I) tarnbien se cumple para n = k + I, a sea, que

2.1: (aH1 +bJI+J) > (a +b)lI+l. (5)

MuliipIiquemos por a+b ambos rniembros de 18 desiguaJdad (4). Puesto que, por hipotesis se tiene a + b > 0, obtendremos la siguiente desigualdad justa

2.1:-1 (a.t+bk) (a+b) > (a+b)."J. (6)

Para demostrar la validez de la desigualdad (5) basta probar Que

0; 10 que es 10 mismo, que

"HI + bkio1 > ukb + abk. (8)

38

La desigualdad (8) equivale a Ia desigualdad

(all-bk) (a-b) .. O. (9)

Si a: > V, tenernos all> bk y el prlmermlernbro de Ia desigualdad (9) es el producto de dos numeros positivos. Si a <:: b, tenernos ak < bk Y el primer miernbro de la desi,gualdad (9) es el produdo de dos numeros negatives. En ambos cases la desigualdad (9) se cumple.

Con esto queda dernostrado que 1a validez de la desigual dad (1) para n = k im p liea su val idez para n: = k + 1.

Ejernplo 23. Dernuestrese que cualquiera que sea x> 0 S cualqulera que sea el numero na tura I n se curnp le la desigualdad

II I n-2 L "-1+ + 1 + 1 + I - j 1

x I'X I X .•. xn-4 xn-~ x"pn--.

(1)

Saludon. to. a) Para n = 1 la desigualdad (I) da x+! ~2.

(2)

La desigualdad (2) se desprende de la desigualdad evidente (X_t)2~O.

b) Para II = 2 la deslqualdad (1) da

(3)

Puesto que la desigualdad (2) se cumple para todo x:';, O, subsiste al sustitu it x por x~, 0 sea,

,,-+ 1_2

x x~::::",·

Agregando 1 a ambos miembros de la ultima desigualdad, obtenemos la desigualdad (3).

2°, Supongarnos que la desigualdad tl) se curnple para il=k, 0 sea, que

Xk+Xk-2+ ' .. +_I_+2.~k+ I, (4)

xk-~ xll

deride k es un nurnero natural. Demostremos que, entonces, la desigualdad (1) tarnbien SI! cumple para n=k-j-2,

39

... -_ .. _ .. _ .... -----

o sea, que

Xk+~ +-..ck +Xfr.-l + ... +_1_ i-.!. +_1_ ~f( ~ 3. (5)

x"- 2 .Ilk .t~ + 2 _.

Introduciendo XH2 en la desigualdad (2) en lugar de x, obtenernos

(6)

Sumando rniembro por miembro 1.3<; rlesiguaidades (4) y (6), obtenemos la desigualdad (5).

Resumamos.

Ell los puntas a) yb) de I'" hernos oernostrado la desiguaJdad (1) para /t= 1 y para n=2.

En el punta 2° hemos demostrado que, siendo valida la desigualdad (I) para tr.= k, tambien 10 es para It = k + + 2. Ell otras palabras, 1"1 punto 2" perm ite pasar de n = k a n=k+2.

Los resultados de los puntas I" a) y 2° permiteu alirmar que la desigualdad (1) se cump le para cualquier numero impar n . Sim iiarrnente, los resu I tados de los puntos lOb J y 2(l permiten afirrnar que la desigualdad (1) se cumple para cualquier nurnero par n. En conjunto, podernos afirmar que la desiguaJdad (I) se cump!e para iodo ruirnero natural n,

Ejemplo 24. Dernuestrese el teorerna: La media geometrica de varies nurneros posltivos no pasa de la media arltmetica de los rnismos, es decir, siendo ai' a2, •. '! a, unos ruimeros positives, se tiene

Salucian. 1°. Para n =2 la desiguaJdad t I) da

V-- al+a~ ala2~-2-·

(2)

Es facil obtener esta desiguadad a partir de esta otra (Val-V a~)~ ;;:'0,

va I ida cualesquiera que sean 1.0$ numeros positives a1 Y (72.

La desigualdad (2) admite una interpretacion geometrica sene ill a. Tomemos sucesivamente ell una recta A8

40

.. _. __ .... __ . ... - ..... -- .. ------------

los segrnentos at Y a!. Construyamos la clrcunferencia cuyo diarnetro es la swnade estos segmentos. Entonces,

a1 tal es el radio de est ctrcunferencla y V ala. es a mitad de la cuerda perpe dicular 81 dtametro en el punto cornun de los segmentos at .. y a. (vease la figural; de aqui se deduce la desigualdad (2).

2°. Supongamos que Ia desigualdad (I) se cumple para tl=k.

.. ..... _ ...... - .. _ .. _ .. _---_._-_. ----

Demostrernos que, entonces, tambien se cumple para It = 2k. En efeeto,

:lVala~ ... aak= i V ala a ••• al< Vak+l". all1l~ ~ Vala, ... ak+ Vak+l .. au ~

~ 2 ~

<11+au+·· .+ak+QlI+l+" .+a~1l"

~ k k

-=: 2

=

a1+02+·· .+ak·+'" +a~/;

= 2k

Puesto que hemos demostrado ya la desigualdad (I) para 11.=2. podemos afirrnar ahora que sa cumple para n=4, 8. 16, etc., 0 sea. para fI, = 2s, dondc s es un rnirnero natural.

3°. Para demastrar que Ia desigualdad (I) se curnple cualquiera que sea el numero natural n. probemos que, si se cumple para n=k, tambien se cumple para n=k-1.

41

Sean, pues, au a., ... , ak-i unos ruimeros positlvos, Sea i. un namero positivo (por 'ahara indefinido). Entonces

~/ '1 ~al+all+'" +ak-t+'"

y a1a3 .•• ak-1 .... ~ k •

Determlnemos A. de modo que

at +a2+ .. +a,,_.+). _ Ql+a~+ ... +all-1

II; - k-I

o sea, pongarnos

1 _al+a~+ ... +all-\

"'- k-l .

Tenemos

Vala~ ... 0/1-1 (al+03+" .+all-1) ~ ad-uJ+" ·+0:1/;-1

k-J '""" k-I '

es decir,

k-~/ ~ a.+a~+ ... +aA-l

v Q1a •..• a/l_1....". k-l .

Sea ahora m un n Limero natura I eua 1 quiera. SI m = 2s, 1a desigualdad se curnple en virtud de 2". Si m ~2s. determinemos el numero s de modo que m sea menor que 2"; entonces, basandonos en 2" y 3'., podernos afirmar que la desigualdad se cumple para ti = m,

§ 4

DEMOSTRAC16N DE ALGUNOS TEOREMAS DEl. ALGEBRA ELEMENTAL

reorema 1. Elcuadrado de un pollnomlo es igual a [a suma de los cuadrados de sus ierminos y del auplo de todos los producios de sus terminos tornados dos a sos, 0 sea,

(c, + all + ... +a,,)2=a~+a:+ ... +a~+

+2 (a1a2+a1ad-··· +an_1an)· (l)

1°. Para n =2 Ia f6rmula (1) se demuestra mediante el calculo dtrecto.

2°, Supongamos que la Iormula (1) es valida para n =k-I, 0 sea, que

(a1+aJ+ ... +all_l)~=a+ ia:+ ... +aLl +28,

donde S es la surna de todos productos de los terminos .a1• all ... , a~-l tornados dos ados. Demostremos que

(a1 +a.+ ... +ak-1+a,.,)'=af+a:+ ... +al-, +a%+28 .. donde 81 es la suma de todos los produdos de los termiIl()s .lII• aa •..•• a/l_t' ak tornados dos a dos, 0 sea.

8, =8 + (al +al + ... +a,,_,) a".

En efeclo,

{at + ... +a/l_1 +akP = «a1 + . , . +a,._I) + all]' =

= (a1 + +a/l_1)' +2 (a1 + ... +a1o-1) a,. + all =

=a:+ +a%_1+2S+2 (a1+ ... +a/l_1)a,,+al=

=a~+a:+ ... al+281•

Teorema 2. El termino n-eslmo de una progresi6J1 aritmiliea se deiermina segtin. la formula

o,.=a1+d{n-l), (1)

donde a1 es et primer termino de la progresi6n y d es la ra.z6n de la misma.

to. La Iorrnula (l) es valida para n. = 1-

2°, Supongarnos que 1a f6rmula (1) es val ida para n=k. o sea, que

Entonces

al<+1 =ak+d=a1 +d (k-l)+d=a, +dk

de modo que [a f6ttnula (1 )tambien se cumple para n=k+ 1.

Teorema 3. El termino n-esimo de una progresi6n geo-

mitrica se delermina segun Ja fOrmula

an =a1qt.-l, (1)

donde al es el primer termino de la progresion !I q es La raton. de La misma.

1°, La formula (1) es valida para It= 1. 2°. Sea

Entonces

ak+i = a/l;q::::o a·1qk.

Teorema 4. El nurnero de permutaclones de m elementos se tietermina segun la .fOrmula

Pm=ml. (1)

10• Observemos, ante todo, que P 1 = 1 de modo que la formul a (I) es v.al ida para m= 1.

2°, Sea P II = kl Demostremos Que

PU1 = (~+ 1)1.

Entre fos k+ 1 elementos dados Ot, au "'J all' tlJo+j escojamos los k primeros forrnando con ellos todas las permutaciones poslhles, Par hipdtesis, habra kl perrnutaclones de este tipo.

Coloquemos en cada una de el1as el elemento aA:+j delante del primer, del segundo, "', del k·esimo y detras del k-esimo elemento. Par esta via obtenemos a partir de una permutaclon de k elementos un total de k + 1 permutaclones de k+ 1 elementos. En suma habra

kl (k+ l)=(k+ 1) I

perrnutaclones de k+ 1 alernentos:

Es preciso demostrar ahora que

1) entre las (k+ I) r perrnutaclones no hay des iguales y

2) hemos obtenida todas las perrnutaclones de k + 1 elementos.

1) Supongarnos que entre las (k + 1) I permutaciones hay dos iguales, Sean estas PI Y p~. Supongarnos que el elemente all+i ocupa en la permutacion PI la posicion s-eslrna a partir de la Izqulerda, Tambien en Ps el elemento ak+1 ocupara la poslclcn s-eslma a partir de la Izqulerda.

Eliminemos de PL y de P, el elemento aUI' Obtendremos dos permutaclones lguales, Pi Y PIH de k elementos.

Asi, pues, para obtener P .. Y PI hem os colocado eJ elernento all+1 dos oeces en ta misma posicion yen una mlsma permutacion de los elementos at, az, ••• t ak• Pero estc contradice Ia regia emp!eada para construlr las permuteclones,

2) Supongarnos que no hemos obtenido una permutac.i6n p de k+ 1 elementos y que el elemento all+1 ocupa en P

44

1a posici6n s-esirna a partir de la izquierda. Eliminemos de p el elemento a1l+1' Obtendremos una permutaci6n pformada por los k elementos primer os. Es decir I para obte-

net p basta tomar Ia permutaclon p y colocar en ella el elemento ak-t-l en la posicion s-esima a partir de la lzquierda,

Es irnposible que nos hay amos saltado 1a permutacf6n

p ya que hemos tornado todas las perrnutaclones de los k elementos primeros, Es irnposlble que no hayamos colccado el elernento allH en 18 posicion sefialada pues 10 hemos colocado enla prirnera, segunda, ...• (k + l)-eslma peslci6n a partir de la izquierda.

Par 10 tanto, todas las permuiaciones construidas sen disiintas y no nemos perdido ninguna permutacion de k + 1 elementos.

De lo expuesto se deduce que

Phl=(k+ I),I.

Teorema 5. £l numero de »artaciones de m elementos tornados nan sa determina segun fa f6rmula

A~=m(m-l) ... (m-n+1). (1)

1°. Observernos, ante todo, que A1n=m y, por consiguiente, Is formula (1) es vallda pari! n = 1.

20. Supongamos que

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

donde k < m. Demostremos que

A~+l =tn (tn-I) .,. (tn-k).

Para obtener todas las varlaciones de m elementos tomados k + I a k+ I basta tamar las variaclones de m elementos tornados k a k y agregar al unal de cada una de elias uno de los m-k elementos restantes. Es [ki} persuadirse de que las variaciones de m elementos tornados k + la k + 1 obtenidos de este modo son distintos y de que, adernas, cualquier oariaclon. de m_ elementos tomadce k + 1 a k + 1 f igura enire esos.

Par 10 tanto,

45

Teorema 6. El nsimero de combinactone« de m elementos tomadoe 11 a n se deiermina segan la f6rmula

cn_m(m-l) (m-n+l) (1)

m- 1,2 n '

10. Observemos, ante todo, que q,,= my, por conslguien teo ! a f6rmul a (1) es va 1i da par a n = t.

2°, Supongamos que

Ck _m(m-I) , .. (m-k+l)

m- '.2 ..... k

y demostremos que

C"H _ m (m-l) (m-k.+ 1) (m-k)

m - 1.2 k(k+l) <-

Para cbtener todas las comblnaciones de m elementos tornados k + 1 a k + I consideremos todas las comblnaetcn es de m elernen tos lorn ados k a k y agreguemos a cada una de elias, como el (k+ l)-esirno elemento, uno de los rn-k elementos restantes.

Salta a la vista que de esta forma se obtendran todas las combinaclones de m elementos tornados k + I a k + 1 apareciendo cada una de ellas k + I veces.

En eiecto, la combinacion a1• aa, . , '. ak,. aHt se obtendra aJ agregar el elemento aJ a la comblnacton a~, aa •... , a •• a~+1' al agregar el elernen to oa a la comblnacion at. aB ••• '! ali. a"+I' etc., y, por ultimo, al agregar el elemento ab:+i a la combinaci6n all a~ •... , ak' Por 10 tanto,

Ck+l- C" m-k _.m (m-l) (In-k)

m - mk+J - 1.2 k(ktl) •

Teorema 7. Cuaiesquiera que sean. los ntimeros a !J b Y el namero natural n tiene [agar fa formula

(a+b)n =a" +C~an-lb+ •••

. . . + C~an-.rbl + ... + C::-1abn-1 + bit (I)

(f6rmula del binomio de Newton).

10:. Para n=I tenemos a+b=a+b y, par oonslguiente, la formula (1) es valida en este caso,

2°, Sea

(a+b).t=all+C,tab:-lb+C1ak-2bt-l- ,,+b~,

46

Entonces

{a +b)I:H = (a+ b)A (a + b) :-

= (ak+Clall-1b+ •.• +bk) (a+b) =

= all+ 1 + (l + en af:l.b + (CL+ Cl) a"-lbi -I- .•.

.. . + (el +Ct~'l) ak-orbITl + ... + 6HZ•

Tomando en consideraclon que q + CiH = em. obtenernos (a + b)k+1 = ak+1 + q+lakb +

+G1+tak-1b'+ ... +Ci~\ak-"bs+l+ ..• +-b4+J~

----------------- --_._., -- .•. --- .. -

EPILOGO Yu. A. Ods/eo

La inducci6n es elpaso de to particular a 10 general Is de due-

cl6n, de 10 general a 10 partlcular. Es sahldo el papel que desernpefian los procesos de sin iesis de obrervaciones y experemen t09 aislados (0 sea, la tnduccten) en las cienclas ernplrlcas. En camblo, las Matematices slernpre se han conslderado como un modelo cliisico de aplJcaci6n de metodos puramenle deductivos ya que slempre sa so preen tendla, exp,lIci ta 0 Imp I!cifamen te, que to das las proposici ones matematteas (salvo los axlornas, proposlclones de partida) se demuestran, mientras que las aplicaciones concretes de estas proposlctones se infieren de las demostraclones, valldas en el csso general, (deducd6n).

Pero leemos: .La lnducclon se emplea amplfarnente en las Maternaticas, pero hay que hacerlo con enlendlmlentcs (piigina 9) 0 clC6mo debe emplearse la Inducclcn en las Matemliticas para Jlegar siempre a concluslones judas?l) (pagina 8). tQue significa esto? c'.No querr!! decir que entre los metodos maternaticos extsten ~correctos. 0 infalib!es (deductivos) y t)"uHodos «poco seguros» (indudivos) que a veces, y especiatmente en manes inexpertas (0, como dice el autcr, apllcedos COD ,ligereza,), fallan? Si esto Iuese asi, ed6nde est.a el criteria de seguridad de estes metodos dnductivon? tC6mo recuperar la saguridad enel caracter irremisiblemente ohliga torio de las ccncluslones rna tematicas? ,-0 se trats. de una situacion sin sallda y is validez de los razcnamlentos matemstleos es de 1a misma naturaleza que les sintesis experimentales de las clenciss empirtcas y. par 10 tanto, ne estaria de mas ecornprobars una vez mAs un heche demostrado (como a menudo se recomlenda a los escolares que ecomprueber» las 0reraclones arJtmeticas realrsadas 0 la solucl6n de una ecuacten he Jada 8igulendo una formula general)?

La realidad es 'dlstinta, La fnducc/6r1 (0 sea, la sugerencla de unit Idea a una hlpotesis) sin duda de5empefla en 1M MatemdticaS un papal Imporfanta, perc puramente eurlstlco: permlte adivinar eua! debe Set, segun todas lasapariencias. la soluc.i6n. Pero las proposicioftes matematicas se demuestran slempre deductirJamenie. Ning60 resultado mat~matico pueda consldersrse \usto. 'valido, si no ha stdo deducldo de las prcpostclones de partIda.

1) Esta forma de enfccar la dnducclen en las MateltJatlcas, es ya (;8s1 traditional en los textos escolares, incluso, en los mas modernes,

48

Pero, i.Y el «metoda de induccl6n matematlcas? Lo que sucede es que la cil1ducci6n matematlca. es un metodo tkductJw. en efedo, conslderemos con mas detal1e 18 estructura de los raecnamlentos rnatemliticos que aparenlan ser un cpaso de 10 particular a 10 generab. Es Uci!. persuadlrse de que la !lamada induccl6n matem6tlca no es, de heche, inducclon: res un rnetodo de razonamiento puramente deductivol La demostraci6n por esle melodo consta de dos partes: I) La base, Q sea, la demostraci6n (]deductivII) de la propostclcn para un numero natural (0 varlos: por ejemplo, para 0 6 1; en 'a paglna 13 esta parle se denomina «Teorerna la) y 2) el paso tnductto» (cTeorerna 2.) que conslste en la demosirac!6n (tarnblsn d~duotiva) de la proposicton general: para todo 11 es cierto que Is valldea de la proposid6n para n irnplica su validez para n+ I. EI «principio de induecien rna tematlca» (pagina J2) es una proposic.i6n preclsa (cuya evidenc13 intui tiva es aceptada per muchos mate~HHicos com.o i~d.ls. cutlble aunque 8 Ia hora de 101 exposicl6n axlomabca de Is Arl tmetlca figure como un axloma) que permlte obtener, a partir de la base y del paso lnductlvo, una demostrad6n puramente deducUva de la proposielon para todos los nameros naturales n. Por constguiente, no queda ningun caso que no haya sldo eabarcado por las hfp6tesi9 y a1 que aun debe hacerse extensive (par inducci6n) 10 proposlcicn: el teorema prectsamente se demuestra para todos los numeras naturales: de la base dernostrada. digamos. para el nurnerc 0) obtenemos apll· cando el paso lnductlvo la demostraci6n para el mimero I y despues de 11\ rnlsma forma para 2. 3, ... De este modo el teorerna puede ser argumentado para cualquler namero natural r>.

En otras palabras, el nombre de «Induccion matematicas se debe simplemente a que se asocia en nuestra consclencia can los tazonamlenlos clndueUvost tradtcioaales (ya que Is base efeclivamen!e se demue3tra 8610 para un cuo parttcular): pero el paso Inductlvo, a diferencla de los criterlos, basadosen Is experiencia de veros!ml\ltud de los razonamlent.os Lnductivos de las clenclas naturales (y scctales), as una DtOl'osicl6n general que no necesita de ninguna hlpOte.sls parti. cular y se demuestra segUn los rlgurosos canones de los raeonamreatos deductivos. Es pOl" eso que la einducclens maternatlca se denomina tamb£en «completa, 0 .perfecta1 ya que (8 dlleraneta de la Indutci6n eorriente, «imperfecta •• que no gtmantlza el cOflt>Cimienlo compteta) es un metodo deductivo (ede 100% de segurldads) de demoatraelea,

Es declr, ta Inducci6n en tantoou« ~todo de derru)Jtraa6n no u emplea en las Matemdticas 2>; pero esto no excluye en modo alguna, per supuesto, la amplla apllc.aci6n .en elias del metodo dedud!vo de «inducc!6n materna Hea»,

1) Acerca de los problemas que se plantean al argumentar de esta forma el mHodo, vease 1a ll teratura Indicada mas adelante,

II Hemos mencionado ya de pasada el papel fecundo que desempens Is lnducci6n ecorrlentes (cincompieta.) en 18 formad6n de hi· p6tesis maternattcas que conducen 31 descubrimiento de nuevos hechos; de esto y de la relaci6n entre la inducci6n «corrientu y el metodo de inducclon rnatematlca se lrala con mas detaIJe en el Iibro «Las MatermHicas y los rasonamlentos veroslmlless de G. Potya. volumen [ (espectalmente cap. 7).

49

Entendlendo asl este tlirmino nos pademos. clsro esta, permi tlr Is I!bertad de emplear trases como cinduccion en Ia Geometria'1,) 0 «inducci6n en las Matematlc. as, .. Pero siempre debe tenerse presente que la prlmera exrresi6n. hablando am rigor. tiene un sentido totalmente d. istinto de que. tiene 18 expresi6n voluminosa (Ipero precisa'.) «oplicad6n del metoda deductivo de induc<:i6n matematica a la demoslracl6n de teoremas de eontenldc geomefrko, y que la segunda. expresi6n, a despecho de los crllerlos gramaticales. no es 10 rnlsmo que la «lnduccl6n matematica:t: este ultimo termino. d.ebe cornprenderse en ctJn/unto y no como dnducclon en las Matemahcas».

EI metoda de inducci6n matematlca (en 18 forma expuesta en este libra) es un metoda de demostraci6n de teoremas arttnuttco« 0, mas rigurosamen te, de teoremas referentes a las propiedades generales de los numeros naturales (0, J, 2, .,.;a veces, como sucede en este llbre, la sucesi6n natural se comtenEs con el I. pero esto no es una cuestJ6n de principia). Y para Ie AritmtHIca de los numeros naturales este me,todo en clerto sentldo (razonable y arnpllo) es e.! Instrumento universal (y a veees (mica) de demostracl6n.

Para que esta ultima aflrmscl6n no Ie parezca al lector exagerada debe tener el convenelmienlo de que la edificacj6n axlomatica (deductiva) de la Ari tmeticR se basa en 1,£1 deflnlcien, por induce/on IIUltematir:a, de las operaciones con los numeros naturales (par ejernplo, para deflnir Is adlci6n se define -base de la inducci6n- Is adicl6n del i () del 0 y despues -paso Inductlvo-c Is adici6n de un mimero natural cualquiera se reduce a 18 adici6n del numero precedente). POt eso, es evldente que para c1legan a las propiedades generales de los numeros naturales relaclenadas, dIgamos. con las operaclones de adic16n 0 de muitipHcad6n debemos usat (SI queremos argumentar axlom.Hkamente est as propiedades) Ia rntsma fescalera2 (cuyo «esoaJ6~1 inferior es la propledad correspondiente enunclada para el numero natural rnlnimo) que empieamos para «ascender- a1 concepto general que nos interesa; hablando flguralmenle. no hay otra forma de «agarrorse. a 10 demoslraci6n necesaria, Y as! ocurre con la demosfraci6n de todas las ~roposiclones aritlljeticas. Y sl esto no se ve en el curse escolar de la Arltm~tica 0 del Algebra es porque ese curse (con much a raz6n) se hasa no tanto en el metodo axlomatlco como en el experimento y Is Intulclen I). AI fin y al cabo, incluso el lector mas metlculeso r. crltico se conforms a menudo con saber, digamo.s. que 18 ley dlstrfbutiva de la rnulttp llcacldn respecto II 18 adici6n at pl/ede demostrar y no_exige Ia demostraci6n misma. (Pero esta seguridad-, aunque este bien fundamentada, difiere de la demostrad6n au Umtica tanto como difiere, par ejemplo, una informaci6n period Is-

l) Este es el nombre que, para abrevlar, han dado L. /, Golovilla e I. M. Yaglom a su Ilbro (Editorial MI~, 1975) concebldo como contlnuacldn natural del libro de r. S. Sominski.

Il) Por otra parte, euando en el eurso escolar se denruestran propiedades generales de los numeros naturales si n emplear para ella fa induction, esto se debe a que se utilitan (a veces impli'citamenie) como hip6tesis pr~posicIones. que, para su Iundarnenlaclan rrgurose,

freclsan Ia inducd6n (de la misma forma jue el empleo del postuado de las paratelas en la Geometrla -eucl dea se puede (camufJau tomando en su luger uno de sus corclarios),

50

tica de \0 que sabe autenticamente el testigo; adernas, esta analcgia va muy lejos.] Por esc, en el curse escolar el metoda de Induecion materna tics apareee mucho mAs tarde que las propledades. intui tivarnente claras y hicllmente e.simiIB\;Jles, de las oper aclones aritml'.lic8S; por ejemplo, en relaclon con la formula del binomio de Newton de la que no puede declrse que su valldez (salta a La visla~.

Otras ramas de las Matemllticas neeesitan del metoda de indueci6n matematlca en 13 misma medida en que emplean la base arltmetica. Esta necesidad iiene dos aspectos. Ante todo, muchas ramas maternsttcas se ediflcan d lrecisrnente sobre la base arrtmetlca de los numeros naturales (digamos. Is teorta de los numeros racionales que conduce. a su vez. a la teorla de los numeTos realesj; en cambio. otrss pueden ser inter pretadas en termlnos arttmellcos (par ejemplo, tcdo resultado de la Geomeirla euclldea puede ser expresado en el Jenguaje cdc coordenadase de los rurmeros reales), En estos essos, las ptoposlctones de earaeter gcometrico, digamos, se pueden demostrar mediante la induccldn maternauca empleando esta fnterpretacion aritmetica. Se puede dectr que 0.1 caracter geometrlco 0 de otra Indole de estas propostclones no es mas substaricial para la demostraclon que, por ejemplo, 18 naturaleza de los objetos en e1 problema relativo a l a adtclon de tres y cinco pepinos 0 de tres y cinco barcos. (El lector podra encontrar ejernplos sernejantes en este llbro .. )

Pero sucede tamblen que la base de 1a induccion se demuestra por metod as esencialmente no adtmeticos 1). Sin embargo. lambien eneste caso represents el paso inductivo (aun cuando se base en axiomas geometrieos U otros) una proposiciolt general sobre los nllmeres naturales puesto que 51) Irata de la validez de una propledad para lodo nurnero natural n ~).

Es declr, 18 lnducclon malemat1ca seguri los nurneros naturales as till metodo de demostraclon de teerernas aritrnetlcos epor su forrnas , pero quid geometrtcos 0 de cualquier otra Indole [mecantcos, per ejemplo) «por su con tenldos.

seiialemos tambien que el metoda, tan lructllero en las demostraclones que slguen el p roceso de ccnstrueeten de 18 sucesion natural 0, I. 2, ...• puede ser extendidetambie..n a proeesos de indole muy distinta. Por ejernplo, en los calculos de la L6gica matematic8' que operan call f6rmulas (<<proposidones») obtenldas de «formulas elemenlaleSl (epropostclones elernentaless) de tipo A, B. C, ... mediante, digamos, los signos & (<<y,). V «Oll) , ::> (<<si ... ,entonces ...• ) y l (.no~), las propredades generales de las f6nnulas se dernuestran empleando la Uamada inducci6n por construcci6n: se demuestra que I )esta propiedad es vallda para cualquier formula elemental (base) y que 2) sl esta propiedad es valida para las formulas X e Y. tamblen 10 es para las f6rmu las (X & V). (X V Y). (X ~.Y) y l X (paso inductivo); de aqui se deduce que Ia proposlclen sonsiderada es valida para lodas las f6rmul as de este lipo. La analogia que .aqul se observa con

I) Vease, POI" ejernplo, el libra ya menclonado .1 nducctcn en

18 Geome tria) de L. I. Ool(ltlind e I. M. Yaglom. .

. ') Es declr, el proplo paso «de nan + It se demuestra para todo numero na tura 1 It.

51

1.1l lnduccion malemattca expuesta en este !ibro es tan palpable que salta a 13 vista lncluso de un lector Ioexperto.

En general, toda construcclon matemattca (0 16gics) conststente en el paso de uno 0 varios objetos initiates a objetes nuevos mediante una 0 varias operaclones de paso, puede ser conslderada como el fundamento del metodo cerrespendlente einductivo» (que. como hemos vlsto, es purarnente deductivo) de definlci6no de demostracien, (.4. propcslto, el papel relativamenle supedl tado que desempena la tnducclen matematlca en el AnaJisis matematlco se debe precisarnente a que los numeros reales, a diferencia de las natura les, no son resu Itado de IU na construccion nets que se desarro lIa segun esta lorma, de modo que dislintas .i.nducciorles segun los numerus realess estan muy lejos de tener el caracter universal que tiene la inducclon maternatica en Is Arltm'Wca y su modlficaci6n en Is Logica matematlca.)

En cuanto a las pregunlas de caracter general matematico 0 16- gleo que puedan surgtrle al lector. 10 remitimos a la llteratura especiaP). En earnbto, el presents libroslrve muy bien pua dar a conocer las apllcaclones concreta« del metodo de induccion matematlca elemental.

1) Vease, por ejemp!o, JJ. Fessu«, 0 MaTeI!l8TH'IeCKOR l1HJl.yKI.lKH, M., ~H3MaTrR3, 1962 (L. Gnenkin. Sabre la inducci6n maternities); H. B. APHOlltJiJ, TeOpeTH'IeCKBiI apllIpMeTIfKa, M., Y'Inc.u.rH3, 1939 (I. V. Arnold, Arltmetica le6rica); S. C. Kleene, Introduction to metamathematics, Amsterdam, New York and Toronto, 1952 (S. C. Kleene. lntroducclon a las Melamatematicas, § 7, 13, 21, 38 y olros); KMaTeM3TH'IeCK811 HHIlYXQIHI» ~HJlOc*Kali '1Hl(HKJlOne,ll,HR, M., 1964, T. 3 [e lnduccicn matematfcas, Enciclopedia filos6fica, v. 3).

SOLUCIONES 1)

I. Htpctests

un=3n-2.

I'. La hlp6tesls es dJida para n = 1. ~. Sea

ulI=3k-2.

Entonees

Uk+l=Uk+3=3k-2+3=3 (k+J)-2. 2. Hip6tesis

S,,=2n-1.

II. La .hip6tesis es valida para n= 1. 2'1. Sea

Entonces

SHI =S.+211=211+1-1.

(Podlamos Iambten Iormer dtrectemente 1a dtlerencla 2S,,-Sn , mostrar que es 19ual a 2"_1.)

3. 1'. La proposici6n es val i do para 11 = I , 21. Sea

Bntonces

1'+31+ ... +(2k-1P+{2k+ 1)I=k (2k-l~ (2k+l) +(2k+ 1)1= _ (11:+ I) (211:+ 1) (2k+ 3)

- 3

1) S610 Indlcamos los numeros de los problelll4S. La soluclen de los eJtmplos se da en el lex to.

53

4. '". La prcposlclen es v'Hda. para n = I • 2". Sea

P+23+ ... +k~= [fiI(fl.2+nr.

Entol'lces

1~+21+ .... +k3+(k+l)a=

=k· (k4+1)1 +(k+l)8 = ek+I~(k+2)r.

5. la, La p roposicl6n. es valida para n = 1. 2°, Sea

11. II. xk+1-1

1 + x +.1" + ... +x= x-I •

6., La. La proposiel.6n esvUJda para II = .I- 2°, Sea

1.2.3+2.3-4+, .. +11(1:+1) (k+2) k (k+l) (k+2)(k+3) 4

Enlonces

1·2·3+2.3.4 + ... +" (k+ 1),(k+2J,+(k+ I) (k+2) (k+3)= k (k+ 1) (k+2) (k+3) +(11:+ I) (k+2) (k+3),=

4 .

(k +1> (k+2) (k+3) (k+4) 4

7. (0. La proposki6n es vlilida para 11.=1. ~. Sea

I 1 ,j k

1.3+3.5+'" T(2k-l) (2k+ I) ,211+ 1 •

Entonces

8. II, La.proposici6t1 es v'lida para n= l. 2", SeB

l' 2' It'/,

'.3+3.5+'" +(21:-1) (2k+ 1)

11: .(k.+ I) 2(2k+l) .

54

Entonces

l' 21 k' (k+ IF

n+3.5+···+ (211-'1)(211+1)+(211+1) (2k+3)

k (k+ I) (11+ IP

2 (211+ I) + (.2k+l) (2k+3) -(k+ )k(2k+3)+2(k+l)=

~ 2 (2k+ I) (211+3)

(k -I- I) (2kl +511 +~) (II + I) (2k+ I) (/I +2) = 2 (2k+'I) (2k+3) =. 2 (2k+ 1)(2k+3) .

(11+1) (k+2)

2 (2k+3) •

9. Ill. La proposki6n es valida, para n = L 2g• Sea

I I, I k

1.4+4.7+···+(3k-2) (3k+I)=3k+I'

Entonces

1 I til =

n+4.7+···'(3k-2) (311+1)+(311+1) (3k+4)=

k 1 k+l

=311+1 +(3k+ I) (3k+4)3k+-"

10. ID, La propeslcion es valida para n= L

2", Sea '

I 1 I k

j.5+5.9+"·+(4k-3) (411+1) 4k+I'

Entonces

I 1 1 I

1.5+5:9+ "'+(4k-3) (4k+ 1)+(4k+l) (411+5)

II I k+1

=4k+ 1+(4k+ I) (4k+5)=4k+5'

11. 10, La proposicl6n es va[fd.a para n = I. 2g• Sea

J , ,I I ' I It

a (a -1- J) (a+ I) (a+ 2) + ... +(a +k -I )(a+ /I)' tJ fa +.It) .

Entonces

I, 1

(I (a+I)+ (O+1)(a+2)+'"

I I

.. '+(a+k-l) (a+k)+(a+k) (a+h+1) =

k, 1

a- ( ..... a...,..+....."k)'(a+k) (a+k+ I) =

k+l

55

---- .. _ . .,--_ .... __ ._._-------

12. I". La propostclen es valida para 11=1 y para 11=.2. 2°, Sean

Q'.It-l~~~-l all-tl.ll

U~-2 a-~ Y UI<_I= a,""":'p .

d.1I+1_~k+l a-~

I~ •. 1". Siendo n={). lenemos

1 1 2

l+x=x-J+I-x2 '

o sea, 18 proposid6n es valida.

2°. Sea

I :2 4 2k

l+.t+ I+xi + I+.r + ... + 1+.1'211

1 2~ -1-1

=X-I+I_xt.t+1

En t onces

I 2 4. 21 24+l

I+X+ H-x3 + I+x' +".+-1+.1'211+ l+x3/;~1

J 21<+1 21<+1

= x-I I 1_.1'311+1 + I +x~1I+ L

I _ 211+1 =-.1'--1 +-I-X-I""'II-:-+-~

14. Para n = I lenemos

x x-I

I -1T=--I!-'

Para n=2 tenemos

J x 1 x(.1'-I)

-ITT 21

_ x-I +.1' (x-I) _(x-I) (;<:-.2)

I 2 - 2! •

Para n = 3 tenernos

l_~+X (x-I) _x (x-I) (x-2)

JI· 21 31

(x-I) (x-2) x(x-I) (x-2)

2 ---6--=

(x -I) (x -2) (.1'-3)

=- 3)

66

Esto sugiere la hlpctests

l _~+X(X-l) _ +(_I)"x (x-I} •.. (x-n+l)

II 21 .•. nl

=(_1)" (x-I) (x-2) .. ,(z-n), nl

L o. La hi potesises val j da para 11 = 1. 2°. Sea

., _.!_+x (x-I) +(_1)"% (x-I) ... (x-k+ I)

.. II 21'" k!

=(_1)- (x-I) (x~~) ... (x-k).

Entonces

-J _-=-+X{X-l)

II 21

+(-1)- (x-- I) (,(-2) ... (x -k + 1 )+

.•• hJ

+(_1)11;.1 x (X-(t~'I)\X-k) ""'" -(-I)k (X-l)(x-2) ... (x-k)+

- kl

+{_ I)k-l-l x (x-1) ... (x-h)

. (~+ 1)1

=(_ 1)11+1 (x-I) (.(-2) ..• (x-k) [ x __ I] =

hi k+1

_(_ 1)11+1 (x-I) (%-2) ..• (x-k) (x-k-I)

- (k+I)!'

,5, 1°, La proposici6n es valida para n=O.

2°, Supongarnos que la ptcposlcidn es vall da para n = k, -o sea, que

Ak = 1111+11 +J2ill+1. ~s divisl ble por 133, Entonces

AIIH = 11"'+8+ 121111+1)+1= l1k+a+ 12u'H= = If. [IA-H +-144.1214+1=

= 1 \ .1Ik+1+ 133,121/1+1+ 1l.12~H·l= = II (lIHI + 12Ik+1)+ 133.121"+1= = llAk+ 133·121i1+1,

Hemos representado A.HI como 18 suma de dos term I nos divlsibles -cada uno par 133. Luego, Ak+l es dlvlslblepcr 133.

18, 1°, Salta a la vista que Ia praposjci6it es valida para n = I. 2°, Supongamos que lapropasici6n es valida para n=kc, 0 sea, que k rectaa dlvlden el plano en 2k IIngulos; la recta (k+ I)·esiroa -dtvlde en dos partes dos angulos vertlcales a 13 ves, es decir, aumenta

57

e. n 2 el nt1m~r? de partes engue est! dlvldldnel plano. 11:+1 rectas dlvlden el plano en 2k+2=2(k+l) partes.

17 .. 1°. La proposici6n es viilida para no=: I ya que

sen ~x senf+( sen 3; -sen ~ ) I

---,,------'----x---.... 2 +cos x.

2 sen 2 2 ?en2

Por eso,

Ententes I

2 +cosx+CO$ 2x+ ... + COs kx+cos (k+.I) .x=

2k+1 sen--2-- x

_____ +cos (k+ I)x=

2 x sen "2

2k+! x

sen~.x+2sen2 cos (k+J) x

x 2 sen '2

sen¥x+( seo~x-sen~x)

x 2sen2'

2k' 3 sen __:C_X 2

x 2 sen '2

18. 1°. La prcposlcien es valida para n = I ya que 2senx-sen2x 2senx(l-cosx)

senx.

2°, Sea

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

(ke+ I) sen kx-k sen (ke + II x

-

x

4 sen~ -2

58

Enlonces

sen x+2 sen 2.x+ ... +k sen u+<"+1) sen (k+ I)x= (k+ I) sen kx-k;en (k+ \) x + (11+ I) sen (11+1) x= 4senllT

(k+n sefl kx-ksen (k+ l)z+-2 f.e+- I) sen (k+- I) x (1- cos .t:) 4sent ~

2

=(k+2) sen (k+ I)x+(k+ I).sen kx,

x

4sen12"

2 (k+ I) COS x sen (k+ I) x 4sen1 !_

2

(11+2) sen (k+ I) x+(k+ I) sen.il:_

\;

4 sent If

(k+l) [sen(k+2)x+senkxJ 4 sent .=.

2

(11+2) sen (k+ l)x-(k+ 1) sen (11+2) x,

4rena:""

2

19. I Q. La proposici6o es vallda para n. = I ya que

2 wax-cos 2x-1 4 sen: !..

2

2 cos x-2 cos' x 4 sent-=-

2

cos x (I - COs x) =C05%.

2senl ~

2

2°, Sea

cos x+2 cos 2x+ ... +k cos kx

(11+ 1) cos kx-kcos (k+ 1) x-I 4scm·..!.

2

Entonces

cos x+ 2 cos 2x+". +k cos kx+(k+ I) Cos (k + I) x= (k+l) cos "x-II c~s'(k+ I)x-l +(k+ l) cos (k+ 1) x= 4 sent 2

= (k+ I) cos kx-k cos (k+ I) x-I + " senL~.

2

59

+ 2(k+l}cos(k+l)x(l-cosx) x

4sen~2

=(k+2} cos (k + I) x+(k+ 1) cos kx 4 sen2 =-

2

2 (fl+ I) cos.t cos (.1.:+ I) x+l

4 senz":,,

2

(k+2) cos (k+ t) x+ (.I.: + J) cos kx

::=:: - - --

x 4 sen'2"

(k+ I) {cos (k+2)x+cos kxJ+l ::::3 4 sena..~-

2

(k+2) cos (k+ I)x-{k+ 1) cos (k+2)x-1 x

4 sen2'2

20. 1°. La proposlci6n es valida para n= I ya que

x :r

I x I x 1- tg8 '"2 tgl '"2 I :t:

-clg --dgx=-ctg -- "fIB 2'

2 2 2 2 2 tg ~ 2 tg ~

2 2

2". Sea

J x I X 1 xl x

2" tlf2'+Ftg2T+'''+ 2-- tg1k=2l'"ctgw-ctIiP:.

Entonces

I % I x 1 x I x

'2 Ie "2+"2i' Ig F+ ... +-p- Ig 211 +2i+i tg 2'" +1 =

I x I x

= ]h<:tg w-ctg x+ 2i"'Zi tg 2.t ... L =

x

1 ctg' 2" +1-1

=2,.+1 x +-----

ctg2.+1 2k+1ctg_X_

.. 2"+1

ctgX=

1 x

=2" +Lctg 2k+l-ctg.x•

21. 1°. Tenemos

tg (arc tg 2 -arc tg 1)

2-1

1-+·2·1 a--

€O

POI eso,

I .

arc tl; 2-arc tg J =s.rc. tg g=arc ctg 3.

o sea, I a proposiclon esv elida pars. fI == ! •

2" .. Mostremos, ante todo, que

. k+2 I

arc ctg (2k + .3) = arc tg k + 1 - arctg ..

(I)

o sea,

. I . k+2

arc.tg 2k + a=arc ctg (2k+3) = arc tg k+ i-arc Ig I,

Suponga mos que I a proposlclcn es va Hd a para n = k, es decl r, que aredg 3+arc ctg 5+ .. ,+arcctg (2k+ 1) = .

3 k+l

='arc tg 2 +arc tgZ+'" +arc tg -k--k arc tg I, {2~

Dernostremos que. en tonces, lamb ien es val ida para n =; k + I, o sea, que

arc dg3+lIfC.ctg 5+ .•. + arc elg (2k+ I)+arc elg (2k+3) =

, . .3

= arc tg 2+ arc tg2' + ...

... + arc tg:~ ~ -(k+ I) arc tg .1. (3)

En efecto, surnando miembro por mlembro las igualdades (I) y (2).

obtenemos la igualdad (3), .

22. 10• La proposici6nes vallda para Il = J y.a que

·'~3 • 2 ( .n . l't )

I' "'-1'7' .1;0Sti-lsenij .

Enlonces

(]I3-i)hl=21r (cos k6"-isen k6l't) 2 ( cos ~-isen:)=

= 2.t+l [ cos (k+61) n i sen (k+61) n] •

61

23. )0. La proposiciones valitla para n= 1. 2°. Sea

Entonces

(cos ..t:+i sen x)k+l = (cos kx+1 sea kx) (cos x+i senx)= = (cos kx cos x-sen IIx senx)+

+ i (cos kx sen x-l-sen kx cos x) =

= cos (11+0 x+i sen (k+ I) x.

24. Es erronea la ultima [rase: "Hemas demostrado la proposlcien", Ert verdad, hemos demostrado s610 que la deslgl.laldad

2" > 2",+ I

es vallda para n=k+ I sl 10 es para n=k, donde k es un numero natural cualqulera.

De aquf no se deduce todavia que la deslgualdad se cumple al monos parll un valor de II y, con mas razon. para un numere na tural Ii cualqulua.

En una palabre, el error conslste en que hernos demostrado sOlo el teorema 2 y no hemos consl derado el teorerna I, 0 sea no hemos

creado la base para la Inducclon, ,

25. Salta 8 la vista que 3 es el menor nurnero natural Ii para el cual se cumple Ia desigualdad 2" > 2n+ 1.

Puesto que la validez de esta desigualdadpara n=k implica Sit validez para n=k+l (problema 24). podemos afirmar que Ia desieualdad se cumple para cualquler nurrrero natural n ~ 3.

:ffl. 1°. La desigualdad se cumple para n=2 ya que

I Yr~

1 + l"2 > r 2.

2°, Sea

I + I, L 1 «r: ..

YI . Y2 I ... -, Vii > r ,..

(1 )

Oe.mostremos que

I I I 1 yrLTO

y/j + ~r- + ... + Y/L + .. /7:1"'1 > r II + I •

,It' 2 t' k t' k+ 1

Para todo k~O se c:umple la desigualdad

~ > Vk+I-Yk.

En eiectc, la desigualdad (3) equi'lsle a esta otra

l+Vk~I>1

(2)

(3)

62

que se ebliene mu I tIp Iicando ambos m lembros de (3) por Y 'k: +i + Yk· SUIDandO' miembro por miembro las desigualdades (J) y (3), obtenemos I. desigualdad (2).

2'7. 1°. Para "=2 la desjgualdad da I: < 6 y, par conslgulente , Ie rumple.

2n. Sea

411: (2k)l

k+ I < (kIl1'

donde It. ~ 2. Es facil cornprobar que

4 III + I) (2k+ 1)(2k+2)

k+2 < (k+ 1,- ·

para ~ > O. POt eso,

411 4(k+ I) (2k)1 (2k +1)(2k + 2)

1+1' k+2 < (kl)2 • (k+ 1)2 •

o sea,

A nuesiros leotores:

"MIR" edit a llbros sovieticos traducldos al espafiol, ingles, frances y arabe. Entre elias figuran las mejores obras de las disiintas rarnas de la ciencia y la tecnlca: manuales para los centros de ensefianza superior y escuelas tecnol6- gicas: llteratura sobre ciencias naturales y medicas. Tarnblen se lncluyen monografias, Iibros de divuIgaci6n clentliica y ciencia Ilccion.

Dirijan sus opinlones a Editorial MlR. I Rizhski per. 2, 129820 Mosel! GSP, 1-110, URSS.

MIP, PUBLICA:

Liusfern.ik L.

LfNEAS MAS CORTAS

EI caleulo de vsriactones es una ae las ramas de las MateDul.ticas modernas mas ampliomente desarrollada y COD numerosas aplicacienes en las ciencias naturalesy la tecnica. Trata las magnitudes que dependen de curvas y busca aquellas que expresan e1 valor minlmo 0. maximo de estes magnitudes. Sus orlgones so remotan a) tiempo en que Galileo plante6 el Iamcse problema eobre Is braqutstocrena: esta ultima MIll curve que une d?s -puntos dadoa y p~r Ia cuel desciende , en tiempo minimo , un punta rna tsnal, GalJJeo pensaba aquivocadamento qne sa trataba del arco de una circunierencia. Mas tarde, Bernoulll demostr6 que dicha curva es lin arco de cicloide y, con Euler y Lagran~e, sent6 las bases del calculo de varlaciones que, desde entonces, eOITlllOzO II desarrollarse tntensamente, cncontrandc cada vel. mayores aplicaclones,

••••.••••••••••••••••••••••••••••• 4 •••••••••••••••••

------------------------------------------------------.

• • • • • • • • • •

leeciones populares de matematlcas

.-.--.-.-.-.-.--.-.-.-.-.--.-.-.-.--.-.-.-.-.--.-.-.-.--.-.-.-.--.-.-.-.-.--.-.-.-.--.-.-.-.--.~.-.-.-.~.-.-.:

.' .

• •

• •

• • •

• • • • • •

lILn)1.J( nuestrosello n:iltolldl 1 Qu.: 1;", 1.1 «lkulo ducrcncr.il ) til \- Bohl.l!1skl

:)ul 1.1 ,,1(11'1 I.k 1<1' ~:LI.ld(IOnC~ ('1'1 II um erc-, ~n!l'ro~

"ri,jlllQ 1'''·ll'~ ~tcOll1drlC'h medt au It' un rompes dl' '\ Ko~!o,,~k.1

• • • • • • • • • • • • • • • •

!\i urru fu'; 'UI1'lI)kll)~ v nprCS'(,IlI,<.l(J01W'< conformes rlln l.liJlll"~ [Jh1JilVlllo~d~

dt, ,\, Markushcvn.h

\ndIL'>I~ marematrcn ell 1;"1 umpo

dt: fUfhl()lll'b rJ(It)l"IJk"

• • • • •

.~ -J

• •• ~ ••••••••••••••• a •••••••••••••••••••••••••••••••• • • '0

• • • • • • • •

~ --J •

•••••••••••••••••••••••••••••••••••••••••••••••••••

• • • • • • • • • • •

..It' (j Shdm

!\l,' I' 1.<1 d~ 14 k'~'{.'metnJ d c I obachcv ~kl dc\ ~mogCJtzlw\~kl

Editorial MIR

Moscu

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->