ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 12 — Arithmétique dans ℤ\mathbb{Z} · Nombres premiers

Exercice 31

Démonstration

1. Soit n∈ℕ∗n \in \mathbb{N}^{*}. Montrer que n\sqrt{n} est soit un entier, soit un irrationnel.

2. Montrer que ln⁡2ln⁡3\dfrac{\ln 2}{\ln 3} est irrationnel.

Corrigé

1. Supposons n=ab\sqrt{n} = \frac{a}{b} avec a∧b=1a \wedge b = 1 et b⩾1b \geqslant 1. Alors nb2=a2nb^{2} = a^{2}, donc b∣a2b \mid a^{2}. Or b∧a2=1b \wedge a^{2} = 1 (proposition 7 (ii)), donc b=1b = 1, et n=a\sqrt{n} = a est un entier. n∈ℕoun∉ℚ\boxed{\sqrt{n} \in \mathbb{N} \quad \text{ou} \quad \sqrt{n} \notin \mathbb{Q}}

2. Le quotient est strictement positif. S'il valait pq\frac{p}{q} avec p,q∈ℕ∗p, q \in \mathbb{N}^{*}, on aurait qln⁡2=pln⁡3q\ln 2 = p\ln 3, soit 2q=3p2^{q} = 3^{p}. C'est impossible : le premier nombre est pair et le second impair, ou, ce qui revient au même, l'unicité de la décomposition (théorème 6) est contredite. ln⁡2ln⁡3∉ℚ\boxed{\frac{\ln 2}{\ln 3} \notin \mathbb{Q}}

Ouvrir dans l'atlas interactif →