Математичка индукција
Ако предикат (реченица) , чија променљива узима вредности из скупа природних бројева, задовољава следећа два услова:
- је тачан исказ,
- Из предпоставке да је тачан исказ за неки природан број , следи да је тачан исказ, тј. је тачан исказ, онда је тачан исказ за сваки природан број
Ово тврђење се у математици користи као метод за доказивање разних теорема. При том се доказ састоји из два корака. У првом, који се назива база индукције, доказује се тачност исказа ., а у другом, који се назива индуктивни корак, доказује се тачност импликације . Исказ се назива индуктивна хипотеза (предпоставка). Ако важи за свако , тада за базу индукције имамо, уместо , исказ .
Биномни коефицијенти
Факторијал
Факторијал произвољног целог броја је дефинисан са
.
Следи
Биномни коефицијет се дефинише за
Нека је и . Тада је
Биномна формула
Нека је и . Тада је
или краће
Математичка индукција доказује да тврђење важи за сваки природан број . Доказ има два корака. База индукције: проверите да је тачно. Индуктивни корак: претпоставите да важи (индуктивна хипотеза) и из тога изведите . Као код низа домина: прва пада, а свака обара следећу, па падају све. Ако тврђење важи тек од неког , база је .
Индукцијом се доказује и биномна формула , где је . Најчешће грешке су да се база прескочи или да се у кораку не искористи хипотеза.
- У k редова
- 66
- Нови ред
- 12
- У k + 1 редова
- 78
Програмери индукцијом доказују да петља или рекурзивна функција даје тачан резултат за сваки улаз, а не само за улазе које су испробали.
Пирамида од лименки
Радник у продавници слаже лименке у пирамиду уза зид: у горњем реду је једна лименка, а сваки ред испод има једну више. Докажите индукцијом да у редова има лименки, па израчунајте колико лименки треба за пирамиду од 12 редова.
Решење
- Тврђење гласи . База: за лева страна је 1, а десна .
- Хипотеза: за неко важи .
- Корак: пирамиди од редова додамо ред од лименке. По хипотези их је укупно , а то је формула за .
- Формула зато важи за свако , па за 12 редова треба лименки.
Одговор: За пирамиду од 12 редова потребно је 78 лименки.
Задатак за вежбу
Докажите индукцијом да је , па израчунајте збир првих 15 непарних бројева.
Прикажи решење
База: . Корак: из хипотезе следи . Збир првих 15 непарних бројева је .