Boa noite ,eu fiz este exercício há algum tempo atrás , vou disponibilizar com a intenção de ajudar .
Seja

(é irracional)
Demostração :
(1) Vamos supor
por absurdo que existem
Multiplicando-se

por

,temos

.
Mas ,

,então :
(*)

.
(2)Vale destacar que os membros à esquerda da igualdade acima são naturais , logo ,

e

também são naturais .
Além disso , a igualdade (* )pode ser escrita como ,
(3) Se mostrarmos que

não é natural ,está concluída a prova .
De fato este número não o é . Pois ,
=
Ou seja ,
(4) Conclusão (2) + (3) contradiz (1) .

.
Qualquer dúvida estou a disposição ,ficaria muito grato se alguém corrigisse a demostração acima caso notarem algum erro .