[PDF] Les rationnels, les réels - Exo7 - Exercices de mathématiques PDF fic00091.pdf

π (LAMBERT a montré en 1761 que π est irrationnel, LEGENDRE a démontré en 1794 que l'ensemble des sommes d'un élément de A et d'un élément de B) Montrer que le nombre 0,ukuk+1uk+2 est rationnel Correction ▽ [005214]

(b) Est-il vrai que la somme de deux nombres irrationnels est toujours un nombre irrationnel? Justifier (c) Montrer que la somme d'un nombre rationnel et d'un

[PDF] Ensembles de nombres - Emmanuel Morand

On montre de la même façon que le produit de deux nombres rationnels est un nombre rationnel et que le produit d'un nombre rationnel par un nombre irrationnel

[PDF] Irrationalité de e Vous connaissez beaucoup de nombres rationnels

Un nombre réel qui n'est pas rationnel est dit irrationnel Vous avez Le but de ce problème est, entre autres, de montrer l'irrationalité du nombre e = exp(1)

[PDF] nombres irrationnels - IMJ-PRG

Supposons que √n soit rationnel Il existe deux n ∈ N, converge et a pour somme πea2/4b En particulier, son supposer que π était rationnel et on a donc montré que π est irrationnel L'égalité à démontrer est donc vraie quand n = 0

[PDF] Introduction aux nombres irrationnels - Département de

rationnel, égalité de deux nombres rationnels représentés par des fractions Un réel qui n'est pas rationnel est dit irrationnel Exercice 1 Montrer que la somme

[PDF] I Il existe des nombres irrationnels II Reconnaître un rationnel à l

Le premier exemple de nombre irrationnel est √2, sa découverte remonte à Démontrer que l'ensemble des rationnels est-stable par somme, par produit et

[PDF] Les rationnels, les réels - Exo7 - Exercices de mathématiques

[PDF] I Nombres entiers, rationnels et irrationnels - Swiss Juggling

Définition : Un nombre réel qui n'est pas rationnel est dit irrationnel Exemples ( 1) est une opération interne : La somme de deux nombres reste dans le même ensemble Ceci nous montre quelle valeur doit prendre le nombre inconnu x

[PDF] Article PanaMaths → Irrationalité de e ∑

Le nombre e, base des logarithmes népériens, est bien connu des élèves de classes de terminale et sa démonstration est nettement plus délicate que les deux en tant que somme de deux fonctions montrer que ces deux suites sont adjacentes Supposons que e soit un nombre rationnel e étant strictement positif

Les rationnels, les réels

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours Exercice 1IMontrer que les nombres suivants sont irrationnels. 1. p2 et plus généralement npmoùnest un entier supérieur ou égal à 2 etmest un entier naturel supérieur ou égal à 2, qui n"est pas une puissancen-ième parfaite. 2. (**) log 2. 3. (****) p(LAMBERTa montré en 1761 quepest irrationnel, LEGENDREa démontré en 1794 quep2est irrationnel, LINDEMANNa démontré en 1882 quepest transcendant).

Pour cela, supposer par l"absurde quep=pq

avecpetqentiers naturels non nuls et premiers entre eux.

Considérer alorsIn=Rp=q

0xn(pqx)nn!sinx dx,n2Net montrer queInvérifie

(a)Inest un entier relatif ; (b)In>0 ; (c) lim n!+¥In=0 (voir devoir). 4. (***) e(HERMITEadémontréen1873queeesttranscendant. C"esthistoriquementlepremier vrai nombre dont on a réussi à démontrer la transcendance). Pour cela, établir que pour tout entier natureln,e=ånk=01k!+R1

0(1t)nn!etdt, puis quepour toutentier

naturel non nuln, 0). Pour cela trouver une équation du troisième degré à coefficients entiers dont les solutions

sont cos(2p7 ), cos(4p7 )et cos(6p7 ), puis vérifier que cette équation n"a pas de racine rationnelle (supposer par l"absurde qu"il y a une racine rationnelle pq avecp2Z,q2Net PGCD(p;q) =1 et montrer quep

divise 1 etqdivise 8). (On rappelle le théorème de GAUSS: soienta,betctrois entiers relatifs tous non

nuls. Siadivisebcetaetbsont premiers entre eux, alorsadivisec). 6. p2+p3+p5. inf(A+B)existent et que l"on a sup(A+B) =supA+supBet inf(A+B) =infA+infB. (A+Bdésigne l"ensemble des sommes d"un élément deAet d"un élément deB). +(1)n;n2N. Déterminer supAet infA. 1 Exercice 4**ITSoitAune partie non vide et bornée deR. Montrer que supfjxyj;(x;y)2A2g=supAinfA.

sup(AB)? (A+B(resp.AB) désigne l"ensemble des sommes (resp. des produits) d"un élément deAet d"un

élément deB).

