Inducción matemática

De Wikipedia
Saltar a: navegación, buscar
Una descripción informal de la inducción matemática pue ser ilustrada pol efectu apoderó, onde asocede una reacción en cadena con una secuencia de pieces de dominó cayendo una detrás de la otra.

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 toos los 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.[1]

Hestoria[editar | editar la fonte]

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 SIEGLU|III|a|a}} sobre la infinitud de los númberos primos y na de Bhaskara I usando'l so métodu cíclicu».

Una técnica 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écnica 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).[2] Otru francés, Fermat, fai ampliu usu d'un principiu rellacionáu pa una demostración indirecta 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 SIEGLU|XIX|d|s|0}} con George Boole, Augustus De Morgan, Charles Sanders Peirce, Giuseppe Peano y Richard Dedekind.

Demostración per inducción[editar | editar la fonte]

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 (relació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 sía , digamos por . Entós va ser válidu a partir del númberu , esto ye, pa tou natural Fallu al revisar la fórmula (función '\gue' desconocida): {\displaystyle n \gue n_0\,} .

Exemplu[editar | editar la fonte]

va probase que la siguiente declaración P (n), que se supon 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 P(k + 1) 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 P(k + 1) ye verdadera:

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

Desenvolviendo:

amosando de fechu que P(k + 1) ye verdadera.

Cuidao 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[editar | editar la fonte]

va tratar de demostrar por inducción la siguiente proposición:
1. Comprobar pa n=1
Tener por tantu 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[editar | editar la fonte]

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á directamente nes demostraciones. [3]

Exemplu[editar | editar la fonte]

Usa la propiedá del bon orde pa demostrar el algoritmu de la división, recuerda qu'el 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 0Fallu al revisar la fórmula (error de sintaxis): {\displaystyle \-y} rFallu al revisar la fórmula (error de sintaxis): {\displaystyle \-y} d 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 tantu como queramos, eso si, tomando c como un númberu enteru que nun sía negativu con un valor absolutu que sía 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 rFallu al revisar la fórmula (error de sintaxis): {\displaystyle \-y} d, de nun ser asina, habría un númberu que nun sería negativu menor en S. Poro, esisten los enteros c y r', 0Fallu al revisar la fórmula (error de sintaxis): {\displaystyle \-y} rFallu al revisar la fórmula (error de sintaxis): {\displaystyle \-y} d.

Referencies[editar | editar la fonte]

  1. "Diccionariu de Matemátiques" de Christopher Clapham (1998) ISBN 84-89784-56-6
  2. Lokenath Debnath (2009), The Legacy of Leonhard Euler: A Tricentennial Tribute, World Scientifi
  3. "Matemática discreta y les sos aplicaciones" Kenneth H. Rosen

Ver tamién[editar | editar la fonte]

Enllaces esternos[editar | editar la fonte]




Inducción matemática