Travail Maison 5 TS spé
équation Diophantienne, divisibilité
1) Appliquer l'algorithme d'Euclide,à 143 et 100.
En déduire une solution dans ℤ2 de l'équation : 143x –100y=1 . 2) a. Vérifier que, pour tout entier naturel n2 et tous les réels u et v,
on a :
un– vn=u – vun –1un –2vuvn –2vn –1
b. a et b étant deux entiers relatifs non nuls, déduire de l'égalité précédente que :
tout diviseur d de a divise abn– bn. 3) D'après le 1°, 1000=143×7–1 .
a. Montrer que, pour tout entier naturel non nul n : 103n––1n est divisible par 7, 11 et 13.
b. En déduire que 1 000 000 001 et 999 999 999 999 sont divisibles par 1001.
2009©My Maths Space
Correction:
1. 143=1×10043 ; 100=2×4314 ; 43=3×141 .... PGCD143 ;100=1. En remontant l'algorithme d'Euclide, on trouve comme solution particulière de l'équation 143x –100y=1 le couple x0;y0 = 7;10.
( L'existence d'une solution est assurée par le théorème de Bézout ) 2.a. L'égalité peut se démontrer par récurrence en posant par exemple :
un1– vn1=unu – vvun– vn et en remplaçant un– vn par
un– vn=u – vun –1un –2vuvn –2vn –1 ( hypothèse de récurrence ) 2.b. En appliquant la relation précédente à u=ab et v=b, on obtient :
abn– bn=ab – b×entier (inutile de détailler la valeur de l'entier ) ce qui donne : abn– bn=a×entier ⇔ abn– bn multiple de a. Ainsi tout diviseur de a , divise ses multiples en particulier abn– bn. 3.a. 1000=143×7–1 ⇔ 1001=7×143 ⇔ 1001=7×11×13 ⇔ 1031=7×11×13 En termes de congruence, cela signifie que 1031≡0k où k=7,11 ou 13. Ou encore 103≡ –1k avec k=7,11 ou 13.
En utilisant le propriétés sur les congruences, cela donne 103n≡–1nk avec k=7,11 ou 13 ⇔ 103n––1n≡0k avec k=7,11 ou 13.
3.b. 1000 000001=103×31=103×3––13, d'après ce qui précède ce nombre est divisible par 7, 11 et 13 donc par 7×11×13=1001.
De même 999 999 999 999 = 1012–1 = 103×4––14 et ...
Attention danger : la dernière implication n'est pas anodine. En effet, si n est un entier, dire que 7 divise n , 11 divise n et 13 divise n implique que 7×11×13 divise n provient du fait que : 7, 11 et 13 sont premiers entre eux deux à deux.
Voir cours pour la démonstration de ce résultat qui repose sur le théorème de Gauss.