que le nombre 0;ukuk+1uk+2:::est rationnel. 1. En considérant la fonction f:x7!ånk=1(ak+xbk)2, montrer quejånk=1akbkj6qå nk=1a2kqå nk=1b2k (inégalité de CAUCHY-SCHWARZ). 2. En déduire l"inég alitéde M INKOWSKI:på nk=1(ak+bk)26qå nk=1a2k+qå nk=1b2k.

(l"inégalité de CAUCHY-SCHWARZaffirme que le produit scalaire de deux vecteurs est inférieur ou égal

au produit de leurs normes et l"inégalité de MINKOWSKIest l"inégalité triangulaire). R.

Indication : pourGsous-groupe donné de(R;+), non réduit àf0g, considérera=Inf(G\]0;+¥[)puis

envisager les deux casa=0 eta>0. (Definition :Gest dense dansRsi et seulement si :(8x2R;8e>0;9y2G=jyxj2. Supposons alors queaetbsoient des entiers supérieurs à 2 (et quean=mbn). L"exposant

de tout facteur premier deanou debnest un multiple denet par unicité de la décomposition en facteurs

premiers, il en est de même de tout facteur premier dem. Ceci montre que, sinpmest rationnel,mest une

puissancen-ième parfaite. Réciproquement, simest une puissancen-ième parfaite,npmest un entier et

en particulier un rationnel. En résumé :

8(m;n)2(Nnf0;1g)2;npm2Q,npm2N,mest une puissancen-ième parfaite:Par suite, simn"est pas une puissancen-ième parfaite,npmest irrationnel.

2. log22Q) 9(a;b)2(N)2=log2=ab ) 9(a;b)2(N)2=10a=b=2) 9(a;b)2(N)2=10a=2b ) 9(a;b)2(N)2=5a=2ba:

Puisque 5

a>1, ceci imposeba2N. Mais alors, l"égalité ci-dessus est impossible poura6=0 et

b6=0 par unicité de la décomposition en facteurs premiers d"un entier naturel supérieur ou égal à 2. On

a montré par l"absurde que

log2 est irrationnel.3.Supposons par l"absurde que psoit rationnel. Il existe alors deux entiers naturels non nulspetqtels que

p=pq . Pournentier naturel non nul donné, posons I n=1n!Z p

0xn(pqx)nsinx dx=1n!Z

p=q

0xn(pqx)nsinx dx:

• Tout d"abord, pour 06x6pq , on a 06x(pqx)=p2q pp2qq =p24q, et donc (puisque 06sinx61 pourx2[0;p]),

06In61n!Z

p=q 0 p24q n dx=pn! p24q n D"après le résultat admis par l"énoncé, pn! p24q ntend vers 0 quandntend vers+¥, et donc d"après le

théorème de la limite par encadrement, la suite(In)converge et limn!+¥In=0. • Ensuite, puisque pour

xélément de[0;p], on axn(pqx)nsinx>0, pournentier naturel non nul donné, on a I n=1n!Z p

0xn(pqx)nsinx dx>1n!Z

3p=4 p=4xn(pqx)nsinx dx>1n! 3p4 p4 p4q pp4qq n1p2 p2 p2n!

3p216q

n >0:

Donc,8n2N;In>0. • Vérifions enfin que, pour tout entier naturel non nuln,Inest un entier (relatif).

SoitPn=1n!xn(pqx)n.Pnest un polynôme de degré 2net 0 etpq sont racines d"ordrendePnet donc, 4 pour 06k6n, racines d"ordrenkdeP(k)n. En particulier,P(k)n(0)etP(k)npq sont, pour 06k2n+1,P(k)n>0 et en particulier,P(k)n(0)et Pn (k)pq sont, pourk>2n+1, des entiers relatifs. Soitkun entier tel quen6k62n.

1n!xn(pqx)n=1n!xnnå

i=0Cinpni(1)iqixi=nå i=0C inn!pni(1)iqixn+i=2nå k=nC knnn!p2nk(1)knqknxk:

On sait alors que

P (k)n(0) =k!(coefficient dexk) = (1)knk!n!Cknnp2nkqkn: ce qui montre queP(k)n(0)est entier relatif (puisquen6k62n). Puis, commePnpq x =Pn(x), on a encoreP(k)npq x = (1)kP(k)n(x)et en particulierP(k)npq = (1)kP(k)n(0)2Z. On a montré que pour tout entier naturelk,P(k)n(0)etP(k)npq sont des entiers relatifs. Montrons alors queInest un entier relatif. Une première intégration par parties fournit :In= [Pn(x)cosx]p=q

0+Rp=q

0P0n(x)cosx dx. cos

prend des valeurs entières en 0 et pq =pde même quePn. Par suite, I n2Z,Z p=q

0P0n(x)cosx dx2Z:

Une deuxième intégration par parties fournit : Rp=q

0P0n(x)cosx dx= [P0n(x)sinx]p=q

0Rp=q

0P00n(x)sinx dx.

sin prend des valeurs entières en 0 et pq =p, de même queP0net I n2Z,Z p=q

