１次不定方程式 ａｘ−ｂｙ＝１ の解を少なくとも一つ求める公式は存在するでしょうか。い
ろいろ調べてみましたが、「整数になる〜をひたすら探す」とか「〜になるまで繰り返す」といっ
た求め方のものしか見つかりませんでした。公式の形をした求め方は存在しないのですか？
（たとえば、ａｘ−ｂｙ＝０ になる解の一つは、ｘ＝ｂ、ｙ＝ａ といったものです。）
（コメント） 整数解でなくてもよければ、公式は、ａ、ｂのどちらかは０でないので、
ａ≠０ のとき、 ｘ＝（ｂｔ＋１）/ａ 、ｙ＝ｔ
ｂ≠０ のとき、 ｘ＝ｔ 、ｙ＝（ａｔ−１）/ｂ
と単純に考えていけないんですかね？
らすかるさんからのコメントです。（平成２６年４月１日付け）
ｎ番目の素数を求める「公式」が作れるのと同様に、「公式」は無理やり作れば多分作れま
すが、無理やり作った「公式」は使い物にはなりません。YIさんが想定されているような「公式」
は存在しないと思います。
