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

Математичка индукција је метод математичког доказивања који се обично користи да се утврди да је дати исказ тачан за све природне бројеве. Ово се врши

  • доказивањем да је први у бесконачном низу исказа тачан, и затим
  • доказивањем да ако је неки исказ у бесконачном низу исказа тачан, онда је тачан и њему следећи исказ
Математичка индукција се може неформално илустровати позивањем на секвенцијални ефекат падајућих домина.[1][2]

Математичку индукцију не треба схватати као облик индуктивног резоновања, које се сматра не-ригорозним у математици (види проблем индукције). У ствари, математичка индукција је облик дедуктивног резоновања, и потпуно је ригорозна.

Метод се може проширити да докаже изјаве о општијим добро утемељеним структурама, као што су стабла; ова генерализација, позната као структурна индукција, користи се у математичкој логици и рачунарству. Математичка индукција у овом проширеном смислу је уско повезана са рекурзијом. Математичка индукција је правило закључивања које се користи у формалним доказима и представља основу већине доказа исправности за компјутерске програме.[3]

Иако њено име може сугерисати другачије, математичку индукцију не треба мешати са индуктивним резоновањем које се користи у филозофији (погледајте проблем индукције). Математички метод испитује бесконачно много случајева да би доказао општу тврдњу, али то чини помоћу коначног ланца дедуктивног закључивања који укључује променљиву , која може узети бесконачно много вредности.[4]

Историја уреди

Најранији трагови математичке индукције се могу наћи у Еуклидовом доказу да постоји бесконачно пуно простих бројева, и Баскарином циклидном методу[5] Форма доказа математичком индукцијом се јавља у књизи коју је написао Ал-Караџи око 1000. године, који ју је између осталог користио да докаже биномну теорему и Паскалов троугао.[6][7]

Ниједан од ових старих математичара није експлицитно дао индуктивну хипотезу. Прво ригорозно излагање принципа индукције је дао Франческо Мауролико, у свом делу Arithmeticorum libri duo (1575), који је користио ову технику да докаже да је збир првих n непарних целих бројева једнак n2. Индукцију су такође независно открили Швајцарац Јакоб Бернули и Французи Паскал и Ферма.[5]

Формални опис уреди

Најједноставнији и најуобичајенији облик математичке индукције доказује да неки исказ важи за све природне бројеве n. Овај доказ се састоји из два корака:

  1. База индукције: показује се да исказ важи када је n = 0.
  2. Индуктивни корак: показује се да ако исказ важи за n = m, онда исти исказ важи и за n = m + 1.

Коришћење речи ако у индуктивном кораку се назива индуктивном хипотезом. Како би се спровео индуктивни корак, претпоставља се да индуктивна хипотеза важи (тачније да је исказ тачан за n = m) и онда се користи ова претпоставка да се докаже исказ за n = m + 1.

 
Формални опис математичке индукције се може илустровати ефектом домина.

Овај метод функционише на следећи начин. Прво се докаже да је исказ тачан за почетну вредност, а затим се докаже да је процес преласка са неке вредности на следећу исправан. Ако су оба доказана, онда се до тачности исказа за сваку вредност може доћи узастопним понављањем овог процеса. Ово се може посматрати као ефекат домина; Ако имамо дугачак низ домина, и ако смо сигурни да:

  1. Прва домина може да падне
  2. Која год домина да падне, обориће и следећу домину,

онда се може закључити да ће све домине пасти, уколико се обори прва домина.

Основна претпоставка или аксиома индукције (прихвата се, не доказује) је исписана логичким симболима,

 

где је P дати исказ, а n природан број.

Корак 1. доказати P(0) - формула важи за цео број 0.

Корак 2. доказати да за сваки природан број k, P(k) имплицира P(k+1). Да би се ово спровело, претпоставља се да важи P(k) и показује се да из ове претпоставке следи да важи P(k+1). Ово не значи замену (k+1) у P(k) - ово је врло честа грешка која се састоји у претпостављању онога шта тек треба да се докаже. Заједно кораци 1. и 2. имплицирају да P(n) важи за свако n веће или једнако 0. У општем случају, ако је P(s) доказано, где s може бити негативан цео број (замислимо домине нумерисане од -20 па навише), онда P важи за свако n веће или једнако s.

Пример уреди

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

 

За све природне бројеве n; обележимо овај исказ као P(n). (Ово је специјални случај Фаулхаберове формуле.) Ово је једноставна формула за суму позитивних природних бројева мањих или једнаких броју n. Доказ да је овај исказ тачан за све природне бројеве n следи.

Проверимо да ли је исказ тачан за n = 1. Сума самог броја 1 је просто 1. А 1(1 + 1) / 2 = 1. Значи, исказ је тачан за n = 1. Доказали смо да P(1) важи.

Сада морамо да покажемо да ако исказ важи када је n = m, онда он такође важи и када је n = m + 1. Ово се може извести на следећи начин.

Претпоставимо да је исказ тачан за n = m, тј,

 

Додавањем m + 1 са обе стране се не мења једнакост:

 

Алгебарском манипулацијом, са десне стране добијамо

 

Стога имамо

 

Приметимо да је ово еквивалентно тврђењу P(m + 1). Овај доказ је кондиционалан: начинили смо претпоставку да је P(m) тачно, и из тога смо извели P(m + 1). Стога, ако је P(m) тачно, онда и P(m + 1) мора бити тачно. Симболички, показали смо да

 

Сада, како бисмо завршили, користимо процес математичке индукције:

  1. Знамо да је P(1) тачно.
  2. Како P(1) имплицира P(1 + 1), тачно је и P(2).
  3. Слично, како P(2) имплицира P(2 + 1), добијамо P(3).
  4. Са P(3), добијамо P(4).
  5. Из P(4), следи P(5).
  6. И тако даље. (овде наступа аксиома математичке индукције.)
  7. Можемо да закључимо да P(n) важи за сваки природан број n. Q. E. D.

Види још уреди

Извори уреди

  1. ^ Matt DeVos, Mathematical Induction, Simon Fraser University
  2. ^ Gerardo con Diaz, Mathematical Induction Архивирано 2013-05-02 на сајту Wayback Machine, Harvard University
  3. ^ Anderson, Robert B. (1979). Proving Programs Correct . New York: John Wiley & Sons. стр. 1. ISBN 978-0471033950. 
  4. ^ Suber, Peter. „Mathematical Induction”. Earlham College. Архивирано из оригинала 24. 5. 2011. г. Приступљено 26. 3. 2011. 
  5. ^ а б Cajori (1918), стр. 197: Процес резоновања који се назива математичком индукцијом има неколико независних корена. Може се пратити до Швајцарца Јакоба (Џејмса) Бернулија, Француза Б. Паскала и П. Ферма, Италијана Ф. Мауролицуса. [...] Ако се мало чита између редова, могу се наћи трагови математичке индукције и раније, у списима Индуса и Грка, на пример у циклидном методу Баскаре и у Еуклидовом доказу да простих бројева има бесконачно много.
  6. ^ Katz (1998), pp. 255-259.; „Још једна важна идеја коју је увео Ал-Караџи, а наставили Ал-Самав'ал и други је био индуктивни аргумент за рад са одрећеним аритметичким низовима
  7. ^ O'Connor, John J; Edmund F. Robertson "Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji". MacTutor History of Mathematics archive. „Ал-Караџи такође користи облик математичке индукције у својим аргументима, мада засигурно не даје ригорозно излагање овог принципа.

Литература уреди

Спољашње везе уреди