Soit , .
(a) Si et si les nombres et sont rationnels, en est-il de même de ?
(b) Si les nombres et sont rationnels, en est-il de même de ? et de ?
(c) Si les nombres , et sont rationnels, en est-il de même de ? |
Montrons d'abord que le résultat de l'addition, la soustraction ou la multiplication de deux rationnels, ainsi que de la division d'un rationnel par un rationnel non nul, est rationnel. On sait que . Donc si avec et : - Addition : avec et  - Soustraction : avec et  - Multiplication : avec et  - Division : , avec et si 
(a) On a , soit . Or, est rationnel et rationnel non nul puisque , donc est rationnel également.
(b) On a , donc . Donc , étant obtenu par une suite d'opérations fondamentales sur les rationnels , et , est rationnel aussi. Ensuite, on a , donc , et étant rationnels, est rationnel. Finalement, puisque , ou , et que , et sont rationnels, on conclut que est rationnel.
(c) Nous allons utiliser le (b), qui est vrai pour tous réels et , en remplaçant par et par . Comme et sont rationnels, on obtient directement (voir encadrés dans (b)) que et sont rationnels. Ensuite, puisque et sont rationnels, on obtient en remplaçant cette fois par et par que est rationnel. Supposons que . Dans ce cas, et doivent être rationnels, et à part si aussi (auquel cas est bien un rationnel), on en conclut que est bien rationnel. De la même manière, si , le résultat est bien respecté. Nous avons donc que est un rationnel, car et sont des rationnels non nuls. Enfin, nous avons . Nous pouvons supposer que est non nul, car si , alors , et

et dans ce cas est bien un rationnel. Nous avons donc exprimé sous la forme d'un quotient de rationnels dont le dénominateur est non-nul, et par conséquent est un rationnel. |