Un algoritm foarte des folosit n demonstrarea unor propoziii ce depind
de irul numerelor naturale, este cel al induciei matematice, numit i metoda induciei complete. Demonstraia prin inducie matematic ar putea lua una din formele urmtoare: VARIANTA I : Se d o propoziie P(n) i se cere s se demonstreze c este adevrat pentru orice numr natural n, mai mare sau egal cu numrul natural m. Demonstraia necesit parcurgerea a doi pai, anume : I) Se demonstreaz c P(m) este o propoziie adevrat. II) Se demonstreaz c implicaia P(k) => P(k+1) este edevrat, oricare ar fi k natural mai mare sau egal cu m. Dac ambele etape au fost parcurse (adic "P(m)" i "P(k) = > P(k+1)" sunt propoziii adevrate), atunci propoziia P(n) este adevrat, oricare ar fi numrul natural n mai mare sau egal cu m, conform principiului induciei matematice. Intr-adevr, dac n I) s-a constatat c P(m) este adevrat, conform II) vom avea c P(m+1) este, de asemenea, adevrat, deci la fel P(m+2) .a.m.d... VARIANTA II: Demonstraia necesit parcurgerea urmtorilor doi pai : I) Se demonstreaz c P(m) este o propoziie adevrat. II) Se demonstreaz c dac P(m), P(m+1), P(m+2), ... , P(k-1), unde numrul natural k este mai mare sau egal cu (m+2), sunt adevrate, atunci i P(k) este adevrat. Dac ambele etape ale demonstraiei sunt verificate, atunci propoziia P(n) este adevrat pentru orice numr natural n, mai mare sau egal cu m.
EXERCITIUL 1 Suport teoretic: Calcul sume,metoda inductiei matematice,progresii geometrice. Enunt: Sa se calculeze suma urmatoare si, apoi, sa se demonstreze rezultatul gasit, folosind metoda inductiei matematice: S = 5 + 55 + 555 + ... + 555...5, unde ultimul termen al sumei contine n cifre. Raspuns:
EXERCITIUL 2 Suport teoretic: Metoda inductiei matematice,divizibilitate in Z,divizori,multipli. Enunt: Sa se arate, in doua moduri distincte, ca numarul
este divizibil cu 14, oricare ar fi numarul natural n.
EXERCITIUL 3 Suport teoretic: Metoda inductiei matematice,metoda inductiei complete,divizibilitatea in N. Enunt: Sa se demonstreze ca pentru orice numar natural n, are loc relatia: 3|(n+11n).