- 締切済み
素数の平方根の一次独立性
先日趣味で思いついた問題で、 Ciを有理数とするとき、 C1+C2(√２)+C3(√３)+C4(√５)+C5(√７)+C6(√１１)+C7(√１３)+...+Cn(√qn)=0ならばC1=C2=...=Cn=0を示せ。ただしqnはｎ番目の素数とする。 というものを考えています。ｎが２の場合は背理法で簡単です。 この場では解いてくださいと要求しているわけではなく（もちろん書いていただければそれはそれでありがたいです。）何か面白いアプローチや、こういう風に拡張したほうが…など様々な意見をお伺いしたいです。 お時間割いていただける方は是非よろしくお願いします。
- stead2009
- お礼率75% (6/8)
- 数学・算数
- 回答数2
- ありがとう数1
- みんなの回答 （2）
- 専門家の回答
みんなの回答
- arrysthmia
- ベストアンサー率38% (442/1154)
平方因子を含まないから、「二次まで」なんでしょう？ 三次以上掛けても、√ の外に括りだされるだけだから。 m = 1 ～ 2^n の 2^n の意味を考えたら、 そんな強引な曲解はできないハズですよ。
- arrysthmia
- ベストアンサー率38% (442/1154)
n 個の素数 p_k (k = 1 ～ n について ｛ p_k ｝の有理数上一次独立を示すより、 p_k のあらゆる二次までの積 a_m (m = 1 ～ 2~n) について ｛ √a_m ｝の一次独立を示すと考えたほうが、 考えやすいと思います。 これを、n (m ではなく) に関する 帰納法で！
補足
ご回答ありがとうございます。 やはり拡張したほうが示しやすそうですね。一回二乗することを考えられてご回答のような方針を頂いたのだと思いますが、二次までの積ではなく、Ｎ次までの(平方因子を含まない)積まで拡張したほうが解りやすいと考えました。 もし二次までで帰納法が可能でしたらご教示いただけるとありがたいです。よろしくお願いします。
関連するQ&A
- √ｎが有理数である又はないことの証明。
√３が有理数でないことを、背理法で論証する場合。 √3=a/b（aとbは互いに素であるとする。）と置く。 3b^2=a^2である。 a^2は３の倍数であるので、aは３の倍数であり、a=3cとおくことができる（この事は対偶の真偽で論証できる。） 3b^2=9c^2 b^2=3c^2 であり、b^2が３の倍数なので、bも３の倍数であることが分かる。 よって、a/bは既約分数であることから矛盾が生じ、有理数でないことが言える。 これが√3が有理数でないことの証明だそうです。 次に、nを整数として、√ｎが有理数でないことを、背理法で論証する場合。 √n=a/b（aとbは互いに素であるとする。）と置く。 nb^2=a^2である。 a^2はnの倍数であるので、aはnの倍数であり、a=ncとおくことができる nb^2=n^2c^2 b^2=nc^2 であり、b^2がnの倍数なので、bもnの倍数であることが分かる。 よって、a/bは既約分数であることから矛盾が生じ、有理数でないことが言える。 ただしn=1.4.9.16・・・といった場合、√n=1.2.3.4・・・といったように、√nは有理数になってしまいます。 このやり方では√nが有理数でも、有理数でないと言えてしまいます。 √ｎが有理数の場合、有理数であると論証でき、√ｎが無理数の場合、有理数でないと論証できる方法を教えてください。
- ベストアンサー
- 数学・算数
- √２が無理数であることの証明において。
背理法を使い、√２が有理数であるとしたときに、√２が０以上であるために、２つの互いに素な自然数ｍ、ｎとしたときに√２＝ｍ/ｎとなる。これはいったいどういう意味でしょうか？ ２つの互いに素な自然数とは何ですか？ 小さな質問ですが、よくわからないのでお願いいたします。
- ベストアンサー
- 数学・算数
- 一次独立・一次従属
n個のベクトル{a1,...,an}が（(1)）であるとは （(2)）スカラー c1,...,cnに対して,c1a1+・・・+cnan=0ならば 常にc1=・・・=cn=0となる ことである n個のベクトル{a1,...,an}が（(3)）であるとは （(4)）スカラー c1,...,cn（すべてが０ではない）に対して c1a1+・・・+cnan=0とできることである c1a1+・・・+cnan=0を満たすn個のベクトル{a1,...an}が（(5)）ならば （(6)）番号iに対して、ci≠0であり、 ai=Σ{-(cj/ci)*aj}と（(7)） ※Σの下に(j≠i)が入ります (1)～(7)の解答群は 一次独立、一次従属、任意の、ある、表せる、は表せない の６つのうちのどれかです 答えがなくかつ少し理解できない所があるので回答お願いします 自分で解いてみましたが (1)一次独立(2)ある(3)一次従属(4)任意の(5)一次従属(6)任意の(7)表せる となりました よろしくお願いします
- ベストアンサー
- 数学・算数
- 三角関数の証明（有理数であること等）
m,nは自然数、０≦θ＜2πとする。 （1）cosθ、sinθがともに有理数ならば、cosｍθ、sinｎθはともに有理数となることを示せ。 （2）cosθ＝(n^2-1)/(n^2+1)、sinθ＝2n/(n^2+1)ならば、θ＜π/nとなることを示せ。 無理数の証明のときに背理法を使ってうまくいくことが多かったので、同様にやってみようと思ったのですが「無理数と仮定する」ということが数式で表せずだめでした。(2)はtanθ/2＝ｎとおいてcosθ、sinθを作る式に非常に似ているのですがそのことは利用できるのでしょうか？ ヒントをいただけると助かります。よろしくお願いします
- ベストアンサー
- 数学・算数
- αがαの３乗=5 を満たすとき αは有理数でない
高校１年の数学の問題です。分野は「命題と集合」です。 「実数αがαの３乗=5 を満たすとき αは有理数でないことを示せ。」 06年度東京学芸大の問題です。 途中まで模範解答を書きます。そのあとがわからないので教えてください。 よろしくお願いします。 （解答） 背理法で解きます。 αが有理数であるとする。 α=n分のm とする。 mの3乗は、5の倍数となる。」 （これからあとがわかりません） よろしくお願いします。
- ベストアンサー
- 数学・算数
- 数学における数の拡張について
数学の課外読物を読む度に以前から考えていたことなのですが、 数学ではギリシャ時代から21世紀の今日に至るまで数の拡張が順次行われ、 その結果、数は 自然数-->整数-->有理数-->実数-->複素数-->ｎ次行列と拡張されたと あります。 さて質問ですが、数の拡張はこれで最終ステージを迎えたのでしょうか。 これ以上の拡張は有り得ないという結論なのでしょうか？ それとも、後300年程して現在の数の概念を覆すような新たな数体系が出現 する可能性はあるのでしょうか。またその可能性を考えるのは数学の問題なのでしょうか？ あと一つ、最後のｎ次行列ですがこれは1つの数といえるのでしょうか。
- ベストアンサー
- 数学・算数
- 高校レベルの数学の問題（方程式）教えてください！！
整数a,bを係数とする2次方程式X^2+aX+b=0が有理数の解αをもつときαは整数であることを示せ。 問題集の解答 α＝n/m(m,nは互いに素な整数、mは0でない) とおく。 「質問壱 α＝n/mと置いたのは有理数の形にした。だけ？」 αはX^2+aX+b=0の解なので (n/m)^2+a(n/m)+b=0 n^2+amn+bm^2=0 mが±1でない ならば、mはある素因数Ｐを含む。 「質問弐 ±1の条件はm=±1ならαは整数になるから？でも整数も有理数なのだからそのままでもいいのでは？」 するとn^2=-m(an+bm)も素因数Pを含む。 n^2の素因数はnの素因数だから、Ｐはnの素因数となり、m,nは公約数Ｐをもつことになる。これはm,nが互いに素であるという仮定に反する。よってm=±1 α=±n(整数) 実を言うとこの解答はほとんどわかっていません。 1．α=n/mという有理数の形にしてみる。 2.実際に与式にn/mを代入したとき、n/mが約分して整数の形になってしまう。だからαが有理数の解ならαは必ず整数ってことが証明できる。っていうことをしているんでしょうか？？ でも解答みるとなんか難しいことかいてるんで良くわからなくて？こんなに難しいことしないと駄目なんでしょうか？？解答ってこれ背理法ってやつですか？あまり背理法理解してないもんで。これ背理法かどうかもわからない。
- ベストアンサー
- 数学・算数
- 直接証明と背理法
http://www.amazon.co.jp/review/R1JEGJU88JQWPS/ref=cm_cr_rdp_perm のコメントを見て疑問が出てきました。 まず、議論の前提を書きます。 [前提 1] 議論の範囲は、上のリンクのコメントの以下です。 文頭の 『「√2が無理数」の証明は』 から、 段落が変った『つまり』 の手前まで。 [前提 2] 『直接証明』の、言葉の定義は知りませんが、 少くとも、『背理法』かつ『直接証明』という証明は存在しないと思っています。 以降その理解で書くので、これが変であれば指摘して下さい。 では、疑問(本題)を書きます。 [疑問 1] 私には、これは背理法に見えます。 なぜなら、 [仮定] m, n を非負整数(同時に m/n を有理数となる)。 [目標] 『2n^2』と『m^2』の『2に関するベキ指数』が合わない と、なっていて [仮定] 証明したい事と逆になっている(『√2 が無理数』に対して、『√2 が有理数』を仮定) [目標] 矛盾を導く という、背理法のフォーマットに沿っていると思えるからです。 あと、m,n は 非負整数 とは書いていませんが、 「2に関するベキ指数」を実数や分数について考えるのは変な感じがしたからです。 非負 にしたのは、「(0も含め)」とあったからです。 [疑問 2] これは前から思っていた事なのですが、 そもそも「ある数が無理数である事」を直接証明できるのでしょうか? (直接証明の意味が分かっていないのに、この言葉を使うのは変なのですが) 有理数は m/n の様な数式としての表現を持っていますが、 無理数は「有理数ではない実数」なので、この様な表現は無いと思っています。 (√x とか特殊な無理数を数式として表現する事を不可能と言っているのではないです) だから、少くとも数式を使ってこれを考えるには、「有理数(m/n)ではない」とするしか無い気がします。 (背理法でなければならないかについては、よく分かりません) と、書きましたが、私は実数に関して知識がほとんどないので、その点がこの考えの弱い部分だと思っています。 (実数も、一般的な数式の表現を持っていないと思っていますが) よろしくお願いします
- 締切済み
- 数学・算数
- 数列の問題です。ヒントをください
【問題文】 nを自然数として、２つの数列 Ａn=2^n Ｂn=3n+2 について｛Ａn｝の項のうち｛Ｂn｝の項であるものを小さい順に並べることで得られる数列を｛Ｃn｝とする。 ｛Ｃn｝は等比数列であることを示せ。 自分は まず基本通りＣ1から順にＣ4くらいまで書き出していきました。その際、Ａn=2^nだから、Ｂn=3n+2=2｛(3n/2)+1｝として｛(3n/2)+1｝が2^kのような形になるように気をつけました 結果は Ｃ1=8=2^3 Ｃ2=32=2^5 Ｃ3=128=2^7 Ｃ4=512=2^9 やはり等比になっているけれど ここからどうしようか悩み、帰納法でやってみようかと思い Ｃn=8・4^(n-1)(nは自然数)…(※) と推定し (I)n=1の時、(※)は明らかに成立 (II)n=kのとき(※)が成立すると仮定し、この仮定下でn=k+1のときも(※)が成立することを示したい …けどどうやって？ となりました Ａnの項のうちＢnの項であるものをがＣnといっても そうなるときのnの値は全てばらばらだし… それ以前に方針が間違っているのでしょうか？
- 締切済み
- 数学・算数
補足
いえ、おっしゃっていることはわかります。 私が言ったのは、たとえば√（2*3*5）のようなものも含めて拡張したらどうか、という話です。