2) met nsont premiers entre eux ssi ∀i∈ {1, . . . , k}mi= 0 ou ni= 0.
Indications.
1)a) sens =⇒. Il existe q∈Ztel que n=mq. Soit i∈ {1, . . . , k}. Raisonner par l’absurde
(supposer que mi> ni), simplifier par pni
i, obtenir une contradiction.
2) Montrer par double implication que met nne sont pas premiers entre eux ssi il existe
i∈ {1, . . . , k}tel que mi≥1 et ni≥1. Puis conclure.
Cor. 29.
Soit k∈N∗. Soient p1, . . . , pk∈ P. On suppose que p1< . . . < pk. Soient m1, . . . , mk∈N∗.
Soit `∈N∗. Soient q1, . . . , q`∈ P. On suppose que q1< . . . < q`. Soient n1, . . . , n`∈N∗.
On suppose que pm1
1. . . pmk
k=qn1
1. . . qn`
`.
Alors k=`et ∀i∈ {1, . . . , k}pi=qiet mi=ni.
Indications.
Montrer que {p1, . . . , pk}={q1, . . . , q`}. En d´eduire que k=`et que ∀i∈ {1, . . . , k}pi=qi.
Conclure.
Cor. 30.
Soit k∈N∗. Soient p1, . . . , pk∈ P. On suppose que p1, . . . , pksont distincts deux `a deux.
Soient m1, . . . , mk∈N∗.
Soit `∈N∗. Soient q1, . . . , q`∈ P. On suppose que q1, . . . , q`sont distincts deux `a deux.
Soient n1, . . . , n`∈N∗.
On suppose que pm1
1. . . pmk
k=qn1
1. . . qn`
`.
Alors k=`et il existe une unique permutation σde {1, . . . , k}telle que ∀i∈ {1, . . . , k}pi=
qσ(i)et mi=nσ(i).
Indication.
Utiliser deux fois le lemme de classement.
4) D´ecomposition en facteurs premiers des diviseurs, pgcd et ppcm.
Prop. 31. Soit n∈N∗. Soit k∈N∗. Soient p1, . . . , pk∈ P. On suppose que p1, . . . , pk
sont distincts deux `a deux. Soient n1, . . . , nk∈N. On suppose que n=pn1
1. . . pnk
k. Alors:
a) ∀(d1, . . . , dk)∈ {0, . . . , n1} × . . . × {0, . . . , nk}pd1
1. . . pdk
k|n,
b) ∀d∈Div(n)∩N∗∃!(d1, . . . , dk)∈ {0, . . . , n1} × . . . × {0, . . . , nk}tq d=pd1
1. . . pdk
k,
c) l’application de {0, . . . , n1} × . . . × {0, . . . , nk}dans Div(n)∩N∗qui `a (d1, . . . , dk) associe
pd1
1. . . pdk
kest une bijection,
d) na exactement (n1+ 1) . . . (nk+ 1) diviseurs entiers naturels.
Indications.
b) Soit d∈Div(n)∩N∗. Si d= 1, le r´esultat est clair. On suppose que d≥2.
i) Justifier que DivP(d)⊂ {p1, . . . , pk}.
ii) Justifier qu’il existe `∈N∗et q1, . . . , q`∈ P tels que d=q1. . . q`.
iii) {q1, . . . , q`}⊂{p1, . . . , pk}donc (par regroupement) il existe d1, . . . , dk∈Ntels que
d=pd1
1. . . pdk
k.
iv) Justifier que ∀i∈ {1, . . . , k}di≤ni.
Cor. 32. Soient m, n ∈N∗.
4