Математична индукция

Математична индукция то способ математичного доказованя хтори ше найчастейше хаснує же би ше утвердзело чи виказ точни за шицки природни числа. То ше роби зоз:

 Доказованьом же перши виказ у безконєчним шоре виказу точни
 Доказованє же даяки виказ у безконєчним шоре виказох точни, вец точни виказ хтори шлїдзи после нього

Математичну индукцию нє треба похопиц як форму индукцийного заключованя, математична индукция то форма дедукцийного заключованя.

 История 

Найвчаснєйши шлїди математичней индукциї можу ше найсц у Еуклидовим доказу же исную безконєчно вельо прости числа, и Баскарней циклидней методи. Форма доказу зоз математичну индукцию ше зявює у кнїжки хтору написал Ал-Караджи коло 1000. року, хтори медзи иншим жадал доказац биномну теорему и Паскалов троугелнїк.

Анї єден од тих старих математичарох експлицитно нє дал индуктивну гипотезу. Перше викладанє принципу индукциї дал Франческо Мауролико, у своїм дїлу Arithmeticorum libri duo 1575.року, хтори хасновал тоту технїку же би доказал же сума перших n нєпарних цалих числох єднака зоз . Индукцию, тиж, нєзависно доказали Швайцарец Якоб Бернули и Французи Паскал и Ферма.

 Формални опис 

Найєдноставнєйша и найзвичайнєйша форма математичней индукциї хаснує ше за доказованє же даєден виказ важи за шицки природни числа n. Доказ ше состої зоз двох крочайох:
 База-основа индукциї: указує же виказ важаци кед .
 Индукцийни крочай: указує же кед виказ важаци за , вец исти виказ важи и за .

Хаснованє слова кед ше у индукцийним крочаю наволує индуктивна гипотеза. У индукцийним крочаю, предпоставя ше же индуктивна гипотеза важи – важаца (точнєйше же виказ точни за ) и вец ше хаснує тота предпоставка же би ше доказал виказ за .

Тота метода функционує на шлїдуюци способ:

Перше ше докаже же виказ точни за початну вредносц, а потим ше докаже же процес преходзеня зоз даякей вредносци на шлїдуюцу точни. Кед же обидва доказани, вец ше до точносци виказох за кажду вредносц може дойсц зоз повторйованьом того поступку. То мож спатрац як ефект доминох хтори приказани на слики. Кед маме длугоки шор доминох и кед важи же:

 Перша домина може спаднуц
 Гоч хтора домина кед спаднє, звалї и шлїдуюцу домину, теди можеме заключиц же шицки домини спадню, кед ше перша звалї.

Основна предпоставка лєбо аксиома индукциї (прилапює ше, нє доказує) написана зоз лоґичнима символами,

Дзе  дати виказ, а  природне число.

Крочай 1. доказац  - формула важи за цале число .

Крочай 2. доказац же за кажде природне число ,  импликує . Же би ше тото спроведло, предпоставя ше же важи  и указує же зоз тей предпоставки шлїдзи же важи . То нє значи замена  до  - тото барз часта гришка хтора ше состої зоз предпоставяня того цо би ше  требало ище доказац. 

Вєдно крочаї 1. и 2. импликую же  важи за кажде  векше лєбо єднаке . У общим случаю, кед же  доказане, дзе  може буц негативне цале число (задумаме домини нумерисани од -20 та нависше), вец P важи за кажде n векше лєбо єднаке .

 Приклад 

Предпоставяме же жадаме доказац виказ:

За шицки природни числа n; означиме тот виказ як P(n). То формула за суму позитивних природних числох менших або єднакиx зоз числом n. 

Доказ же тот виказ точни за шицки природни числа n:

Преверме чи тот виказ точни за . 

Сума самого числа  то число . 
А . Значи, же виказ точни за . 
Доказали зме же P(1) важи.

Тераз мушиме указац же кед виказ важи кед , вец то тиж важи и кед  . Тото мож доказац на шлїдуюци способ:

Предпоставиме же виказ точни за , тє. 

Зоз додавањом  зоз обидвох бокох ше нє меня єднакосц 

.

Зоз алгебарску манипулацию, з правого боку доставаме 

И на концу:

Обачиме же тото еквивалентне зоз твердзеньом . 
Тот доказ кондиционални: Направели зме предпоставку же  точне, и зоз того зме виведли . Прето, значи же кед  точне та вец и  муши буц  точне. Симболично, зме приказали  же 

Тераз, кед бизме закончели, хаснуєме процес математичней индукциї:

	Знаме же  точне.
	Прето же   импликує , точне и .
	Подобно,  прето же  импликує , доставаме .
	Зоз , доставаме .
	Зоз , шлїдзи .
	И так далєй. (Ту наступа аксиома математичней индукциї.)
	Можеме заклюучиц же  важи за кажде природне число .

Катеґория:Математика