- ベストアンサー
背理法と数列
(a1)=1,(an+1)=(an)-9/(an)-5で定められる数列{an}がある。 (1)すべての自然数nに対して(an)not=3であることを示せ。 教えてほしいところ 模範解答では背理法である自然数(an+1)=3とするとと仮定して、矛盾を導き (an)not=3であるとしていました。 しかし、背理法で仮定したのはあくまで、(an+1)=3が成り立つとした次元です。 ですから、それが矛盾した結果は(an+1)=3が成り立たないという結果が得られるだけで、 anが成り立たなかったという結果は得られないのでは???
- みんなの回答 (6)
- 専門家の回答
その他の回答 (5)
![noname#129827](https://gazo.okwave.jp/okwave/images/contents/av_nophoto_100_4.gif)
- alice_44
- ベストアンサー率44% (2109/4759)
![noname#129827](https://gazo.okwave.jp/okwave/images/contents/av_nophoto_100_4.gif)
- Segenswind
- ベストアンサー率50% (281/562)
- wasabifumi
- ベストアンサー率37% (35/94)
関連するQ&A
- 有界でないについて
こんにちは。 「数列(An)が有界でない⇔すべてのk(自然数)について|An|>=kである部分数列(An)が存在する」を示す問題です。 <自分で考えた解答> "→" 数列{An}が有界であると仮定すると、 ある正数Mが存在し、任意の自然数nに対して |An|<M が成立する。 よって、矛盾するので、有界でないとなる。 "←" すべてのk(自然数)について |An|>=k である部分数列(An)が存在する・・・(1)とすると、 有界であるのとき、 「すべてのk(自然数)について |An|<k である部分数列(An)が存在する」 ので、(1)の条件は有界でない。 以上より必要十分が示せた。 <質問> (1)この解答で、部分数列についての扱いがわからないので、解答にどうつなげていくのか? (2)背理法で解答するべきか?背理法以外の方法はないのか? これについてアドバイスお願いします!!
- ベストアンサー
- 数学・算数
- 数学B 数列の問題
数学B 数列の問題 ある模試の問題なんですが、模範解答が理解できなかったので ここで質問させていただきます。 二つの数列{an}{bn}がある。 an=2n-1 bn=4n-2 である。 この二つの数列のすべての項を小さいものから順にならべてできる数列を{cn}とする。 (1)c7,c8,c9 を求めよ。また、cn=398 となる自然数nを求めよ。 自分で解いたとき、まず{cn}を書き出しました。 {cn}1 , 2 , 3 , 5 , 6 , 7 , 9 , 10 , 11 , 13 , 14 , 15 ・・・ よって、c7=9 , c8=10 , c9=11 とわかります。 次の解き方が分かりません。 {cn}についての規則性を見つけようとしましたが 「数字が第一項から順に三つごとに区切れるな」としか・・・。 詳しい解説をお願いします。 必要なら模範解答も載せます。
- ベストアンサー
- 数学・算数
- 数列の問題です。ヒントをください
【問題文】 nを自然数として、2つの数列 An=2^n Bn=3n+2 について{An}の項のうち{Bn}の項であるものを小さい順に並べることで得られる数列を{Cn}とする。 {Cn}は等比数列であることを示せ。 自分は まず基本通りC1から順にC4くらいまで書き出していきました。その際、An=2^nだから、Bn=3n+2=2{(3n/2)+1}として{(3n/2)+1}が2^kのような形になるように気をつけました 結果は C1=8=2^3 C2=32=2^5 C3=128=2^7 C4=512=2^9 やはり等比になっているけれど ここからどうしようか悩み、帰納法でやってみようかと思い Cn=8・4^(n-1)(nは自然数)…(※) と推定し (I)n=1の時、(※)は明らかに成立 (II)n=kのとき(※)が成立すると仮定し、この仮定下でn=k+1のときも(※)が成立することを示したい …けどどうやって? となりました Anの項のうちBnの項であるものをがCnといっても そうなるときのnの値は全てばらばらだし… それ以前に方針が間違っているのでしょうか?
- 締切済み
- 数学・算数
- 背理法の用い方
背理法の用い方について質問があります。 たとえば、教科書に載っている問題で考えると、a,b,cを自然数とするとき、a二乗+b二乗=c二乗ならば、a,b,c,の少なくとも1つは偶数であることを背理法で証明せよ。とあります。 しかし、これの解答をみると、 a,b,cすべてを奇数と仮定すると、a二乗,b二乗,c二乗はすべて奇数になるので、左辺と右辺で矛盾するとあります。 ですが、これって仮定した結論を先にもちいてませんか? たとえば、普通の証明なら、AならばBとあったら、Aにある事柄だけをもちいてBを証明すると思うのですが、背理法の場合は、結論をもちいて矛盾を証明してもよいのでしょうか? わかりにくい文章ですみませんが、ご返答お願いします。
- ベストアンサー
- 数学・算数
- 背理法と命題の否定について
背理法と命題の否定について 例えばp⇒qを背理法を用いて証明するとき、p⇒qの否定を仮定すると、すなわち、pであってqでないものが存在すると仮定すると矛盾が生じるから、(否定が偽ならもとの命題は真であるから、)p⇒qである。ということなんですよね? では、「nが自然数のとき、n(n+2)が8の倍数ならばnは偶数である」を背理法を用いて証明するとき、冒頭の文は、「nが自然数、n(n+2)が8の倍数であり、奇数であるnが存在すると仮定する。」というのでいいんですよね? 普通参考書などではもっと簡潔に「nが奇数であると仮定する。」などと書いてあるのは、わざわざ長々と書かなくてもわかるからということなのでしょうか? しかしこの書き方だと、「全てのnが奇数であると仮定する」と言っているようにも取れるように思うのですが… p⇒qの否定は決して「p⇒qの余事象」ではないですよね? 自分の解釈に自信がもてなくて… 間違っているところがありましたら、ご指摘お願いします。
- ベストアンサー
- 数学・算数
- 2数列の共通項から新しい数列を作ります
初項が1,公差が3の等差数列{An}と 初項が11,公差が10の等差数列{Bn} に共通に含まれる項を小さい順に並べてできる数列{Cn}の一般項Cnを求めよ。 ------------------------------- という問題で、自分でといてみたところ、 An=3n-2 {Bn}=11,21,31,41,…,10n+1 An=Bnが成り立つBnの最小値は31なので、 初項は31、公差は3×10=30 よって、{Cn}=31+(n-1)・30=30n+1 ------------------------------- と解いてみたのですが、模範解答はもっと長く書いてありました。私の解き方ではダメなのでしょうか??または今回は偶然求められただけなのでしょうか? ちなみに、模範解答を読んでも意味がわからないので、どなたかわかりやすくまとめて頂けるとありがたいです。 ------------------------------- 【模範解答】 An=3n-2 Bn=10n+1 等差数列{An}の第p項と等差数列{Bn}の第q項が一致する。 すなわち、Ap=Bq。このとき、 3p-2=10q+1 …(1) 3(p-1)=10q これより、3と10は互いに素であるから、qは3の倍数となり、 q=3k (kは整数) …(2) とおける。 (2)を(1)に代入して、 3p-2=10×3k+1 p=10k+1 よって、 p=10k+1 q=3k p>0,q>0より,k>0であるから、 A(10k+1)=3×(10k+1)-2 =30k+1 したがって、{Cn}=30n+1
- ベストアンサー
- 数学・算数
- 数列の証明
以下の解答がエレガントであるかどうかどなたかご意見頂けますでしょうか? A1>0 で An/n が増加数列、つまり (An+1/n+1)>(An/n) が全てのnについて成立とするとき - (a)、 lim (n->無限) An = 無限 - (b) を証明せよ、という問題です。 自分の解答: もし全てのn>N (Nは自然数)についてAn>M(Mは実数)が成立すれば(b)が成立する。 -(c) (a)の条件から、全てのn>N'(N'は自然数)について(An/n)>M'(M'は実数)が成立することがわかっている。 (An/n)>M' => An>M'n>M'N'(実数) が成立する。よってM'N' = M とすれば(c)が成立する。 ちょっとややこしいですがよろしくお願いします。
- ベストアンサー
- 数学・算数