Inducción matemática

En matemátiques, la inducción ye un razonamientu que dexa demostrar proposiciones que dependen d'una variable  que toma una infinidá de valores enteros. En términos simples, la inducción matemática consiste nel siguiente razonamientu:

El númberu enteru  tien la propiedá . El fechu de que cualquier númberu enteru  tamién tenga la propiedá  implica que  tamién la tien. Entós tolos númberos enteros a partir de  tienen la propiedá .

La demostración ta basada nel axoma denomináu principiu de la inducción matemática."Diccionariu de Matemátiques" de Christopher Clapham (1998) ISBN 84-89784-56-6

 Historia 
Nel Parmenides, de Platón del 370 a.C, quiciabes puede identificase un tempranu exemplu d'una esplicación implícita de prueba inductiva. La más antigua buelga de la inducción matemática puede atopase na demostración de Euclides nel  sobre la infinitud de los númberos primos y na de Bhaskara I usando'l so métodu cíclicu».

Una téunica reversa, cuntando regresivamente en llugar de ascendentemente, puede atopase na paradoxa sorites, onde s'argumenta que si 1 000 000 de granos de sable formen un montón y removiendo un granu del montón al empar, este sigue siendo un montón, entós, hasta un solu granu (inclusive nengún granu de sable) formaría un montón.

Una demostración implícita de la inducción matemática para secuencies aritmétiques foi introducida por Al-Karaji na so obra Al-Fakhri escrita alredor de 1000 d. C., usáu pa probar el teorema del binomiu y les propiedaes del triángulu de Pascal.

Nengún d'estos antiguos matemáticos explicitó la hipótesis inductiva. Otru casu similar foi'l de Francesco Maurlico nel so Arithmeticorom libri duo (1575), qu'usó la téunica pa probar que la suma de los n primeros enteros impares ye igual a n al cuadráu.

La primer formulación esplícita sobre'l principiu d'inducción foi establecida pol filósofu y matemáticu Blaise Pascal na so obra Traité du triangle arithmétique (1665).Lokenath Debnath (2009), The Legacy of Leonhard Euler: A Tricentennial Tribute, World Scientifi Otru francés, Fermat, fai ampliu usu d'un principiu rellacionáu pa una demostración indireuta del descensu infinitu. La hipótesis inductiva foi tamién emplegada pol suizu Jakob Bernoulli y a partir d'entós foi más conocida.

El tratamientu de calter rigorosu y sistemáticu llega solo nel  con George Boole, Augustus De Morgan, Charles Sanders Peirce, Giuseppe Peano y Richard Dedekind.

 Demostración per inducción 
Llamemos  a la proposición, onde  ye'l rangu.
 Base: Demuéstrase que  ye cierta, esto ye'l primer valor que cumple la proposición (iniciación de la inducción).
 Pasu inductivu: Demuéstrase que, si  ye cierta, esto ye, como hipótesis inductiva, entós  ser tamién, y esto ensin condición sobre l'enteru natural  (rellación d'inducción. Indicáu como ).

Depués, demostráu esto, concluyimos por inducción, que  ye ciertu pa tou natural .

La inducción puede empezar por otru términu que nun seya , digamos por . Entós  va ser válidu a partir del númberu , esto ye, pa tou natural .

 Exemplu 
va probase que la siguiente declaración P (n), que se supón válida pa tolos númberos naturales n.

P (n) da una fórmula pa la suma de los númberos naturales menores o igual a n. La prueba de que P (n) ye verdadera pa tolos númberos naturales procede como sigue.

Base: Amuésase que ye válida pa n = 1. 
con P(1) tiense:

Nel llau esquierdu de la ecuación, l'únicu términu ye 1, entós el so valor ye 1. 
 ente que'l términu derechu, 1·(1 + 1)/2 = 1. 
Dambos llaos son iguales, n = 1. Entós P(1) ye verdadera.

Pasu inductivu: Amosar que si P(k) ye verdadera, entós  ye verdadera. Como sigue:

Se asume que P(k) ye verdadera (pa un valor non específicu de k). Débese entós amosar que  ye verdadera:

usando la hipótesis d'inducción P(k) ye verdadera, el términu esquierdu puede reescribise:

Desenvolviendo:


amosando de fechu que  ye verdadera.

Puesto que se realizaron los dos pasos de la inducción matemática tantu la base como'l pasu inductivu, la declaración  P  ( n ) cumplir pa tou númberu natural  Q.Y.D.

 Exemplu 2 

va tratar de demostrar por inducción la siguiente proposición:


1. Comprobar pa n=1

Tener por tanto que la proposición ye verdadera pa n=1

2. Hipótesis inductiva (n=h)

3. Tesis inductiva (n=h+1)

4. Demostración de la tesis con base a la hipótesis

Aplícase la hipótesis d'inducción:

 (sacando factor común)

Poro, verificándose la proposición pa  y pa  siendo  cualquier númberu natural, la proposición verifícase .

 La propiedá del bon orde 

La validez de la inducción matemática ta basada nel principiu de bona ordenación de los conxuntos de númberos enteros non negativos.

Tou conxuntu d'enteros non negativos tien un elementu mínimu.

De cutiu utilízase esta propiedá direutamente nes demostraciones. 
"Matemática discreta y les sos aplicaciones" Kenneth H. Rosen

 Exemplu 

Usa la propiedá del bon orde pa demostrar el algoritmu de la división, recuerda que l'algoritmu de la división diz que si a ye un númberu enteru y d ye un enteru positivu, entós hai dos únicos enteros c y r tales que 0rd y a=dc+r.

Solución: Sía S el conxuntu de los enteros non negativos de la forma a-dc, onde c ye un enteru. Esti conxuntu nun ye vacíu, porque como vemos -dc puede engrandase tanto como queramos, eso si, tomando c como un númberu enteru que nun seya negativu con un valor absolutu que seya grande, pola propiedá del bon orde, S tien mínimu un elementu r=a-dc0.

L'enteru r nun puede ser negativu, tamién imaxinamos que rd, de nun ser asina, habría un númberu que nun sería negativu menor en S. Poro, esisten los enteros c y r''', 0rd''.

 Referencies 

 Ver tamién 
 Recurrencia
 Númberu natural
 Paradoxa del caballu
 Axomes de Peano

 Enllaces esternos 



Categoría:Teoría de la demostración