ChronoMath, une chronologie des MATHÉMATIQUES
à l'usage des professeurs de mathématiques, des étudiants et des élèves des lycées & collèges

Arithmétique (nombres premiers et congruences)    niveau TerS spécialité
     
Sujet Bac S juin 2005 - Centres étrangers

A - On considère un entier naturel N impair et non premier.
On suppose que N est de la forme a2 - b2 où a et b sont des entiers naturels.

1°/ Montrer que les entiers a et b n'ont pas la même parité.

2°/ Montrer que N peut s'écrire comme produit de deux entiers naturels p et q. Quelle est la parité de ces deux entiers ?

   Notation des congruences : Dans toute la suite, [9] signifiera modulo 9

B - On admet que l'entier 250507 n'est pas premier et on se propose de rechercher les couples (a,b) d'entiers naturels vérifiant la relation :

(E) : a2 - 250507 = b2

1°/ On considère un entier naturel X :

a) Dresser le tableau des restes possibles de X [9] et de X2 [9].

b) Selon (E), on a : a2 - 250507 = b2. En utilisant a), déterminer les restes possibles modulo 9 de a2 - 250507. En déduire les restes possibles de a2 [9].

c) Justifier que les restes possibles de a modulo 9 sont 1 et 8.

2°/ Montrer que si le couple (a,b) vérifie la relation (E), alors a ≥ 501 mais qu'il n'existe aucune solution pour laquelle a = 501.

3°/ Dans cette question, on suppose que (a,b) vérifie (E); on recherche la plus petite valeur de a satisfaisant (E) :

a) Prouver que : a 503 [9], ou bien a 505 [9].

b) On considère le cas a 505 [9]. Déterminer le plus petit entier naturel k tel que (a,b) = (505 + 9k, b) soit une solution de (E). Préciser a et b.

C - 1°/ Déduire des résultats précédents une écriture de 250507 en un produit de deux facteurs.

2°/ Les deux facteurs sont-ils premiers entre eux ?

3°/ Cette décomposition est-elle unique ?

Si vous séchez après avoir bien cherché : ››››
 


© Serge Mehl - www.chronomath.com

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Solution :

A - 1°/ Si a et b ont la même parité, ils sont tous deux pairs ou impairs.

2°/ On a  N = a2 - b2 = (a + b)(a - b) avec a + b et a - b entiers naturels. On pose p = a + b et q = a - b : N = pq. Les entiers a et b étant de parité distincte, p et q sont impairs.

B - 1°/ Les restes possibles de la division de X par 9 sont éléments de {0,1,2,3,4,5,6,7,8} suivant que X est de la forme 9k + r, r désignant le reste de la division de X par 9.

a) Avec ces notations : (9k + r)2 = 81k2 + 18rk + r2; donc (9k + r)2 r2 [9]

X 9k 9k+1 9k+2 9k+3 9k+4 9k+5 9k+6 9k+7 9k+8
X [9] 0 1 2 3 4 5 6 7 8
X2  [9] 0 1 4 0 7 7 0 4 1

b) Selon (E), a2 - 250507 est un carré b2. Les restes modulo 9 de a2 - 250507 sont donc 0, 1, 4 et 7.
Or, 250507 = 9 × 27834 + 1, donc 250507
1 [9] et puisque a2 = 250507 + b2, les restes modulo 9 de a2 sont 1, 2, 5 et 8.

c) Mais, selon le tableau ci-dessus 2, 5 et 8 ne sont pas des restes modulo 9 d'un carré. On en déduit que les seules possibilités de a [9] ne peuvent être que a = 9k +1  et a = 9k + 8, soit  a 1 mod. 9 ou a 8 mod. 9.

2°/ Si a2 = 250507 + b2, alors a2 ≥ 250507; or 5002 = 250000 et 5012 = 251001. Si a = 501, alors b2 = 5012 -  250507 = 494.

Mais 494 n'est pas le carré d'un entier (√494 ≈ 22,226...). Il n'existe donc pas de solution pour laquelle a = 501.

3°/  On a vu que a > 501.

a) Selon B-1°c/, a est congru à 1 ou 8 modulo 9. Considérons l'entier 503, il vérifie 503 = 55 × 9 + 8. Quant à 505, il vérifie 505 = 56 × 9 + 1. On a donc 503 ≡ 8 [9] et 505 ≡ 1 [9]. Par transitivité de la relation de congruence, on en déduit que a est congru à 503 ou à 505 modulo 9.

b) a = 505 + 9k :

C - 1°/ D'après l'étude précédente : 250507 = (a + b)(a - b) = (514 + 117, 514 - 117) = 631 × 397. Ces deux nombres sont premiers : ils n'admettent aucun diviseur premier inférieur à leur racine carrée : » Nombres premiers, P2.

2°/ 631 et 397 étant premiers, ces deux nombres sont premiers entre eux.

3°/ Cette décomposition en produit de facteurs premiers est unique (résultat de cours).


© Serge Mehl - www.chronomath.com