Académique Documents
Professionnel Documents
Culture Documents
matiques
Proble
Plus loin dans lirrationnel
Enonc
e
2+
3+
5 est irrationnel.
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 }
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 .
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`mes de Mathe
matiques
Proble
Plus loin dans lirrationnel
Enonc
e
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 ]
Page 2
Jean-Michel Ferrard
www.klubprepa.net
c
EduKlub
S.A.
`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 aboutit ainsi `
a lecriture : z = x + y q, avec x et y 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.
`mes de Mathe
matiques
Proble
Plus loin dans lirrationnel
Corrige
(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 ]
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
/ 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.
`mes de Mathe
matiques
Proble
Plus loin dans lirrationnel
Corrige
On sait dapr`es la question (5) que q = {q} nest pas dans KG , car G 6 {q}.
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.