y. S est l`ensemble des couples (x
Transcription
y. S est l`ensemble des couples (x
Spécialité Terminale S Bac blanc 2ème trimestre 2011-2012 Exercice pour les spécialistes ! Dans tout l’exercice x et y désignent des entiers naturels non nuls vérifiant x < y. S est l’ensemble des couples (x, y) tels que PGCD(x ; y) = y −x. 1) a) Calculer le PGCD(363 ; 484). b) Le couple (363 ; 484) appartient-il à S ? 2) Soit n un entier naturel non nul ; le couple (n ; n + 1) appartient-il à S ? Justifier votre réponse. 3) a) Montrer que (x ; y) appartient à S si et seulement si il existe un entier naturel k non nul tel que x = k(y −x) et y = (k +1)(y −x). b) En déduire que pour tout couple (x ; y) de S on a : PPCM(x ; y) = k(k +1)(y −x). 4) a) Déterminer l’ensemble des entiers naturels diviseurs de 228. b) En déduire l’ensemble des couples (x ; y) de S tels que PPCM(x ; y) = 228. Démonstration du cours Enoncer et démontrer le lemme d'Euclide. . 1 Spécialité Terminale S Bac blanc 2ème trimestre CORRECTION 2011-2012 Exercice pour les spécialistes ! 1) a) b) En utilisant l’algorithme d’Euclide, on obtient : 484 = 363×1 + 121 363 = 121×1 + 0 Le dernier reste non nul est 121. Donc PGCD(363 ; 484) = 121 PGCD(363 ; 484) = 484 – 363 ; donc le couple (363 ;484) appartient bien à l’ensemble S. 2) Montrons que PGCD(n ; n + 1) = 1 Soit d = PGCD(n ; n + 1). d divise n et d divise n + 1. Donc d divise (n + 1) – n = 1 Donc d = 1. PGCD(n ; n + 1) = n + 1 – n ; donc le couple (n ; n + 1) appartient bien à S. 3) a) Si (x ;y) appartient à S alors PGCD(x ; y) = y – x Donc y – x divise x et y – x divise y. Il existe donc un entier k tel que x = k(y – x) et un entier k’ tel que y –= k’(y – x). On en déduit que : y – x = k’(y – x) – k(y – x) Soit : y – x = (k’ – k)×(y – x) Soit k’ – k = 1 (car y ≠ x). D’où k’ = k + 1 Il existe donc bien un entier k tel que x = k(y – x) et y = (k + 1)(y – x) Réciproquement, si x = k(y – x) et y = k(k + 1)(y – x), alors : PGCD(x ;y) = PGCD(k(y – x) ;(k + 1)(y – x)) = (y – x)PGCD(k ; k + 1) = y – x Donc le couple (x ; y) appartient bien à l’ensemble S. b) De la relation PPCM(x ;y)×PGCD(x ;y) = xy , on déduit que : PPCM(x ;y)×(y – x) = k(y – x)×(k + 1)(y – x) Soit : PPCM(x ; y) = k(k + 1)(y – x) 4) a) On a : 228 = 1×228 228 = 2×114 228 = 3×76 228 = 4×57 228 = 6×38 228 = 12×19 La liste des diviseurs de 228 est donc : 1-2-3-4-6-12-19-38-57-76-114-228. b) Si PPCM(x ; y) = 228 alors il existe un entier k tel que k×(k + 1)×(y – x) = 228 Les diviseurs de 228 qui sont deux entiers consécutifs sont 1 et 2 ; 2 et 3 ou bien 3 et 4. 1er cas : k = 1 228 Alors y – x = = 114 1×2 Et x = k(y – x) = 114 et y = 2×114 = 228 2ème cas : k = 2 228 Alors y – x = = 38 2×3 Et x = k(y – x) = 2×38 = 76 et y = 3×38 = 114 2 Spécialité Terminale S Bac blanc 2ème trimestre CORRECTION 2011-2012 3ème cas : k = 3 228 Alors y – x = = 19 3×4 Et x = k(y – x) = 3×19 = 57 et y = 4×19 = 76 Conclusion : Les couples solution de S tels que PPCM(x ; y) = 228 sont (57 ; 76), (38 ; 114) et (114 ; 228). On peut vérifier pour les 3 couples que PPCM(x ;y) = 228 et PGCD(x ; y) = y – x. Démonstration du cours Lemme d’Euclide : Soit a, b, q et r des entiers naturels. Si a = bq + r alors PGCD(a ;b) = PGCD(b ;r). Démonstration • Si d est un diviseur commun à a et b alors il divise aussi a et bq. Il divise donc aussi r = a – bq Donc d est un diviseur commun à b et r. • Si d’ est un diviseur commun à b et r alors il divise aussi bq et r. Il divise donc aussi a = bq + r Donc d’ est un diviseur commun à a et b. Conclusion : L’ensemble des diviseurs communs à a et b et l’ensemble des diviseurs communs à b et r ont les mêmes éléments et donc le même plus grand élément. On a donc bien PGCD(a ;b) = PGCD(b ;r). 3