1) Dokaž že je iracionální číslo

Řešení:

Předpoklad negace: je racionální číslo, které lze zapsat ve tvaru , kde jsou
nesoudělná přirozená čísla
je dělitelné třemi, tudíž
je dělitelné třemi.

je dělitelné třemi, tudíž

je dělitelné třemi.
Pokud dosadíme za a , pak máme čímž se dostáváme ke sporu, jelikož a měli
být nesoudělná. je tedy iracionální

2) Dokaž že log 7 je iracionální číslo

Řešení:

Předpoklad negace: log 7 je racionální číslo, které lze zapsat ve tvaru , kde
jsou nesoudělná přirozená čísla
Víme, že pokud násobíme liché číslo s lichým, vyjde vždy liché číslo a pokud
násobíme sudé se sudým, vyjde vždy sudé číslo. Z toho důvodu se nemohou
obě strany rovnice rovnat, nezvolíme-li alespoň jedno z čísel nepřirozené. Tím
se ale dostáváme do sporu s předpokladem, tudíž jsme dokázali, že log 7 je
iracionální.