Rationality of the golden ratio

$\varphi$ est irationnel.
$\newline$

Nous pouvons commencer par remarquer que $\sqrt{5}$ est irrationnel. On se référera à l’exercice suivant : Irrationalité de racines carrées

$\newline$
Ensuite, on utilise le fait que la somme d’un nombre rationnel et d’un nombre irrationnel est irrationnelle :
$\forall u \in \mathbb{Q}, \forall v \notin \mathbb{Q}, u + v \notin \mathbb{Q}$
et que le produit d’un nombre rationnel non-nul par un irrationnel est irrationnel :
$\forall u \in \mathbb{Q}^{*}, \forall v \notin \mathbb{Q}, u \cdot v \notin \mathbb{Q}$
$\newline$
Ainsi $1 + \sqrt{5} \notin \mathbb{Q}$
On conclut enfin que $\varphi = \frac 1 2(1 + \sqrt{5}) \notin \mathbb{Q}$