Matematická indukce
1Úvod
Slovo indukce obecně znamená myšlenkový postup od jednotlivého k obecnému
. Při dokazování úloh takto často přemýšlíme – hrajeme si s malými případy a zkoumáme, jak z dosud odvozených výsledků objevit nové. Matematická indukce je formální způsob důkazu založený na této myšlence. V tomto materiálu si ho zformalizujeme a následně ukážeme na různorodých příkladech.
2Základní indukce
Ideu matematické indukce si ilustrujeme na dominu. To má vlastnost: pokud padne -té, tak padne i -ní. Díky tomu platí, že pokud strčíme do prvního, tak tím pádem padne i druhé, a tedy i třetí, atd. Závěr je, že padnou všechna.
Příklad 1
Dokažte, že součet prvních přirozených čísel je roven .
✓Řešení
Pro dostaneme , což platí. Předpokládejme, že tvrzení platí pro nějaké . Pro je nový výraz nalevo roven
což je přesně výraz na pravé straně pro . Důkaz indukcí je hotový.
Obecně se důkaz indukcí skládá ze dvou kroků:
- Důkaz tvrzení pro nějakou počáteční hodnotu .
- Důkaz, že pokud tvrzení platí pro nějaké , tak platí pro .
Vyzkoušejte si tento přístup na těchto zapamatováníhodných identitách.
Cvičení 1
Dokažte následující identity pro všechna přirozená čísla :
✓Řešení
Všech pět identit dokážeme indukcí podle .
- Vyzkoušením malých případů uhádneme vzorec. Pro platí . Předpokládejme, že tvrzení platí pro dané . Pakcož je přesně tvrzení pro .
- Pro platí . Předpokládejme platnost pro dané . Pakkde poslední rovnost plyne z vytknutí a úpravy
- Víme, žetakže dokazujemePro platí . Předpokládejme platnost pro dané . Pak
- Pro platí . Předpokládejme platnost pro dané . Pak
- Pro platí . Předpokládejme platnost pro dané . Přičtením dostaneme
Cvičení 2
Dokažte indukcí následující vzorce pro součty prvních členů známých posloupností.
- Součet aritmetické posloupnosti:
- Součet geometrické posloupnosti ():
- Součet geometricko-aritmetické posloupnosti ():
✓Řešení
Všechny tři vzorce dokážeme indukcí podle .
- Pro platí . Předpokládejme platnost pro dané . Přičtením -ního členu k pravé straně dostaneme
- Pro platí . Předpokládejme platnost pro dané . Přičtením dostaneme
- Pro platí . Předpokládejme platnost pro dané . Přičtením k pravé straně dostanemeČitatel se po roznásobení a úpravě zjednoduší na .Pro zajímavost dodejme, že tento vzorec lze dostat derivováním předešlého vzorce napsaného pro .
Cvičení 3
Dokažte následující identity pro Fibonacciho čísla, definovaná rekurzivně jako , a :
✓Řešení
Všechny tři dokazujeme indukcí podle .
- Pro platí . PředpokládejmePřičtením mámecož je tvrzení pro .
- Pro platí . PředpokládejmePřičtením dostaneme
- Pro platí . PředpokládejmePřičtením máme
Doposud jsme dokazovali tvrzení pro všechna přirozená čísla . V následujícím příkladu ukážeme, že to není nutné a indukce může někdy začínat později. Tento příklad zároveň otevírá další typ úloh, kdy se indukce hodí – nerovnosti.
Příklad 2
Pro která přirozená čísla platí ?
✓Řešení
Vyzkoušením malých případů dostaneme zvláštní chování: Pro a tvrzení platí. Člověk by si myslel, že platí stále. Avšak pro máme . Pro jsou však věci znovu v pořádku a máme . Pro pak , dále . Rozdíly se zvětšují, zdá se, že tvrzení už bude platit stále. Formálně ho dokážeme matematickou indukcí pro .
Pro tvrzení platí. Předpokládejme, že platí pro dané , tedy že . Pak odhadujeme:
Stačilo by tedy dokázat, že , pak bychom dohromady dostali .
Platí právě tehdy, když je nezáporné. Pro je výraz zjevně rostoucí a pro roven , tvrzení tedy platí.
Poznamenejme, že zbytková nerovnost zjevně platí už od . Problém je, že původní nerovnost neplatí pro , takže indukce opravdu nemohla začít dříve.
Odpovědí na otázku z úlohy jsou všechna přirozená čísla kromě .
Zkuste si několik nerovností na procvičení.
Cvičení 4
Dokažte, že pro všechna přirozená čísla platí .
✓Řešení
Pro platí . Předpokládejme, že pro dané . Pak
jelikož pro .
Cvičení 5
Dokažte, že pro všechna přirozená čísla platí .
✓Řešení
Pro platí . Předpokládejme, že pro dané . Pak
nyní použijeme, že , takže
Cvičení 6
Dokažte, že pro všechna přirozená čísla platí
✓Řešení
Pro platí . Předpokládejme platnost pro dané . Označme . Pak
Stačí ověřit, že
po úpravě na společného jmenovatele dostaneme
což zřejmě platí.
Cvičení 7
Dokažte Bernoulliho nerovnost: pro reálná a přirozená platí
✓Řešení
Pro platí . Předpokládejme, že
pro dané . Jelikož , můžeme obě strany vynásobit výrazem :
Potřebujeme dokázat, že poslední výraz je alespoň , což je ale zřejmé, neboť je nezáporné.
Indukci umíme použít i k dokazování dělitelnosti.
Příklad 3
Dokažte, že pro všechna přirozená čísla platí .
✓Řešení
Pro platí a . Předpokládejme, že pro dané . Pak
První člen je dělitelný 6 podle indukčního předpokladu. Ve druhém členu je číslo součin dvou po sobě jdoucích čísel, tedy sudé, a po vynásobení 3 dostaneme násobek 6.
Příklad 4
Dokažte, že pro všechna přirozená čísla platí .
✓Řešení
Pro platí a . Předpokládejme, že pro dané . Pak
První sčítanec je dělitelný 3 podle indukčního předpokladu a je zjevně dělitelné 3, tedy i jejich součet.
Cvičení 8
Dokažte, že pro všechna přirozená čísla platí .
✓Řešení
Pro platí a . Předpokládejme, že pro dané . Pak
První sčítanec je dělitelný 9 podle indukčního předpokladu a druhý je zjevně násobek 9.
Cvičení 9
Dokažte, že pro všechna přirozená čísla platí .
✓Řešení
Pro platí a . Předpokládejme, že . Pak
První sčítanec je dělitelný 31 podle indukčního předpokladu a druhý je zjevně násobek 31.
Při důkazu je opravdu nutné ověřit první krok, jinak se dá dokázat kdeco. Například i to, že číslo tvaru je vždy sudé. Totiž pokud to platí pro dané , tak pak pro máme , o čemž se snadno přesvědčíme, že je rovno . Z indukčního předpokladu je sudé a zřejmě je sudé, takže máme součet dvou sudých čísel, takže důkaz
je hotový.
Problém je, že když si nyní dosadíme jakékoliv , tak dostaneme liché číslo. Kde je chyba? Inu, neověřili jsme, že tvrzení platí pro – tehdy je výraz roven 3 a je lichý. Pokud bychom tedy dokazovali, že tento výraz je vždy lichý, tak spolu s krokem pro je důkaz úplný.
Další možné úskalí představuje tato úloha.
Úloha 1
Najděte chybu v důkazu
tohoto tvrzení:
Mějme přímek v rovině takových, že žádné dvě nejsou rovnoběžné. Pak všechny tyto přímky procházejí jedním bodem.
Důkaz
: Pro tvrzení platí, neboť dvě nerovnoběžné přímky se protínají v jedním bodě.
Indukční krok: Nechť tvrzení platí pro nějakých přímek. Vezměme si přímek , z nichž žádné dvě nejsou rovnoběžné.
Prvních přímek prochází podle indukčního předpokladu jedním bodem . Stejně tak přímky (taky jich je ) procházejí jedním bodem . Jelikož přímky procházejí oběma body i , nutně . Tím pádem všech přímek prochází bodem .
1Nápověda
Je evidentní, že tvrzení neplatí už pro . Pro pochopení chyby si zkuste napsat indukční krok pro rovné 2 (kdy dokazujeme, že tvrzení platí pro přímky).
✓Řešení
Chyba je ve větě Jelikož přímky procházejí oběma body i , nutně .
Pro totiž posloupnost přímek je vlastně jediná přímka. Kdykoliv , tak by tvrzení opravdu platilo, a to způsobuje zmatek.
3Úplná indukce
V předešlých úlohách jsme si v indukčním kroku vždy řekli, že tvrzení platí pro nějaké a následně ho dokazovali pro . Ve skutečnosti však můžeme předpokládat něco silnějšího. Například mějme nějaké tvrzení pro všechna přirozená čísla , které dokazujeme indukcí. Nejprve ho samozřejmě dokážeme pro . Následně předpokládáme, že platí pro všechna a dokážeme ho pro – místo toho, abychom předpokládali jen to, že platí pro nějaké . Tento obrat je velmi běžný v komplexnějších důkazech a nazývá se úplná indukce. Ilustrujeme si ji na příkladu:
Tvrzení 1
Věta o rozkladu na prvočíslaKaždé celé číslo se dá rozložit na součin několika ne nutně různých prvočísel.
Důkaz
Tvrzení zjevně platí pro , které je samo o sobě prvočíslem. Předpokládejme, že jsme tvrzení dokázali pro . Vezměme si nyní číslo . Pokud je to prvočíslo, tak jsme hotovi. Pokud to není prvočíslo, tak to znamená, že existují dvě celá čísla a taková, že . Jelikož i jsou větší než 1, tak obě jsou menší než , tedy nejvýše . Na obě z nich můžeme použít indukční předpoklad, a sice, že se dají napsat jako součin prvočísel. Tím pádem se ale jako součin prvočísel dá napsat i jejich součin , což jsme potřebovali dokázat.
Všimněme si, že v tomto důkazu jsme nemohli použít tradiční indukci, striktně potřebujeme, že čísla jsou menší než .
Dále si uvědomme, že běžná indukce je speciálním případem úplné indukce – přece jen, že v předpokladu, že tvrzení platí pro všechna , je zahrnuto i to, že platí pro , z čehož vycházíme při běžné indukci. Když vymýšlíme řešení indukcí, je proto užitečnější přemýšlet rovnou ve stylu úplné indukce, o nic se neochudíme.
Další tradiční výsledek je existence jednoznačného zápisu v binární soustavě.
Příklad 5
Dokažte, že každé přirozené číslo se dá zapsat jako součet navzájem různých mocnin dvojky.
✓Řešení
Pro platí . Předpokládejme, že tvrzení platí pro všechna přirozená čísla menší než . Pokud je mocnina dvojky, tak jsme hotovi. Jinak najdeme největší mocninu dvojky . Číslo je kladné a menší než , takže podle indukčního předpokladu se dá zapsat jako součet různých mocnin dvojky. Navíc (neboť ), takže v jeho rozkladu se nevyskytuje. Přičtením dostaneme zápis jako součet různých mocnin dvojky.
Vyzkoušejte si podobný důkaz na těžších příkladech:
Úloha 2
Zeckendorfova věta, existenceDokažte, že každé kladné celé číslo se dá zapsat jako součet navzájem nesousedních Fibonacciho čísel.
1Nápověda
Jdeme indukcí. Označme číslo, které se snažíme zapsat jako součet. Vyplatí se uvážit největší Fibonacciho číslo nepřevyšující , např. , a použít indukční předpoklad na . Jsme hotovi?
2Nápověda
Ještě nejsme hotovi. Potřebujeme se vypořádat s tím, že zápis může obsahovat , což by pokazilo sousednost. Jenže co když ?
✓Řešení
Pro nejmenší přirozená čísla tvrzení platí (např. ). Předpokládejme, že se požadovaným způsobem dá zapsat každé číslo menší než . Najděme největší Fibonacciho číslo . Pokud , jsme hotovi. Jinak je číslo kladné a ostře menší než , takže podle indukčního předpokladu ho umíme zapsat jako součet navzájem nesousedních Fibonacciho čísel.
Přičtením bychom dostali zápis pro . Problém by nastal jen tehdy, pokud by v zápisu čísla vystupovalo číslo (nebo větší). V takovém případě by byl celý zápis alespoň , a tedy . Z toho však dostáváme , což je spor s tím, že je největší Fibonacciho číslo nepřevyšující .
Proto se v zápisu pro nacházejí jen čísla nanejvýš . Doplněním čísla tedy nevznikne dvojice sousedních Fibonacciho čísel a dostaneme platný zápis čísla .
Jiná číselná soustava je faktoriálová:
Úloha 3
Faktoriálová soustavaDokažte, že každé kladné celé číslo se dá zapsat ve tvaru
kde pro každé .
1Nápověda
Jdeme indukcí. Označme číslo, které se snažíme takto zapsat. Uvažme největší číslo takové, že . Trikem je vydělit číslem se zbytkkem, tedy zapsat , kde . Kde můžeme použít indukční předpoklad? Co nám zůstane dokázat?
2Nápověda
V první řadě si uvědomme, že (dokažte). To znamená, že pro jsme hotovi a že pro umíme použít indukční předpoklad na . Dostaneme tak už vyhovující vyjádření?
✓Řešení
Pro tvrzení platí, . Předpokládejme, že se požadovaným způsobem dá zapsat každé číslo menší než . Najděme největší číslo takové, že a vydělme číslem se zbytkem, tedy , přičemž . Jelikož bylo největší možné, muselo původně platit , z čehož vyplývá
Máme zaručeno, že podmínka pro nejvyšší cifru je splněna. Pokud , jsme hotovi. Jinak máme , tedy je ostře menší než a můžeme na něj použít indukční předpoklad. Dostaneme tak zápis .
Jelikož , největší faktoriál v zápisu může být nejvýše , tedy . Dosazením tohoto zápisu za do výrazu tak získáme hledaný zápis čísla a žádné dva faktoriály se nám nesečtou dohromady.
Dodejme, že jak pro Fibonacciho tak pro faktoriálovou soustavu se dá dokázat unikátnost (a samozřejmě i pro binární a naši desítkovou). Důkaz je lehký, ale technický – opírá se o obecný princip: Mějme soustavu, kde umíme vyjádřit 1 a ve které platí, že největší číslo, které umíme vyjádřit pomocí cifer, je o 1 menší než nejmenší číslo, které umíme vyjádřit pomocí cifer. V takové soustavě pak platí jak úplnost (každé číslo se dá vyjádřit) tak jednoznačnost. Můžete si zkusit toto tvrzení rozmyslet pro všechny zkoumané soustavy (binární, Fibonacciho a faktoriálovou), už dokázaná cvičení mohou být dobrou pomůckou 🙂
Technicky jedna z forem úplné indukce je i když indukční předpoklad použijeme pro pouze dvě menší čísla, např. a . To je vidět často u úloh o rekurentních posloupnostech.
Příklad 6
Posloupnost je definována předpisom , a
pro . Uhádněte explicitní vzorec pro a dokažte ho indukcí.
✓Řešení
Z malých hodnot uhádneme . Tento vzorec dokážeme indukcí:
Pro platí . Pro platí . Předpokládejme platnost pro a . Pak
Cvičení 10
Posloupnost je definována předpisem , a
pro . Uhádněte explicitní vzorec pro a dokažte ho indukcí.
✓Řešení
Vyzkoušením uhádneme vzorec . Ten dokážeme indukcí:
Pro platí . Pro platí . Předpokládejme platnost pro a . Pak
Úloha 4
Dokažte, že pro všechna přirozená čísla platí , kde jsou Fibonacciho čísla a je zlatý řez.
1Nápověda
Numericky ověříme pro a . Dále funguje indukce. Totiž, pro .
2Nápověda
Klíčem při důkazu indukcí je fakt, že má tu magickou vlastnost, že (ověřte).
✓Řešení
Důkaz provedeme úplnou indukcí. Pro platí . Pro platí , což platí, jelikož .
Předpokládejme, že tvrzení platí pro dané a . Pro máme . Z indukčního předpokladu umíme tento součet odhadnout:
Pro platí identita , kterou snadno ověříme. Dosazením máme
Tím je indukční krok dokázán.
Úloha 5
Nechť je reálné číslo takové, že je racionální. Dokažte, že pak i je racionální pro každé přirozené .
1Nápověda
Jdeme indukcí. Abychom udělali přechod z na , tak vynásobíme výraz pro vhodným výrazem.
2Nápověda
Klíčové násobení je výrazem . Následně se objeví, že náš indukční předpoklad musí být úplný.
✓Řešení
Tvrzení dokážeme úplnou indukcí. Pro je racionální přímo ze zadání. Pro máme
což je zjevně racionální číslo.
Předpokládejme, že tvrzení platí pro všechna přirozená čísla až po nějaké a , kde .
Z indukčního předpokladu jsou a racionální čísla. Jelikož i , celá pravá strana je racionální. Tím je indukční krok hotový.
4Další formy indukce
V dosavadních úlohách jsme se setkali se dvěma typy indukčních předpokladů: že tvrzení platí pro nebo že platí pro vhodná čísla nepřevyšující . Následně jsme z toho dokazovali, že tvrzení platí pro . Fantazii se však meze nekladou, klidně se může vyskytnout indukce, že z dokážeme , tím pádem potřebujeme tvrzení dokázat pro po sobě jdoucí základy.
Příklad 7
Dokažte, že každé celé číslo se dá zapsat ve tvaru , kde jsou nezáporná celá čísla.
✓Řešení
Důkaz uděláme indukcí s krokem 2, což znamená, že potřebujeme dva po sobě jdoucí základy. Ověříme je přímo: a .
Předpokládejme, že tvrzení platí pro dané , tedy . Pak , takže tvrzení platí i pro .
Poznámka. Pro zajímavost dodejme, jak je to obecně: Pro dvě nesoudělná kladná celá čísla a se dá dokázat, že každé celé číslo se dá zapsat jako pro nezáporná . Číslo se jmenuje Frobeniovo číslo a je to největší celé číslo, které se takto zapsat nedá. V našem případě je .
Další fascinující forma indukce je k vidění v Cauchyho důkazu AG nerovnosti, kdy nejprve jdeme nahoru a potom dolů.
Tvrzení 2
AG nerovnostPro kladná reálná čísla platí
přičemž rovnost nastává právě tehdy, když .
Důkaz
Důkaz sestává ze dvou kroků: nejprve dokážeme nerovnost pro všechny mocniny dvojky a pak ukážeme, že z platnosti pro proměnných vyplývá platnost pro proměnných. Tyto dva kroky dohromady pokryjí všechna přirozená čísla.
Krok nahoru (z na ). Pro máme dokázat, že , což je ekvivalentní , a to platí vždy.
Předpokládejme, že nerovnost platí pro proměnných. Pro proměnných rozdělíme čísla na dvě skupiny po . Označme
Z indukčního předpokladu pro obě skupiny máme
Průměr všech čísel je . Ze základního případu pro dvě proměnné víme, že . Tedy
Krok dolů (z na ). Předpokládejme, že nerovnost platí pro proměnných, a vezměme si nezáporných reálných čísel . Položme
tedy je průměr zbylých čísel. Pak
Z předpokladu pro proměnných dostáváme
Umocněním na -tou máme , a po vydělení kladným dostaneme
čili
což je přesně AG nerovnost pro proměnných umocněná na .
5Co jsme se naučili
- Tvrzení zahrnující přirozená čísla se často dají dokázat matematickou indukcí.
- Můžeme v ní předpokládat nejen to, že tvrzení platí pro dané , ale rovnou že platí např. pro .
- Občas se vyplatí dělat i velké kroky, např. z do , nebo , případně i zpět (z na ).
- Indukce může být nejen podle jedné proměnné, ale i podle součtu proměnných.
Na co si dávat pozor:
- Vždy ověříme malé případy a do řešení zapíšeme, že jsme to udělali.
- Indukce může selhat na tom, že k indukčnímu kroku potřebujeme např. místo , vyplatí se udělat si tento indukční krok alespoň v hlavě pro malá .
- Pokud indukce používá i , tak potřebujeme dva základy.
6Úlohy
Příkladů na indukci je opravdu mnoho a jak jsme viděli, dá se použít v prakticky všech oblastech matematiky a dokazuje se pomocí ní mnoho zajímavých myšlenek. Můžete si vyzkoušet následující, řazené přibližně podle obtížnosti.
Úloha 6
Dokažte, že pro každé přirozené číslo existují přirozená čísla taková, že .
1Nápověda
Postupujeme indukcí. Klíčem je předpokládanou rovnost vynásobit a upravit.
✓Řešení
Pro platí , tedy . Předpokládejme, že pro nějaká přirozená . Pak
Jelikož jsou přirozená, tak i a jsou přirozená, což je tvrzení pro .
Úloha 7
V řadě máme žárovek. Na začátku jsou všechny zhasnuté. Každou minutu buď zapneme právě jednu zhasnutou žárovku, nebo zhasneme právě jednu rozsvícenou. Dokažte, že umíme tahy volit tak, abychom postupně prošli každou ze všech možných konfigurací právě jednou.
1Nápověda
Abychom si vůbec byli jisti, zda jsme prošli všechny konfigurace, potřebujeme vědět, kolik jich vlastně je.
2Nápověda
Odpověď na otázku počtu konfigurací dostaneme tak, že si uvědomíme, že každá žárovka je buď vypnutá nebo zapnutá, a pak můžeme použít pravidlo součinu.
3Nápověda
Vyzkoušíme si malé případy. Když umíme udělat algoritmus pro nějaké , umíme ho modifikovat a udělat algoritmus pro ?
4Nápověda
Pro nám stačí jedno přepnutí. Pro postupujeme např. takto: . Co pro ? Trikem je poslední žárovku na začátku nechat vypnutou a pak ji ve vhodnou chvíli zapnout. Formálně používáme indukční předpoklad, že úlohu umíme vyřešit pro menší .
✓Řešení
V první řadě, jelikož každá žárovka může být jen zapnutá nebo zhasnutá, celkový počet konfigurací pro žárovek je z pravidla součinu .
Nyní dokážeme tvrzení o tom, že všechny konfigurace jsou přepínáním dosažitelné, matematickou indukcí podle .
Pro máme konfigurace, stačí zhasnutou žárovku zapnout. Předpokládejme, že pro nějaké existuje vyhovující posloupnost tahů procházející všemi konfiguracemi, přičemž začínáme ze stavu samých zhasnutých žárovek.
Pro žárovek postupujeme následovně: Nejprve necháme -ní žárovku zhasnutou a na prvních žárovkách vykonáme předpokládanou posloupnost tahů pro žárovek. Tím projdeme všech konfigurací, v nichž je poslední žárovka zhasnutá. Následně zapneme -ní žárovku. Nyní vykonáme posloupnost tahů pro prvních žárovek v opačném pořadí (od konce na začátek). Jelikož původní posloupnost měnila vždy právě jednu žárovku, platí to i pro obrácenou. Takto postupně projdeme zbylých konfigurací, v nichž je poslední žárovka zapnutá.
Dohromady jsme prošli konfigurací, a jelikož jsme nejprve prošli všechny se zhasnutou a pak všechny se zapnutou poslední žárovkou, žádná konfigurace se nezopakovala. Navštívili jsme tedy každou konfiguraci právě jednou, čímž je indukční krok hotový.
Úloha 8
Máme čokoládu rozměrů . Lámeme ji po hranách na jednotlivé čtverečky (po hranách znamená, že neumíme ulomit např. z rohu). Jaký nejmenší počet zlomení potřebujeme na to, aby všechny kusy byly ?
1Nápověda
Když si to zkoušíme, můžeme si všimnout, že počet zlomení je vždy stejný. Je to náhoda? Kolik to vychází? Jak bychom to dokázali?
2Nápověda
Trik je řešit zobecněnou úlohu: Máme čokoládu , kde jsou přirozená čísla. Chceme dokázat, že na její zlomení potřebujeme zlomení. Trikem jak na to je matematická indukce, např. podle .
3Nápověda
Idea indukčního předpokladu je, že zlomením na dvě čokolády vždy vyrobíme dvě čokolády, které mají menší součet rozměrů než původní . Umíme tedy aplikovat indukční předpoklad a už je to jen trocha algebry.
✓Řešení
Ukážeme, že pro čokoládu potřebujeme vždy přesně zlomení bez ohledu na strategii. Pro zadanou čokoládu to tedy je zlomení.
Tvrzení dokážeme úplnou indukcí podle součtu rozměrů . Pro máme čokoládu , kterou už nemusíme lámat, což odpovídá .
Předpokládejme, že tvrzení platí pro všechny čokolády se součtem rozměrů ostře menším než . Prvním zlomením čokolády dostaneme dvě menší části. Bez újmy na obecnosti předpokládejme, že jsme zlomili stranu délky . Tím vznikly kusy a , přičemž .
Součty rozměrů obou nových kusů jsou a , což jsou zjevně čísla ostře menší než . Podle indukčního předpokladu tak na jejich úplné rozlámání potřebujeme a zlomení. Celkový počet zlomení naší čokolády pak bude
Tím je indukční krok hotový. Každé rozlámání čokolády vyžaduje právě kroků, nejmenší počet je tedy rovněž .
Úloha 9*
Máme dáno 42 měst takových, že mezi každými dvěma vede jednosměrná ulice. Dokažte, že existuje město takové, že z něho umíme vyrazit a projít přes všechna ostatní města.
1Nápověda
Klíčem je použít úplnou indukci. Vyřešíme malé případy. Klíčová otázka ale je: jak umíme případ pro menší použít pro větší?
2Nápověda
Trikem je, že si vezmeme jedno město, například , a zbylá města si rozdělíme na dvě množiny: množinu měst, ze kterých vede ulice do ; a množinu měst, do kterých vede ulice z . Některé z těchto množin mohou být prázdné. Určitě však obě budou menší než finální množina (neboť jsme dali stranou).
✓Řešení
Tvrzení dokážeme úplnou indukcí podle počtu měst .
Pro tvrzení zjevně platí (cesta se skládá z jediného města). Předpokládejme, že tvrzení platí pro každý počet měst , kde .
Mějme měst. Zvolme si libovolné město . Zbylých měst rozdělíme na dvě disjunktní množiny: množinu tvořenou městy, ze kterých vede ulice do , a množinu tvořenou městy, do kterých vede ulice z .
Pokud je množina neprázdná, platí . Podle indukčního předpokladu jen pro tuto množinu existuje cesta procházející všemi jejími městy; nechť tato cesta končí v nějakém městě . Jelikož , vede ulice z do .
Pokud je množina neprázdná, platí . Podobně podle indukčního předpokladu jen pro tuto množinu existuje cesta procházející všemi jejími městy; nechť tato cesta začíná v nějakém městě . Jelikož , vede ulice z do .
Celkovou cestu vytvoříme spojením těchto úseků a rozebereme případy podle toho, zda byly množiny prázdné:
- Pokud jsou i neprázdné, projdeme cestu v končící v , odtud prejdeme do , a následně z do , odkud projdeme zbytek cesty v .
- Pokud je prázdná (tedy ), začneme rovnou v a projdeme do , odkud pokračujeme cestou v .
- Pokud je prázdná (tedy ), projdeme cestu v končící v a odtud projdeme do , kde naše cesta skončí.
V každém případě jsme sestrojili cestu procházející přes všech měst, čímž je indukční krok hotový. Tvrzení tedy platí pro všechna přirozená , speciálně i pro .
Úloha 10*
Dokažte, že pro všechna přirozená čísla a platí
(slovně: dělí součin po sobě jdoucích přirozených čísel)
1Nápověda
Máme dvě přirozené proměnné a , není jasné, podle čeho indukovat. Idea je indukovat podle obou, nejprve podle a při snaze dokázat tvrzení pro indukujeme podle .
2Nápověda
Nejprve vyřešíme . Pak předpokládáme, že tvrzení platí pro . Následně jdeme indukcí podle . Po vyřešení předpokládáme platnost pro dané . Následně při označení potřebujeme . Trikem je podívat se na . Po cestě se vyplatí najít místo, kde umíme použít indukční předpoklad pro .
✓Řešení
Označme . Tvrzení dokazujeme indukcí podle .
Pro je a , což platí triviálně. Předpokládejme, že tvrzení platí pro , tedy dělí součin libovolných po sobě jdoucích čísel. Nyní dokazujeme, že pro všechna , indukcí podle .
Pro je , což je zjevně dělitelné . Předpokládejme platnost pro dané . Pak
Výraz je součin po sobě jdoucích čísel, takže podle indukčního předpokladu pro je dělitelný . Tedy je dělitelné . Jelikož je dělitelné , je dělitelné i .
Poznámka. Existuje jednoduchý kombinatorický důkaz této úlohy – tvrzení vyplývá z toho, že kombinační číslo
je celé. Uvedené řešení ukazuje, že se to dá dokázat i teoreticko-číselně.