Académique Documents
Professionnel Documents
Culture Documents
Questions d’irrationnalité
Énoncé
Questions d’irrationnalité
On notera I l’ensemble des nombres réels qui sont irrationnels.
1. (a) Soit A(t) = tm − cm−1 tm−1 − · · · − c1 t − c0 , avec (c0 , . . . , cm−1 ) dans Zm et m dans N∗ .
Soit t une racine réelle de A. Montrer que t est ou bien dans Z ou bien dans I. [ S ]
√
(b) Soit (n, m) dans N2 , avec m ≥ 2. Montrer que m n est dans N, sinon dans I. [ S ]
√ √ √ √ √
(c) Montrer que 2 + 3 puis 2 + 3 + 5 sont dans I. [ S ]
tn (1 − t)n
2. Pour tout entier naturel n, on définit le polynôme An (t) = .
n! 1
(a) Montrer que pour tout t de l’intervalle [0, 1], on a l’encadrement : 0 ≤ An (t) ≤ . [S]
4n n!
(m)
(b) Montrer que pout tout m de N, An (0) est dans Z. [ S ]
(m)
(c) En remarquant que An (t) = An (1−t), montrer qu’il en est de même pour An (1). [ S ]
5. Dans cette question, on va montrer que π 2 est irrationnel (il en découle que π est irrationnel.)
a
Par l’absurde, on pose π 2 = , où a, b sont dans N∗ .
b n
(2k)
Pour tout entier naturel n, on pose ψn (t) = bn (−1)k π 2n−2k An (t).
P
k=0
(a) Vérifier que ψn (0), ψn (1) sont entiers. [ S ]
(b) On pose ξ(t) = ψn0 (t) sin πt − πψn (t) cos πt. Montrer que ξ 0 (t) = π 2 an An (t) sin πt. [ S ]
Z 1
(c) En déduire que ψn (0) + ψn (1) = πan An (t) sin πt dt. [ S ]
0
(d) Majorer |ψn (1) + ψn (0)| et aboutir à une contradiction. Conclusion ? [ S ]
6. On établit ici que le seul rationnel r de ]0, 12 [ tel que cos πr soit rationnel est r = 13 .
(a) Pour tout n de N, montrer qu’il existe un polynôme Tn de degré n, à coefficients entiers (de coefficient
dominant 2n−1 ) tel que cos nθ = Tn (cos θ). [ S ]
m ∈ N∗ , n ≥ 2, m ∧ n = 1
m p
(b) On pose r = , et on suppose que cos πr = , avec
n q p, q ∈ N∗ , p ∧ q = 1
En considérant cos nθ avec θ = πr montrer : ∃ k ∈ {1, . . . , n−1}, q = 2m , et que p est impair. [ S ]
(c) Par l’absurde, on suppose que l’entier k est strictement supérieur à 1.
Appliquer ce qui précède à l’angle θ1 = 2θ et prouver que k < k1 < n, avec k1 = 2k − 1.
Rien n’empêche alors de considérer les angles θ2 = 2θ1 , θ3 = 2θ2 , etc.
1 1
Conclure à une absurdité, et en déduire que cos πr = , donc que r = . [ S ]
2 3
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.
Problèmes de Mathématiques
Questions d’irrationnalité
Corrigé
Corrigé du problème
1. (a) On suppose que t soit une racine rationnelle de A.
Il existe donc a dans Z et b dans N∗ , avec a ∧ b = 1 tels que t = ab .
m m−1 k m−1
L’égalité A(t) = 0 s’écrit abm = ck abk ou encore am = ck ak bm−k .
P P
k=0 m−1 k=0
Cette égalité s’écrit am = br, en posant r = ck ak bm−k−1 .
P
k=0
Puisque r est un entier, il en découle que b divisie am .
Mais b étant premier avec a (donc avec am ) cela n’est possible que si b = 1.
Ainsi t = a est dans Z : les seules racines possibles de A(t) dans I sont des entiers.
Conclusion : une racine réelle de A est soit entière, soit irrationnelle. [ Q ]
√
(b) Le réel m n est racine du polynôme A(t) = tm − n (unitaire à coefficients entiers...)
On est donc dans les conditions d’application de la question précédente.
√ √
Si n n’est pas la puissance m-ième d’un entier (si m n ∈
/ N) on en déduit que m n est dans I. [ Q ]
√ √ √ √
(c) Posons x = 2 + 3. On a (x − 2)2 = x2 − 2 2x + 2 = 3.
√
On en déduit x2 − 1 = 2 2x puis (x2 − 1)2 = 8x2 donc x4 − 10x2 + 1 = 0.
√ √
x = 2 + 3 est non entier (3 < x < 4) et racine de A(t) = t4 − 10t2 + 1.
On peut donc appliquer le résultat de la question (a) : le réel x est un irrationnel.
√ √ √ √
Posons y = 2 + 3 + 5 = x + 5.
En utilisant ce qui précède, on peut écrire :
√ √ √
0 = x4 − 10x2 + 1 = (y − 5)4 − 10(y − 5)2 + 1 = y 4 − 4 5y 3 + 20y 2 − 24.
Ainsi (y 4 + 20y 2 − 24)2 = 80y 6 , donc B(y) = 0, avec B(t) = (t4 + 20t2 − 24)2 − 80t6 .
Le polynôme B est unitaire à coefficients entiers.
Comme y n’est pas entier (5 < y < 6), on en déduit que y est irrationnel. [ Q ]
1
2. (a) On sait que 0 ≤ t(1 − t) ≤ sur ]0, 1[. Le résultat en découle immédiatement. [ Q ]
4
(b) An est un polynôme de degré 2n.
tn P n
k 1 P n
On développe An (t) et on trouve : An (t) =
n! k=0
C k k
n (−1) t = C k (−1)k tn+k
n! k=0 n
– La dérivée m-ième de tn+k est nulle si m > n + k.
(n + k)! tn+k−m
– Elle vaut si m ≤ n + k.
(n + k − m)!
Dans ce cas sa valeur en zéro est nulle si m < n + k et vaut m! si m = n + k.
On en déduit que la valeur en 0 de la dérivée m-ième de An est nulle (donc est élément de Z) sauf
s’il existe un entier k de {0, . . . , n} tel que m = n + k, c’est-à-dire sauf si m appartient à {n, . . . , 2n}.
Dans ce cas, la dérivée en 0 du polynôme An est égale à celle de son terme de degré n + k = m,
(−1)m−n m−n m
c’est-à-dire celle du monôme
n!
Cn t .
(m) m!
Donc si n ≤ m ≤ 2n, : Pn (0) = (−1)m−n C m−n , qui est dans Z.
n! n
(m)
Dans tous les cas, Pn (0) est donc un entier relatif. [ Q ]
(c) Pour tout réel t, on a An (t) = An (1 − t), et par dérivation : Pn0 (t) = −Pn0 (1 − t).
(m)
Un récurrence évidente donne alors : ∀m ∈ N, ∀t ∈ R, An (t) = (−1)m An (t).
En particulier : ∀m ∈ N, P (m) (1) = (−1)n P (m) (0) est élément de Z. [ Q ]
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.
Problèmes de Mathématiques
Questions d’irrationnalité
Corrigé
2n 2n
(k) (k)
(−1)k p2n−k An (0) et ϕn (1) = a (−1)k p2n−k An (1).
P P
3. (a) On ϕn (0) = b
k=0 k=0
(k) (k)
On sait que les An (0) et An (1) sont des entiers relatifs.
Pour tout n de N, on en déduit que ϕn (0) et ϕn (1) sont dans Z. [ Q ]
P2n 2n
(k) (k+1)
(b) On trouve ϕ0n (t) = bept p (−1)k p2n−k An (t) + (−1)k p2n−k An
P
(t) .
k=0 k=0
Après changement d’indice dans la deuxième somme, on obtient :
P2n 2n+1
(k) (k)
ϕ0n (t) = bept (−1)k p2n−k+1 An (t) − (−1)k p2n−k+1 An (t)
P
k=0
k=1
0 (0) (2n+1)
Après télescopage, il reste : ϕn (t) = be p2n+1 An (t) + An
pt
(t) = bept p2n+1 An (t). [ Q ]
(c) Si on intègre cette égalité de t = 0 à t = 1, on obtient :
Z 1 Z 1
0 2n+1
ϕn (1) − ϕn (0) = ϕn (t) dt = bp ept An (t) dt. [ Q ]
0 0
1
(d) Sur [0, 1] on a les encadrements 0 ≤ An (t) ≤ et 0 ≤ ept ≤ ep .
4n n! p2n+1
Par majoration dans l’intégrale, on en déduit l’inégalité : |ϕn (1) − ϕn (0)| ≤ n bep .
λn 4 n!
Mais pour tout λ > 0, tend vers 0 quand n tend vers l’infini.
n!
On en déduit que la suite de terme général un = ϕn (1) − ϕn (0) converge vers 0.
Mais c’est un suite d’entiers. Il existe donc un entier m tel que ϕm (1) = ϕm (0).
Z 1
Ainsi ept Am (t) dt = 0, puis Am (t) ≡ 0 sur [0, 1] (positivité et continuité.)
0
Ce résultat est absurde car Am est un polynôme de degré 2m.
Il découle de ce qui précède que pour tout p de N∗ , ep est irrationnel. [ Q ]
p
4. (a) Soit r = dans Q+∗ , avec p, q dans N∗ et p ∧ q = 1.
q
Posons y = er . Puisque y q = ep n’est pas rationnel, il en est de même de y.
Si r est dans Q−∗ : e−r n’est pas rationnel donc son inverse er n’est pas rationnel.
Concluion : pour tout rationnel r non nul, er est un irrationnel. [ Q ]
(b) Soit r dans Q+∗ , avec r 6= 1. Le réel s = ln r est non nul.
Puisque es est rationnel, il découle de la question précédente que s est dans I. [ Q ]
5. (a) Pour tout entier k de {0, . . . , n}, le réel bn π 2n−2k = bk an−k est un entier.
(2k) (2k)
Les An (0), An (1) étant dans Z, on en déduit que ψn (0), ψn (1) sont dans Z. [ Q ]
(b) On trouve tout d’abord :
ξ 0 (t) = ψn00 (t) sin πt + πψn0 (t) cos πt − πψn0 (t) cos πt + π 2 ψn (t) sin πt
= (π 2 ψn (t) + ψn00 (t)) sin πt
P n n
(2k) (2k+2)
= bn π 2 (−1)k π 2n−2k An (t) + (−1)k π 2n−2k An
P
(t) sin πt
k=0 k=0
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.
Problèmes de Mathématiques
Questions d’irrationnalité
Corrigé
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.
Problèmes de Mathématiques
Questions d’irrationnalité
Corrigé
Tous droits de l’auteur des œuvres réservés. Sauf autorisation, la reproduction ainsi que toute utilisation des œuvres autre que la consultation
individuelle et privée sont interdites.