Demostració per inducció
tipus de demostració matemàtica / From Wikipedia, the free encyclopedia
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]