Vous êtes sur la page 1sur 5

`mes de Mathe

matiques
Proble
Plus loin dans lirrationnel

Enonc
e

Plus loin dans lirrationnel


Il nest pas tr`es difficile de montrer que

2+

3+

5 est irrationnel.

On se propose ici de generaliser considerablement ce genre de resultat.


Pour cela, il est important de se munir de notations commodes.
On note P lensemble des nombres premiers.
Pour toute partie finie A de P, on note A la racine carree du produit des elements p de A.

Par exemple, si A = {2, 5, 17}, alors A = 2 5 17 = 170. Par convention = 1.


Il est clair que si A et B sont deux parties disjointes de P, alors A B = AB .
PE
Pour toute partie E de P, le symbole A designe une somme indicee sur une partie quelconque A de E.
PE
Par exemple, si E = {2, 5, 17}, S = A A A est une somme de 23 termes, A parcourant P(E).
Cette somme pourrait secrire, en notant par exemple a,b,... plutot que {a,b,...} :
S = + 2 2 + 5 5 + 17 17 + 2,5 2,5 + 2,17 2,17 + 5,17 5,17 + 2,5,17 2,5,17

= + 2 2 + 5 5 + 17 17 + 2,5 10 + 2,17 34 + 5,17 85 + 2,5,17 170

Bien s
ur, rien nempeche decrire S = a + b 2 + c 5 + d 17 + e 10 + f 34 + g 85 + h 170
PE
Pour toute partie E de P, on note KE = { A A A , A Q}.
KE est donc lensemble des combinaisons `a coefficients rationnels des A , pour tous les A E.
Cette definition donne immediatement K = Q. Voici quelques exemples :

 K{2} = {a + b 2, (a, b) Q2 }

 K{2,5} = {a + b 2 + c 5 + d 10, (a, b, c, d) Q4 }

 K{2,5,17} = {a + b 2 + c 5 + d 17 + e 10 + f 34 + g 85 + h 170, (a, b, . . . , g, h) Q8 }


Il est clair que si E F P , alors KE KF . On verra plus loin que E ( F KE ( KF .
Juste une petite remarque, en prenant par exemple E = {2, 5, 17} :

Soit S = a + b 2 + c 5 + d 17 + e 10 + f 34 + g 85 + h 170 dans KE , avec (a, b . . . , g, h) dans Q8 .

x = a + b 2 + c 5 + e 10
2
donc (x, y) K{2,5}
.
Alors on peut ecrire : S = x + y 17, avec

y = d + f 2 + g 5 + h 10
Dans tous le probl`eme, E designe une partie de P.
1. On suppose que E est non vide. Montrer que E est un irrationnel. [ S ]
2. Prouver que KE est un sous-anneau de R. [ S ]
3. On va montrer, par recurrence sur n = card(E), que KE est un sous-corps de R.
La propriete est vraie si n = 0, car alors E = et on sait que K = Q.
On se donne donc un entier n 1, et on suppose que la propriete est vraie au rang n 1.
On suppose que card(E) = n. On note q un element de E, et G = E \ {q}.
On se donne un element z non nul de KE . Il sagit de montrer que 1/z est dans KE .
Bien s
ur, si z est dans KG , lhypoth`ese de recurrence montre que 1/z est dans KG donc dans KE .
On suppose donc que z est dans KE mais pas dans KG .

(a) Montrer quil existe x et y dans KG tels que z = x + y q, avec x y q 6= 0. [ S ]


Page 1

Jean-Michel Ferrard

www.klubprepa.net

c
EduKlub
S.A.

Tous droits de lauteur des uvres r


eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
Plus loin dans lirrationnel

Enonc
e

(b) On note z = x y q et = zz = x2 qy 2 . Montrer que est un element non nul de KG .


En deduire que 1/z est dans KE et conclure. [ S ]
4. On note RQ lensemble R muni de sa structure despace vectoriel sur Q.
(a) Montrer que KE est un sous-espace vectoriel de dimension finie de RQ .
Preciser un majorant de la dimension de KE , en fonction de n = card(E). [ S ]
(b) Dans cette question, on va redemontrer que KE est un corps.
Soit x un element non nul de KE . Pour tout y de KE , on pose (y) = xy.
Montrer que est un automorphisme du Q-espace vectoriel KE .
En deduire que linverse dans R du reel x est encore un element de KE . Conclure. [ S ]
5. On va prouver, par recurrence sur n 0, la propriete Hn cidessous :
Hn : Soit E P, avec card(E) = n. Soit F P, avec F 6 E. Alors F nest pas dans KE
(a) Verifier que la propriete est vraie si n = 0. [ S ]
Dans la suite de cette question, on fixe n 1, et on suppose que Hn1 est vraie.
Par labsurde, on suppose que Hn est fausse. Il existe donc une partie E de P de cardinal n, et une
partie F de P non incluse dans E, telles que F soit element de KE .
On se donne un element q de E, et on note G = E \ {q}.

(b) Montrer quil existe x et y dans KG , avec y 6= 0, tels que F = x + y q. [ S ]

(c) Apr`es elevation au carre, montrer que x = 0 donc F = y q, avec y dans KG . [ S ]


