(難問)eが二次方程式の解ではない事を証明せよ
■ このスレッドは過去ログ倉庫に格納されています
0001ひげまろ
2013/02/26(火) 18:26:08.36(ただしeが超越数であるという事実は用いない事)
e自身やe^2やe^3、、e^n(n∈Z)が無理数であるという事実は別の方法で初等的に証明可能なので使っても良いとする。
eが
e=lim(h→∞)(1+1/h)^h=Σ(k=0→∞)1/k!
を満たす数であること
d(e^x)/dx = e^x
であり
e^x=Σ(k=0→∞)x^k/k!
であるという事実だけから
a*e^2 + b*e +c = 0を満たす(a,b,c∈Z)は存在しないことを証明したいのですが可能なんでしょうか?
エレガントな解法がきっとあると思うんです。
e^ix=cosx + i*sinx
や
e^iπ=-1
は使っても構いません。
eは超越数と言われますが、eはなぜ二次方程式の解ではないのですか?二次方程式の解は一般的に無理数であり、その集合は数直線上に稠密にあってeに限りなく近い無理数も含まれます。その数がなぜeと同じではないと言い切れるのか。
eが超越数であるという与えられた答えから矛盾を得るのではなく、ある整形式の二次方程式の解がeであってはなぜいけないのか簡潔に証明してください。
0002132人目の素数さん
2013/02/26(火) 18:42:32.80二次方程式の解が√p + q(p,q∈R)であらわされる事を用いたら瞬殺じゃね、
とオモタがうまくいかんかった。
0003132人目の素数さん
2013/02/26(火) 18:44:07.540004132人目の素数さん
2013/02/26(火) 20:13:17.820005132人目の素数さん
2013/02/26(火) 20:22:39.43その理屈は有理数にもあてはまるだろ
有理数の集合は数直線上に稠密にあってeに限りなく近い有理数も含まれます。その数がなぜeと同じではないと言い切れるのか。
0006132人目の素数さん
2013/02/26(火) 22:35:35.170007132人目の素数さん
2013/02/27(水) 00:41:30.260008132人目の素数さん
2013/02/27(水) 00:53:13.80無理じゃないか。
0009132人目の素数さん
2013/02/27(水) 15:11:40.91D=b^2-4ac とすると、Dは整数である
また、解の公式より
e=(-b±√D)/(2a)
整理すると
2ae+b=±√D
両辺を二乗すると
(2ae+b)^2=D
左辺は明らかに整数ではないがこれは右辺が整数であることに矛盾する
これじゃ駄目なの?
0010132人目の素数さん
2013/02/27(水) 15:15:06.110011132人目の素数さん
2013/02/27(水) 16:46:30.1700121 ◆ZnBI2EKkq.
2013/02/27(水) 17:24:22.28いえいえ有理数でないことは解ってるんですよ。
ウィキペディアにも載ってると思いますが、
e=Σ(k=0→∞)1/k!=p/qとおいて
両辺にq!をかけてやれば示せます。
>>6
さすがですね。目から鱗でした。
しかしながら、
連分数展開形式の違いを示してeの正則連分数展開は循環しない事を示せば証明できそうだけど
この場合の前提では示せねばならない補題が多すぎませんか。
ぱっと思いつく限りで示せねばならない補題は
・二次無理数の正則連分数展開は常に循環する事
・eの連分数展開を求めてそれがe自身の性質を全て満たし循環しない事
これができた時点で証明終わりとできそうですが、「二つの実数の正則連分数表記が一致しない事とその二数が一致しない事が同値」と示すには、あと重要な証明が必要で
「全ての無理数の正則連分数展開が一種類しかない事を示して元の数と一対一で対応する事」を示さなければなりません。
可能でしょうけど、それが示せなければeが複数の正則連分数展開を持つ可能性を潰せないですよね。
方針としては大変ですよね。もう少しエレガントな証明はありませんか?
>>7
問題がシンプルなんで大学入試の範疇でも証明できそうな気がするんですが、なかなか難しいです。
00131 ◆9bDYe58ke6
2013/02/27(水) 17:25:44.970014132人目の素数さん
2013/02/28(木) 11:25:08.060015132人目の素数さん
2013/02/28(木) 14:53:30.87http://mathematics-pdf.com/pdf/e_transnum.pdf
これを少しいじれば・・・・・
0016あのこうちやんは始皇帝だった
2013/02/28(木) 19:13:03.6820代の、無職の、ごくつぶしがあああああああああああああ!!!!!!!!!!!!!!!!!!!!
死ね!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
0017132人目の素数さん
2013/02/28(木) 22:07:44.01eの連分展開の証明で簡単なものは1ページくらい(まあ
計算全部書くと大変だがw)で、高校数学でもできる話。
君の言う補題を「大変」と思うなら、大変だろうな。
なお、連分展開つかって、eの超越性は比較的簡単に
示せるので、その意味では二次方程式の解にないことを
示せる人は超越数であることまですぐにわかるという意味では、
簡単でないというのは確か。
0018132人目の素数さん
2013/03/02(土) 15:08:47.48e^x = Σ[m=0,...,n-1]x^m/m! + e^(θx)/n! (0<θ<1)
だけを使って証明できたよ
(証明)
ae^2 + be + c = 0 (a,b,cは整数,a≠0) と仮定すると ae + b = -ce^(-1)
∴a(Σ[m=0,...,n-1]1/m! + e^θ/n!) + b = -c(Σ[m=0,...,n-1](-1)^m/m! + e^(-θ)/n!)
ここで、P[n] := aΣ[m=0,...,n-1]1/m! + b + cΣ[m=0,...,n-1](-1)^m/m! = -(ae^θ + ce^(-θ))/n!
とおくと |(n-1)!P[n]| = |ae^θ + ce^(-θ)|/n → 0 (n → ∞)
(n-1)!P[n]は整数より、十分大きい任意のnに対して (n-1)!P[n] = 0 ∴P[n] = 0
P[n+1] - P[n] = a(1/n!) + c((-1)^n/n!) = 0 ∴a + (-1)^n c = 0
P[n+2] - P[n+1] = a(1/(n+1)!) + c((-1)^(n+1)/(n+1)!) = 0 ∴a + (-1)^(n+1) c = 0
この2式より a = 0 となり矛盾■
0019132人目の素数さん
2013/03/02(土) 19:52:50.35訂正
有限マクローリン展開の最終項に x^n かけるの忘れてた
なので e^(-θ)/n! のところ (-1)^n e^(-θ)/n! に変更
証明の5行目は
|(n-1)!P[n]| = |ae^θ + (-1)^n ce^(-θ)|/n ≦ { |a| e^θ + |c| e^(-θ) }/n→ 0 (n → ∞)
に変更
00201 ◆qIIyOFM01s
2013/03/03(日) 04:28:29.840021132人目の素数さん
2013/03/04(月) 01:48:13.65東大あたりで出してくんないかな
0022132人目の素数さん
2013/03/04(月) 02:02:35.23ここまでヒントがあれば一応問題になる…か?
0023132人目の素数さん
2013/03/04(月) 06:49:53.1518の方法で一般N次方程式に拡張して超越性まで証明できんのかな?
大学入試なら
>>1の設題を小門(1)にして3問展開で最終的に超越性まで示すようなカッコいい問題にして欲しい。
0024132人目の素数さん
2013/03/04(月) 15:49:09.93同じ方針では3次方程式相手では難しいのか。
e^2やe^3に対しては剰余項*(n-1)!が発散するから
二次方程式だからこそ高校数学でも解けるという絶妙な問題だね。
0025132人目の素数さん
2013/03/04(月) 16:14:35.070026132人目の素数さん
2013/03/04(月) 17:27:18.07誰か解説キボンヌ
http://www.iecn.u-nancy.fr/~chassain/djvu/Proofs-from-the-Book-2004.pdf
0027あのこうちやんは始皇帝だった
2013/03/04(月) 19:31:11.18ニートの、ごくつぶしのクソガキ!
抹殺するから、覚悟しとけ!!!!!!!!
0028132人目の素数さん
2013/03/04(月) 21:08:55.42要するにその本ではe^2の無理性を証明するのに18と同じような事をしてて
e^4で同じようにしたら、24が言うように
剰余項が発散するから(n-1)!をかける代わりに十分大きいnでの整数Q[n]=(n-1)!/2^nをかけてもいけるよって話。
Σ内の一般項は約分されて整数を維持できるから
18の議論はeをe^2に置き換えても成立するし、
ae^4+be^2+c=0
を満たすa,b,cは存在しなくてe^4も無理数になるって事。
同様にpが整数ならe^2pはとりあえず無理数で、その平方根も無理数で
すべての整数sについてe^sは無理数だって意味。
3次方程式や一般の4次方程式については成立するかは不明。
メンドいだけでたぶんできると思う。
eが超越数である事はほぼ明白になるね。
0029132人目の素数さん
2013/03/05(火) 02:43:36.670030132人目の素数さん
2013/03/05(火) 19:22:21.26全然できる気がしねえ…
00311 ◆9bDYe58ke6
2013/03/05(火) 23:01:13.270032132人目の素数さん
2013/03/06(水) 10:16:08.15もしできるならe^xの有限マクローリン展開を求めさせて
それから>>1を解かせてもいいね
0033132人目の素数さん
2013/03/06(水) 10:33:48.940034132人目の素数さん
2013/03/08(金) 09:39:14.252次関数y=-x^2-CがR^2上の点(0、-C)を通ること、
及び2つの1次関数y=ax、y=-ax、a≠0は定数、が共に座標平面上でx、y両軸に対称であることと、
2次関数y=x^2+C、y=-x^2-Cが共に座標平面上でy軸に対称であること
を用いれば、話は少し理屈っぽくなるが、高校の内容?だけで幾何学的に証明出来る。
ae^2+be+c=0を満たすa、b、c∈Z-{0}が存在することを仮定したとき、
両辺をe^2+(c/a)=-(b/a)eと変形してC=c/a、d=b/aとおけば、
e^2+C=(-d)eとなって、あとは-(-e)^2-C=d(-e)、つまりe^2+C=deであることが
グラフに関する対称性による幾何学的議論から導かれてe=0となって矛盾が生じる。
0035132人目の素数さん
2013/03/08(金) 10:05:16.09>及び2つの1次関数y=ax、y=-ax、a≠0は定数、が共に座標平面上でx、y両軸に対称
は、「共に」を除き、2つの1次関数のグラフを同時にイメージして読むか、或いは
>及び2つの1次関数y=ax、y=-ax、a≠0は定数、が共に座標平面上でy軸に対称
の間違い。
0036132人目の素数さん
2013/03/08(金) 10:38:23.33√3+1とかで同じ矛盾導けんじゃ?
0037132人目の素数さん
2013/03/08(金) 12:37:38.88eは無理数だから、eは方程式ax^2+bx+c=0の重根となって、
グラフの形を考えるときに2次関数と1次関数の各グラフは1点で接することになって、
2次関数と1次関数の各グラフの交点の関係が特別な場合になり、
y軸についての交点に関する幾何学的形状が詳細に決まる。
2次関数と1次関数の計4つのグラフの接点の総個数が4個になってしまう。
そして、これら4点は長方形をなし、4個の頂点のx座標の各絶対値は何れもeになって0ではない。
これら4頂点のx座標の各絶対値について矛盾が生じ、長方形が構成出来なかったことになって矛盾が生じる。
eに限らず、判別式が0になるような無理数であれば、同様な議論が成り立つ。
√3+1>0が2次方程式の根になるときは1-√3<0も根になって、
無理数だが判別式は0でなく、計4つのグラフの交点の総個数は16個になり、4個ではなくなる。
つまり、方程式が重根であるか否かや総個数などが異なる場合になり、
eが重根になるときとは違って、すべての点から長方形が作れず、
グラフの交点のx座標が2次方程式の重根ではなくなる。
0038132人目の素数さん
2013/03/08(金) 12:45:11.420039132人目の素数さん
2013/03/08(金) 14:07:41.60>計4つのグラフの交点の総個数は16個になり、4個ではなくなる。
の「16」はあり得なかった。イメージが変だった。
何れにしろ総個数が4にならないことは確か。
あと、下から2行目の
>すべての点から長方形が作れず、
は
>すべての点を用いて長方形が作れず、
と訂正。
0040132人目の素数さん
2013/03/08(金) 14:18:55.230041132人目の素数さん
2013/03/08(金) 17:17:57.15ある実数を解に持つ二次方程式の判別式がなぜ初めから解るんだ?eが実は√127-8.551と同値だったりする可能性を考慮したら破綻しそうな気がするんだが。
0042132人目の素数さん
2013/03/08(金) 18:56:05.31って言ってるだけでね?
0043132人目の素数さん
2013/03/08(金) 20:20:57.45多分、ここが間違い
y=x^2+Cとy=-dxがx=e上で交わるとき、y=-x^2-Cとy=dxもx=e上で交わるね
(yの値が反転するだけでxの値は反転しない)
0044132人目の素数さん
2013/03/08(金) 20:34:00.35>eは無理数だから、eは方程式ax^2+bx+c=0の重根となって、
この時点からワケが分からないのだが。
何で重根になるの?
「eは無理数である」という事実だけから そんなことが言えるの?
言えないよね?
0045132人目の素数さん
2013/03/08(金) 20:39:16.400046132人目の素数さん
2013/03/08(金) 20:48:53.66今度は別のツッコミが発生する。
2次方程式 ax^2+bx+c=0 が重根を持つならば、その重根は −b/(2a) と表される。
従って、もしeが方程式 ax^2+bx+c=0 の重根となるならば、e=−b/(2a) が成り立つことになる。
今の場合、a,b∈Z であるから、eは有理数となってしまい、eが無理数であることに矛盾する。
幾何学的考察が全くいらないwwwwwwwww
0047132人目の素数さん
2013/03/08(金) 21:08:54.480048132人目の素数さん
2013/03/08(金) 21:23:58.86幾何学的考察が先にあって、その結果として
「eは重根になる」という結論が得られた …… (*)
のであれば、同じ論法が「√3+1」にも適用できてしまうのではないか、
という危惧が発生する。この危惧を払拭するには、その幾何学的考察が
「eには適用できて√3+1には適用できない」
ことの理由を説明しなければならない。で、その理由の一行目が
>eは無理数だから、eは方程式ax^2+bx+c=0の重根となって、
なのだから、これは循環論法である。
ここから考えられるのは次の2つ。
・実際に循環論法であり、つまりは証明になってない。
・循環論法に陥るのは(*)から出発した場合であるから、(*)自体が間違い。
1行目の場合は、そのまま「証明になってない」。
2行目の場合は、幾何学的考察を経由せずに「eは重根になる」という
結果が得られていることになり、この場合、>>46のツッコミが成立するww
どっちに転んでもアホw
0049132人目の素数さん
2013/03/08(金) 21:30:42.620050132人目の素数さん
2013/03/08(金) 21:41:37.39むしろそっちの方が>>48に合致するんだが。
eが無理数であることを別途証明してあるとして、
その上で>>48を再び読んでごらんw
そもそも、eが無理数だと何で「重根」になるのか全く
書かれていないので、本来問題にすべきはコレなんだがね。
0051132人目の素数さん
2013/03/08(金) 21:43:17.54とあるからeが判別式=0になる無理数であることは分かっていて、それを使うと幾何学的考察ができると>>37は言ってるんだと思うのだが
eが無理数であることはともかくとして、eが判別式=0になることはどうやって分かったんだという疑問が残る
そして、eが判別式=0であることが分かるならそこから幾何学的考察をしなくても>>46で済む話だということになる
0052132人目の素数さん
2013/03/09(土) 00:33:14.13そもそも、私=>>34などにとっては、むしろeが無理数であることから直接eが超越数であることを示す方が簡単だ。
ただ、これをするには今度は主に少し複雑な解析的議論をビシビシやることになって、ここに書く気がしない。
そして、幾何学的議論もすることになり、話は長くなる。
少なくとも代数的数と超越数の言葉位は知らないと話にならない。
0053132人目の素数さん
2013/03/09(土) 00:38:30.47せっかく>>33までいい流れになってたのに何故こうなった??
0054132人目の素数さん
2013/03/09(土) 00:43:33.97普段している研究と混ぜこぜにしてしまったようだ。
研究内容から前もってeが判別式=0になることがスケスケで見えてしまった。
確かに>>37のような幾何学的考察は不要だった。
0055132人目の素数さん
2013/03/09(土) 00:51:28.360056132人目の素数さん
2013/03/09(土) 00:53:39.23荒らしではないな。
ただ、私の方法だと初等的に示すには話が少し長くなるだけ。
0057132人目の素数さん
2013/03/09(土) 01:04:02.870058132人目の素数さん
2013/03/09(土) 01:21:20.51どうせこのスレ1000まで行かないんだから、
ビシビシ書いても誰も困らないと思うよw
代数的数も超越数も知ってるから問題なし。
知らない奴にはwikiのリンクでも貼っておけばよし。
0059132人目の素数さん
2013/03/09(土) 02:11:24.21それが、紙に書いた式を見ると、ここに書くのが難しいような式が多く出て来て、
おまけにe^eが超越数であることなども示せる手法だから、ここには書けない。
2ちゃんの式より複雑であることは間違いない。
ここに書いたら、1つの式を書くのに
(4、6個も括弧を使って括るような式)+(4、6個も括弧を使って括るような式)
みたいな式を幾つも書くことになり、ややこしくなると思う。
勿論、式には数だけでなく記号も出て来るw
0060132人目の素数さん
2013/03/09(土) 02:24:35.120061132人目の素数さん
2013/03/09(土) 02:38:48.21おめでとう
0062132人目の素数さん
2013/03/09(土) 02:43:18.54まあ、多くの人はそう感じるだろうな。
鍵になる概念は、どちらかというと解析的概念ではない。
ではでは〜。
0063132人目の素数さん
2013/03/09(土) 02:44:17.120064132人目の素数さん
2013/03/09(土) 02:51:09.26位相群って如何なるモノか知ってる?
0065132人目の素数さん
2013/03/09(土) 02:51:31.06約一名にとっては
0066132人目の素数さん
2013/03/09(土) 02:54:06.00いきなりどうした?
0067132人目の素数さん
2013/03/09(土) 02:55:34.79うん、これも位相群が恐ろしい程までに大きな威力を発揮する。
あとは論文にするだけ。
0068132人目の素数さん
2013/03/09(土) 02:59:23.120069132人目の素数さん
2013/03/09(土) 03:02:59.30★東大入試作問者になったつもりのスレ 第二十一問
http://uni.2ch.net/test/read.cgi/math/1342469355/338
338 名前:132人目の素数さん[] 投稿日:2013/03/08(金) 17:00:54.38
>>337
こうやって簡単な問題に答えて
スルーしていく問題こそが本当の問題なんですよ・・・。
そんな1分くらいで解けるような問題なんぞ出す意味が無いですから。
>>333へ。
340 名前:132人目の素数さん[] 投稿日:2013/03/08(金) 17:22:20.63
キモくしてるんですよ・・・。
2ch初心者ですか?・・・。
あぁ...お願いしますよぉ。
0070132人目の素数さん
2013/03/09(土) 03:03:09.85いや、ちょっとね。
単なる独り言。
0071132人目の素数さん
2013/03/09(土) 03:19:05.56私は予備校教師でもなければ東大入試モドキの問題なんか一切出していない。
>>1を解くことについては、むしろ予備校教師やそのスレで問題出している人の方が能力は上だろう。
0072132人目の素数さん
2013/03/09(土) 03:53:04.60>>65
http://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Analysis
0073132人目の素数さん
2013/03/09(土) 05:12:18.24何いいたいんだか趣旨が分からない。
>>61と>>65の各文は様々な意味に受け取れ、幾らなんでも空気読むことを要求し過ぎだ。
もはや文脈がつながらなくなっている。
0074132人目の素数さん
2013/03/09(土) 05:28:23.230075132人目の素数さん
2013/03/09(土) 05:50:08.35余計なことを2チャンでする気はない。
位相群や位相体の構成といって通じないようだったら、私の考え方は分からない。
2チャンの目的の達成のためだけなら、多くの幾何考察もいらない。
することは、どちらかというと主に解析的なこと。
0076132人目の素数さん
2013/03/09(土) 05:54:31.78>>37
思いっきり突っ込まれっちゃったからね
もう書けないんでしょう
0077132人目の素数さん
2013/03/09(土) 05:55:31.830078132人目の素数さん
2013/03/09(土) 06:01:43.83数学のプロとは思えん
0079132人目の素数さん
2013/03/09(土) 06:03:21.66連分数や無限積分使えば証明できんのは明白なんだから、いかにシンプルで初等的に解けるかが大事。二次関数のグラフから格子点とか使って中学生でも解るように図示出来たらスマートだけどね。
0080132人目の素数さん
2013/03/09(土) 06:06:00.89>>1の証明のためだけなら幾何考察は不要で、ここに書く気はない。
位相体を構成して、あとは解析ビシビシで十分。
本当はe=Σ(k=0→∞)1/k!と無限級数表示した時点で、eは既に超越数になっている。
0081132人目の素数さん
2013/03/09(土) 06:06:07.53> eが判別式=0
0082132人目の素数さん
2013/03/09(土) 06:12:37.93おやおや、バカだぜこいつwwwですか。
まあいいけど。
0083132人目の素数さん
2013/03/09(土) 06:15:00.330084132人目の素数さん
2013/03/09(土) 06:17:22.050086132人目の素数さん
2013/03/09(土) 06:28:29.79もはや話にならん。
位相体の構成と解析ビシビシといって分からないようならダメだ。
0087132人目の素数さん
2013/03/09(土) 06:30:03.310088132人目の素数さん
2013/03/09(土) 06:33:10.200089132人目の素数さん
2013/03/09(土) 06:39:51.76> そして、幾何学的議論もすることになり、話は長くなる。
> 鍵になる概念は、どちらかというと解析的概念ではない。
0090132人目の素数さん
2013/03/09(土) 06:42:45.16位相体の構成と解析ビシビシって言ってわかんないの?
遅れてるねキミ
0091132人目の素数さん
2013/03/09(土) 06:46:23.430092132人目の素数さん
2013/03/09(土) 06:47:31.83>>72のサイトだけなら意味は分かるが、
それを>>61や>>65と一緒に挙げた意味が分からない。
単純に列挙するだけならサイトだけで十分。
>>88
数学は、勉強しても脳ミソや知識を使わないと意味がない。
0093132人目の素数さん
2013/03/09(土) 07:00:49.930094132人目の素数さん
2013/03/09(土) 07:12:31.70いや、確かに内容は変わっているけど書いているのは同一人物だよ。
最初は高校レベルの範囲だけで>>1を解こうとしたが出来なかった。
0095132人目の素数さん
2013/03/09(土) 08:13:04.36「超越数 ベイカー」でググると、一番上にwikiがヒットし、
上から5,6番目には「超越数論入門」と題したpdfもヒットする。
wikiについては、その内容はそのままベイカーの定理であり、
ちゃんと超越数についての話題も載っている。また、「超越数論入門」の
pdfでは、ベイカーの定理についてちょっとだけ触れられている。
このように、超越数の理論において、ベイカーの定理は非常に有名であるから、
「ベイカーの定理も知らんのか。話にならん」というのであれば話は分かる。
だが、>>86はそうではない。
「位相体」を使ってどうこうという話は、俺自身は全く聞いたことがない。
「超越数 位相体」でググると、この2つをリンクさせて
論じているサイトがまったくヒットしない。
「topological field transcendental number」としてググっても、
この2つをリンクさせて論じているサイトがまったくヒットしない。
従って、仮に "位相体の構成と解析ビシビシ" とやらで
超越数について論じることが出来るのだとしても、
その方法は極めてマイナーであるか、あるいは極めて
独創的であるかのどちらかである。
どちらにせよ、ほとんど知られていない方法ということになるので、
>>86の返答の仕方はおかしい。お前しか知らない方法をチラつかせて
「話にならん」というのは酷である。
0096132人目の素数さん
2013/03/09(土) 10:19:45.230097132人目の素数さん
2013/03/09(土) 10:35:22.610098132人目の素数さん
2013/03/09(土) 14:46:15.37e^2+beは整数ではない(定石の証明で示せるので省略)ので駄目
Q.E.D.
0099132人目の素数さん
2013/03/09(土) 15:58:14.66圧巻だ。
0100132人目の素数さん
2013/03/09(土) 16:49:52.780101132人目の素数さん
2013/03/09(土) 18:44:10.61■ このスレッドは過去ログ倉庫に格納されています