0P00n(x)sinx dx2Z:

En renouvelant les intégrations par parties et puisque sin et cos prennent des valeurs entières en 0 etpde

même que les dérivées succesives dePn, on en déduit que : I n2Z,Z p=q

0P(2n)n(x)sinx dx2Z:

Mais, Z p=q

0P(2n)n(x)sinx dx=Z

p=q

01n!(q)n(2n)!sinx dx=2(q)n(2n)(2n1):::(n+1)2Z:

Donc pour tout natureln,Inest un entier relatif, strictement positif d"après plus haut. On en déduit que

pour tout natureln,In>1. Cette dernière constatation contredit le fait que la suite(In)converge vers 0.

L"hypothèsepest rationnel est donc absurde et par suite, pest irrationnel.4.Montrons par récurrence que : 8n2N;e=ånk=01k!+R1

0(1t)nn!etdt. • Pourn=0,R1

0(1t)nn!etdt=R1

0etdt=e1 et donc,e=1+R1

0etdt=å0k=01k!+R1

0(1t)00!

etdt. • Soitn>0. Supposons que e=ånk=01k!+R1

0(1t)nn!etdt. Une intégrations par parties fournit :

Z 1

0(1t)nn!etdt=

(1t)n+1(n+1)n!et 1 0 +Z 1

0(1t)n+1(n+1)!etdt=1(n+1)!+Z

0(1t)n+1(n+1)!etdt;

et donc, 5 e=nå k=01k!+1(n+1)!+Z 1

0(1t)n+1(n+1)!etdt=n+1å

k=01k!+Z 1

0(1t)n+1(n+1)!etdt:

Le résultat est ainsi démontré par récurrence. Soitnun entier naturel non nul. D"après ce qui précède,

0 k=01k!=Z 1
0(1t)nn!etdt 1
0(1t)nn!dt=e(n+1)!<3(n+1)!:
Supposons alors par l"absurde queesoit rationnel. Alors, il existe(a;b)2(N)2=e=ab . Soitnun entier naturel non nul quelconque. D"après ce qui précède, on a 0ånk=01k!<3(n+1)!, ce qui s"écrit encore
après multiplication des trois membres parbn!
0 En particulier, pourn=3b, on a 0Xcos2p7
cos4p7 cos6p7 =0: Calculons alors ces trois coefficients. Soitw=e2ip=7. Puisquew7=1 et quew+w2+w3+w4+w5+ w
6=1, on a d"après les formules d"EULER
cos 2p7 +cos4p7 +cos6p7 =12 (w+w6+w2+w5+w3+w4) =12 puis, cos 2p7 cos4p7 +cos2p7 cos6p7 +cos4p7 cos6p7 =14 14 2(1)4 =12 et enfin, cos 2p7 cos4p7 cos6p7 =18 (w+w6)(w2+w5)(w3+w4) 18 (w3+w6+w+w4)(w3+w4) =18 (w6+1+w2+w3+w4+w5+1+w) =18 6
Les trois nombres cos
2p7 , cos4p7 et cos6p7 sont donc solution de l"équationX3+12 X212 X18 =0 ou encore de l"équation
8X3+4X24X1=0:

Montrons que cette équation n"admet pas de racine rationnelle. Dans le cas contraire, si, pourpentier
relatif non nul etqentier naturel non nul tels quepetqsont premiers entre eux, le nombrer=pq est racine de cette équation, alors 8p3+4p2q4pq2q3=0. Ceci peut encore s"écrire 8p3=q(4p2+4pq+q2) ce qui montre queqdivise 8p3. Commeqest premier avecpet donc avecp3, on en déduit d"après le théorème de GAUSSqueqdivise 8. De même, l"égalitéq3=p(8p2+4pq4q2)montre quepdiviseq3 et donc quepdivise 1. Ainsi,p2 f1;1getq2 f1;2;4;8gou encorer21;1;12 ;12 ;14 ;14 ;18 ;18
On vérifie alors aisément qu"aucun de ces nombres n"est racine de l"équation considérée et donc cette
équation n"a pas de racine rationnelle. En particulier, cos 2p7 est irrationnel.6.On sait que p2, p3 et p5 sont irrationnels mais ceci n"impose rien à la somme p2+p3+p5. Soit a=p2+p3+p5. a=p2+p3+p5)(ap2)2= (p3+p5)2)a22p2a+2=8+2p15 )(a22p2a6)2=60)a4+8a224=4p2a(a26) Si maintenant, on suppose queaest rationnel, puisquep2 est irrationnel, on a nécessairementa(a2
6) =0 (dans le cas contraire,p2=a4+8a2244a(a26)2Q). Maisan"est ni 0, nip6, ni
p6 (cara2>
2+3+5=10>6). Donc
p2+p3+p5 est irrationnel.quotesdbs_dbs47.pdfusesText_47

[PDF] [PDF] Les rationnels, les réels - Exo7 - Exercices de mathématiques