↑ loxir:
Kdyby číslo
bylo racionální, mohli bychom ho zapsat jako
,
,
,
nesoudělná.
to ale znamená, že
číslo
Protože
i
jsou přirozená čísla, muselo by být 
Což není.
Takže předpoklad, že číslo
je racionální vede ke sporu, a proto je
iracionální.
Offline
↑ zdenek1:
Ahoj, to není přesné. Z toho, že
ještě neplyne, že musí být
. Např. pro
je také
, ale
.
Takže musíme dokázat, že
.
Offline
↑ check_drummer:
No to je pravda. Ale dokázat
je triviální.
Offline