小ネタ: ベズーの等式 a*x + b*y = gcd(a,b) †
Joh さんの 整域・整数の剰余類の環 に
d=ax+by (1)
このような x,y を探す問題はディオファントス方程式と呼ばれ,
必ず解が一意的に決まることが知られていますが,
ここでは解の存在証明は省略します(ゴメンナサイ (>_<)).
とあったので、
ここでは証明ぬきにいきなりこれを解くプログラムを作ってみました。
- なおこの解は一意的でなく無限に存在します
- 上の式は特に ベズーの等式
と呼ばれます
- html + javascript 製です。最初は google spreadsheet で作ったけど「入力可だが保存不可」にできないみたいで‥
- アルゴリズムはびっくりするくらい簡単です (他のやり方もあると思います)