Druhá odmocnina z 2
Druhá odmocnina čísla 2 neboli (1/2)mocnina čísla 2, v matematice zapisovaná jako √2 nebo 21⁄2 , je kladné iracionální číslo, které se po vynásobení sebou samým rovná číslu 2. Přesněji řečeno se nazývá hlavní odmocnina z 2, aby se odlišila od záporné verze sebe sama, kde to platí také.
Geometricky je odmocnina ze 2 délkou úhlopříčky přes čtverec se stranami o délce jedna; lze ji zjistit pomocí Pythagorovy věty.
Druhá odmocnina ze 2 je rovna délce přepony pravoúhlého trojúhelníku s rameny délky 1.
Důkaz, že odmocnina z 2 není racionální
Číslo 2 {\displaystyle {\sqrt {2}}} není racionální. Zde je důkaz.
- Předpokládejte, že 2 {\displayystyle {\sqrt {2}} je racionální. Existují tedy nějaká čísla a , b {\displaystyle a,b} taková, že a / b = 2 {\displaystyle a/b={\sqrt {2}}} .
- Můžeme zvolit a a b tak, aby a nebo b bylo liché. Pokud by a i b byly sudé, pak bychom mohli zlomek zjednodušit (například místo zápisu 2 4 {\displaystyle {\frac {2}{4}}}). bychom mohli místo toho napsat 1 2 {\displaystyle {\frac {1}{2}}} ).
- Pokud obě strany rovnice odmocníme, dostaneme a2 / b2 = 2 a a2 = 2 b2 .
- Pravá strana je 2 b 2 {\displaystyle 2b^{2}} . Toto číslo je sudé. Levá strana tedy musí být také sudá. Takže a 2 {\displaystyle a^{2}} je sudá. Pokud je liché číslo odmocněno, pak výsledkem bude liché číslo. A pokud by se čtvercovalo sudé číslo, bylo by výsledkem také sudé číslo. Takže a {\displaystyle a} je sudé.
- Protože a je sudé, lze ho zapsat jako: a = 2 k {\displaystyle a=2k} .
- Použije se rovnice z kroku 3. Dostaneme 2b2 = (2k)2
- Lze použít exponenciální pravidlo (viz článek) - výsledek je 2 b 2 = 4 k 2 {\displaystyle 2b^{2}=4k^{2}}. .
- Obě strany jsou děleny 2. Takže b 2 = 2 k 2 {\displaystyle b^{2}=2k^{2}}. . To znamená, že b {\displaystyle b} je sudé.
- V kroku 2 jsme řekli, že a je liché nebo b je liché. V kroku 4 však bylo řečeno, že a je sudé, a v kroku 7 bylo řečeno, že b je sudé. Je-li předpoklad, který jsme vyslovili v kroku 1, pravdivý, pak všechny tyto ostatní věci musí být pravdivé, ale protože se navzájem neshodují, nemohou být všechny pravdivé; to znamená, že náš předpoklad není pravdivý.
Není pravda, že 2 {\displaystyle {\sqrt {2}}} je racionální číslo. Takže 2 {\displaystyle {\sqrt {2}}} je iracionální.