Soit a, b appartient R tels que a appartient à Q* et b n'appartient pas à Q. Le but de l'exercice est de montrer que b/a n'appartient pas à Q. On pose c = b/a. On procède par l'absurde. On suppose donc que c appartient à Q.

1) Montrer que b appartient à Q.
2) Conclure. ​