Inducción matemática

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

:El númberu enteru a\, tien la propiedá P\,. El fechu de que cualquier númberu enteru n\, tamién tenga la propiedá P\, implica que n+1\, tamién la tien. Entós* tolos* númberos enteros a partir de a\, tienen la propiedá P\,.

La demostración ta basada nel axoma denomináu *principiu de la inducción matemática*.

## Historia
Nel *[[Parménides (diálogu)|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). 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 P_n\, a la proposición, onde n\, ye'l rangu.
* **Base**: Demuéstrase que P_1\, ye cierta, esto ye'l primer valor que cumple la proposición (iniciación de la inducción).
* **Pasu inductivu**: Demuéstrase que, si P_n\, ye cierta, esto ye, como **hipótesis inductiva**, entós P_{n+1}\, ser tamién, y esto ensin condición sobre l'enteru natural n\, (rellación d'inducción. Indicáu como n \Rightarrow n + 1).

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

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

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

:1 + 2 + \cdots + n = \frac{n(n + 1)}{2}\,.

*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:
:1 = \frac{1\cdot(1 + 1)}{2}\,.
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:
:(1 + 2 + \cdots + k )+ (k+1) = \frac{(k+1)((k+1) + 1)}{2}.
usando la hipótesis d'inducción *P*(*k*) ye verdadera, el términu esquierdu puede reescribise:

:\frac{k(k + 1)}{2} + (k+1)\,.

Desenvolviendo:
: 
\begin{align}
\frac{k(k + 1)}{2} + (k+1) & = \frac {k(k+1)+2(k+1)} 2 \\
& = \frac{k^2+k+2k+2}{2} \\
& = \frac{(k+1)(k+2)}{2} \\
& = \frac{(k+1)((k+1) + 1)}{2}
\end{align}


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 n Q.Y.D.

### Exemplu 2

:va tratar de demostrar por inducción la siguiente proposición:
::\sum_{k=1}^n (2k - 1) 3^k = (n - 1) 3^{n+1} + 3 \forall n \in \mathbb{N}

:**1. Comprobar pa ''n''=1**
::\sum_{k=1}^1 (2 - 1) 3^1 = 3 = (1 - 1) 3^{1+1} + 3 
:Tener por tanto que la proposición ye verdadera pa n=1

:**2. Hipótesis inductiva (''n''=''h'')**
::\sum_{k=1}^h (2k - 1) 3^k = (h - 1) 3^{h+1} + 3

:**3. Tesis inductiva (''n''=''h''+1)**
::\sum_{k=1}^{h+1} (2k - 1) 3^k = (h + 1 - 1) 3^{h+1+1} + 3
::\sum_{k=1}^{h+1} (2k - 1) 3^k = h 3^{h+2} + 3

:**4. Demostración de la tesis con base a la hipótesis**
::\sum_{k=1}^{h+1} (2k - 1) 3^k = \sum_{k=1}^{h} (2k - 1) 3^k +(2(h+1) - 1) 3^{h+1}
::*Aplícase la hipótesis d'inducción:*
::\sum_{k=1}^{h+1} (2k - 1) 3^k = (h - 1) 3^{h+1} + 3 + [2(h+1) - 1] 3^{h+1}
::\sum_{k=1}^{h+1} (2k - 1) 3^k = (h - 1) 3^{h+1} + 3 + (2h+2 - 1) 3^{h+1}
::\sum_{k=1}^{h+1} (2k - 1) 3^k = 3^{h+1} (h - 1 + 2h + 1) + 3 (sacando factor común)
::\sum_{k=1}^{h+1} (2k - 1) 3^k = 3^{h+1} 3h + 3
::\sum_{k=1}^{h+1} (2k - 1) 3^k = h 3^{h+2} + 3
:Poro, verificándose la proposición pa n=1 y pa n=k+1 siendo k  cualquier númberu natural, la proposición verifícase \forall n \in \mathbb {N}.

## 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. 

### 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 0\le*r*\le*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 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-dc<sub>0</sub>*.

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

## Referencies

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

## Enllaces esternos
* 
*