公約数で解答をみていてちょっと分らない部分があったのでご質問させていただきます
- 帰納法での証明の一部分で分からない部分があります。A(n+1)とB(n+1)が互いに素でない場合、それらは１より大きい公約数を持ちます。
- B(n) = A(n+1) - An なので、互いに素でない場合、それらは１より大きい公約数を持つことになります。
- この部分が分からない理由は、約数の定義を理解していないためかもしれません。
- ベストアンサー
公約数で
解答をみていてちょっと分らない部分があったのでご質問させていただきます。(表記しづらいので、数列Anで第n+1項を A(n+1)と表します)分らないのは、帰納法での証明の一部分です。また【 】の中は前問で証明されていたり条件として成り立っているとします。 【A(n+1) = An+Bn , B(n+1) = An … (1) An,Bnは自然数で互いに素 … (2) 】 (1)、(2)からA(n+1)とB(n+1)は自然数である。 ここでA(n+1)とB(n+1)が互いに素でないとすると、 A(n+1)とB(n+1)は１より大きい公約数ｒを持つ。 ___＿__＿_________________(ここまでは分ります) (1)より Bn ＝ A(n+1)－An であるからｒはＢnの約数でもありｒはAnとBn の１より大きい公約数である。 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ この部分が分りません＾＾；どうしてｒはＢnの約数でもありｒはAnとBnの１より大きい公約数であるのでしょうか？分る方お願いします。
- balanbajp2
- お礼率10% (86/797)
- 数学・算数
- 回答数1
- ありがとう数0
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
＞A(n+1)とB(n+1)は１より大きい公約数ｒを持つ。 ここから A(n)=B(n+1)もrの倍数です。 つまり、A(n+1)もA(n)もrの倍数です。 よって、 ＞Bn ＝ A(n+1)－An の右辺はｒの倍数からｒの倍数を引いたものなので、全体もｒの倍数。 つまり、B(n)もrの倍数である事が分かります。 A(n),B(n)はどちらもrの倍数である事が分かりましたから、rはA(n),B(n)の公約数です。rは1より大きいと仮定していたので、 ＞ｒはＢnの約数でもありｒはAnとBnの１より大きい公約数である。 となります。 言葉で説明しましたが、 A(n+1)=r*a(n+1),B(n+1)=r*b(n+1)などとけば、分かりやすいと思います。
関連するQ&A
- 最大公約数について教えてください
ある数 XとY の最大公約数をnとすると X=an Y=bn このように表せますが このときにaとbはなぜ必ず素になるのでしょうか? あまり数学が得意ではないので 小学生レベルでも理解できるように説明していただけるとありがたいです。
- ベストアンサー
- 数学・算数
- ユークリッドの互除法で最大公約数を求める
＜問題＞ n^2+2n+1とn+3の最大公約数になりうる値をすべて求めよ ＜解答＞ 整数a,bに対してa,bの最大公約数をg(a,b)とあらわす。 g(n^2+2n+1,n+3)=g(n+3,4) 4の正の約数は1,2,4であるから、g(n+3,4)として考えうるのも1,2,4である。 例えば、 n+3=5 すなわちn=2のとき、g(5,4)=1 n+3=6 ・・・ g(6,4)=2 n+3=8 ・・・ g(8,4)=4 となり、最大公約数として可能な数は1,2,4の３つの自然数である。 ＜質問＞ 「g(n+3,4)として考えうるのも1,2,4である。」 が必要条件であることはわかります。 その後、解答でなにがしたいのかよくわかりません。 なぜ例示しただけで「最大公約数として可能な数は1,2,4の３つの自然数である。」といえるのでしょうか？ よろしくお願いします。 ＜思ったこと＞ 必要十分条件なら「g(n+3,4)として考えうるのも1,2,4である」場合、「4の正の約数は1,2,4である」であることを示すことになると思います。
- ベストアンサー
- 数学・算数
- 最大公約数 と 互いに素 の関係
自然数aと自然数bの最大公約数＝G ⇒ 自然数a＝整数x × G かつ 自然数b＝整数y × G かつ 整数xと整数yは互いに素 という定理について疑問があります 自然数a＝整数x × G かつ 自然数b＝整数y × G の部分は最大公約数の定義から明らかなのですが 整数xと整数yは互いに素 がなぜこう言えるのかわかりません 教えてください またこれは⇔はなりたつのでしょうか？ また自然数a 自然数b ではなく 整数a 整数b といった場合には成り立つのでしょうか？ ※ここでは「倍数」、「約数」とうは負の数まで考える定義を採用しています 例:6の約数＝-6,-3,-2,-1,1,2,3,6
- ベストアンサー
- 数学・算数
- ４って素数なんでしょうか？
数学青チャートII・Ｂの問題集の問題なんですが Anはpを初項、qを公差 Bnはqを初項、pを公差 A3=22,B3=20 のときp=6,q=8 An,Bnの２つの数列の共通の数を小さい順に並べてCnという数列を作る時の初項、公差を求めよ。 という問題で 一部計算を省略しますが An：6,14,・・・, Bn：8,14,・・・, An=8(n-2)＋14 Bn=6(n-2)＋14 Am=Bnとすると 4(m-2)=3(n-2) 4と3は互いに素であるから、kを自然数として 3(k-1)=m-2 この部分で ４が素数というのは完全に初耳でかなり戸惑っているのですが、どういうことなんでしょうか 解説をよろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 最大公約数について
「a,b,c,rが正の整数で、a=rb+cであるとき、a,bの最大公約数とb,cの最大公約数は一致することを証明せよ。」 という問題の解答の出だしが、 「aとbの最大公約数をm、bとcの最大公約数をnとおくと a=mA, b=mB（AとBは互いに素な整数） b=nB',c=nC（B'とCは互いに素な整数） と書ける」 となっているのですが、なぜこう書けるのかわかりません。 「a=mA, b=mB」「b=nB',c=nC」とかけるのはわかりますが、なぜAとB,B'とCが互いに素と言えるのかわかりません。 思いつく反例を上げると、a,b,cは異なる数とは問題文に書かれていないので、もしaとbが同じ数だとしたらA=Bとなり互いに素ではありませんよね？
- ベストアンサー
- 数学・算数
- ピタゴラス数
ピタゴラス数を求める公式(m^2-n^2)^2+(2mn)^2=(m^2+n^2)^2をなぜこのように表すことができるのかという説明をする中で、 「3つの数(a,b,c)のうち2つが同じ約数を持つと、残りの1つの数も同じ約数を持ってしまうので、aとb、bとc、cとaは互いに素でなければならない」 と、あるのですが、この部分がどうもいまいち理解できないんです。 (1)なぜ2つが同じ約数を持つと残りの1つも同じ約数を持ってしまうのか。 (2)同じ約数を持たないためにはなぜ互いに素でなければならないのか。 (3)そもそも互いに素とは一体どういった関係にあることを言うのか。 初歩的なことすぎるためか、調べてみてもこの部分は軽くスルーされているのでもうお手上げ状態です。低レベルな質問かもしれませんが、ぜひ回答お願いします。
- ベストアンサー
- 数学・算数
- 東大入試（理系）っぽいのを自作したのですが、これって東大レベルですか？
A1=B1=1 An+1 = An +Bn Bn+1 = Bn このとき、任意のn（1,2,3,4、、、）に対してAnとBnが互いに素であることを証明せよ
- 締切済み
- 数学・算数
- 数列の極限の証明
「a1=a,b1=b,(a＞b＞0) a(n＋1)=(an＋bn)/2 b（n＋1）=anbn^1/2 で定まる二つの数列｛an｝,{bn}は同じ極限値を持つことを示せ。」 という問題を解いていて、このリンクの証明を見たのですが、 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1463528674 証明の最後で、a_n+1=ka_n を満たす1より小さい正の実数kが存在することから、 a_n=k^(n-1)*a1 として、n→∞でa_n→0としていましたが、 a_n=f(n)として、f(x)が単調減少関数でf(n+1)=k_n(fn) (k_nはnによって変化する1より小さいある正の定数)となっても、 k_nはnに依存するので、必ずしもx（またはn)→∞でf(x)(またはf(n))→0になるとは限らないのではないのでしょうか。（ex. k_n→1 (n→∞), f(x)=(1/x)+(1/2)) その可能性はないのでしょうか？ 以下がリンク先の証明の全文です。 与えられた漸化式と0＜a＜bより帰納的に0＜an,0＜bnとなる。 すると相加・相乗平均の関係より a(n+1)/b(n+1)=(an+bn)/2√(anbn) =(1/2){√(an/bn)+√(bn/an)}≧(1/2)*2*√(an/bn)*√(bn/an) =1 ∴b(n+1)≦a(n+1)となる。 ここで等号が成り立つとすると bn=anより a(n+1)=(1/2)(an+bn)=(1/2)*2an=an となり an=a(n-1)=…=a1=a=b1=b となりa＜bに矛盾する。 よって等号は成立しないので b(n+1)＜a(n+1) となり、したがって bn＜an…(*) となる。 すると an+bn＜2anより a(n+1)=(1/2)(an+bn)＜(1/2)*2an=an となる。 したがって0＜anより a(n+1)=k*an を満たす1より小さい正の実数kが存在する。 すると an=k*a(n-1)=k^2*a(n-2)=…=k^(n-1)*a1=k^(n-1)*a となるから lim[n→∞]an=a*lim[n→∞]k^(n-1)=0…(**) となる。 すると(*)と0＜bnより 0＜bn＜an だから(**)からはさみうちの原理により lim[n→∞]bn=0 となる。 よって lim[n→∞]an=lim[n→∞]bn=0 となる。
- ベストアンサー
- 数学・算数
