Demostració per inducció

tipus de demostració matemàtica
(S'ha redirigit des de: Mètode d'inducció)

La demostració per inducció en matemàtica és un tipus de demostració que s'aplica quan un cas base és provat i una regla d'inducció és usada per provar una sèrie d'altres casos que normalment és infinita. L'any 1575 Francesco Maurolico va fer la primera demostració per inducció al seu treball Arithmeticorum libri duo.[3] En una forma general mostra que les formes que poden ser avaluades són equivalents en el que es coneix com a inducció estructural. La Demostració per inducció és una regla d'inferència usada en proves formals, que són exemples de raonament deductiu.[4]

Es pot il·lustrar informalment la inducció matemàtica fent referència a l'efecte seqüencial de la caiguda de fitxes de dòmino.[1][2]

Exemple

modifica

Suposem que volem demostrar la relació (fórmula de la suma dels n primers nombres naturals) :

 

per a tots els nombres naturals n.

Demostració

modifica

Primerament comprovem si és veritat per n = 1. Clarament, la suma dels dos primers nombres és igual a 1*(1 + 1) / 2 = 1, com preveu la fórmula. Per tant l'expressió és certa per a n = 1.

Ara cal provar si el fet que la fórmula es verifiqui quan n = m implica que també ho farà quan n = m + 1. Es pot fer de la manera següent:

Assumim que la fórmula és certa quan n = m,

 

Afegim m + 1 a les dues bandes i es té

 

Per manipulació algebraica obtenim

 

Així, resulta

 

Aquesta és la fórmula per a n = m + 1. No ha estat provat que sigui certa i hem d'assumir que P(m) és veritat i d'això derivar que P(m + 1). Simbòlicament s'ha demostrat que

 

Per tant es pot concloure per inducció que la relació P(n) es compleix per a tots els nombres naturals n.

Referències

modifica
  1. Matt DeVos, Mathematical Induction, Simon Fraser University
  2. Gerardo con Diaz, Mathematical Induction Arxivat 2 May 2013 a Wayback Machine., Harvard University
  3. Vacca, G. «Maurolycus, the first discoverer of the principle of mathematical induction». Bull. Amer. Math. Soc., 16, 2, 1909, pàg. 70–73. DOI: 10.1090/s0002-9904-1909-01860-9.
  4. Suber, Peter. «Mathematical Induction». Earlham College. Arxivat de l'original el 2011-05-24. [Consulta: 26 març 2011].