Dirichletův princip: Porovnání verzí

Smazaný obsah Přidaný obsah
obrázek holubníku
→‎Příklady: vypuklém -> konvexním (spolehlivější slovo)
Řádek 11:
# Ačkoliv zní princip jednoduše, může být použit k dokázání na první pohled nečekaných výsledků. Můžeme např. dokázat, že v [[Praha|Praze]] žijí dva lidé, kteří mají přesně stejný počet vlasů. Uvážíme-li, že počet vlasů jednoho člověka nikdy nepřesahuje 1 000 000 a v Praze žije více než 1 000 000 lidí – pak musí být alespoň dva, kteří mají stejný počet vlasů.
# Máme-li skupinu ''n'' lidí, kde se někteří navzájem znají, pak vždycky existují dva takoví, kteří v této skupině znají stejný počet lidí. Rozdělovali bychom jednotlivé lidi do skupin podle toho, kolik znají ostatních, pak těchto skupin bude <math>n - 1</math>, neboť nemůže zároveň existovat skupina, kde by byl někdo, kdo zná všechny ostatní a skupina, kde by byl někdo, kdo nezná nikoho. Když by někdo totiž znal všechny ostatní, musel by znát i tohoto člověka, a jelikož se dle zadání musí lidé znát navzájem, musel by ho znát i on. Máme tedy ''n'' lidí a ''n-1'' skupin, což znamená, že alespoň v jedné z nich musí být alespoň 2 lidé – ti tedy znají stejný počet lidí. (Místo toho, že se lidé znají, se dá příklad formulovat např. i tak, že si podávají ruce, hrají proti sobě zápasy atp.)
# Měli bychom dokázat, že na vypuklémkonvexním šestnáctistěnu s 9 vrcholy existuje vrchol, z kterého vychází alespoň 6 hran. Díky Eulerovu vztahu pro počet vrcholů (''v''), hran (''h'') a stěn (''s'') vypuklého mnohostěnu <math>v - h + s = 2</math> spočítáme počet hran: ''23''. Rozdělíme každou na půl a vznikne nám 46 polohran. Rozřadíme je do devíti skupin podle toho, z kterého z 9 vrcholů vycházejí. Jelikož <math>5 \times 9 = 45 < 46</math>, musí alespoň v jedné skupině být 6 polohran, tudíž z jednoho vrcholu musí alespoň 6 polohran, tedy i hran, vycházet.
 
== Formulace principu a jeho zobecňování ==