Je raisonnerais par l´absurde :
Cherchons b tel que ab = 1[n]
<=> il existe r dans Z tq ab = 1 + rn
Supposons qu´il existe q dans Z tq a = qn
Donc qnb = 1 + rn
<=> (qb-r)n = 1 ce qui est impossible si n > 1 car qb - r est entier
Donc a est nécessairement 1er avec n
Si a et n 1ers entre eux : a = qn + r avec r < n
ab = 1[n]
qnb + rb = 1[n]
rb = 1[n] avec r < n
Posons b = q´n + r´ avec r´ < n
On a donc rr´ = 1[n]
Donc il doit exister c entier relatif tq rr´ = 1 - cn
rr´ + cn = 1
r´ et c existent si et seulement si r et n sont 1ers entre eux (Bezout)
Or r et n sont bien 1ers entre eux puisque r est le reste de la division de a par n
Donc r´ existe et donc b existe aussi