Aby udowodnić, że liczba  jest niewymierna, przyjmijmy założenie, że jest niewymierna i załóżmy nie wprost, że jest liczbą wymierną.

Możemy to zapisać w postaci:

gdzie jest liczbą wymierną.

Te