Bézout

[ Corollaire ]
Soient \(a,b\in{ \mathbb Z}\). Alors \[a\,{ \mathbb Z}+ b\,{ \mathbb Z}= \mbox{PGCD}(a,b) \,{ \mathbb Z}.\] En particulier, on a équivalence entre
  • Les entiers \(a\) et \(b\) sont premiers entre eux.

  • On a \(a{ \mathbb Z}+ b{ \mathbb Z}= { \mathbb Z}\).

  • L’équation \(ax + by =1\) admet une solution \((x,y)\in{ \mathbb Z}^2\).

En savoir plus