1/50. Teljes indukció 1. Back Close



Hasonló dokumentumok
Kalandozások a diszkrét matematikában

Nyugat-magyarországi Egyetem Simonyi Károly Kar. Szabó László. Diszkrét matematika. Egyetemi jegyzet

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

1000 forintos adósságunkat, de csak 600 forintunk van. Egyetlen lehetőségünk, hogy a

KOVÁCS BÉLA, MATEMATIKA I.

Analízis I. Vizsgatételsor

Az Országos Középiskolai Tanulmányi Verseny tanévi második fordulójának feladatmegoldásai. x 2 sin x cos (2x) < 1 x.

A sorozat fogalma. függvényeket sorozatoknak nevezzük. Amennyiben az értékkészlet. az értékkészlet a komplex számok halmaza, akkor komplex

Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.

Elemi algebrai eszközökkel megoldható versenyfeladatok Ábrahám Gábor, Szeged

ALAPFOGALMAK 1. A reláció az program programfüggvénye, ha. Azt mondjuk, hogy az feladat szigorúbb, mint az feladat, ha

Integr alsz am ıt as. 1. r esz aprilis 12.

Egészrészes feladatok

24. szakkör (Csoportelméleti alapfogalmak 3.)

2. Logika gyakorlat Függvények és a teljes indukció

3. Feloldható csoportok

A 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA (a speciális tanterv szerint haladó gimnazisták)

összeadjuk 0-t kapunk. Képletben:

10. előadás. Konvex halmazok

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

KOVÁCS BÉLA, MATEMATIKA I.

K. Horváth Eszter, Szeged. Veszprém, július 10.

Chomsky-féle hierarchia

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

A 2014/2015. tanévi Országos Középiskolai Tanulmányi Verseny első forduló MATEMATIKA I. KATEGÓRIA (SZAKKÖZÉPISKOLA) Javítási-értékelési útmutató

1. megold s: A keresett háromjegyű szám egyik számjegye a 3-as, a két ismeretlen számjegyet jelölje a és b. A feltétel szerint

Hadamard-mátrixok Előadó: Hajnal Péter február 23.

