Przeprowadźmy dowód nie wprost.

Załóżmy, że liczba  jest wymierna.

Wtedy można ją przedstawić jako ułamek nieskracalny:

, gdzie:

 należą do liczb naturalnych pierwszych i .

Wykorzystajmy