- ベストアンサー
2元一次不定方程式の説明で意味がわかりません
- 2元一次不定方程式について説明されていますが、その中で「つまり ax+by=1の形であれば、係数a,bが(1)のようにかなり大きな値であっても解くことが出来る」という理由が書かれているのかを知りたいです。
- 2元一次不定方程式の応用問題について説明されています。右辺が1であることと、左辺の係数aとbが互いに素な整数であることが条件とされています。
- 係数aとbが(1)のように大きな値であっても、方程式ax+by=1の形であれば、解くことができるということが述べられています。
- 数学・算数
- 回答数3
- ありがとう数0
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
一般論として整数a, bに対してax + by = gcd(a, b)を満たす整数x, yが存在します．またこのようなx, yは拡張ユークリッド互除法によって手早く計算できることが知られています．この問題ではaとbが互いに素なのでgcd(a, b) = 1の場合に相当します．著者はこのことを念頭においているのでしょう．
その他の回答 (2)
- ask-it-aurora
- ベストアンサー率66% (86/130)
No.1です．どうも試行錯誤で頑張っている人がいるようなので，老婆心ながらもう少し補足しておきます．先の解答で示したWikipediaのページに書いてある方法(アルゴリズム)にしたがえば 282x + 113y = 1 を満たす整数は数行の計算ですぐ見つかります．実際， 282 = 2*113 + 56, 113 = 2*56 + 1 と割っていくと最後に最大公約数が余りに出てくるので上の式を逆に変形していけば 1 = 113 - 2*56 = 113 - 2*(282 - 2*113) = 282*(-2) + 113*5 とわかります．もっともこの方法が既知でないならば(初等代数の基本的な命題なので知っておいて損はないと思いますが)試行錯誤によるしかないとは思います． これを使って一般解を求めるには回答No.2で既に示されているようにすればよいでしょう．
- spring135
- ベストアンサー率44% (1487/3332)
(1)を満たす整数解の組(x0,y0)が見つかったとすると 282x0+113y0=1 （2） （1）-（2）より 282(x-x0)+113(y-y0)=0 282と113が互いに素なので x-x0=113t (3) y-y0=282t (4) これにt=0,1,2...を代入すると解はいくつで見つかるというのがこの手の問題の定石です。 さて、(x0,y0)を見つけて話を具体化してくれという気持ちが強いと思います。 （1）はその手の問題として手こずる類のものです。試行錯誤で見つけました x0=111, y0=277 見つけ方のコツはx0は113付近、y0は282付近、それでだめなら226,564付近というようにやります。 答え x=111+113t y=277+282t n=1でaとbが互いに素という場合は(3)、(4)は問題ありませんがそうでない場合はaとbの公約数を考える必要があるということなのでしょう。まあ、あまり気にしないで、問題ごとに考えていったほうがいいでしょう。