(d) En discutant suivant la presence de q dans F , aboutir `a une contradiction et conclure. [ S ]
6. Soit E une partie de P, de cardinal n.
Montrer que KE est un Q-espace vectoriel de dimension 2n , et en donner une base. [ S ]
7. On se donne des parties non vides A1 , A2 , . . . , Am de P, distinctes deux `a deux, avec m 1.
Q
Soit 1 , . . . , m des rationnels non tous nuls. Pour 1 k m, on note : qk =
p.
pAk
m
p
P
Montrer que le reel x =
k qk est un irrationnel.
k=1


q1 = 2, q2 = 5, q3 = 7
A1 = {2}, A2 = {5}, A3 = {7},
Exemple : si
alors
q4 = 10, q5 = 15
A4 = {2, 5}, A5 = {3, 5}

5
Pour tout (1 , . . . , 5 ) Q \ { 0 }, x = 1 2 + 2 5 + 3 7 + 4 10 + 5 15 est irrationnel. [ S ]

8. Montrer que un = 2 + 3 + + n1 + n nest jamais un rationnel. [ S ]




Page 2

Jean-Michel Ferrard

www.klubprepa.net

c
EduKlub
S.A.

Tous droits de lauteur des uvres r


eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
Plus loin dans lirrationnel
Corrige

Corrig
e du probl`
eme
1. Posons m =

p. Par definition E =

pE

m. Supposons E =

a
, avec a, b dans N , et a b = 1.
b

Par elevation au carre, on trouve mb2 = a2 . Soit p lun des elements de lensemble E.
Lentier premier p est un diviseur de m (dans la factorisation de m, il a lexposant 1.)
Dans la factorisation de mb2 , lentier premier p a necessairement un exposant impair.
Mais il a un exposant pair dans la factorisation de a2 . Legalite mb2 = a2 est donc absurde.
On a ainsi demontre que pour toute partie non vide E de P, le reel E est irrationnel. [ Q ]
2. Tout dabord il est clair que le reel 1, comme tout rationnel, est element de KE .
PE
PE
On se donne donc x = A A A et y = A A A dans KE , les A et A etant dans Q.
PE
On a x y = A A A o`
u les = A A sont dans Q. Donc x y est element de KE .
Il reste `
a prouver que KE est stable pour le produit des reels.
PE
Remarque : si r Q, alors rx = A (rA )A est encore un element de KE .
P
P
 P
E
E
E

= A,B A B A B .
On peut ecrire xy =
A
A
B
B
A
B
Cette somme est etendue `
a tous les couples (A, B) de parties de E.
Compte tenu de ce qui prec`ede, il suffit de montrer que les A B sont dans KE .
Pour toutes parties A, B de E, posons C = A B et D = AB (ce sont des parties de E.)


A = A\B C
A = (A \ B) C
Les unions disjointes
donnent
donc A B = (C )2 D .
B = B\A C
B = (B \ A) C
Mais (C )2 est un entier. Il en resule que A B est dans KE ce qui ach`eve la preuve.
Ainsi KE est un sous-anneau de R. [ Q ]
3. (a) Il sagit ici dune simple generalisation de la remarque faire dans lenonce.
PE
Puisque z est dans KE , on peut ecrire z = A A A , o`
u les A Q.
On rappelle que cette somme S est etendue `a toutes les parties A de E.
On separe cette somme en deux parties disjointes :
La sous-somme S 0 etendue aux parties A de E qui ne contiennent pas q.
Une telle somme est evidemment egale `a un element de KG , que nous notons x.
La sous-somme S 00 etendue aux parties A de E qui contiennent q.

On peut donc factoriser cette sous-somme par q.

Apr`es cette factorisation, S 00 apparait comme le produit de q par un element y de KG .