f(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva

Az 1. forduló feladatainak megoldása

Adatbázisok elmélete 12. előadás

Formális nyelvek - 9.

Nagy Gábor compalg.inf.elte.hu/ nagy

1. előadás: Halmazelmélet, számfogalom, teljes

Matematikai logika és halmazelmélet

Ramsey-féle problémák

Diszkrét matematika 2.

Algoritmuselmélet. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem. 13.

Diszkrét matematika 2.C szakirány

Diszkrét matematika 2.C szakirány

Haladók III. kategória 2. (dönt ) forduló

Véges automaták, reguláris nyelvek

Következik, hogy B-nek minden prímosztója 4k + 1 alakú, de akkor B maga is 4k + 1 alakú, s ez ellentmondás.

Érdemes egy n*n-es táblázatban (sorok-lányok, oszlopok-fiúk) ábrázolni a két színnel, mely éleket húztuk be (pirossal, kékkel)

Klasszikus algebra előadás. Waldhauser Tamás április 28.

Házi feladatok megoldása. Nyelvtani transzformációk. Házi feladatok megoldása. Házi feladatok megoldása. Formális nyelvek, 6. gyakorlat.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

1. Az ábrán látható táblázat minden kis négyzete 1 cm oldalhosszúságú. A kis négyzetek határvonalait akarjuk lefedni. Meg lehet-e ezt tenni

Diszkrét matematika 2.C szakirány

Arany Dániel Matematikai Tanulóverseny 2015/2016-os tanév 1. forduló Haladók III. kategória

Csima Judit október 24.

Bizonyítási módszerek ÉV ELEJI FELADATOK

Diszkrét matematika 1.

Diszkrét matematika HALMAZALGEBRA. Halmazalgebra

A következő feladat célja az, hogy egyszerű módon konstruáljunk Poisson folyamatokat.

Nagy Gábor compalg.inf.elte.hu/ nagy

Bevezetés. 1. fejezet. Algebrai feladatok. Feladatok

minden x D esetén, akkor x 0 -at a függvény maximumhelyének mondjuk, f(x 0 )-at pedig az (abszolút) maximumértékének.

Diszkrét matematika 2. estis képzés

Matematika alapjai; Feladatok

Geometria 1 normál szint

1. Interpoláció. Egyértelműség Ha f és g ilyen polinomok, akkor n helyen megegyeznek, így a polinomok azonossági tétele miatt egyenlők.

Logikai szita (tartalmazás és kizárás elve)

Algoritmuselmélet. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem. 12.

Fraktálok. Kontrakciók Affin leképezések. Czirbusz Sándor ELTE IK, Komputeralgebra Tanszék. TARTALOMJEGYZÉK Kontrakciók Affin transzformációk

Arany Dániel Matematikai Tanulóverseny 2016/2017-es tanév Kezdők III. kategória I. forduló

6. ELŐADÁS DIFFERENCIÁLSZÁMÍTÁS II. DIFFERENCIÁLÁSI SZABÁLYOK. BSc Matematika I. BGRMA1HNND, BGRMA1HNNC

A matematika nyelvér l bevezetés

XXIV. NEMZETKÖZI MAGYAR MATEMATIKAVERSENY Szabadka, április 8-12.

1. Részcsoportok (1) C + R + Q + Z +. (2) C R Q. (3) Q nem részcsoportja C + -nak, mert más a művelet!

SHk rövidítéssel fogunk hivatkozni.

Numerikus módszerek 1.

Arany Dániel Matematikai Tanulóverseny 2010/2011-es tanév 1. forduló haladók III. kategória

4. SOROK. a n. a k (n N) a n = s, azaz. a n := lim

Relációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!

Nagyságrendek. Kiegészítő anyag az Algoritmuselmélet tárgyhoz. Friedl Katalin BME SZIT február 1.

44. ORSZÁGOS TIT KALMÁR LÁSZLÓ MATEMATIKAVERSENY. Megyei forduló április mal, így a számjegyeinek összege is osztható 3-mal.

Diszkrét matematika 2. estis képzés

Diszkrét Matematika MSc hallgatók számára 7. Előadás Párosítási tételek Előadó: Hajnal Péter Jegyzetelő: Kovácsházi Anna

Geometria 1 normál szint

Feladatok, amelyek gráfokkal oldhatók meg 1) A königsbergi hidak problémája (Euler-féle probléma) a

Csima Judit november 15.

Megoldások 9. osztály

Elemi matematika szakkör

Bizonyítási módszerek - megoldások. 1. Igazoljuk, hogy menden természetes szám esetén ha. Megoldás: 9 n n = 9k = 3 3k 3 n.

Variációk egy logikai feladat kapcsán

1. ábra ábra

Az Országos Középiskolai Tanulmányi Verseny tanévi első fordulójának feladatmegoldásai

KOMBINATORIKA ELŐADÁS osztatlan matematika tanár hallgatók számára. Szita formula

A lineáris algebrában központi szerepet betöltı vektortér fogalmát értelmezzük most, s megvizsgáljuk e struktúra legfontosabb egyszerő tulajdonságait.

17. előadás: Vektorok a térben

KOVÁCS BÉLA, MATEMATIKA I.

Waldhauser Tamás december 1.

Algoritmusok bonyolultsága

Chomsky-féle hierarchia

A matematika nyelvéről bevezetés

44. ORSZÁGOS TIT KALMÁR LÁSZLÓ MATEMATIKAVERSENY. Megyei forduló április 11.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

NP-teljesség röviden

