Przeprowadźmy dowód nie wprost.

Załóżmy, że liczba  jest liczbą wymierną.

Zatem można ją przedstawić jako nieskracalny ułamek, jak poniżej:

, gdzie:

 - wartość licznika

 - wartość mianownika ()

Zarów