[http://mp.cpgedupuydelome.

fr] dit le 24 septembre 2016

Rationnels et irrationnels

Enoncs
Exercice 7

Exercice 1 [ 02092 ] [Correction]

Montrer que la somme dun nombre rationnel et dun nombre irrationnel est un nombre
irrationnel.

Exercice 2 [ 02093
] [Correction]
Montrer que 2 nest pas un nombre rationnel

Exercice 3 [ 02094] [Correction]

  2
Calculer 2 2 . En dduire lexistence dirrationnels a, b > 0 tels que ab soit
rationnel.

1
[ 02647 ]

[Correction]

(a) Montrer lexistence et lunicit des suites dentiers (an )nN et (bn )nN vrifiant

n

1 + 2 = an + bn 2
(b) Calculer a2n 2b2n .
(c) Montrer que pour tout n N, il existe un unique p N tel que

n
p
1+ 2 = p+ p1
Exercice 8 [ 01975 ] [Correction]
[Irrationalit de ]
(a) Pour a, b N , montrer que la fonction polynomiale
Pn (x) =

Exercice 4 [ 02095 ] [Correction]

Soit f : Q Q telle que
x, y Q, f (x + y) = f (x) + f (y)
(a) On suppose f constante gale C quelle est la valeur de C ?
On revient au cas gnral.
(b) Calculer f (0).

1 n
x (bx a)n
n!

et ses drives successives prennent en x = 0 des valeurs entires.

(b) tablir la mme proprit en x = a/b
(c) Pour n N , on pose
Z

In =

Pn (t) sin t dt
0

Montrer que In 0.
(d) En supposant = a/b, montrer que In Z. Conclure.

(c) Montrer que x Q, f (x) = f (x).

(d) tablir que n N, x Q, f (nx) = n f (x) et gnraliser cette proprit n Z.
(e) On pose a = f (1). Montrer que x Q, f (x) = ax.

Exercice 5 [ 02472 ] [Correction]

Montrer que
r 1/3
r 1/3

2 41 5

+
+ 2 41 5
3 81 3
3 81 3
est un rationnel. On conseille deffectuer les calculs par ordinateur.

Exercice 9 [ 03668 ] [Correction]

[Irrationalit de er pour r Q ]
(a) Pour a, b N , montrer que la fonction polynomiale
Pn (x) =

1 n
x (bx a)n
n!

et ses drives successives prennent en x = 0 des valeurs entires.

(b) tablir la mme proprit en x = a/b
(c) On pose r = a/b et pour n N
Z r
In =
Pn (t) et dt
0

Exercice 6 [ 02475 ] [Correction]

P
Si n est un entier 2, le rationnel Hn = nk=1

1
k

peut-il tre entier ?

Montrer que In 0.
(d) En supposant er = p/q avec p, q N , montrer que qIn Z. Conclure.

Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 24 septembre 2016

Corrections

Corrections

(e) On peut crire x = p/q avec p Z et q N .

Exercice 1 : [nonc]
Soit x un rationnel et y un irrationnel.
Par labsurde : Si z = x + y est rationnel alors y = z x est rationnel par diffrence de deux
nombres rationnels. Or y est irrationnel. Absurde.

1
1
f (x) = f (p ) = p f ( )
q
q
or

donc
Exercice 2 : [nonc]
2 Q.
Par labsurde supposons

On peut alors crire 2 = p/q avec p, q N et, quitte simplifier, p et q non tous les
deux pairs.
On a alors 2q2 = p2 .
p est alors ncessairement pair car p2 est pair. Cela permet dcrire p = 2k avec k N
puis q2 = 2k2 .
Mais alors q est pair. Par suite p et q sont tous les deux pairs.
Absurde.

Exercice 3 : [nonc]

2

 2
2

22 = 2

Si
2 est rationnel, cest gagn avec a = b = 2. Sinon, on prend a = 2 2 et
b = 2.

