二つの正の整数a, bに対し、ax + by = gcd(a, b)を満たす整数x, yが存在することを示す式は。

ユークリッドの互除法の過程から導かれる、不定方程式の解の存在を示す重要な等式です。