(Diszkrét idejű Markov-láncok állapotainak

ARCHIMEDES MATEMATIKA VERSENY

Átírás:

1/50 Teljes indukció 1

A teljes indukció talán a legfontosabb bizonyítási módszer a számítástudományban. Teljes indukció elve. Legyen P (n) egy állítás. Tegyük fel, hogy (1) P (0) igaz, (2) minden n N esetén, ha P (n) igaz, akkor P (n + 1) is igaz. Ekkor P (n) igaz minden n N esetén. 2/50

Példa. Mutassuk meg, hogy 1 + 2 + + n = minden n N esetén. n(n + 1) 2 3/50

Mielőtt a bizonyításhoz hozzákezdenénk tisztáznunk kell, hogy a bal oldali összeg n = 0 esetén megállapodás szerint egyetlen tagot sem tartalmaz, értéke definíció szerint 0, n = 1 esetén egyetlen tagból áll, bármit is sugall a 2 meg a ; az egyetlen tag az 1 és az összeg is ugyanennyi. 4/50

Megoldás. Teljes indukcióval bizonyítunk. 5/50 Legyen P (n) a következő állítás: 1 + 2 + + n = n(n + 1). 2 Alapeset. P (0) igaz, hisz ekkor a bal oldal üres, a jobb oldal pedig 0 1 2 = 0. Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n N esetén. Belátjuk, hogy P (n + 1) is igaz.

A P (n + 1) állítás bal oldalát írjuk fel a következő alakban: 6/50 1 + 2 + + n + (n + 1) = [1 + 2 + + n] + (n + 1). Az indukciós feltevés szerint így 1 + 2 + + n = [1 + 2 + + n] + (n + 1) = n(n + 1), 2 n(n + 1) 2 + (n + 1).

Most némi leleményre van szükség: n(n + 1) 2 + (n + 1) = n(n + 1) + 2(n + 1) 2 = (n + 1)(n + 2), 2 ami éppen a P (n + 1) állítás jobb oldala, így P (n + 1) is igaz. 7/50 A teljes indukció elve szerint P (n) igaz minden n N esetén.

Ez a bizonyítás viszonylag egyszerű volt, mindazonáltal a legbonyolultabb teljes indukciós bizonyítások is ugyanezt a sémát követik. 1. Világosan fogalmazzuk meg, hogy az állítást teljes indukcióval fogjuk belátni. 2. Definiáljuk a megfelelő P (n) állítást. Ez általában egyszerű, de azért vannak kivételek. 3. Mutassuk meg, hogy P (0) igaz. Ez szintén egyszerű szokott lenni, azonban nem árt körültekintőnek lenni abban, hogy P (0) pontosan mit is állít. 8/50

4. Mutassuk meg, hogy tetszőleges n N esetén, ha P (n) igaz, akkor P (n + 1) is igaz. Ezt a fázist indukciós lépésnek nevezzük. P (n) és P (n + 1) általában elég hasonló állítások, mindazonáltal a közöttük lévő rés áthidalása némi leleményt szokott igényelni. Akármilyen gondolatmenetet választunk is, annak működni kell minden n természetes számra, hisz célunk a 9/50 P (0) P (1), P (1) P (2), P (3) P (4),... implikációk bizonyítás egyszerre! 5. Zárjuk le a bizonyítást azzal, hogy a teljes indukció elve szerint P (n) igaz minden n N esetén.

Példa. Mutassuk meg, hogy 10/50 1 1! + 2 2! + + n n! = (n + 1)! 1 minden n N esetén. Megoldás. Teljes indukcióval bizonyítunk. Legyen P (n) a következő állítás: 1 1! + 2 2! + + n n! = (n + 1)! 1.

Alapeset. P (0) igaz, hisz ekkor a bal oldal üres, a jobb oldal pedig 11/50 (0 + 1)! 1 = 1 1 = 0. Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n N esetén. Belátjuk, hogy P (n + 1) is igaz. A P (n + 1) állítás bal oldalát írjuk fel a következő alakban: 1 1! + 2 2! + + n n! + (n + 1) (n + 1)! = = [1 1! + 2 2! + + n n!] + (n + 1) (n + 1)!

Az indukciós feltevés szerint 12/50 1 1! + 2 2! + + n n! = (n + 1)! 1, így [1 1! + 2 2! + + n n!] + (n + 1) (n + 1)! = = (n + 1)! 1 + (n + 1) (n + 1)!

Most némi leleményre van szükség: 13/50 (n + 1)! 1 + (n + 1) (n + 1)! = (1 + (n + 1)) (n + 1)! 1 = (n + 2) (n + 1)! 1 = (n + 2)! 1, ami éppen a P (n + 1) állítás jobb oldala, így P (n + 1) is igaz. A teljes indukció elve szerint P (n) igaz minden n N esetén.

Példa. Mutassuk meg, hogy 14/50 1 3 + 2 3 + + n 3 = n2 (n + 1) 2 4 minden n N esetén. Megoldás. Teljes indukcióval bizonyítunk. Legyen P (n) a következő állítás: 1 3 + 2 3 + + n 3 = n2 (n + 1) 2. 4

Alapeset. P (0) igaz, hisz ekkor a bal oldal üres, a jobb oldal pedig 15/50 0 2 1 2 4 = 0. Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n N esetén. Belátjuk, hogy P (n + 1) is igaz. A P (n + 1) állítás bal oldalát írjuk fel a következő alakban: 1 3 + 2 3 + + n 3 + (n + 1) 3 = [1 3 + 2 3 + + n 3 ] + (n + 1) 3.

Az indukciós feltevés szerint 1 3 + 2 3 + + n 3 = n2 (n + 1) 2, 4 így 16/50 [1 3 + 2 3 + + n 3 ] + (n + 1) 3 = n2 (n + 1) 2 + (n + 1) 3. 4

Most némi leleményre van szükség: n 2 (n + 1) 2 4 + (n + 1) 3 = n2 (n + 1) 2 + 4(n + 1) 3 4 = (n + 1)2 (n 2 + 4n + 4) 4 = (n + 1)2 (n + 2) 2, 4 ami éppen a P (n + 1) állítás jobb oldala, így P (n + 1) is igaz. A teljes indukció elve szerint P (n) igaz minden n N esetén. 17/50

Példa. Mutassuk meg, hogy minden n N esetén. 1 3 5 (2n + 1) 2 4 6 (2n + 2) 1 2n + 2. 18/50 Megoldás. Teljes indukcióval bizonyítunk. Legyen P (n) a következő állítás: 1 3 5 (2n + 1) 2 4 6 (2n + 2) 1 2n + 2.

Alapeset. P (0) igaz, hisz ekkor mindkét oldal 1 2. 19/50 Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n N esetén. Belátjuk, hogy P (n + 1) is igaz. A P (n + 1) állítás bal oldalát írjuk fel a következő alakban: 1 3 5 (2n + 1) (2n + 3) 2 4 6 (2n + 2) (2n + 4) = 1 3 5 (2n + 1) 2 4 6 (2n + 2) 2n + 3 2n + 4.

Az indukciós feltevés szerint így 1 3 5 (2n + 1) 2 4 6 (2n + 2) 1 2n + 2, 1 3 5 (2n + 1) 2 4 6 (2n + 2) 2n + 3 2n + 4 1 2n + 2 2n + 3 2n + 4. 20/50

Most némi leleményre van szükség: 1 2n + 2 2n + 3 2n + 4 = 1 2n + 4 2n + 3 2n + 2 1 = 2(n + 1) + 2 2n + 3 2n + 2 = > 1 2(n + 1) + 2 1 2(n + 1) + 2, ( 1 + 1 2n + 2 ami éppen a P (n + 1) állítás jobb oldala, így P (n + 1) is igaz. A teljes indukció elve szerint P (n) igaz minden n N esetén. ) 21/50

Jegyezzük, hogy a teljes indukció csak a bizonyításban van segítségünkre, a bizonyítandó állítás kitalálásához más módszerek szükségesek. 22/50

Előfordul, hogy egy állítást csak minden n k egész számra akarjuk belátni, nem minden n N esetén. A teljes indukció elvét ilyenkor is alkalmazhatjuk. Teljes indukció elve. Legyen P (n) egy állítás és legyen k N. Tegyük fel, hogy (1) P (k) igaz, (2) minden n k egész szám esetén, ha P (n) igaz, akkor P (n + 1) is igaz. Ekkor P (n) igaz minden n k egész számra. 23/50

Példa. Mutassuk meg, hogy 24/50 1 + 3 + + (2n 1) = n 2. minden n pozitív egész számra. Megoldás. Teljes indukcióval bizonyítunk. Legyen P (n) a következő állítás: 1 + 3 + + (2n 1) = n 2.

Alapeset. P (1) igaz, hisz ekkor mindkét oldal 1. 25/50 Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n pozitív egész esetén. Belátjuk, hogy P (n + 1) is igaz. A P (n + 1) állítás bal oldalát írjuk fel a következő alakban: 1 + 3 + + (2n 1) + (2n + 1) = [1 + 3 + + (2n 1)] + (2n + 1).

Az indukciós feltevés szerint 26/50 1 + 3 + + (2n 1) = n 2, így [1 + 3 + + (2n 1)] + (2n + 1) = n 2 + 2n + 1 = (n + 1) 2, ami éppen a P (n + 1) állítás jobb oldala, így P (n + 1) is igaz. A teljes indukció elve szerint P (n) igaz minden n pozitív egész esetén.

Példa. Mutassuk meg, hogy 1 2 + 2 3 + + n (n + 1) = minden n pozitív egész számra. n(n + 1)(n + 2). 3 27/50 Megoldás. Teljes indukcióval bizonyítunk. Legyen P (n) a következő állítás: 1 2 + 2 3 + + n (n + 1) = n(n + 1)(n + 2). 3

Alapeset. P (1) igaz, hisz ekkor a bal oldal 1 2 = 2, a jobb oldal pedig 1 2 3 = 2. 3 Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n pozitív egész esetén. Belátjuk, hogy P (n + 1) is igaz. 28/50 A P (n + 1) állítás bal oldalát írjuk fel a következő alakban: 1 2 + 2 3 + + n (n + 1) + (n + 1) (n + 2) = = [1 2 + 2 3 + + n (n + 1)] + (n + 1) (n + 2).

Az indukciós feltevés szerint 1 2 + 2 3 + + n (n + 1) = így n(n + 1)(n + 2), 3 29/50 [1 2 + 2 3 + + n (n + 1)] + (n + 1) (n + 2) = n(n + 1)(n + 2) = + (n + 1) (n + 2). 3

Most a jobb oldalt közös nevezőre hozva, majd kiemelve n(n + 1)(n + 2) + 3(n + 1)(n + 2) 3 = (n + 1)(n + 2)(n + 3) 3 adódik, ami éppen a P (n + 1) állítás jobb oldala. Így P (n + 1) is igaz. 30/50 A teljes indukció elve szerint P (n) igaz minden n pozitív egész esetén.

Példa. Mutassuk meg, hogy 1 1 2 + 1 2 3 + + 1 n (n + 1) = minden n pozitív egész számra. n n + 1. 31/50 Megoldás. Teljes indukcióval bizonyítunk. Legyen P (n) a következő állítás: 1 1 2 + 1 2 3 + + 1 n (n + 1) = n n + 1.

Alapeset. P (1) igaz, hisz ekkor a bal oldal a jobb oldal pedig 1 1 2 = 1 2, 1 1 + 1 = 1 2. Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n pozitív egész esetén. Belátjuk, hogy P (n + 1) is igaz. 32/50

A P (n + 1) állítás bal oldalát írjuk fel a következő alakban: 33/50 1 1 2 + 1 2 3 + + 1 n (n + 1) + 1 (n + 1) (n + 2) = [ 1 = 1 2 + 1 ] 2 3 + + 1 + n (n + 1) 1 (n + 1) (n + 2).

Az indukciós feltevés szerint 1 1 2 + 1 2 3 + + 1 n (n + 1) = így [ 1 1 2 + 1 ] 2 3 + + 1 + n (n + 1) n n + 1, 1 (n + 1) (n + 2) = = n n + 1 + 1 (n + 1) (n + 2). 34/50

Most némi leleményre van szükség: n n + 1 + 1 (n + 1) (n + 2) = 1 ( n + 1 ) n + 1 n + 2 = 1 n + 1 n2 + 2n + 1 n + 2 = (n + 1) 2 (n + 1)(n + 2) = n + 1 n + 2, ami éppen a P (n + 1) állítás jobb oldala, így P (n + 1) is igaz. A teljes indukció elve szerint P (n) igaz minden n pozitív egész esetén. 35/50

Egy hibás bizonyítás "Állítás". Minden ló ugyanolyan színű. 36/50 "Bizonyítás". Teljes indukcióval bizonyítunk. Legyen P (n) az az állítás, hogy lovak bármely n elemű halmazában minden ló egyforma színű. Alapeset. P (1) igaz, hisz önmagával minden ló azonos színű. Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n pozitív egész számra, azaz lovak bármely, n elemű halmazában minden ló egyforma színű. Belátjuk, hogy P (n + 1) is igaz.

Egy hibás bizonyítás Tekintsük lovak egy n + 1 elemű {l 1, l 2,..., l n, l n+1 } halmazát. 37/50 Az indukciós feltevés szerint az {l 1, l 2,..., l n } halmazban minden ló ugyanolyan színű. Ugyancsak az indukciós feltevés szerint az {l 2,..., l n, l n+1 } halmazban is minden ló ugyanolyan színű. Ebből következik, hogy az {l 1, l 2,..., l n, l n+1 } halmazban minden ló ugyanolyan színű, így P (n + 1) is igaz. A teljes indukció elve szerint P (n) igaz minden n pozitív egész esetén. Az állítás az a speciális eset, amikor n a világ összes lovának a száma. Hol a hiba?

Egy hibás bizonyítás A hiba a következő mondatban lapul: "Ebből pedig következik, hogy az {l 1, l 2,..., l n, l n+1 } halmazban minden ló ugyanolyan színű." 38/50 A... jelölések azt a benyomást keltik, hogy az {l 1, l 2,..., l n } és {l 2,..., l n, l n+1 } halmazoknak mindig van közös eleme, azonban ez n = 1 esetén nem igaz! Ekkor a két halmaz {l 1 } és {l 2 }, amelyek magától értetődően diszjunktak.

Egy hibás bizonyítás Ez alapvető hiba egy teljes indukciós bizonyításban. Beláttuk P (1)- et, majd beláttuk, hogy 39/50 P (2) P (3), P (3) P (4), P (4) P (5),.... Azonban nem láttuk be, hogy P (1) P (2), és ettől minden összeomlik. Nem állíthatjuk, hogy P (2), P (3), P (4),... igaz. És természetesen nem is igazak mindenki látott már különböző színű lovakat.

Díszburkolat Példa. Egy régebben nagy népszerűségnek örvendő, ám mára meglehetősen elhanyagolt, 40/50 2 n alakú tér felújítását tervezi a város önkormányzata. 2 n

Díszburkolat A tér közepére a város híres szülöttének szobrát szeretnék felállítani (ha n 1, akkor négy középső négyzet van, ezek bármelyikére kerülhet a szobor), az ezen kívüli részt pedig 41/50 alakú díszkövekkel akarják burkolni. 2 2

Díszburkolat Például n = 2 esetén a díszkövek egy lehetséges elrendezése a következő: 42/50 Mi a helyzet más n-ekre? Mindig megoldható a feladat?

Díszburkolat Állítás. Minden n N esetén egy 2 n 2 n -es négyzet alakú tér, közepén a város híres szülöttének szobrával, burkolható a fenti L alakú díszkövekkel. 43/50 Bizonyítás. Teljes indukcióval bizonyítunk. Legyen P (n) az az állítás, hogy egy 2 n 2 n -es négyzet alakú tér, közepén a város híres szülöttének szobrával, burkolható a fenti L alakú díszkövekkel.

Díszburkolat Alapeset. P (0) igaz, hisz ekkor a tér egy négyzetnyi és szükségképpen azon áll a szobor. 44/50 Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n N esetén. Meg kell mutatnunk, hogy ekkor egy 2 n+1 2 n+1 -es négyzet alakú tér, közepén a város híres szülöttének szobrával, szintén burkolható a fenti L alakú díszkövekkel. Bajban vagyunk! Egy kisebb térnek a kívánt módon való burkolása semmilyen támpontot nem ad egy nagyobb térnek a kívánt módon való burkolhatóságához. Nem tudjuk áthidalni a P (n) és P (n + 1) közötti rést. Mit tehetünk ilyenkor?

Díszburkolat Bármilyen furcsának is hangzik első hallásra, de teljes indukciós bizonyításoknál sokszor célravezető módszer, hogy ha nem tudunk valamit bebizonyítani, akkor próbáljunk meg valami általánosabbat belátni. 45/50 Ez nem butaság; amikor az indukciós lépésben a P (n) P (n + 1) implikációt akarjuk igazolni, akkor jobb helyzetben leszünk, ha egy általánosabb, erősebb P (n) igaz voltát tételezhetjük fel. Próbáljunk meg itt is egy általánosabb állítást megfogalmazni!

Díszburkolat Állítás. Minden n N esetén egy 2 n 2 n -es négyzet alakú tér burkolható a fenti L alakú díszkövekkel, akármelyik négyzeten is áll a város híres szülöttének szobra. 46/50 Eredeti állításunk ennek nyilván speciális esete. Bizonyítás. Teljes indukcióval bizonyítunk. Legyen P (n) az az állítás, hogy egy 2 n 2 n -es négyzet alakú tér burkolható a fenti L alakú díszkövekkel, akármelyik négyzeten is áll a város híres szülöttének szobra.

Díszburkolat Alapeset. P (0) igaz, hisz ekkor a tér egy négyzetnyi és szükségképpen azon áll a szobor. 47/50 Indukciós lépés. Tegyük fel, hogy P (n) igaz valamely n N esetén. Meg kell mutatnunk, hogy ekkor egy 2 n+1 2 n+1 -es négyzet alakú tér is burkolható a fenti L alakú díszkövekkel, akármelyik négyzeten is áll a város híres szülöttének szobra. Tekintsünk egy 2 n+1 2 n+1 -es négyzet alakú teret, és álljon a város híres szülöttének szobra egy tetszőleges négyzeten. Bontsuk fel a teret két egymásra merőleges egyenessel négy 2 n 2 n -es négyzet alakú részre. Most valamelyik ilyen rész tartalmazza a város híres szülöttének szobrát.

Díszburkolat Az ábrán látható módon állítsunk fel három ideiglenes szobrot (üres kék körök) azokban a 2 n 2 n -es négyzet alakú részekben, amelyek nem tartalmazzák az igazi szobrot. 48/50 2 n 2 n 2 n 2 n

Díszburkolat Az indukciós feltevés szerint mind a négy 2 n 2 n -es négyzet alakú rész, bennük a három ideiglenes és az egy igazi szoborral, burkolható a fenti L alakú díszkövekkel. 49/50 Eltávolítva az ideiglenes szobrokat és helyüket egyetlen L alakú díszkővel fedve, az egész tér burkolhatósága következik. Így P (n + 1) is igaz. A teljes indukció elve szerint P (n) igaz minden n N esetén.

Díszburkolat Vegyük észre, hogy nem csak azt láttuk be, hogy egy megfelelő burkolás létezik, de algoritmust is adtunk egy ilyen előállítására. 50/50 Másrészt azt is beláttuk, hogy a szobor akár a tér szélére is állítható.