Matematična indukcija

Za druge pomene glejte indukcija.

Matemátična ali popólna indúkcija je v matematiki metoda dokaza, ki se običajno uporablja za dokazovanje ali je dana trditev ali izrek resničen za vsa naravna števila ali za vse člene neskončnega zaporedja. Nekoliko splošnejša oblika dokaza, ki se uporablja v matematični logiki in računalništvu, kaže, da so lahko izrazi, ki se jih da ovrednotiti, enakovredni. To je znano kot strukturalna indukcija.

Neformalni opis matematične indukcije lahko predstavimo z ozirom na zaporedni pojav verižno padajočih domin.

Najenostavnejša in najsplošnejša oblika matematične indukcije dokazuje trditev za vsa naravna števila n v dveh korakih:

  1. Trditev velja za n = 1.
  2. Če velja trditev za n = m, potem iz tega sledi trditev tudi za n = m + 1.

Da razumemo zakaj sta dovolj dva koraka, je pripravno pomisliti na pojav domine. Če imamo eno dolgo vrsto domin, smo lahko prepričani, da

  1. bo prva domina padla.
  2. Če pade domina, bo padla tudi sosednja, in iz tega lahko zaključimo, da bodo padle vse domine.

ZgledUredi

Želimo dokazati trditev:

 

za vsa naravna števila n. To je preprosta enačba za vsoto vseh naravnih števil do števila n. Dokaz, da enačba velja za vsa naravna števila n lahko izvedemo s pomočjo matematične indukcije.

DokazUredi

Preverimo ali enačba velja za n = 1. Vsota prvega naravnega števila je seveda enaka 1, in  . Enačba tako velja za n = 1. Če trditev označimo kot P(n), lahko pišemo P(1) velja.

Sedaj moramo pokazati, da če enačba velja pri n = m, velja tudi za n = m + 1.

Predpostavimo, da enačba velja za n = m, oziroma:

 

Če na obeh straneh prištejemo m + 1, dobimo:

 

Z upoštevanjem algebrskih pravil imamo:

 

In tako:

 

To je enačba za n = m + 1, in njene resničnosti še nismo pokazali. Predpostavili smo, da je resnična trditev P(m) in odtod P(m + 1). Simbolično smo pokazali, da velja:

 

Zaradi indukcije lahko zaključimo, da trditev P(n) velja za vsa naravna števila n.

PosplošitveUredi

Začetek pri bUredi

Resničnost za manjše vrednostiUredi

Transfinitna indukcijaUredi

Dokaz nove opredelitve matematične indukcijeUredi