Le texto fonte de Induction mathematic

[[File:Domino Cascade.JPG|thumb|right|Si un domino cade, alsi le sequente cade. Si uno de illos cade, alsi omnes sequente cade.]]
Le '''induction mathematic'''{{linfoX}} es un specie de [[prova mathematic]] specialmente pro [[Numero natural|numeros natural]]. Illo consiste del duo partes '''base de induction''' e '''passo inductive'''.

Le prova que es ver le proposition <math>\alpha(n)</math> pro omne <math>n \geq n_0</math> alora consiste
# del ''base'' que in prime loco es ver <math>\alpha(n_0)</math>, e
# del ''passo'' que le proposition <math>\alpha(n+1)</math> es deducite del proposition <math>\alpha(n)</math> pro omne <math>n \geq n_0</math>.

Sovente iste <math>n_0</math> es <math>0</math>, <math>1</math>, o <math>2</math>. Le proposition <math>\alpha(n)</math> del induction es le '''hypothese inductive'''.

In altere parolas, le passo provide que le proposition es ver pro le numero sequente de un qualcunque numero, durante que le base provide que il ha un initio. Si le passo es provate, ma un base non pote esser trovate, tunc il non ha un initio e le proposition alora non es provate. Un bon imagine es un fila de dominos: Si un pecia cade, alsi le sequente cade. Si al minus uno de illos cade, alsi omnes sequente cade.

{{refer}}

[[Categoria:Mathematica]]