On aboutit ainsi `
a lecriture : z = x + y q, avec x et y dans KG .

On a x y q 6= 0, sinon z = x + y q serait egal `a 2x donc serait dans KG . [ Q ]


(b) Puisque x, y sont dans lanneau KG , le reel = x2 py 2 est dans KG .
Bien s
ur, est non nul car il est le produit des reels non nuls z et z.
Puisque KG est un corps (hypoth`ese de recurrence), on en deduit que 1/ est dans KG .

xy p
x
y
1
z

et y 0 = 2
.
Legalite z z = donne donc = = 2
= x0 + y 0 p avec x0 = 2
2
2
x py
x py 2
z

x py
Les reels x0 , y 0 sont des elements du corps KG , ce qui prouve que 1/z est un element de KE .
On a donc prouve que KE est corps, ce qui etablit la propriete au rang n etach`eve la recurrence.
Conclusion : pour toute partie E de P, lensemble KE est un sous-corps de R. [ Q ]

Page 3

Jean-Michel Ferrard

www.klubprepa.net

c
EduKlub
S.A.

Tous droits de lauteur des uvres r


eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
Plus loin dans lirrationnel
Corrige

4. (a) KE est lensemble des combinaisons lineaires `a coefficients rationnels des A , o`


u A decrit P(E).
KE est donc le sous-espace vectoriel de RQ engendre par la famille (A )AE .
Cette famille generatrice est finie, et constituee de 2n elements.
KE est un sous-Q-espace vectoriel de dimension finie inferieure ou egale `a 2n .
On peut meme dire que KE est une sous-alg`ebre de la Q-alg`ebre RQ . [ Q ]
(b) On se donne donc un element non nul x de KE , avec n 1.
Lapplication : y 7 xy, definie sur KE , est bien `a valeurs dans KE (stabilite pour le produit.)
Cette application est evidemment Q-lineaire.
Elle est injective. En effet : y ker xy = 0 y = 0 car x 6= 0.
Ainsi est un endomorphisme injectif de lespace vectoriel de dimension finie KE .
On en deduit que est un isomorphisme de KE .
En particulier, il existe y dans KE tel que (y) = 1, cest-`a-dire tel que xy = 1.
Cela signifie que linverse de x dans R pour le produit est y, cest-`a-dire un element de KE .
Autrement dit : tout element non nul de KE est inversible dans KE .
On peut donc conclure en affirmant que KE est un corps (un sous-corps de R.) [ Q ]
5. (a) Pour n = 0, necessairement E = . On se donne donc F P, quelconque mais non vide.
On sait dapr`es la question (1) que F nest pas dans Q, cest-`a-dire pas dans KE .
Cela exprime tout simplement que la propriete H0 est vraie. [ Q ]

(b) On a dej`
a vu ce resultat dans (3a). On peut donc ecrire : F = x + y q, avec x et y dans KG .
Or card(G) = n1, et on a F 6 G. Dapr`es Hn1 , cela implique F
/ KG .
De cette remarque, il decoule que necessairement y est non nul. [ Q ]

(c) Par elevation au carre, on obtient 2xy q = 2F x2 y 2 q.



x, y KG
Puisque
on en deduit que t = 2F x2 y 2 q est dans KG (cf question 2b.)
2F , q N
Si xy etait non nul, son inverse serait egalement dans KG (cf question 2c.)
t

Il en decoulerait que q =
serait dans KG .
2xy
Mais cela serait contraire `
a Hn1 car card(G) = n1 et {q} 6 G.

On en deduit xy = 0, cest-`
a-dire x = 0, donc F = y q (avec y dans KG ). [ Q ]
(d) On sait que F est une partie de P non incluse dans E.
Il est cependant possible que q appartienne ou nappartienne pas `a F .

Si q est dans F , alors F = q H , avec H = F \ {q}.


Lensemble H est non vide, et non inclus dans G = E \ {q}.

Legalite F = y q donne alors H = y KG , contrairement `a lhypoth`ese de recurrence.

Si q
/ F , alors F = y q L = q y KG , avec L = F {q}.
L`
a encore, ca contredit lhypoth`ese de recurrence car L nest pas incluse dans G.
Le raisonnement precedent a permis de montrer limplication Hn1 Hn , pour tout n 1.
Conclusion : on a prouve par recurrence sur n que Hn est vraie pour tout n de N.
Autrement dit : Pour toutes parties E, F de P, si E 6 F alors F
/ KE . [ Q ]

Page 4

Jean-Michel Ferrard

www.klubprepa.net

c
EduKlub
S.A.

Tous droits de lauteur des uvres r


eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
Plus loin dans lirrationnel
Corrige

6. On sait que la famille BE des (A )AE engendre le Q-espace vectoriel KE .


On montre quelle est libre, par recurrence sur lentier n = card(E).
Cest evident si n = 0 car alors E = et BE se reduit `a = 1.
Supposons que la propriete soit vraie au rang n 1, avec n 1.
Soit E une partie de P, de cardinal n. Soit q un element de E et G = E \ {q}.
PE
On suppose que z = A A A = 0, les A etant des rationnels.
Pour toute partie A de E contenant q, notons A0 = A \ {q}.

Comme dans la question (3a), on ecrit z = x + y q, avec x, y dans KG .


Le reel x est la somme des A A , etendue aux parties A de G.
Le reel y est la somme des A A0 , etendue aux parties A de E qui contiennent q.
PG
On peut aussi ecrire y = A A{q} A (somme etendue aux parties A de G.)

On sait dapr`es la question (5) que q = {q} nest pas dans KG , car G 6 {q}.

Legalite 0 = x + y q implique donc y = 0 puis x = 0, sinon q = xy serait dans KG .


Par hypoth`ese de recurrence, la famille des (A )AG est libre.
PG
On sait que x = A A A = 0. Il en decoule A = 0 pour toute partie A de G, cest-`a-dire pour toute
partie A de E ne contenant pas q.
De meme, legalite y = 0 implique A pour toute partie A de E contenant q.
Ainsi tous les A sont nuls pour toute partie A de E.
La famille (A )AE est donc libre. Cela prouve la propriete au rang n et ach`eve la recurrence.
Conclusion : pour toute partie E de P, de cardinal n, KE est un Q-espace vectoriel de dimension 2n , et
une base de KE est la famille (A )AE . [ Q ]
7. Notons E = A1 A2 Am . Posons A0 = et q0 = 1.
On sait quune base du Q-espace vectoriel KE est formee des A , pour toutes les parties A de E.
p
Or les reels qk = Ak , pour 0 k m, sont des elements distincts de cette base.
Ces reels constituent donc une famille libre de KE .
m
p
P
x=
k qk ne peut donc pas etre Q-proportionnel `a q0 , cest-`a-dire etre rationnel.
k=1

Exemple : 3 + 2 7 5 10 + 14 + 4 17 est un irrationnel. [ Q ]


8. La difference avec ce qui prec`ede est que lon consid`ere ici des entiers consecutifs, alors que dans la question
(7) on considerait des entiers sans facteurs carres.

En fait on se ram`ene `
a la question precdente en sortant les carres dans les k.

On obtient alors une combinaison lineaire `a coefficients entiers strictement positifs des m, o`
u m parcourt
lensemble (non vide) des entiers sans facteurs carres et inferieurs ou egaux `a m.
La question precedente montre alors que un est un irrationnel. [ Q ]

Page 5

Jean-Michel Ferrard

www.klubprepa.net

c
EduKlub
S.A.

Tous droits de lauteur des uvres r


eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

Vous aimerez peut-être aussi