Ahoj,
předpokládejme, že odmocnina ze 3 je číslo racionální. To znamená, že ho lze zapsat ve tvaru:
kde "a" a "b" jsou nesoudělná čísla.
Po umocnění dostáváme:
>>> a^2 je tedy násobkem 3. Z toho ale plyne že samotné a musí být násobkem tří.
Když položíme:
kde "a" a "r" jsou nesoudělná čísla celá čísla, a dosadíme do výše uvedené rovnice dostáváme:
>>> 
z toho plyne že b^2 je dělitelné třemi a tudíž i b musí být dělitelné třemi.
a i b jsou nesoudělná čísla a přesto mají společného dělitele trojku.
Offline