Exercice 4 : [nonc]
(a) La relation f (x + y) = f (x) + f (y) avec f constante gale C donne C = C + C do
C = 0.
(b) Pour x = y = 0, la relation f (x + y) = f (x) + f (y) implique f (0) = 0.
(c) Pour y = x, la relation f (x + y) = f (x) + f (y) donne 0 = f (x) + f (x) do
f (x) = f (x).
(d) Par rcurrence :
n N, x Q, f (nx) = n f (x)
Pour n Z , n = p avec p N et

f (nx) = f (px) = f (px) = p f (x) = n f (x)

1
1
a = f (1) = f (q ) = q f ( )
q
q
a
1
f( ) =
q
q

puis
f (x) =

ap
= ax
q

Exercice 5 : [nonc]
On dfinit le nombre x tudi
x:=(2/3+41/81*sqrt(5/3))(1/3)+(2/3-41/81*sqrt(5/3))(1/3);
Attention dfinir les racines cubiques par des exposants 1/3 avec parenthses.
On peut commencer par estimer la valeur cherche
evalf(x);
Nous allons chercher liminer les racines cubiques. Pour cela on calcule x3
expand(x3);
Dans lexpression obtenue, on peut faire apparatre x par factorisation du terme
!1/3
!1/3
41
2
41
2
+
15

15
3 243
3 243
Simplifions ce terme
simplify((2/3+41/243*sqrt(15))(1/3)*
(2/3-41/243*sqrt(15))(1/3), assume=positive);
On obtient
1/3 
1/3
1 
486 + 123 15
486 123 15
81
Dveloppons selon (a b)(a + b) = a2 b2
(4862-1232*15)(1/3);
donne 9261. Enfin
ifactor(9261);
permet de conclure que
!1/3
!1/3
2
41
2
41
7
+
15

15
=
3 243
3 243
27
Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 24 septembre 2016

Corrections

Ainsi x est solution de lquation

4 7
x3 = + x
3 9
En factorisant le polynme sous-jacent
factor(x3-7/9*x-4/3);
on obtient
(3x 4)(3x2 + 4x + 3) = 0
Puisque 3x2 + 4x + 3 > 0, on peut conclure
x = 4/3

Exercice 6 : [nonc]
Le calcul des premiers termes de la suite (Hn )n2 permet de conjecturer que Hn est le
rapport dun entier impair par un entier pair. Ceci assurera Hn < Z.
Dmontrons la proprit conjecture par rcurrence forte.
Pour n = 2, cest immdiat.
Supposons la proprit tablie jusquau rang n 1 2.
Cas n impair.
On peut crire n = 2k + 1 et puisque par hypothse de rcurrence Hn1 scrit (2p + 1)/2q,
on obtient Hn = Hn1 + 1/n gale au rapport dun entier impair par un entier pair.
Cas n est pair.
On peut crire n = 2k avec k 2 puis
Hn =

1
1
1
Hk + 1 + + +
2
3
2k 1

Par hypothse de rcurrence, Hk est le rapport dun entier impair par un entier pair, donc
1
2 Hk aussi.
De plus, comme entrevu dans ltude du cas prcdent, lajout de linverse dun entier
impair conserve la proprit.
Ainsi Hn est le rapport dun entier impair par un entier pair.
Rcurrence tablie.

Exercice 7 : [nonc]
(a) Par la formule du binme de Newton


!
n
n X
n k
1+ 2 =
2
k
k=0

3
En sparant les termes dindices pairs de ceux dindices impaires

n

1 + 2 = an + bn 2
avec les entiers
an =

X
02pn

!
!
X
n p
n
2 et bn =
2p
2p
2p
+
1
02p+1n

