• Aucun résultat trouvé

Chapitre 10 Arithmétique sur Z

N/A
N/A
Protected

Academic year: 2022

Partager "Chapitre 10 Arithmétique sur Z"

Copied!
2
0
0

Texte intégral

(1)

Mathématiques – cours : Chap 10 : Arithmétique sur 

1

Chap 10 : Arithmétique sur 

I. Divisibilité

( | )

divise s'il existe tel que

p n p n k∈ n=kp

|

| , | | ( )

La relation de divisibilité est une relation d'ordre sur le reste de la div. euclid. de par est nul

b a ssi a b

b a b cb ja+kc

 

2 2

( , )a b ∈ , ( , )q r ∈ tq a=bq+r et r∈ 0,b−1 {div communs à a et b} {= div communs à b et r}

Preuves : combinaison linéaire

2

2 2

( , ) ( *) , ! * pgcd( , )

( , ) ( *) ( , ) pgcd( , )

tel que

Théorème de Bezout : , tels que

a b d a b d d a b a b

a b u v a b au bv

∀ ∈ ∃ ∈ + = = = ∧

∀ ∈ ∃ ∈ = +

    

 

| , | , ( , ) 2, pgcd( , )

D a D bu v ∈ D=au+bvD= a b

, 1 (

1 |

|

sont premiers entre eux si On a dans ce cas la réciproque du thm de Bezout) Lemme de Gauss :

a b a b

a b a bc a c

∧ =

 ∧ =

 ⇒

Preuve : a +b idéal de dadbdd =au+bv D a D b| , | D d|

1

|

| |

a c

b c ab c

b a

 ⇒



 ∧ =

(Idem pour les produits plus grands)

( , ) ( *) , !2 *, { } ( , )

( )( )

multiples communs à et

a b m a b m a b m ppcm a b a b

a b a b a b

∀ ∈ ∃ ∈ ∩ = = = = ∨

× = ∧ ∨

    

Preuve : a=da b0, =db0 m0 =da b0 0 a0 ∧ =b0 1

0 0 0 0

0 0 0 0 0 0 0

, | | |

( ) Comme multiple de ( ) et de ( ) , | ( , )

m a b m ka b m db kda b k k b j

m ab j m j m a d a b d b m m m ppcm a b

= ∨ = ⇔ ⇔ ⇒ =

= = = = ⇒ =

) *

(a∧ ∧ = ∧ ∧ = ∧ ∧b) c a (b c a b c est l'unique d∈ tel que a+b +c =d(idem ppcm)

/!\ ( , , ) ( 1)

( , , ) ( 1)

premiers entre eux dans leur ensemble premiers entre eux deux à deux

a b c a b c

a b c a b a c b c

⇔ ∧ ∧ =

≠ ⇔ ∧ = ∧ = ∧ =

(2)

Mathématiques – cours : Chap 10 : Arithmétique sur 

2

II. Nombres premiers

* \{ 1, 1}

{ 1; 1}

{ , }

est premier si les seuls diviseurs de sont : Les inversibles

Les nombres associés à

p p

p p p

∈ − +

+ −

+ −

1 |

* premier *, ou

p∈ ⇔ ∀ ∈jj∧ =p p j Tout nombre n≥2 admet un diviseur premier

Preuve : {diviseurs >1 de n} partie non vide de  minorée. Le minorant est premier Il existe une infinité de nombres premiers

Preuve : par l’absurde :

1 1 1

1 | | | |1

N N N

j k k j k j k

j j j

m p p m p p p m p p

= = =

=

+

⇒ −

Tout entier s’écrit de manière unique sous la forme d’un produit de nombres premiers (à l’ordre près des facteurs) Preuve : récurrence forte sur n>1. Si n pas premier, admet 1 diviseur premier puissance +1

min( , ) max( , )

1 1 1 1

j j j j j j

R R R R

j j k k

j k k k

n pα m p β a b p α β a b p α β

= = = =

=

=

⇒ ∧ =

∧ =

III. Congruences et

/n

, 1

n∈ n>

 

( [ ]) /

. { , 0, 1 }

est congru à modulo si

La congruence est une relation d'équivalence, compatible avec et est la classe d'équivalence de

j k n j k n p k l pn

k k k k n

n

≡ ∃ ∈ = +

+ ×

= ∈ −

 

card n

n =

 

On définit des et : lci est un anneau commutatif + × n

( )

* 1

x x ssi k

n n n

∈ ∈  ∧ =

 

premier est un corps

n ⇔n

Preuve : Bezout

Tout anneau intègre de cardinal fini est un corps

Lemme chinois : Si n p 1, alors est isomorphe à

n p np

∧ =  × 

  

Références

Documents relatifs

Dans la der- nière section, nous donnons un petit programme sous PYTHON permettant de vérifier si un entier donné est un diviseur d’un autre entier donné et un autre

In particular, the asymptotic property (11) characterizes the Koenigs iterates uniquely.. Clearly it then also satisfies the relation for negative values of a. F

Par exemple il est inexploitable pour calculer le champ au centre d’une spire car on ne peut pas trouver de contour fermé passant par le centre de la spire qui vérifie les conditions

2.2 PGCD d’une famille finie d’entiers 2.3 Nombres premiers entre eux 2.4 PPCM. 3

Soit maintenant n un entier naturel quelconque fixé.. La propriété est

D´evelopper les fonctions suivantes en s´eries de Laurent en 0 dans chacun des ouverts

[r]

Nous avons vu que cette situation pouvait introduire des erreurs importantes dans un calcul ; comme de plus, les calculs que l’on effectue à la calculatrice sont rarement isolés,