6. Exercises TP6, le 23 février 2017
Exercice 6.1.Soit
F(0) = 0, F (1) = 1, F (2) = 1, F (3) = 2, F (4) = 3, F (5) = 5, F (6) = 8, . . .
la suite de Fibonacci.
Montrer pour chaque nN
n
X
i=0
F(i)2=F(n)F(n+ 1).
Par exemple pour n= 6:
02+ 12+ 12+ 22+ 32+ 52+ 82= 8 ·13.
Exercice 6.2.(i) Montrer par le principe de l’induction que
0212+ 2232. . . + (1)nn2= (1)nn(n+ 1)/2
pour chaque nN.
(ii) Montrer sans induction, mais avec le principe du bon ordre, que
0212+ 2232. . . + (1)nn2= (1)nn(n+ 1)/2
pour chaque nN.
Exercice 6.3.(i) Soit mun nombre naturel positif et nun entier. Montrer en utilisant le principe
du bon ordre qu’il existe un qZet un rNtel que 0r < m et n=qm +r.
[Indice: Considérer l’ensemble ENdes nombres aNqu’on peut écrire comme
a=ndm,
dZ(et a0). En’est pas vide, parce que .... Alors Ea un minimum. Ce minimum est
entre 0et m1(sinon ....). Puis conclure ....]
(ii) Soit a=qm +rZavec 0r < m et b=q0m+r0Zavec 0r0< m, comme dans (i).
Montrer ambsi et seulement si r=r0.
Exercice 6.4.(i) Soit a= 423 + 76·3553 + 17. Trouver un r∈ {−1,0,1}tel que
a3r.
(ii) Trouver un nombre naturel ntel que (simultanément) n21,n32et n53.
(iii) Montrer que si a, b, c, d sont des entiers tels que a|cet b|dalors ab|cd.
(iv) Montrer que si a, b, c sont des entiers tels que ac|bc et c6= 0 alors a|b.
Exercice 6.5.Soit
E:= {nN|n6= 0,rZ,sZ(n= 70r+ 495s)} ⊂ N
Cet ensemble n’est pas vide, alors a un unique minimum, disons m.
(i) Montrer que pour chaque aN,a > 0, aussi am E.
(ii) Montrer que si nEet n=qm +r,0r < m,qZalors r= 0. C.-à-d., m|net en
particulier m|70 et m|495
(iii) Trouver ce minimum m.
7
8
Exercice 6.6.Utiliser le principe du bon ordre pour montrer que 2n’est pas une fraction.
[Indice: Supposons par contre que 2est une fraction. Alors l’ensemble
E:= {nN| ∃ mZ:n=m2}
n’est pas vide. Si nEalors n(21) Eaussi, parce que .... Et cetera.]
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !