1 UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PROFMAT Cleibson Silva Provar que entre dois irracionais existe um irracional.

Vamos provar que se a e b so irracionais, com a < b, ento existe um tal a a que a < < b. Vamos considerar o intervalo aberto em a e b, porque se fosse fechado j estava provado. Sendo o intervalo (a, b), vamos subtrair a de todos os a nmeros deste intervalo, cado (0, b a), precisando provar apenas que < b a. u 2 Considere agora um nmero racional n > ba e o irracional = n2 . Portanto u
2 1 1 temos 2 > ba , com isso ca > ba , cando ento < b a. Se < b a, a ento + a < b. Concluindo que < b. a