Presupunem ca exista m/n, unde m si n =naturale nenule astfel incat
(m/n)^3 =2
m^3 / n^3 =2
m^3 =2* n^3, extragem rad indice 3
m=n*(rad indice 3 din 2), imposibil deoarece m=natural, iar produsul dintre un nr nat (n) si un nr irational (rad indice 3 din 2) este un nr irational.
Pp facuta este falsa, deci nu exista un nr rational care sa indeplineasca conditia.