Théorème de Bézout

[ Théorème ]
Soient deux entiers non nuls \((a, b) \in \left(\mathbb{Z}^*\right)^2\). On a \[a \wedge b = 1 \Longleftrightarrow \left[\exists(u, v) \in \mathbb{Z}^{2}~: \quad 1 = au + bv\right].\]
En savoir plus