Математичка индукција — разлика између измена

Садржај обрисан Садржај додат
Ред 15:
== Формални опис ==
Најједноставнији и најуобичајенији облик математичке индукције доказује да неки исказ важи за све природне бројеве ''-{n}-''. Овај доказ се састоји из два корака:
# '''База индукције''': показује се да исказ важи када је ''-{n}-'' = 01.
# '''Индуктивни корак''': показује се да '''''ако''''' исказ важи за -{''n'' = ''m''}-, '''''онда''''' исти исказ важи и за -{''n'' = ''m'' + 1.}-
Коришћење речи ''ако'' у индуктивном кораку се назива '''индуктивном хипотезом'''. Како би се спровео индуктивни корак, претпоставља се да индуктивна хипотеза важи (тачније да је исказ тачан за -{''n'' = ''m''}-) и онда се користи ова претпоставка да се докаже исказ за -{''n'' = ''m'' + 1.}-