On peut aussi raisonner par rcurrence en mettant jour une expression de an+1 et
bn+1 en fonction de an et bn
(
an+1 = an + 2bn
bn+1 = an + bn

Lunicit provient de lirrationalit de 2. En effet si


n

1 + 2 = a + b 2 = a0 + b0 2
avec a, b, a0 , b0 entiers, on obtient

(b0 b) 2 = a a0

Si b , b0 alors on peut exprimer 2 comme gal un nombre rationnel. Cest

absurde et il reste b = b0 et donc a = a0 .
(b) Par la formule du binme de Newton, on obtient de mme

n

1 2 = an 2bn
et alors
a2n 2b2n = (1 +

2)n (1

2)n = (1)n

On peut aussi raisonner par rcurrence en exploitant lexpression de (an+1 , bn+1 ) en

fonction de (an , bn ).
(c) Lunicit estpvidente compte tenu de la stricte croissance de la fonction

p 7 p + p 1.
Si n est pair alors a2n = 1 + 2b2n . Pour p = a2n ,

( 2 + 1)n = an + 2bn = p + p 1
Si n est impair alors 2b2n = a2n + 1. Pour p = 2b2n ,

( 2 + 1)n = 2bn + an = p + p 1

Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 24 septembre 2016

Corrections

Exercice 9 : [nonc]

Exercice 8 : [nonc]

(a) 0 est racine de multiplicit n de Pn donc

(a) 0 est racine de multiplicit n de Pn donc

m < n, P(m)
n (0) = 0

m < n, P(m)
n (0) = 0
Le polynme Pn est de degr 2n donc P(m)
n = 0 pour tout m > 2n et ainsi

m > 2n, P(m)

n (0) = 0

m > 2n, P(m)

n (0) = 0
Reste traiter le cas n m 2n.
En dveloppant par la formule du binme
Pn (x) =

Le polynme Pn est de degr 2n donc P(m)

n = 0 pour tout m > 2n et ainsi

!
n
X
1 n
(a)nk bk xn+k
n!
k
k=0

m
Puisque P(m)
n (0) est donn par la drivation du terme x , on obtient
!
n
1
(a)2nm bmn (n + m)! Z
P(m)
(0)
=
n
n! m n

Reste traiter le cas n m 2n. En dveloppant par la formule du binme

!
n
X
1 n
(a)nk bk xn+k
Pn (x) =
n!
k
k=0
Puisque Pn(m) (0) est donn par la drivation du terme xm , on obtient
!
1
n
(m)
Pn (0) =
(a)2nm bmn (n + m)! Z
n! m n
(b) On remarque
x R, Pn (a/b x) = Pn (x)
donc

(b) On remarque

m (m)
m N, P(m)
n (a/b) = (1) Pn (0) Z

x R, Pn (a/b x) = Pn (x)
(c) On a

donc
m
(c) On a

N, P(m)
n (a/b)

(1)m P(m)
n (0)


Z
1  n
1
n

t (bt a) sin t dt n+1 (|b| + |a|)n 0
|In 0| =
n+
n!  0
n!

(d) Par labsurde, supposons = a/b.

Par intgration par parties successives
m

Z
X

k1
(k1)
m

In = (1) sin(t + k/2)Pn (t) + (1)

k=1

(d) Par intgration par parties

h
ir Z r
In = Pn (t) et
P0n (t) et dt
0

et en rptant lopration

2n
r
X

t
m
(m)

In = (1) Pn (t) e

sin(t + m/2)P(m)
n (t) dt

Donc
2n+2
2n+2
X
X

k1
(k1)
In =
(1) sin(t + k/2)Pn (t) =
(1)k sin(k/2)(P(k1)
()+P(k1)
(0)) Z
n
n
k=1


Z
1
1  r n
n t 

t (bt a) e dt rn+1 (br + a)n 0
|In 0| =
n+
n!  0
n!

k=1

Comme In Z et In 0, la suite(In ) est stationnaire gale 0.

Or sur [0 ; ] la fonction t 7 Pn (t) sin(t) est continue, de signe constant, sans tre
nulle et 0 < donc In > 0. Absurde.

m=0

On en dduit
qIn =

2n
X



m
(1)m P(m)
n (r)p Pn (0)q Z

m=0

Or sur [0 ; r] la fonction t 7 Pn (t) et est continue, positive sans tre nulle et 0 < r
donc In > 0.
Ainsi qIn 0, qIn > 0 et qIn Z : cest absurde.
Notons quon en dduit immdiatement lirrationalit de ln r pour r Q+ \ {1}.

Diffusion autorise titre entirement gratuit uniquement - dD