• Aucun résultat trouvé

Correction du devoir à la maison n ◦ 1

N/A
N/A
Protected

Academic year: 2022

Partager "Correction du devoir à la maison n ◦ 1"

Copied!
2
0
0

Texte intégral

(1)

Correction du devoir à la maison n 1

Partie A

1. On a u0 = 5 = 5 × 1, u1 = 245 = 5 × 49 et u2 = 19 685 = 5 × 3 937 donc les 3 premiers termes de (un) sont divisibles par 5 .

2. Soit n∈N. Alors,

un+1 = 34(n+1)+1+2 = 34n+5+2 = 34×34n+1+2 = 81×34n+1+2 = 8134n+1+ 2−81×2+2 donc un+1 = 81un−160 .

3. Soit la proposition Pn : « 5 divise un ».

On a vu précédemment que P0 est vraie.

SupposonsPk vraie pour un certain k ∈N.

Alors, 5 divise uk donc il existe un entierK tel que uk = 5K. Ainsi, d’après la question précédente, uk+1 = 81×5K+ 160 = 5(81K+ 32). Étant donné que 81K+ 32 est entier, on conclut que 5 diviseuk+1 i.e. Pk+1 est vraie.

On a ainsi démontré par récurrence que, pour toutn ∈N, un est divisible par 5 . Partie B

1. Soit un réelx et N ∈N. Alors, (x−1)

N−1

X

j=0

xj = (x−1)(xN−1+xN−2+· · ·+x+ 1)

=xN +xN−1+· · ·+x2+x−(xN−1+xN−2 +· · ·+x+ 1)

=xN −1

car tous les termes s’annulent deux à deux sauf le premier et le dernier. Ainsi,

∀x∈R, ∀N ∈N, xN −1 = (x−1)

N−1

X

j=0

xj .

2. Soitn ∈N. Si n= 0 alors u0 = 5 est divisible par 5. Sinon, n >1. Appliquons le résultat de la question précédente avecx= 34 = 81. On obtient

34n−1 =34n−1 = 81n−1 = (81−1)

N−1

X

j=0

81j = 80

N−1

X

j=0

81j.

Comme

N−1

X

j=0

81j est un entier, 80 divise 34n−1 et donc, comme 5 divise 80, par transitivité, 5 divise 34n−1. Or,

un= 34n+1+ 2 = 3×34n+ 2 = 334n−1+ 5 donc, comme 5 divise 34n−1 et 5, 5 diviseun.

On conclut que, pour tout n∈N, 5 divise un.

(2)

Partie C

1. Commep divise q, il existe un entier naturel k tel queq =kp. Dès lors, en appliquant le résultat de la question 1. de la partie B avec x=ap etN =k, il vient

Aq=aq−1 =akp−1 = (ap)k−1 = (ap−1)

k−1

X

j=0

(ap)j =Ap k−1

X

j=0

(ap)j.

Comme

k−1

X

j=0

(ap)j est un entier, on en déduit que Ap diviseAq. 2. Par définition,

arAn−r+Ar =ar(an−r−1) +ar−1 = anar+ar−1 =an−1 donc arAn−r+Ar =An.

3. Par définition, il existe un entier q tel que n=mq+r doncnr= mq. Ainsi, m divise nr et, comme 0 < m < n, ni m ni nr n’est nul donc, par la question 1. de la partie B,Am diviseAn−r. Ainsi, il existe un entierK tel queAn−r =KAm donc, d’après la question 2., An = (arK)Am+Ar. De plus, comme 0 6 r < m, 1 6 ar < am donc 06ar−1< am−1 i.e. 06Ar < Am. Ceci prouve que l’écriture An= (arK)Am+Ar est la division euclidienne de An par Am et donc le reste dans cette division est Ar .

Exercice facultatif. — Notons que, pour tout entier k compris entre 1 et m, dk et dm−k+1 sont des diviseurs associés i.e. dkdm−k+1 =n doncdk = n

dm−k+1

. Or, pour tout entier k compris entre 1 et m−1, dk < dk+1 avec dk et dk+1 des entiers donc dk+ 16dk+1. Comme d1 = 1, on en déduit que d2 >2,d3 >3, ...,dm>m. Par suite, pour tout entier k compris entre 1 et m,

dk = n

dm−k+1 6 n mk+ 1. Comme tous les nombres en jeu sont positifs, on en déduit que

m

X

k=2

dk−1dk 6

m

X

k=2

n

m−(k−1) + 1× n

mk+ 1 =

m

X

k=2

n2

(m−k+ 2)(m−k+ 1)

donc m

X

k=2

dk−1dk 6

m

X

k=2

n2

mk+ 1 − n2 mk+ 2

!

Mais,

m

X

k=2

n2

mk+ 1 − n2 mk+ 2

!

= n2

m+ 1 −n2

m + n2

m+ 2 − n2

m+ 1 + n2

m+ 3 − n2

m+ 1 +· · ·+n2 1 −n2

2

=−n2

m + n2

m+ 1 − n2

m+ 1 + n2

m+ 2 − n2

m+ 2 +· · ·+n2 2 − n2

2 +n2

=n2n2 m < n2 donc

m

X

k=2

dk−1dk < n2 .

Références

Documents relatifs

(d) La g´en´eralisation propos´ee pour quatre nombres est fausse.. La r´eponse `a la question pos´ee

[r]

La média- trice d’un segment [AB], A et B étant deux points du plan, est la droite formée des points situés à égale distance de A et B. C’est également la droite passant par

Ceci prouve donc la propriété du bon ordre sur N dans le cas d’une partie ayant un nombre fini d’éléments.. Considérons à présent une partie A de N ayant un nombre

[r]

Autrement dit, les suites 1−périodiques sont exactement les suites

Comme le facteur ne peut pas conclure avec le seul renseignement de la somme c’est qu’on se trouve dans un cas où plusieurs triplets sont possibles pour une même somme.. La

[r]