Demonstração clássica. Prove que sqrt(2) é irracional