13/02/26 18:42:32.80 .net
ｸｿｽﾚ立てんな
二次方程式の解が√p + q(p,q∈R)であらわされる事を用いたら瞬殺じゃね、
とｵﾓﾀがうまくいかんかった。
3:１３２人目の素数さん
13/02/26 18:44:07.54 .net
超易しい
4:１３２人目の素数さん
13/02/26 20:13:17.82 .net
おまんこ女学院
5:１３２人目の素数さん
13/02/26 20:22:39.43 .net
> 二次方程式の解は一般的に無理数であり、その集合は数直線上に稠密にあってeに限りなく近い無理数も含まれます。その数がなぜeと同じではないと言い切れるのか。
その理屈は有理数にもあてはまるだろ
有理数の集合は数直線上に稠密にあってeに限りなく近い有理数も含まれます。その数がなぜeと同じではないと言い切れるのか。
6:１３２人目の素数さん
13/02/26 22:35:35.17 .net
連分展開
7:でオワ
8:１３２人目の素数さん
13/02/27 00:41:30.26 .net
もし大学入試の範疇で解けるんなら良問だと思う。
9:１３２人目の素数さん
13/02/27 00:53:13.80 .net
>>7
無理じゃないか。
10:１３２人目の素数さん
13/02/27 15:11:40.91 .net
ae^2+be+c=0を満たすa,b,cが存在すると仮定する(a,b,cは整数 a≠0)
D=b^2-4ac とすると、Dは整数である
また、解の公式より
e=(-b±√D)/(2a)
整理すると
2ae+b=±√D
両辺を二乗すると
(2ae+b)^2=D
左辺は明らかに整数ではないがこれは右辺が整数であることに矛盾する
これじゃ駄目なの？
11:１３２人目の素数さん
13/02/27 15:15:06.11 .net
ラストの左辺が整数でないことを示す問題だろｗ
12:１３２人目の素数さん
13/02/27 16:46:30.17 .net
eを二乗して有理数倍してe自身の有理数倍を合わしたときそれが無理数である事はeが超越数である前提が無いなら自明ではない。
13:1 ◆ZnBI2EKkq.
13/02/27 17:24:22.28 .net
>>5
いえいえ有理数でないことは解ってるんですよ。
ウィキペディアにも載ってると思いますが、
e=Σ(k=0→∞)1/k!=p/qとおいて
両辺にq!をかけてやれば示せます。
>>6
さすがですね。目から鱗でした。
しかしながら、
連分数展開形式の違いを示してeの正則連分数展開は循環しない事を示せば証明できそうだけど
この場合の前提では示せねばならない補題が多すぎませんか。
ぱっと思いつく限りで示せねばならない補題は
・二次無理数の正則連分数展開は常に循環する事
・eの連分数展開を求めてそれがe自身の性質を全て満たし循環しない事
これができた時点で証明終わりとできそうですが、「二つの実数の正則連分数表記が一致しない事とその二数が一致しない事が同値」と示すには、あと重要な証明が必要で
「全ての無理数の正則連分数展開が一種類しかない事を示して元の数と一対一で対応する事」を示さなければなりません。
可能でしょうけど、それが示せなければeが複数の正則連分数展開を持つ可能性を潰せないですよね。
方針としては大変ですよね。もう少しエレガントな証明はありませんか?
>>7
問題がシンプルなんで大学入試の範疇でも証明できそうな気がするんですが、なかなか難しいです。
14:1 ◆9bDYe58ke6
13/02/27 17:25:44.97 .net
↑のトリップはテストです。こっちがホンモノ
15:１３２人目の素数さん
13/02/28 11:25:08.06 .net
意外に難問だ。e^2が無理数である事すら証明できない。
16:１３２人目の素数さん
13/02/28 14:53:30.87 .net
eが超越数であることの証明
URLﾘﾝｸ(mathematics-pdf.com)
これを少しいじれば・・・・・
17:あのこうちやんは始皇帝だった
13/02/28 19:13:03.68 .net
＞＞１５
２０代の、無職の、ごくつぶしがあああああああああああああ！！！！！！！！！！！！！！！！！！！！
死ね！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！！
18:１３２人目の素数さん
13/02/28 22:07:44.01 .net
>>12
eの連分展開の証明で簡単なものは1ページくらい（まあ
計算全部書くと大変だがｗ）で、高校数学でもできる話。
君の言う補題を「大変」と思うなら、大変だろうな。
なお、連分展開つかって、eの超越性は比較的簡単に
示せるので、その意味では二次方程式の解にないことを
示せる人は超越数であることまですぐにわかるという意味では、
簡単でないというのは確か。
19:１３２人目の素数さん
13/03/02 15:08:47.48 .net
有限マクローリン展開
e^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
この２式より a = 0 となり矛盾■
20:１３２人目の素数さん
13/03/02 19:52:50.35 .net
>>18
訂正
有限マクローリン展開の最終項に x^n かけるの忘れてた
なので e^(-θ)/n! のところ (-1)^n e^(-θ)/n! に変更
証明の５行目は
|(n-1)!P[n]| = |ae^θ + (-1)^n ce^(-θ)|/n ≦ { |a| e^θ + |c| e^(-θ) }/n→ 0 (n → ∞)
に変更
21:1 ◆qIIyOFM01s
13/03/03 04:28:29.84 .net
天才だ。
22:１３２人目の素数さん
13/03/04 01:48:13.65 .net
これなら大学入試レベルでいけそうだな
東大あたりで出してくんないかな
23:１３２人目の素数さん
13/03/04 02:02:35.23 .net
ノーヒントだと無理>_<でも、うまくいくと分かっている前提で読めば>>18は二行目で先が見えるな
ここまでヒントがあれば一応問題になる…か？
24:１３２人目の素数さん
13/03/04 06:49:53.15 .net
有限マクローリン展開をヒントに出してやればイケそうだね。
18の方法で一般N次方程式に拡張して超越性まで証明できんのかな？
大学入試なら
>>1の設題を小門(1)にして3問展開で最終的に超越性まで示すようなカッコいい問題にして欲しい。
25:１３２人目の素数さん
13/03/04 15:49:09.93 .net
18の方法はe^(-1)を使うところが肝だから、
同じ方針では3次方程式相手では難しいのか。
e^2やe^3に対しては剰余項*(n-1)!が発散するから
二次方程式だからこそ高校数学でも解けるという絶妙な問題だね。
26:１３２人目の素数さん
13/03/04 16:14:35.07 .net
本当に久しぶりに数学板らしいスレを見た
27:１３２人目の素数さん
13/03/04 17:27:18.07 .net
天書の証明の29ページあたりにe^4が無理数であるらしい事の証明が載ってるんだが、よく解らん。
誰か解説ｷﾎﾞﾝﾇ
URLﾘﾝｸ(www.iecn.u-nancy.fr)
28:あのこうちやんは始皇帝だった
13/03/04 19:31:11.18 .net
>>26
ニートの、ごくつぶしのクソガキ！
抹殺するから、覚悟しとけ！！！！！！！！
29:１３２人目の素数さん
13/03/04 21:08:55.42 .net
>>26
要するにその本では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が超越数である事はほぼ明白になるね。
30:１３２人目の素数さん
13/03/05 02:43:36.67 .net
スレタイがクソで書き込みも全部クソ
31:１３２人目の素数さん
13/03/05 19:22:21.26 .net
＞メンドいだけでたぶんできると思う。
全然できる気がしねえ…
32:1 ◆9bDYe58ke6
13/03/05 23:01:13.27 .net
たぶんムリ
33:１３２人目の素数さん
13/03/06 10:16:08.15 .net
有限マクローリン展開って高校数学レベルで証明できるっけ？
もしできるならe^xの有限マクローリン展開を求めさせて
それから>>1を解かせてもいいね
34:１３２人目の素数さん
13/03/06 10:33:48.94 .net
べき級数が収束して=はともかく、有限で切るなら平均値の定理を使うだけだからできるでしょ
35:１３２人目の素数さん
13/03/08 09:39:14.25 .net
背理法を用いて、2次関数y=x^2+C、Cは定数、が平面R^2上の点(0、C)を通ること、
2次関数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となって矛盾が生じる。
36:１３２人目の素数さん
13/03/08 10:05:16.09 .net
訂正出来るとは思うが、>>34の3行目の
>及び2つの1次関数y=ax、y=-ax、a≠0は定数、が共に座標平面上でx、y両軸に対称
は、「共に」を除き、2つの1次関数のグラフを同時にイメージして読むか、或いは
>及び2つの1次関数y=ax、y=-ax、a≠0は定数、が共に座標平面上でy軸に対称
の間違い。
37:１３２人目の素数さん
13/03/08 10:38:23.33 .net
eの性質はどこで使ってるの？
√3+1とかで同じ矛盾導けんじゃ？
38:１３２人目の素数さん
13/03/08 12:37:38.88 .net
>>36
eは無理数だから、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次方程式の重根ではなくなる。
39:１３２人目の素数さん
13/03/08 12:45:11.42 .net
>>37の上から4行目の「y軸についての交点に関する」は「グラフの交点に関する」か何かに訂正。
40:１３２人目の素数さん
13/03/08 14:07:41.60 .net
>>37の下から4行目の
>計4つのグラフの交点の総個数は16個になり、4個ではなくなる。
の「16」はあり得なかった。イメージが変だった。
何れにしろ総個数が4にならないことは確か。
あと、下から2行目の
>すべての点から長方形が作れず、
は
>すべての点を用いて長方形が作れず、
と訂正。
41:１３２人目の素数さん
13/03/08 14:18:55.23 .net
>>39の下から4行目の計4つのグラフの交点の総個数は、正しくは「8」か。
42:１３２人目の素数さん
13/03/08 17:17:57.15 .net
これあってんの？分かる人説明お願いします~_~;
ある実数を解に持つ二次方程式の判別式がなぜ初めから解るんだ？ｅが実は√127-8.551と同値だったりする可能性を考慮したら破綻しそうな気がするんだが。
43:１３２人目の素数さん
13/03/08 18:56:05.31 .net
気科学的考察とか長々と書いてるけど、eがax^2+bx+c=0の解なら-eはax^2-bx+c=0の解
って言ってるだけでね？
44:１３２人目の素数さん
13/03/08 20:20:57.45 .net
＞e^2+C=(-d)eとなって、あとは-(-e)^2-C=d(-e)、つまりe^2+C=deであることが
多分、ここが間違い
y=x^2+Cとy=-dxがx=e上で交わるとき、y=-x^2-Cとy=dxもx=e上で交わるね
（yの値が反転するだけでxの値は反転しない）
45:１３２人目の素数さん
13/03/08 20:34:00.35 .net
横レスだが、そもそも1行目の
＞eは無理数だから、eは方程式ax^2+bx+c=0の重根となって、
この時点からワケが分からないのだが。
何で重根になるの？
「eは無理数である」という事実だけから そんなことが言えるの？
言えないよね？
46:１３２人目の素数さん
13/03/08 20:39:16.40 .net
"有理数" の間違いだとしても間違いかな……。
47:１３２人目の素数さん
13/03/08 20:48:53.66 .net
何でeが重根になるのか全く分からんが、もし重根になったとしても、
今度は別のツッコミが発生する。
2次方程式 ax^2+bx+c=0 が重根を持つならば、その重根は －b/(2a) と表される。
従って、もしeが方程式 ax^2+bx+c=0 の重根となるならば、e＝－b/(2a) が成り立つことになる。
今の場合、a,b∈Z であるから、eは有理数となってしまい、eが無理数であることに矛盾する。
幾何学的考察が全くいらないｗｗｗｗｗｗｗｗｗ
48:１３２人目の素数さん
13/03/08 21:08:54.48 .net
>>37は>>36を受けてだからeと√3+1とかの違いを説明してるだけじゃね？
49:１３２人目の素数さん
13/03/08 21:23:58.86 .net
>>47
幾何学的考察が先にあって、その結果として
「eは重根になる」という結論が得られた …… (*)
のであれば、同じ論法が「√3＋1」にも適用できてしまうのではないか、
という危惧が発生する。この危惧を払拭するには、その幾何学的考察が
「eには適用できて√3＋1には適用できない」
ことの理由を説明しなければならない。で、その理由の一行目が
＞eは無理数だから、eは方程式ax^2+bx+c=0の重根となって、
なのだから、これは循環論法である。
ここから考えられるのは次の2つ。
・実際に循環論法であり、つまりは証明になってない。
・循環論法に陥るのは(*)から出発した場合であるから、(*)自体が間違い。
1行目の場合は、そのまま「証明になってない」。
2行目の場合は、幾何学的考察を経由せずに「eは重根になる」という
結果が得られていることになり、この場合、>>46のツッコミが成立するｗｗ
どっちに転んでもアホｗ
50:１３２人目の素数さん
13/03/08 21:30:42.62 .net
eが無理数であることは別途証明できるから循環論法といっていいのやら…
51:１３２人目の素数さん
13/03/08 21:41:37.39 .net
>>49
むしろそっちの方が>>48に合致するんだが。
eが無理数であることを別途証明してあるとして、
その上で>>48を再び読んでごらんｗ
そもそも、eが無理数だと何で「重根」になるのか全く
書かれていないので、本来問題にすべきはコレなんだがね。
52:１３２人目の素数さん
13/03/08 21:43:17.54 .net
＞eに限らず、判別式が0になるような無理数であれば、同様な議論が成り立つ。
とあるからeが判別式=0になる無理数であることは分かっていて、それを使うと幾何学的考察ができると>>37は言ってるんだと思うのだが
eが無理数であることはともかくとして、eが判別式=0になることはどうやって分かったんだという疑問が残る
そして、eが判別式=0であることが分かるならそこから幾何学的考察をしなくても>>46で済む話だということになる
53:１３２人目の素数さん
13/03/09 00:33:14.13 .net
>>41-50
そもそも、私=>>34などにとっては、むしろeが無理数であることから直接eが超越数であることを示す方が簡単だ。
ただ、これをするには今度は主に少し複雑な解析的議論をビシビシやることになって、ここに書く気がしない。
そして、幾何学的議論もすることになり、話は長くなる。
少なくとも代数的数と超越数の言葉位は知らないと話にならない。
54:１３２人目の素数さん
13/03/09 00:38:30.47 .net
新手の荒らしかよｗ
せっかく>>33までいい流れになってたのに何故こうなった？？
55:１３２人目の素数さん
13/03/09 00:43:33.97 .net
>>41-51
普段している研究と混ぜこぜにしてしまったようだ。
研究内容から前もってeが判別式=0になることがスケスケで見えてしまった。
確かに>>37のような幾何学的考察は不要だった。
56:１３２人目の素数さん
13/03/09 00:51:28.36 .net
ん？
57:１３２人目の素数さん
13/03/09 00:53:39.23 .net
>>53
荒らしではないな。
ただ、私の方法だと初等的に示すには話が少し長くなるだけ。
58:１３２人目の素数さん
13/03/09 01:04:02.87 .net
ん？
59:１３２人目の素数さん
13/03/09 01:21:20.51 .net
>>52
どうせこのスレ1000まで行かないんだから、
ビシビシ書いても誰も困らないと思うよｗ
代数的数も超越数も知ってるから問題なし。
知らない奴にはwikiのリンクでも貼っておけばよし。
60:１３２人目の素数さん
13/03/09 02:11:24.21 .net
>>58
それが、紙に書いた式を見ると、ここに書くのが難しいような式が多く出て来て、
おまけにe^eが超越数であることなども示せる手法だから、ここには書けない。
2ちゃんの式より複雑であることは間違いない。
ここに書いたら、1つの式を書くのに
(4、6個も括弧を使って括るような式)+(4、6個も括弧を使って括るような式)
みたいな式を幾つも書くことになり、ややこしくなると思う。
勿論、式には数だけでなく記号も出て来るw
61:１３２人目の素数さん
13/03/09 02:24:35.12 .net
いやここまでのレスから本人の勘違いってことがわかるから続けなくていいよ
62:１３２人目の素数さん
13/03/09 02:38:48.21 .net
e^e, π^πが超越数かは未解決
おめでとう
63:１３２人目の素数さん
13/03/09 02:43:18.54 .net
>>60
まあ、多くの人はそう感じるだろうな。
鍵になる概念は、どちらかというと解析的概念ではない。
ではでは～。
64:１３２人目の素数さん
13/03/09 02:44:17.12 .net
また数学板で伝説が一つ誕生したわけか
65:１３２人目の素数さん
13/03/09 02:51:09.26 .net
>>61
位相群って如何なるモノか知ってる？
66:１３２人目の素数さん
13/03/09 02:51:31.06 .net
e+πが無理数なことも証明済みだっけ
約一名にとっては
67:１３２人目の素数さん
13/03/09 02:54:06.00 .net
>>64
いきなりどうした？
68:１３２人目の素数さん
13/03/09 02:55:34.79 .net
>>65
うん、これも位相群が恐ろしい程までに大きな威力を発揮する。
あとは論文にするだけ。
69:１３２人目の素数さん
13/03/09 02:59:23.12 .net
東大入試作問スレでも問題出しているやつだろ？
70:１３２人目の素数さん
13/03/09 03:02:59.30 .net
こいつ？
★東大入試作問者になったつもりのスレ 第二十一問
ｽﾚﾘﾝｸ(math板:338番)
338 名前：１３２人目の素数さん[] 投稿日：2013/03/08(金) 17:00:54.38
>>337
こうやって簡単な問題に答えて
スルーしていく問題こそが本当の問題なんですよ・・・。
そんな1分くらいで解けるような問題なんぞ出す意味が無いですから。
>>333へ。
340 名前：１３２人目の素数さん[] 投稿日：2013/03/08(金) 17:22:20.63
キモくしてるんですよ・・・。
2ch初心者ですか？・・・。
あぁ...お願いしますよぉ。
71:１３２人目の素数さん
13/03/09 03:03:09.85 .net
>>66
いや、ちょっとね。
単なる独り言。
72:１３２人目の素数さん
13/03/09 03:19:05.56 .net
>>68-69
私は予備校教師でもなければ東大入試モドキの問題なんか一切出していない。
>>1を解くことについては、むしろ予備校教師やそのスレで問題出している人の方が能力は上だろう。
73:１３２人目の素数さん
13/03/09 03:53:04.60 .net
>>61
>>65
URLﾘﾝｸ(en.wikipedia.org)
74:１３２人目の素数さん
13/03/09 05:12:18.24 .net
>>72みたいに>>61と>>65に何の文もなくただサイトだけ出されてもな～。
何いいたいんだか趣旨が分からない。
>>61と>>65の各文は様々な意味に受け取れ、幾らなんでも空気読むことを要求し過ぎだ。
もはや文脈がつながらなくなっている。
75:１３２人目の素数さん
13/03/09 05:28:23.23 .net
とりあえず幾何考察とやらを図示して模範回答をキャプして、jpg貼れや。エクセルでいいから
76:１３２人目の素数さん
13/03/09 05:50:08.35 .net
>>74
余計なことを2チャンでする気はない。
位相群や位相体の構成といって通じないようだったら、私の考え方は分からない。
2チャンの目的の達成のためだけなら、多くの幾何考察もいらない。
することは、どちらかというと主に解析的なこと。
77:１３２人目の素数さん
13/03/09 05:54:31.78 .net
>>34
>>37
思いっきり突っ込まれっちゃったからね
もう書けないんでしょう
78:１３２人目の素数さん
13/03/09 05:55:31.83 .net
> どちらかというと解析的概念ではない。
79:１３２人目の素数さん
13/03/09 06:01:43.83 .net
理屈っぽくなるが証明できるとかおかしな表現使う奴が
数学のプロとは思えん
80:１３２人目の素数さん
13/03/09 06:03:21.66 .net
このスレの趣旨からして位相群やら高校生がチンプンカンプンな概念は抜いて証明しないと。
連分数や無限積分使えば証明できんのは明白なんだから、いかにシンプルで初等的に解けるかが大事。二次関数のグラフから格子点とか使って中学生でも解るように図示出来たらスマートだけどね。
81:１３２人目の素数さん
13/03/09 06:06:00.89 .net
>>76
>>1の証明のためだけなら幾何考察は不要で、ここに書く気はない。
位相体を構成して、あとは解析ビシビシで十分。
本当はe=Σ(k=0→∞)1/k!と無限級数表示した時点で、eは既に超越数になっている。
82:１３２人目の素数さん
13/03/09 06:06:07.53 .net
> eが無理数であることから直接eが超越数であることを示す方が簡単
> eが判別式=0
83:１３２人目の素数さん
13/03/09 06:12:37.93 .net
>>81
おやおや、バカだぜこいつwwwですか。
まあいいけど。
84:１３２人目の素数さん
13/03/09 06:15:00.33 .net
√2も無限級数表示でけるよね？超越数の概念が拡がったねw
85:１３２人目の素数さん
13/03/09 06:17:22.05 .net
すべての実数は無限級数で表せるから何が言いたいのか
86:１３２人目の素数さん
13/03/09 06:23:34.30 .net
>>73
>>61の意味がわからないって？
>>72もアドレスを見ただけで言いたいことはわかるが
87:１３２人目の素数さん
13/03/09 06:28:29.79 .net
>>83-84
もはや話にならん。
位相体の構成と解析ビシビシといって分からないようならダメだ。
88:１３２人目の素数さん
13/03/09 06:30:03.31 .net
せやせや
89:１３２人目の素数さん
13/03/09 06:33:10.20 .net
解析ビシビシね、世の中には知らない概念がたくさんあるんですね。インターネッツで調べて勉強してきます！
90:１３２人目の素数さん
13/03/09 06:39:51.76 .net
> ただ、これをするには今度は主に少し複雑な解析的議論をビシビシやることになって、ここに書く気がしない。
> そして、幾何学的議論もすることになり、話は長くなる。
> 鍵になる概念は、どちらかというと解析的概念ではない。
91:１３２人目の素数さん
13/03/09 06:42:45.16 .net
>>89
位相体の構成と解析ビシビシって言ってわかんないの？
遅れてるねキミ
92:１３２人目の素数さん
13/03/09 06:46:23.43 .net
運営乙
93:１３２人目の素数さん
13/03/09 06:47:31.83 .net
>>85
>>72のサイトだけなら意味は分かるが、
それを>>61や>>65と一緒に挙げた意味が分からない。
単純に列挙するだけならサイトだけで十分。
>>88
数学は、勉強しても脳ミソや知識を使わないと意味がない。
94:１３２人目の素数さん
13/03/09 07:00:49.93 .net
これ途中から別のヤツ書いてるだろ（笑）
95:１３２人目の素数さん
13/03/09 07:12:31.70 .net
>>93
いや、確かに内容は変わっているけど書いているのは同一人物だよ。
最初は高校レベルの範囲だけで>>1を解こうとしたが出来なかった。
96:１３２人目の素数さん
13/03/09 08:13:04.36 .net
超越数と言えば、「ベイカーの定理」を使ってどうこうという話はよく聞く。
「超越数 ベイカー」でググると、一番上にwikiがヒットし、
上から5,6番目には「超越数論入門」と題したpdfもヒットする。
wikiについては、その内容はそのままベイカーの定理であり、
ちゃんと超越数についての話題も載っている。また、「超越数論入門」の
pdfでは、ベイカーの定理についてちょっとだけ触れられている。
このように、超越数の理論において、ベイカーの定理は非常に有名であるから、
「ベイカーの定理も知らんのか。話にならん」というのであれば話は分かる。
だが、>>86はそうではない。
「位相体」を使ってどうこうという話は、俺自身は全く聞いたことがない。
「超越数 位相体」でググると、この2つをリンクさせて
論じているサイトがまったくヒットしない。
「topological field transcendental number」としてググっても、
この2つをリンクさせて論じているサイトがまったくヒットしない。
従って、仮に "位相体の構成と解析ビシビシ" とやらで
超越数について論じることが出来るのだとしても、
その方法は極めてマイナーであるか、あるいは極めて
独創的であるかのどちらかである。
どちらにせよ、ほとんど知られていない方法ということになるので、
>>86の返答の仕方はおかしい。お前しか知らない方法をチラつかせて
「話にならん」というのは酷である。
97:１３２人目の素数さん
13/03/09 10:19:45.23 .net
二次関数のグラフで解けたらかっこ良いよな！eの有理近似式二つ、上限と下限使って説明出来んかな？
98:１３２人目の素数さん
13/03/09 10:35:22.61 .net
ああ、マジで頭でっかちの難関受験生に出題してどんな珍答考え出すか見てみたい。
99:１３２人目の素数さん
13/03/09 14:46:15.37 .net
e^2+be+c=0
e^2+beは整数ではない(定石の証明で示せるので省略)ので駄目
Q.E.D.
100:１３２人目の素数さん
13/03/09 15:58:14.66 .net
>>98
圧巻だ。
101:１３２人目の素数さん
13/03/09 16:49:52.78 .net
その鮮やかな解法見た覚えが…と思ったら>>9で既出だった
102:１３２人目の素数さん
13/03/09 18:44:10.61 .net
解析ビシビシってどこで勉強できんの？
103:１３２人目の素数さん
13/03/09 18:48:39.19 .net
どこで？と訊かれたら、本や大学の講義で、としか答えようがあるまい
104:１３２人目の素数さん
13/03/09 18:56:22.14 .net
e^2+be+c=0
解析ビシビシするとe^2+beは整数ではないことがわかる
Q.E.D.だよワトソン君
105:あのこうちやんは始皇帝だった
13/03/09 19:34:58.75 .net
＞＞１０３
テメ～、いいかげんにしねえと、ブッ殺すぞ！
３０代の、無職の、知的障害の、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、ゴミ・クズ・カス・無能・虫けらのクソガキ！
死ね！！！！！！！！！！！！！！！！！！！！！！
106:１３２人目の素数さん
13/03/09 19:47:40.28 .net
>>101
ナマギーリ女神が教えてくれる (そんなものがあればの話だが)。
107:１３２人目の素数さん
13/03/09 22:26:55.97 .net
廃人だよ全員集合
108:１３２人目の素数さん
13/03/10 00:15:32.01 .net
>>1
解析ビシビシにより自明
QED
109:１３２人目の素数さん
13/03/10 02:19:13.73 .net
>>1
eが超越数である事実を使っちゃいけないとなってるけど、事実じゃなく証明を使えばいいじゃん。
任意次式での証明を二次式限定で言い直せばいいだけ。
110:１３２人目の素数さん
13/03/10 02:22:45.96 .net
どっちかというとスレタイ的には、任意の次数に拡張できない、二次方程式限定の証明のほうに興味があるような (あるとして)。
111:１３２人目の素数さん
13/03/10 08:11:45.32 .net
16の証明みたいな高校生でも理解できるエレガントな解法を期待してるんでしょ？二次限定なら一般に知られてる無限積分表示を使った超越性の証明のような難解な手続き不要な方法があってもおかしくないから。だが実際やってみるとなかなか難しい。
112:１３２人目の素数さん
13/03/10 08:15:03.52 .net
そもそもeの超越性は高校生でもわかるような初等的証明が知られているのだが。
というか、おれはそれしか知らないわけだが。
113:１３２人目の素数さん
13/03/10 08:30:47.32 .net
>>111
連分数展開ですか？
114:１３２人目の素数さん
13/03/10 08:37:52.40 .net
エルミートの証明
115:１３２人目の素数さん
13/03/10 10:25:17.16 .net
>>1
お～い、何とか高校の範囲？で示せたぞ～い。
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+de+C=0であって、e^2+C=(-d)eとなる。
1)eが重根であるとき。このときは>>34、>>37の如き幾何考察で済む。
2)eが重根でなくかつC>0のとき。このとき、2次関数y=x^2+Cのグラフは下に凸だから
直線y=(-d)xと2点で交わり、(e、0)ではない方の交点のx座標はC/e。
ここに、eは方程式x^2+dx+C=0の根であることに注意して
2つの多項式x^2+dx+C、x-eに因数定理を適用すればx^2+dx+C=(x-e)(x-C/e)が分かる。
よって、y軸対称な2次関数y=x^2+Cのグラフは(±e、0)、(±C/e、0)の計4点を通る。
故に、(C/e)^2+d(C/e)+C=0、(-C/e)^2+d(-C/e)+C=0から
e^2+de+C=0、e^2-de+C=0であって、e^2+C=0からe^2=-Cが有理数となって
従ってde=0、d≠0からe=0が得られ、何れにしろeやe^2は共�
116:ﾉ有理数となって矛盾が生じる。 3)eが重根でなくかつC>0のとき。基本的には2)のときと対称性を用いた同じ考え方でよい。 1)、2)、3)の何れの場合も矛盾が生じる。 昨日はしくじって場合分けしなかったが、これでよろしい？
117:１３２人目の素数さん
13/03/10 10:38:18.17 .net
>>114の
>よって、y軸対称な2次関数y=x^2+Cのグラフは(±e、0)、(±C/e、0)の計4点を通る。
は
>よって、y軸対称な2次関数y=x^2+Cのグラフは(±e、e^2+C)、(±C/e、∓d(C/e))の計4点を通る。
か何かの間違い。4点のy座標はテキトーに計算してほしい。
118:１３２人目の素数さん
13/03/10 10:46:56.73 .net
2)と3)は、同じことやってるから1つにまとめていいか。
1)も(x-e)^2=x^2+dx+Cで恒等式の話でもいいか。
119:１３２人目の素数さん
13/03/10 10:50:53.75 .net
全然駄目なものを何回も書かなくてもいいよ。
120:１３２人目の素数さん
13/03/10 11:06:28.73 .net
>>117
eとe^2が共に無理数とはならないようなら上の考え方は通用しないけど、
eとe^2は共に無理数だから上の考えは通用する。
121:１３２人目の素数さん
13/03/10 11:08:18.13 .net
＞故に、(C/e)^2+d(C/e)+C=0、(-C/e)^2+d(-C/e)+C=0から
(-C/e)^2+d(-C/e)+C=0なんてでないよ。
122:１３２人目の素数さん
13/03/10 11:26:28.26 .net
＞>よって、y軸対称な2次関数y=x^2+Cのグラフは(±e、e^2+C)、(±C/e、∓d(C/e))の計4点を通る。
＞か何かの間違い。4点のy座標はテキトーに計算してほしい。
何で片方だけｙ軸対称に出来て片方はｙ軸対称に出来ないのか？
123:１３２人目の素数さん
13/03/10 11:29:55.83 .net
>>118
ｅの代わりに>>36なんかでも証明できることになるが。
124:１３２人目の素数さん
13/03/10 11:40:07.01 .net
>>121が決定的だな。
eに関する前提条件として「eとe^2が無理数であること」しか使ってないのであれば、
(1＋√3)でも同じ論法が通用してしまう。なぜなら、(1＋√3)と(1＋√3)^2 は
無理数だからな。
前回は、eに関する前提条件として「eが重根になること」を使っていたようだから、
まだ証明の体は成していた(eが重根になることの証明が無いので不完全ではあるが)。
しかし、今回は完全にダメだな。
125:１３２人目の素数さん
13/03/10 11:43:40.63 .net
だよね、この人の言うように整係数二次方程式の一方の解が解ってる時にもう一方の解の性質を調べられたら解析ビシビシ使わないでも解るかもしれないけど。難しいよね。対称式使ってもb/a-eがもう一方の解だってしか言えないし。
一方の解が√3+1でももう一方の解が常に√3-1とはわからないんだよね。
126:１３２人目の素数さん
13/03/10 11:57:25.58 .net
いやまてよ、e-b/2aが何らかの整数の平方根になる事実を用いれば、、。ヒントはここまで。
127:124
13/03/10 12:00:31.34 .net
言いながら俺もそっからどうすりゃいいか解らんのだが。
128:１３２人目の素数さん
13/03/10 12:10:34.91 .net
>>124
もし e 自体が s＋t√u の形に表されるならば、
その事実を使っても矛盾が出ない。そして、
「e 自体が s＋t√u の形に表される、ということはあり得ない」
ということを示すのが>>1の問題そのもの。
従って、>>124の事実はまず役に立たない。
129:124
13/03/10 12:19:58.61 .net
>>126
Σ（ﾟдﾟlll）
130:１３２人目の素数さん
13/03/10 13:02:36.03 .net
>>119-120
あ～、確かに間違いだw
まあ、いいや。下書きして考えて出直すわ。
やはり下書きしないではムリだ。
解析ビシビシで解けるか分からんが、下書きして出直すわ。
131:１３２人目の素数さん
13/03/10 13:30:08.95 .net
e^xの微分の性質使って示せないかな？eのかわりに√p+qを底に持つ指数関数は微分しても不変にならない事を示すとか。ようするにlog(√p+q)は絶対1にならない事を示すのと同値だけど。
132:１３２人目の素数さん
13/03/10 13:52:48.10 .net
ax^2+bx+c∈Z[x],a≠0
をモニック化し、f(x)=x^2+px+q∈Q[x]・・・(1)
eが重根なら、f(x)=(x-e)^2でなければいけないが、(1)に反するので、eは重根にはならない。
既出？
133:１３２人目の素数さん
13/03/10 14:30:22.73 .net
>>130
まだ出ていないと思うが、eは無理数であることを使ってよいから、
本来は2次方程式の根の公式に注意すれば、
eは重根にならないことがすぐいえることが分かった。
>>128の「解析ビシビシ」は>>1に合わせた高校レベルでの範囲のことな。
高校を遠慮なく逸脱してよいならもう既に解析ビシビシで出来るんだが、
高校に合わせた>>1向けの解析ビシビシはまだ出来ていない。
従って、位相体などは一切使わずに解析ビシビシやってみるわ。
果たして出来るかどうかは分からんが。
134:１３２人目の素数さん
13/03/10 14:35:46.03 .net
どんな体にどんな位相入れてんの？
135:１３２人目の素数さん
13/03/10 14:55:17.15 .net
>>110
eの超越性の証明は、πのと違って難しくない（高校生でもなんとか
理解できる範囲）。二次限定の証明と超越性との間の差が小さいの
だと思う。
最後は「僕にわかる証明じゃないと意味がない」論争になるのと、
解析ビシビシな人が、位相体とか自分でもわかってない言葉を
使って、ぐだぐだ ←今ここｗ
136:１３２人目の素数さん
13/03/10 15:22:58.21 .net
>二次限定の証明と超越性との間の差が小さい
それは無いと思う。
137:１３２人目の素数さん
13/03/10 16:37:20.69 .net
eの超越性の初等的な証明は単純明快であっさりしてるけど、
このスレに書いてある二次限定での証明はゴテゴテと難しそう。
138:１３２人目の素数さん
13/03/10 16:40:27.81 .net
文体で同じ人ってわかるよね
139:１３２人目の素数さん
13/03/10 17:01:53.77 .net
もうそうね
140:１３２人目の素数さん
13/03/10 17:41:28.09 .net
エルミートの方法を二次限定でやったらもっとシンプルにできると言うのか？
141:１３２人目の素数さん
13/03/10 19:34:57.73 .net
そうじゃなくて二次限定ならエルミートの方法よりもっとシンプルな証明方法（例えば>>18-19みたいな方法）があるんじゃないのってことだと思う
142:１３２人目の素数さん
13/03/10 19:39:09.05 .net
>>18の方がややこしいだろ
143:１３２人目の素数さん
13/03/10 19:55:32.18 .net
>>140
お前、噛みつくポイントがなんかずれてるよ…
144:１３２人目の素数さん
13/03/10 20:03:12.15 .net
ずれてないと思う
145:１３２人目の素数さん
13/03/10 20:32:32.51 .net
＞eの超越性の初等的な証明は単純明快であっさりしてるけど、
＞このスレに書いてある二次限定での証明はゴテゴテと難しそう。
↑
比較対象のうちの片方(1行目の、初等的な証明とやら)が完全に抜け落ちてるので、
この状態で「>>18の方がゴテゴテと難しそう」などと言ったところで他人は比較判断できない。
まずはその「初等的な証明」とやらの概要を説明してもらわなければならない。
そうすれば、他人も比較作業に参加できるようになる。
文脈から察するに、少なくともエルミートの方法では無いようだが、はてさて。
146:１３２人目の素数さん
13/03/10 20:45:30.31 .net
位相体を一切使わない解析ビシビシ
ｽﾚﾘﾝｸ(math板)
147:１３２人目の素数さん
13/03/10 21:20:55.69 .net
エルミートの証明>>15でちょっと質問があるんだが
証明の中で無限級数に関する三角不等式使ってるところがあるのだが（１ページ目１６～１７行目）
これって高校の範囲で証明可能だっけ？
つまらん質問ですまん
148:１３２人目の素数さん
13/03/10 21:28:57.94 .net
「a_n ≦ b_n ならば lim a_n ≦ lim b_n」
は、高校数学では暗黙に使ってる。
149:１３２人目の素数さん
13/03/10 21:33:22.70 .net
証明可能だしｘが正の時しか使わないから証明不要。
150:１３２人目の素数さん
13/03/10 21:45:22.33 .net
>>146-147
サンクス！
151:１３２人目の素数さん
13/03/10 23:32:46.20 .net
Σの中にΣがあるのが気持ち悪い。
152:１３２人目の素数さん
2013/03/1
153:1(月) 00:07:33.83 .net
154:１３２人目の素数さん
13/03/11 00:13:09.17 .net
>>149
大学入試の解答で二重積分や二重Σがあれば採点もされないって話もあるしな。
155:１３２人目の素数さん
13/03/11 00:18:59.28 .net
>>151
いや、問題によるでしょ。使わなくていい問題で使ってるなら、往々にして間違ってるから採点しないと思うけど、
母関数を使った問題なんかでは当たり前に二重和でてくるし。よっぽど人数絞ってるんでない限りはデマみたいなもんだと思うよ。
156:１３２人目の素数さん
13/03/11 03:29:42.97 .net
文体で同一人物云々といっておられるようだが、私=>>131は>>131からは一切書いていないぞ。
といって、まだ解析ビシビシだけの簡単な方法では出来ていないけどな。
>>132-133
如何なる位相体か教えてもはよいが、それ教えると論文のネタばらしになるから、教えないままでいる。
157:１３２人目の素数さん
13/03/11 03:44:40.50 .net
>>133
>二次限定の証明と超越性との間の差が小さいのだと思う
これだけだと意味がよく分かりませんね。
「二次限定の証明と超越性との間の差」とは何ですか？
単に差といっても色々あるんですが。一体何の差ですか？
158:１３２人目の素数さん
13/03/11 04:00:29.44 .net
>>149-150
私の解析ビシビシの方法だと、そういう2重Σが出る式遠慮なく上等!!!
ってなってくるから、私の方法だとダメなようだな。
紙を見ると、もっと複雑なようだけどな。
高校に合わせた方法を編み出すことがかえって難しいわ。
159:１３２人目の素数さん
13/03/11 06:46:09.05 .net
要するにエルミートによる初等的な証明を理解できない人がファビョってるわけだ
160:１３２人目の素数さん
13/03/11 07:23:47.49 .net
>>156
定理の証明をすぐ見るようでは、何も面白みがない。
面白さ激減だ。定理の証明が演習に出ていたらどうするんだ？
ちなみに、エルミートの手法は、一般的ではなく、πの超越性の証明には通用しない。
そんな訳でリンデマンが少し軌道修正してπの超越性を証明した。
161:１３２人目の素数さん
13/03/11 07:28:38.22 .net
>>157
すごい誤爆だな。
162:１３２人目の素数さん
13/03/11 07:38:26.47 .net
>>158
歴史的にはそうだ。
上に挙げられている手法ではエルミートの不等式と名が付いており、
エルミート自身が行った方法か否かは知らないが、
歴史上は、エルミートが行った方法はπには通用しなかった。
だから、リンデマンがπの超越性を証明することになった。
163:１３２人目の素数さん
13/03/11 07:50:27.82 .net
>>159
１）なんで突然関係のない話をしてんの？
２）ｅに通用した方法がπに通用しないなんて普通だろ（>>18とか）
164:１３２人目の素数さん
13/03/11 07:59:41.86 .net
>>160
>>18をすぐ見るようでは、つまらなくなる。
ただそれだけのこと。
>>158の「すごい誤爆」が一体何を指すのかは分からないが。
165:１３２人目の素数さん
13/03/11 08:08:28.01 .net
>>161の「>>18を」は「>>18などの答えにつながるモノを」と書いた方がよかった。
166:１３２人目の素数さん
13/03/11 08:28:38.58 .net
ぶっちゃけ>>18よりシンプルな証明方法はない気がする
なぜならもしそのような方法が見つかるなら、それは同時にeが無理数であることのよりシンプルな証明が見つかることになるから
（eが無理数であることを示すのは、eが任意の整係数一次方程式の解でないことを示すのと同義）
167:１３２人目の素数さん
13/03/11 10:51:29.19 .net
>>163
要するにエルミートによる初等的な証明を理解できないわけね
168:１３２人目の素数さん
13/03/11 11:13:13.38 .net
煽りはいらんから議論しようぜ
ここは数学板なんだからさ
169:１３２人目の素数さん
13/03/11 11:28:52.27 .net
>>165
それは>>163に云ってるんだよな!?
170:１３２人目の素数さん
13/03/11 11:40:44.22 .net
>>166
どのへんが面白いの？
171:１３２人目の素数さん
13/03/11 13:05:40.58 .net
>>167
誤爆ですか?
172:1 ◆9bDYe58ke6
13/03/11 14:39:02.10 .net
皆さん、活発な議論していただいてありがとうございます。
1です。自分の疑問は>>18の方の解答でほぼ満足しています。
eは本当に二次
173:無理数ではないのかという二年来の疑問に簡潔な解答を与えて頂きありがとうございました。 連分数の性質も興味深く、より深い新しい考察に広げる事ができました。 エルミートの方法は以前読んだ事があり理解はしていますが、二次限定や三次限定で美しく記述する方法は無いかと苦悶して 解析ビシビシの方のような方法をいくらやっても簡単には説明できないので、 ２チャンの優秀な皆さんのお力を借りたいと思いました。 命題は高校生でも解るようなあっさり明快な物なのに、 鮮やかな回答が見つからない問題って珍しいですよね。 もっと良い解法があれば見てみたいです。
174:１３２人目の素数さん
13/03/11 14:49:54.12 .net
運営乙
175:１３２人目の素数さん
13/03/11 21:18:03.30 .net
二次限定では18の方法が一番簡潔なのは分かったけど
三次限定だとどうなるんだろう
無限級数使うとエルミートの方法みたいになっちゃうけど
これより簡潔な証明方法はあるんだろうか
176:１３２人目の素数さん
13/03/11 23:23:50.26 .net
三次の場合はなんかよく解らんぐらい難しい。天書の証明ではe^3の無理性の証明でe^6を使ってるから、たぶん特殊な六次式で補助命題いくつか証明してビシビシしないといかん気がする。
177:１３２人目の素数さん
13/03/12 07:10:14.68 .net
車輪の再発明
178:１３２人目の素数さん
13/03/12 07:13:17.26 .net
いや、寧ろ、壊れた車輪の発明というべきか？
179:１３２人目の素数さん
13/03/12 07:41:24.44 .net
むしろこれは与えられた仕事をこなすのに車輪のコストをどれだけ減らせるかという問題だな
180:１３２人目の素数さん
13/03/12 07:49:36.21 .net
猿が棒切れや石ころを利用するのに似ている
181:１３２人目の素数さん
13/03/12 10:41:16.94 .net
理系の学問なんてそういうもんだろ？なんでいちいち煽るヤツが絶えないかな？
182:１３２人目の素数さん
13/03/12 11:29:50.84 .net
幼稚な掲示板には幼稚な話題がふさわしい
183:１３２人目の素数さん
13/03/12 11:53:06.70 .net
煽りを正当化するための決まり文句みたいなもんだな
2チャンだからいいだろうって
そういうのうっとうしいと思う人たちだっているのに
そこまで思考を働かせる事はしないんだな
184:１３２人目の素数さん
13/03/15 19:47:51.33 .net
>>171
> 無限級数使うとエルミートの方法みたいになっちゃうけど
エルミートの証明では無限級数なんかつかわんよ
185:１３２人目の素数さん
13/03/15 23:48:36.85 .net
ハイ！ここの真ん中あたりに書いてあります！！
URLﾘﾝｸ(en.wikipedia.org)
このスレも終了です！おめでとうございます！！
186:１３２人目の素数さん
13/03/16 00:51:56.02 .net
>>181
>>110
＞二次限定なら一般に知られてる無限積分表示を使った超越性の証明のような難解な手続き不要な方法があってもおかしくない
187:１３２人目の素数さん
13/03/16 07:16:18.31 .net
一般に知られてるのはエルミートによる初等的な証明の方だろ。
188:１３２人目の素数さん
13/03/16 08:04:08.35 .net
＞（難問）eが二次方程式の解ではない事を証明せよ
(x-e)^2=0の解はx=e
189:１３２人目の素数さん
13/03/16 08:28:33.31 .net
>>1はエルミートの方法を知らずにスレ立てしたっぽいね。
190:１３２人目の素数さん
13/03/16 12:20:23.61 .net
>>185
>>169
＞エルミートの方法は以前読んだ事があり理解はしていますが、二次限定や三次限定で美しく記述する方法は無いかと苦悶して
191:１３２人目の素数さん
13/03/16 14:59:24.50 .net
>>184
二次式∈Z[X]
192:１３２人目の素数さん
13/03/16 15:57:37.06 .net
>>187
そんなことは知ってるだろうよ
スレタイに対してじゃないの
193:１３２人目の素数さん
13/03/16 16:18:19.16 .net
>>18を高校流の設問にしてみた。
n≧0に対して、f_n：R → R を以下のように定義する。
f_0(x)＝e^x－1,
f_n(x)＝∫[0～x]f_{n－1}(t)dt (n≧1)
(1) |x|≦1のとき|f_0(x)|≦(e＋1)|x| が成り立つことを示せ。
(2) n≧0, |x|≦1 のとき |f_n(x)|≦(e＋1)|x^{n+1}|/(n＋1)!
が成り立つことをnに関する数学的帰納法で示せ。
(3) f_n(x)＝e^x－Σ[k＝0～n](x^k) / k！ (n≧0, x∈R)
が成り立つことをnに関する数学的帰納法で示せ。
(4) eは有理数係数の2次方程式の解にならないことを示せ。
194:１３２人目の素数さん
13/03/16 17:06:33.04 .net
ごちゃごちゃしてわかりにくい
エルミートの方法でいいじゃん。
あれなら高校生でもサクッと理解できる。
195:１３２人目の素数さん
13/03/16 19:10:37.50 .net
>>190
じゃあエルミートを高校流の設問にして見せて
196:あのこうちやんは始皇帝だった
13/03/16 19:39:20.48 .net
>>191
オマエは、定職に就くのが先決だろがああああああああ！！！！！！！！！！
無職の、ごくつぶしの、クソガキがあああああああ！！！！！！！！！！！！！！
197:１３２人目の素数さん
13/03/16 20:06:26.59 .net
>>189
センスないね、君。
198:１３２人目の素数さん
13/03/16 20:19:09.46 .net
エルミートの方法って>>15だよね？
>>15では補題1.1の証明で e^x＝Σ[k＝0～∞](x^k)/k！ という等式を使っている。
また、無限級数に対する｜Σ[i＝0～∞]a_i｜≦Σ[i＝0～∞]｜a_i｜ という不等式も
使っている。最初からこれらを認めてもいいなら、>>18 は
より一層少ない設問にできる↓
(1) n≧1に対して
n！｜e－Σ[k＝0～n]1/k！｜≦1/n,
n！｜e^{-1}－Σ[k＝0～n]{(-1)^k}/k！｜≦1/n
が成り立つことを示せ。ただし、e^x＝Σ[k＝0～∞](x^k)/k！ (x∈R)が
成り立つことを使ってよい。
(2) eは有理数係数の2次方程式の解にならないことを示せ。
199:１３２人目の素数さん
13/03/16 21:52:06.43 .net
>>189でいいんじゃない？
(3)とか問題集でよく出てくる奴だし
200:１３２人目の素数さん
13/03/16 21:58:38.50 .net
良問だね。もし実際に出題されたら数セミとかでそれなりに話題になると思う。
大学入試問題を考えるスレとか無いの？
201:１３２人目の素数さん
13/03/16 23:28:36.45 .net
マクローリン展開は高校じゃやらんでしょ
202:１３２人目の素数さん
13/03/16 23:38:23.83 .net
eの無理数性の証明が大学入試に出たときは>>189っぽかったかなあ
あんまり良い問題とあh思わなかったが。
203:１３２人目の素数さん
13/03/17 19:40:42.27 .net
まあeの無理数性を証明するだけなら189の方法は大袈裟すぎるからな
204:１３２人目の素数さん
13/03/18 00:49:36.66 .net
大学入試だとテイラー展開使えない、e=Σ1/n!も直接には使えないので
迂遠になるのは仕方ない。
205:１３２人目の素数さん
13/03/18 06:14:43.35 .net
エルミートの証明は「無理数と超越数」に載ってるよ。
1ページくらいで簡単に証明してる。高校数学の範囲内だよ。
206:１３２人目の素数さん
13/03/19 23:20:05.34 .net
>>201の証明を大学入試風の設問にしてみました
n次多項式f(x)に対して、F(x) := -Σ[k=0,1,...,n] f^{k}(x)とおく（ここでf^{k}(x)はf(x)の第k次導関数を表す）
(1)任意の正整数kに対してf^{k}(x)の各係数はk!で割り切れることを示せ
(2)∫[0,x] e^(x-t) f(t) dt = F(x) - e^x F(0) を示せ
(3)正整数mと素数pに対してg(x) := x^p (x-1)^p …(x-m+1)^p (x-m)^(p-1)とおく
m!<pのときg^{p-1}(m)はp!で割り切れないことを示せ
(4)eが超越数であることを示せ
（すなわちeは整数係数のn次方程式(n=1,2,...)の解になりえないことを示せ）
207:１３２人目の素数さん
13/03/19 23:35:45.54 .net
上手い
208:１３２人目の素数さん
13/03/20 00:14:34.28 .net
難し過ぎるだろ（笑）
209:１３２人目の素数さん
13/03/20 00:49:10.85 .net
最近の入試は緩すぎだからこれぐらいの問題でむしろ丁度いいよ
210:１３２人目の素数さん
13/03/20 04:36:55.48 .net
くそすれ
211:KingMathematician ◆LoZDre77j4i1
13/03/20 05:49:00.63 .net
Re:>>205 入試に何を求める.
212:１３２人目の素数さん
13/03/20 08:09:20.52 .net
自作自演の練習所
213:１３２人目の素数さん
13/03/20 10:24:57.67 .net
なんで毎度毎度荒れるの
214:１３２人目の素数さん
13/03/20 11:42:46.43 .net
ただし超越数とは・・・の説明があったほうがいいかと。
215:１３２人目の素数さん
13/03/20 13:41:53.64 .net
ハイ！ここの真ん中あたりに書いてあります！！
URLﾘﾝｸ(en.wikipedia.org)
このスレも終了です！おめでとうございます！！
216:あぼーん
あぼーん.net
あぼーん
217:１３２人目の素数さん
13/03/20 16:22:27.65 .net
月刊大学への数学に投書してみては？
という要らん助言。
218:１３２人目の素数さん
13/03/21 23:26:29.90 .net
要らんならすなと助言
219:１３２人目の素数さん
13/03/22 14:19:32.43 .net
ハイ！ここの真ん中あたりに書いてあります！！
URLﾘﾝｸ(en.wikipedia.org)
このスレも終了です！おめでとうございます！！
220:１３２人目の素数さん
13/03/22 19:14:27.44 .net
>>215
ただリンクを貼るだけのお前より
それを大学入試で出題できるように
作問した>>202の方がはるかに有益だな
221:１３２人目の素数さん
13/03/22 22:34:50.43 .net
解けねーよ。
222:１３２人目の素数さん
13/03/23 07:43:02.09 .net
ハイ！ここの真ん中あたりに書いてあります！！
URLﾘﾝｸ(en.wikipedia.org)
このスレも終了です！おめでとうございます！！
223:１３２人目の素数さん
13/03/23 10:27:30.90 .net
このスレが賑わうのがそんなに悔しいの？
224:１３２人目の素数さん
13/03/23 11:01:30.54 .net
嫌なら見るな嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな 嫌なら見るな
嫌なら見るな嫌なら見るな
225:１３２人目の素数さん
13/03/23 21:24:03.84 .net
>>189と>>202参考にして３次無理数限定の証明ができないか考えてるが全然できないな
剰余項が|x|^n/(2^n * n!)で抑えられたら…と思ったがそんな単純には行かないな
226:１３２人目の素数さん
13/03/24 07:54:50.23 .net
>>221
そうそう、自分も同じトコでハマった、結論的には4次だろうが5次だろうが証明できるはずだが。
227:１３２人目の素数さん
13/03/24 10:46:51.81 .net
■ドラえもん募金が北朝鮮の核開発に使われている件■
公益財団法人東日本大震災復興支援財団 ← NPO支援組織、孫正義40億円募金団体
●登壇者一覧（50音順・敬称略）：（※）
荒井優（公益財団法人東日本大震災復興支援財団 専務理事） ← ソフトバンク
大西健丞（シビックフォース代表理事） ← 日本赤軍関係者、ドラえもん募金詐欺
駒崎弘樹（フローレンス） ← NHK委員
吉岡達也（ピースボート共同代表） ← 日本赤軍、北朝鮮関係組織
555 ：名無しさん＠１３周年[]：2013/03/13(水) 04:00:23.96 ID:nSHtnY4c0
>>470
ドラえもん募金の約９割を大西健丞氏のNGO経由で北朝鮮に送金ってどう思います？
●【テレビ朝日】ドラえもん募金の約９割を大西健丞氏のNGO経由で北朝鮮に送金か。
「テレビ朝日では、平成16年12月28日から平成17年1月31日まで 「ドラえもん募金スマトラ沖大地震被災者支援」
を行ってまいりました。 皆様から寄せられた善意の募金88,760,300円にテレビ朝日からの寄付金2,500,000円を加
え、 募金総額は91,260,300円となりました。 この結果、寄付先と金額は下記の通りとなりました。
募金総額 91,260,300円
ＡＭＤＡ 3,000,000円 3.28%
日本ユニセフ協会 3,000,000円 3.28%
日本赤十字社 3,000,000円 3.28%
ピース・ウィンズ・ジャパン 82,260,300円 90.13% ← 要注目 大西健丞
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
228:１３２人目の素数さん
13/06/05 23:56:45.45 .net
過去レス読まずにGoogleから来ましたが、この問題面白いね。高校生らしいエレガントな解法があるなら見てみたい。
229:狢 ◆yEy4lYsULH68
13/06/06 09:27:57.04 .net
狢
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
230:あぼーん
あぼーん.net
あぼーん
231:１３２人目の素数さん
13/06/07 20:04:41.06 .net
>>224
いまのところ>>18-19>>202が高校範囲の解法だな
232:あぼーん
あぼーん.net
あぼーん
233:狢 ◆yEy4lYsULH68
13/06/08 02:54:40.60 .net
低脳が何を言うても無駄。偉そうな事は自分が何かをやってから言うべき。
馬鹿菌愚には何かを主張する能力も、そして権利も無い。頭が悪い奴は
234:黙 るしかない。人間の価値は所詮は能力と実績でしかない。低脳は黙るべき。 狢 >28 名前：KingMathematician ◆LoZDre77j4i1 ：2013/05/16(木) 22:23:44.62 > Re:>>17 //sketch-img.real.co.jp/contents/15247/15247960.png 私の発明. しかし数学での発明ではない. > > 今世に広く知られている事も発見当時は凄いものだった. > 理事を多く経験すれば, いつか凄いものを発明することもあろう. > 理事を多く経験しても凄い発明に至らない人も居るかもしれないが, それでも理事を遺すべし. >
235:１３２人目の素数さん
13/06/08 10:18:44.54 .net
二次方程式の解でなくてももしかしたら三次方程式や四次方程式の解ならあるかもしれない。
236:１３２人目の素数さん
13/06/24 05:22:23.30 .net
>>230
そうなんだよね。
結局俺らは後付けの超越数の証明を植え付けられてるから知ってるだけで、違う事は明白なんだが、
任意のn次方程式の解でない事を直接証明する術を持たないんだから。
237:１３２人目の素数さん
13/06/24 22:16:49.27 .net
eの二次方程式による近似解と実際の値の差を取ってそれが0にならない事を証明出来ないかな？
それができたら三次でも四次でも応用効きそうなんだけど。
238:１３２人目の素数さん
13/06/25 00:19:16.06 .net
限定された手段に頼っていては数学の深遠を思い知ることはできない。
考えてみてほしい。片手による拍手の音は如何？
239:１３２人目の素数さん
13/09/15 22:53:26.28 .net
>>1
〔補題１〕
多項式 f(X)に対して
∫[0,z] exp(z-X)f(X)dX = exp(z)F(0) - F(z),
ここに、zは任意の複素数で、積分は0とzを結ぶ直線上で行う。
F(X) = f(X) + f '(X) + f "(X) + ････････
(略証)
左辺をI(z)とおく。部分積分により
I(z) = ∫[0,z] exp(z-X)f(X)dX
= [-exp(z-X)f(X)](0→z) + ∫[0,z] exp(z-X)f '(X)dX
= exp(z)f(0) - f(z) + ∫[0,z] exp(z-X)f '(X)dX
これを繰り返して
I(z) = exp(z)F(0) - F(z),
〔補題２〕（エルミートの不等式）
|exp(z-X)| = exp(Re{z-X}) ≦ exp(|z-X|) ≦ exp(|z|),
多項式f(X)の係数をその絶対値で置換えたものをf~(X) とすると、
|f(z)| ≦ f~(|z|)
よって上記のI(z) に対して、
|I(z)| ≦ |z|exp(|z|)f~(|z|),
240:１３２人目の素数さん
13/09/15 23:13:58.90 .net
〔ｅの超越性〕
整数係数のn次式
g(X) = a_0 + a_1 X + a_2 XX + ････ + a_n X^n, a_0･a_n≠0,
に対し、g(e)≠0.
(略証)
f(X)、F(X)、f~(X） を上記のようにおくと、
F(0) g(e) = F(0) {a_0 + a_1 exp(1) + a_2 exp(2) + ･････ + a_n exp(n)}
= Σ[r=0,n] a_r {F(r) + I(r)} （← 補題１）
= S + J,
ここに、
S = a_0 F(0) + a_1 F(1) + ･････ + a_n F(n),
J = a_0 I(0) + a_1 I(1) + ･････ + a_n I(n),
∴ 適当な多項式f(X) が存在して、|S|≧1、|J|<1/2 とできることを示せば十分。
241:１３２人目の素数さん
13/09/15 23:17:51.61 .net
十分大きな素数p（p>n, p>|a_0|）について、
f(X) = {1/(p-1)!} X^(p-1) {(X-1)(X-2)･････(X-n)}^p,
と定める。
このとき、
f(0) = f '(0) = ･････ = f^(p-2)(0) = 0,
f(r) = f '(r) = f "(r) = ･････ = f^(p-1)(r) = 0, (r>0)
f^(p-1)(0) = {(-1)^n (n!)}^p ≠ 0 (mod p), (← p>n)
f^(p)(r) ≡ f^(p+1)(r) ≡ ･････ ≡ 0 (mod p)
したがってＳについては
F(0) ≡ f^(p-1)(0) ≠ 0 (mod p)
F(1) ≡ F(2) ≡ ･････ ≡ F(n) ≡ 0 (mod p)
S ≡ a_0 F(0) ≡ a_0 f^(p-1)(0) ≠ 0 (mod p) (← p>|a_0|、整域）
|S| ≧ 1,
他方Ｊについては、
|J| ≦ Σ[r=0,n] |a_r||I(r)|
≦ Σ[r=0,n] |a_r| r exp(r) f~(r) （←補題２）
≦ n exp(n) f~(n) Σ[r=0,n] |a_r|
であるが、
f~(n) ≦ {1/(p-1)!} n^(p-1) {(n+1)(n+2)････(2n)}^p
= {1/[n(p-1)!]}{n(n+1)(n+2)････(2n)}^p
→ 0 (p→∞）
∴ 十分大きなpについて |J| < 1/2,
∴ F(0)g(e) = S + J ≠ 0,
∴ g(e) ≠ 0, （終）
鹿野 健：数セミ増刊「数学100の定理」p85-86、日本評論社 (1983)
242:１３２人目の素数さん
13/09/29 13:43:42.80 .net
〔補題〕
n!を素因数分解したとき、(pのベキ指数）≦n-1.
等号成立はnがp-ベキのときに限る。
(略証)
1-n のうち、p^k で割り切れるものは [ n/(p^k) ] 個。
∴ (pのベキ指数) = [n/p] + [n/(p^2)] + [n/(p^3)] + ･･････
[ ] はガウスの記号。
すべての [ ] を外せるのはnがp-ベキのときに限り、和はn-1.
nがp-ベキでないときは、n-1より小さい。
243:１３２人目の素数さん
13/09/29 13:48:06.12 .net
>>237 訂正
〔補題〕
n!を素因数分解したとき、(pのベキ指数）≦ (n-1)/(p-1).
等号成立はnがp-ベキのときに限る。
244:１３２人目の素数さん
13/09/29 15:19:49.43 .net
>>26
e^4 = a/b, (有理数) と仮定する。
b･e^2 = a･e^(-2),
ｎを2-ベキとし、両辺に奇数 n!/(2^(n-1)) を掛ける。 >>238
b･n!/(2^(n-1)) e^2 = a･n!/(2^(n-1)) e^(-2),
また、マクローリン展開
e^2 = 1 + 2/1! + 4/2! + 8/3! + ･････ + (2^r)/r! + ･････
e^(-2) = 1 - 2/1! + 4/2! - 8/3! + ･････ + ((-2)^r)/r! + ･････
を代入すると、一般項は
b･n!/(2^(n-1)) (2^r)/r! あるいは a･n!/(2^(n-1)) ((-2)^r)/r!,
分母（r!）の2-ベキ指数はr-1以下ゆえ、0<r≦n の項は偶数。
他方 r≧n+1 の和（小数部分）は、
左辺： 2b{ 2/(n+1) + 4/[(n+1)(n+2)] + 8/[(n+1)(n+2)(n+3)] + ･････}
右辺： 2a{-2/(n+1) + 4/[(n+1)(n+2)] - 8/[(n+1)(n+2)(n+3)] + ･････}
十分大きなｎ（2-ベキ）に対して、左辺は整数よりﾁｮｯﾄ大きく、右辺は整数よりﾁｮｯﾄ小さい。
－これは矛盾だ！
245:１３２人目の素数さん
13/10/27 22:32:47.93 .net
>>239
亀レスですが有難うございました。eの整数冪が全て無理数であると証明した上でそれ等がたがいの有利数倍で無いことが示せればもう少し容易に整形数のeの多次式が整数でありえない事を示せるのかと思ってまして。
246:１３２人目の素数さん
13/10/29 11:00:07.73 .net
こういうアプローチは無理だろうか？
1,e,e^2について整数の変数a,b,cを与える。
a+be+ce^2=0
を満たすa,b,cは存在しない。（⇔格子点はない）事が示せればいいのだが。
247:１３２人目の素数さん
13/10/29 11:15:36.48 .net
内積が0という事はすなわち(1,e,e^2)が格子点ベクトルと直交する訳だが、もちろんそんな訳は絶対に無い。
無理数eがもし1+√2のような数なら格子点ベクトルと直交できるがeの持つ性質だけでそれを証明可能かはわからない。
248:１３２人目の素数さん
13/10/29 22:43:09.97 .net
From my humble point of view, it could be important to tell ideas from tautologies.
249:１３２人目の素数さん
13/10/30 00:14:12.21 .net
なんか斬新なやり方に見えて結局は同じところで詰まる典型だな。
250:１３２人目の素数さん
13/10/30 00:19:09.34 .net
運営乙
251:１３２人目の素数さん
13/10/30 11:15:51.21 .net
Σ（a+b2^k）/k!が整数にならない事は直接示せないのか？
252:１３２人目の素数さん
13/10/30 11:16:47.15 .net
あ、a,bは整数って前提ね。
253:１３２人目の素数さん
13/10/30 14:50:21.85 .net
>>246
=cとして両辺に十分大きなn!を掛けてみ�
254:�。
255:１３２人目の素数さん
13/10/30 16:46:34.75 .net
ｅを解に含む二次方程式って作れるんじゃねぇの？
256:１３２人目の素数さん
13/10/30 17:31:04.00 .net
まあな
257:１３２人目の素数さん
13/10/30 17:39:57.69 .net
係数体を指定しなきゃ無意味な問題
258:１３２人目の素数さん
13/10/30 17:43:09.57 .net
確かにな
X＾2－2ｅX＋ｅ＾2＝０とか解けるしな
ちなみに俺は高校生だからこの式が成り立つかは知らんけど解けるかと言われたら解ける
259:１３２人目の素数さん
13/10/30 22:01:10.41 .net
超越数ってのはQ上多項式の根にならない数だから、Q上に限定しなきゃ可能だろ
260:１３２人目の素数さん
13/10/30 22:09:18.57 .net
そんな当たり前の事ことを得意気に言われてもな
261:１３２人目の素数さん
13/10/30 22:40:09.20 .net
その当たり前のことが>>1で抜け落ちてるから指摘してるだけなんじゃねーの？
心の病気なのか？
262:１３２人目の素数さん
13/10/30 22:47:13.65 .net
254です
心の病気なんです すいませんでした
263:１３２人目の素数さん
13/10/30 23:08:09.72 .net
>>256
なりすましするほど気に障ったのなら謝る
264:１３２人目の素数さん
13/10/31 02:36:18.62 .net
運営乙
265:１３２人目の素数さん
13/10/31 03:02:01.37 .net
え？>>1を指摘してるの？>>252や>>249じゃなく？
266:１３２人目の素数さん
13/11/03 00:03:34.50 .net
河合塾の東大模試で、第5問の4つ目の小問がこの問題でした。
解答は明日配布です。
267:1
13/11/03 15:09:32.59 .net
>>260
マジか（笑）問題を考えた身としては誇らしい限りです。
さて、どんなエレガントな解答が見れるか？
268:１３２人目の素数さん
13/11/03 17:03:09.85 .net
こたえをしりたいれふ
269:１３２人目の素数さん
13/11/03 17:08:47.85 .net
係数は？
270:１３２人目の素数さん
13/11/03 18:50:51.84 .net
確かにな
係数大事だよな
271:１３２人目の素数さん
13/11/04 00:59:16.95 .net
どんな問題だったの？
272:１３２人目の素数さん
13/11/04 02:00:04.64 .net
誘導ありってこと？
273:１３２人目の素数さん
13/11/04 02:27:39.58 .net
うpよろ
274:１３２人目の素数さん
13/11/04 03:06:06.88 .net
eは整数係数の2次方程式の解にならないことを証明せよ。
が小問4番だったと思う。
他の問題にも時間を掛けて、この問題を解き切るのは困難。
解けても、解答欄に書き切るのはさらに困難？
275:１３２人目の素数さん
13/11/04 03:24:41.21 .net
>>260
>>268
これ、鬼畜の問題になっていると思うぞ。
正答率は低くなるんじゃないか。
276:１３２人目の素数さん
13/11/04 03:34:49.28 .net
誘導はどんな感じ？誘導なし？
277:1
13/11/04 09:10:07.21 .net
解ける奴いねんじゃね？（笑）
278:１３２人目の素数さん
13/11/04 09:22:50.67 .net
二次無理数の連分数表示が周期を持つことを知ってればeを連分数展開して周期を持ちそうに無いと示せばマルくれるかも知れんな。
279:１３２人目の素数さん
13/11/04 10:13:46.52 .net
意外と皆とけてるんじゃね
ここのレベルの低さが明らかになったりしてな
280:１３２人目の素数さん
13/11/04 10:28:40.48 .net
>>273
模範解答よろ！
281:１３２人目の素数さん
13/11/04 10:31:23.52 .net
>>274
俺は分からないよ
問題見てみないと
係数の話だってちゃんとした問題にしないと
282:１３２人目の素数さん
13/11/04 11:23:15.92 .net
URLﾘﾝｸ(iup.2ch-library.com)
283:１３２人目の素数さん
13/11/04 11:25:04.25 .net
おー
答えや
答え見してくれ
284:１３２人目の素数さん
13/11/04 11:25:36.02 .net
>>275
大丈夫、a,b,cがすべて整数であるときeはabcを係数とする普通の形の二次方程式の解にならない事の証明だから。
1～4の誘導付きとは言え、なんて事をさすんだよ。
285:１３２人目の素数さん
13/11/04 11:25:40.30 .net
>>275
例えばax^2+c=0やbx+c=0の解で無いことは容易に解るが、bを0以外で固定して
ax^2+2x+c=0の解で無いことぐらいなら簡単に示せるんだろうか？
できるならそれを一般化して帰納法とかあるかもしれない。
286:1
13/11/04 11:28:00.76 .net
>>276
おお、良問だ。感動したよ。解答、解答。ちゃんと誘導ついてるんだな。
287:１３２人目の素数さん
13/11/04 11:54:48.86 .net
これ誘導使えるんか
288:132人目の素数さん
13/11/04 11:59:52.96 .net
問題もう消しちゃったの？
見れなかったんご・・・
289:１３２人目の素数さん
13/11/04 12:01:10.49 .net
URLﾘﾝｸ(iup.2ch-library.com)
URLﾘﾝｸ(iup.2ch-library.com)
URLﾘﾝｸ(iup.2ch-library.com)
URLﾘﾝｸ(iup.2ch-library.com)
290:１３２人目の素数さん
13/11/04 12:03:45.32 .net
URLﾘﾝｸ(iup.2ch-library.com)
URLﾘﾝｸ(iup.2ch-library.com)
URLﾘﾝｸ(iup.2ch-library.com)
291:１３２人目の素数さん
13/11/04 12:17:35.28 .net
某スレから飛んで来た。立ててから8ヶ月経ってもちゃんとスレを見ている1に驚く
292:１３２人目の素数さん
13/11/04 14:18:29.03 .net
>>273
>意外と皆とけてるんじゃね
この問題、何出しているか、数学的な意義や中身は分かるか？
これ、eが2次無理数ではないことを高校範囲で示す問題だよ。
勿論、杉浦解析入門とかの内容を用いてはダメなんだろう。
歴史的にはLiouvilleが証明したことだ。
このようなことがもとでLiouville数の発見につながった。
小平解析入門にはこういうことが書いてあるんだが、
もしかしたら解析概論にも載っていることかも知れない。
下手して誘導なしだったら鬼畜だぞ。
杉浦解析入門や小平解析入門のようなことを知らずに、
誘導なしで、すぐに高校の知識で解けるとは思えんな。
293:１３２人目の素数さん
13/11/04 14:21:07.21 .net
東大模試だろ？
出来るこいそうなきがするけどな
294:１３２人目の素数さん
13/11/04 14:28:07.59 .net
>>287
そりゃ、杉浦解析入門か小平解析入門を正確に読めれば、簡単に解けるだろうな。
連分数は、高校ではやらない筈。
295:１３２人目の素数さん
13/11/04 14:38:06.12 .net
誘導なしなら無理ゲー、適切な誘導ありなら出てもおかしくないかもって
スレ序盤から言われてるじゃん
296:１３２人目の素数さん
13/11/04 14:49:32.26 .net
>>289
久々にこのスレ見て、スレ序盤の内容は忘れっていうか一々記憶してなく、
久々にこのスレ見るにあたり、スレ序盤の内容は見てない。
297:１３２人目の素数さん
13/11/04 14:56:00.62 .net
>>289
というか、東大模試のようなお受験(の試験自体)には興味はない。
あるとすれば、その問題の数学的な内容。
298:１３２人目の素数さん
13/11/04 17:09:55.76 .net
なんだこいつ
299:1
13/11/04 17:15:29.50 .net
>>286
辛うじて有理数や二次無理数でないことは証明できるが、三次や四次になると個別に初頭的に証明するうまい方法が無いのが不思議。
自分の建てたスレは定期的に新着調べるようにしてるのだ。この問題に関しては純粋に数学的好奇心でエレガントな解答を知りたいと思い建てたまでだ。
300:１３２人目の素数さん
13/11/04 17:28:50.81 .net
コイツの手柄じゃないのに語り出したぞ
301:１３２人目の素数さん
13/11/04 18:17:06.54 .net
ていうか>>1は係数くらい書いとけよ
302:１３２人目の素数さん
13/11/04 18:41:02.46 .net
>>293
何故、二次について証明されたとたんに、三次４次の初等的証明が無いという結論になるんだろ？
特に、五次未満なら解を求める手順はある訳で、組み合わせて証明できる気もしそうなもんだが？
303:１３２人目の素数さん
13/11/04 20:52:11.86 .net
>>221で述べられてるね
まあ、３次４次の場合に別の初等的証明が無いとは限らないけど
304:１３２人目の素数さん
13/11/05 00:55:37.15 .net
完答した人周りに結構いたよ
305:１３２人目の素数さん
13/11/05 02:14:14.80 .net
そうなのか
スゲーな
本当なら>>286はどんな気持ちなんだろうな
306:１３２人目の素数さん
13/11/05 02:15:21.24 .net
この誘導なら難しくないと思うけどな
誘導なしだと誰一人解けないと思うが
307:１３２人目の素数さん
13/11/05 02:15:35.69 .net
誘導あるなら解ける奴いてもおかしくねーわ
308:１３２人目の素数さん
13/11/05 03:53:00.00 .net
>>299
お前誘導って漢字読めないの？
309:１３２人目の素数さん
13/11/05 08:54:27.71 .net
You do.
310:１３２人目の素数さん
13/11/05 09:16:21.60 .net
誘導のらずにここのスレの初めの方で出てた解法っぽい方法で解いた奴もいたよ
東大受験生もピンキリだけど上の方は数オリ関係者とか大学数学平気で出来る人とかそういうレベルの人沢山いるしこれくらいだと誘導なしでも解ける受験生は普通に
311:いるということだけ言っておく 誘導なしでは誰も解けないみたいな書き込みが散見されるので一応
312:１３２人目の素数さん
13/11/05 09:43:32.67 .net
>>304
どれだけ優秀でも試験時間内には無理だろう
25分しかないのだから
313:１３２人目の素数さん
13/11/05 10:02:16.44 .net
>>305
いや普通にいるよ。（というか、実際いた）
1998東大後期とかも完答者2人いたそうだし。
あとそういうレベルの人たちは他の平均的な難易度の問題は25分もかからないから、こういう問題にもう少し時間かけられるんじゃない？
314:１３２人目の素数さん
13/11/05 10:20:54.04 .net
>>286の趣旨を理解してない奴がいてワロタ
スレの初めの方って、>>18のこと言ってるなら
e^x のマクローリン展開使ってる時点で>>286の
＞杉浦解析入門や小平解析入門のようなことを知らずに、
＞誘導なしで、すぐに高校の知識で解けるとは思えんな。
この部分に抵触してるだろ
315:１３２人目の素数さん
13/11/05 10:53:15.52 .net
有限マクローリンなら平均値定理使えば高校の範囲で解けそうな気がするが
316:１３２人目の素数さん
13/11/05 10:54:29.86 .net
>>307
>>304は多分別に>>286に反論してるわけじゃなくて高校生でも大学数学使える奴はいてそういう奴らの中に一定数は誘導なしでも大学数学使って解ける奴がいるってことだろ
317:１３２人目の素数さん
13/11/05 11:11:38.44 .net
304だけど
309に言ってもらったようなことを言いたかった・・分かりにくく割りこんですみませんでした。
318:１３２人目の素数さん
13/11/05 12:47:05.33 .net
>>283-284
再うｐお願いします。
319:１３２人目の素数さん
13/11/05 14:32:51.75 .net
こういう数学の深淵に迫る問題は面白いね。オマエラもっと考えろ。
320:１３２人目の素数さん
13/11/05 15:32:06.86 .net
なんだこいつ
321:１３２人目の素数さん
13/11/05 21:37:40.81 .net
>>312
πは二次方程式の解ではないことを証明せよ
322:１３２人目の素数さん
13/11/05 21:54:45.61 .net
πの無理性も大変なのに、高校レベルじゃ不可能だろうよ。
323:１３２人目の素数さん
13/11/05 21:55:17.09 .net
数学ってこんな簡単なことも分かってないのかということが多いよね
だから面白いのだけど
324:１３２人目の素数さん
13/11/05 21:57:29.41 .net
確かにwikiの超越数のわかってるやつわからないやつほ面白かった
というかこのスレはもうおしまいでいいんだろ？
スレタイ解決したし
325:１３２人目の素数さん
13/11/05 22:08:12.32 .net
あとは算術的証明ができるか？くらいだな
326:１３２人目の素数さん
13/11/05 22:10:02.19 .net
2^(√2)が二次方程式の解ではないことを証明せよ
327:１３２人目の素数さん
13/11/05 22:23:13.32 .net
クソスレがすべて
そのなかのひとつに過ぎない
時間の無駄
エロサイト
328:１３２人目の素数さん
13/11/05 22:47:51.44 .net
クソスレを良問に仕上げてくれた河合塾に感謝しよう。
詳しく模範解答読んでないが、模範解答の方法では三次無理性も否定できるのか？
329:１３２人目の素数さん
13/11/05 23:59:02.06 .net
金になるのかもしれないが
受験の算数や数学ってつまらんよ
330:１３２人目の素数さん
13/11/06 05:30:55.02 .net
肝心の基本事項を、証明せずその背景も知らないまま、用いて解くのだから、
受験数学はただのお遊びだよ。証明といいつつも本当は証明になっていない。
これを問題として出すなら、河合塾も誘導なしで1つの大問として出せばよかったじゃないか。
これ位なら、高校の知識で間に合う。もしかしたら中学生も途中までは行ける。
すご～く面白い問題になったとは思うぞ。
誘導付きだとつまらん。
331:１３２人目の素数さん
13/11/06 05:34:53.43 .net
はいはい
332:１３２人目の素数さん
13/11/06 08:55:22.02 .net
>>323
壮大な知識試験推奨派発見。
適切にヒントを与える事で理論構成を追体験させるのは良問と思うけどな。
難易度が適切だったかは
333:不明だけど、方向性はいいだろ？
334:１３２人目の素数さん
13/11/06 09:45:59.89 .net
>>323
オイラーを全否定っすか
335:１３２人目の素数さん
13/11/06 11:10:04.06 .net
どんな感じの誘導が付いてたの？
336:１３２人目の素数さん
13/11/06 12:54:17.08 .net
>>325
>>326
主に不等号やランダウ記号を用いて評価しまくる、
関数解析とは真逆の解析といっていいような、
定量的な解析である、ハード・アナリシスを知っているか？
感覚としてはε-δの感覚だ。
或る種、時間勝負ではなくむしろ体力勝負の解析だ。
日本のお受験の問題にはこの類の解析の問題が少ないんだよ。
この問題だって誘導がなければ立派なハード・アナリシスの問題になってたんだよ。
大学以降の数学書の内容や定理を知っていた人にとっても、ハード・アナリシスになったんだよ。
知識があって方針が正しければ、中学生でも途中までは行けた。
それなのに誘導なんか付けてまあ…、本当につまらなくしたわな。
337:１３２人目の素数さん
13/11/06 13:10:15.78 .net
お、おう
たかが模試で随分と残念がって、大袈裟な人だな…
338:１３２人目の素数さん
13/11/06 13:20:42.92 .net
>>329
何故か途中から模試の話が出て来て、
その話でにぎわってきているから、それに合わせているだけ。
本来は、模試だの受験だのの話が出て来る必要はないんだよな。
339:１３２人目の素数さん
13/11/06 13:23:21.81 .net
え？
模試で誘導がついたのが残念って話をしてるんじゃないの？あなたは
340:１３２人目の素数さん
13/11/06 13:34:21.97 .net
>>331
まあ、一応はそうだよ。
同じ模試でも、どうせだすなら誘導が付かない方が面白いじゃないか。
どうせ解答は渡されるんだしさ。
誘導付きとは違って、幾通りもの証明が出来るだろう。
341:１３２人目の素数さん
13/11/06 13:35:24.75 .net
>>328
残念な頭だな。
要約すると、
大学の定期試験の出題を大学入試でも出題しろとしか読めない。
大体、ハードアナリシスといういちぶんやに特化した解法を賞賛する姿勢は、
これから広い範囲を学ぼうとする学生に対して失礼ではないか？
そんなに誘導するのが嫌なら、全ての期間、全ての機関において「数学について述べよ」と出題すればいい。
ハードアナリシスと書いた奴がいい点を取るんじゃないか？
別にハード•アナリシスと言われる分野の手法が不要と言っている訳では無い。
ただ、逆に、誘導を付ける事で、そうじゃない見方の可能性を示す事は有益だろ。
最後に、問題を舐めてないか？
150分6題の試験のうちの一問として、解答を作成する力量はあるのか？
もちろん、用いるべきランダウ記号の説明や基本的証明を付す必要はある。
出来ないなら、ほんとにつまらない奴だ。
342:１３２人目の素数さん
13/11/06 13:38:09.15 .net
>>332
自分で作成したいく通りもの証明を見せてくれ。
そしたら、心底謝る。
343:１３２人目の素数さん
13/11/06 13:44:05.70 .net
>>333
>最後に、問題を舐めてないか？
>150分6題の試験のうちの一問として、解答を作成する力量はあるのか？
>もちろん、用いるべきランダウ記号の説明や基本的証明を付す必要はある。
基本的には、お受験自体が余り意味がないと思っているからね。
お受験だけ出来ても、その後の努力を怠っているようじゃダメだよ。
大学入るときは優秀、卒業するときバカ。
日本はこうなっているからね。こんなんじゃダメだよ。
入学する大学なんてどこでもいいんだよ。
344:１３２人目の素数さん
13/11/06 13:53:17.10 .net
>>334
1つ目はディオファンタス近似の定理を用いる方法、
2つ目は有限マクローリン、
3つ目はeが超越数であることを直接証明する方法。
4つ目は、1つ目の方針を一般化したディオファンタス近似の方法。
まだあるかも知れない。
覚えていれば、1つ目と、3つ目か4つ目が楽かな。
知らなかったら地獄になる。
2つ目は、何れにせよ、思い浮かぶのに少し時間がかかるとは思う。
345:１３２人目の素数さん
13/11/06 13:
346:53:24.42 .net
347:１３２人目の素数さん
13/11/06 13:54:11.17 .net
>>336
アホ。
348:１３２人目の素数さん
13/11/06 13:58:44.01 .net
>>337
そのうちに責任持って面白い証明をしてあげるよ。
ハード・アナリシス使いまくるからな。
手元にある紙見ると式が複雑なんだよね。
349:１３２人目の素数さん
13/11/06 14:03:43.13 .net
>>337
というか、>>335で書いたことは、事実だとは思うぞ。
まあ、社会的影響もあるけどな。
350:１３２人目の素数さん
13/11/06 14:30:35.69 .net
>>339
模試（大学入試）に適切かどうかという流れに入って来て、
手元にある紙を参照しないと書けないなんて残念過ぎる。
多分、僕より大人なんだろうが、論理性に難があり過ぎて残念過ぎる。
しかも、自分で編み出した証明でなさそうなのが、さらに残念過ぎる。
だから知識試験推奨だと批判したんだけどね。
eの超越性の証明は、大学に入ったら追うつもりだし、ランダウを使う様な方法は、模試の解答の評価の部分と大差ないと思うので結構です。
物事を追ってばかりでは、日本の大学では職を得る事は難しいと思うので、色々やる事があると思います。
そちらに時間を掛けてください。
なんだか、本当に、残念過ぎる。
351:１３２人目の素数さん
13/11/06 14:41:28.67 .net
>>341
>だから知識試験推奨だと批判したんだけどね。
解析学の基礎や、函数解析と微分方程式って知っているか？
これら、私のように殆ど誘導なんて付いていない問題集だよ。
ただポンッと定理が書いてあるだけのことが多い。誘導なし。
これを解いたことがあるなら、誘導付きなんてやってられんよ。
誘導付きを解くなんて甘チャンだよ。
解答は付いているけどな。
352:１３２人目の素数さん
13/11/06 15:02:16.48 .net
誘導が嫌いなら京大数学やれ
353:１３２人目の素数さん
13/11/06 15:10:05.89 .net
>>343
正答率がとても低かったっていうアレ、少し前に見事に解いた。
tan1°は無理数だ。ちなみにこれは代数的数であることも分かった。
オマケ付き。
354:１３２人目の素数さん
13/11/06 15:10:18.80 .net
ハードアナリシスって言葉見て、こいつは解析ビシビシ君だと察した
355:１３２人目の素数さん
13/11/06 15:24:21.86 .net
てかπの超越性ってe^iπが整数だからなんだろ？
なんか腑に落ちないよな。
もっと直接示す方法ないのかよ。
356:１３２人目の素数さん
13/11/06 15:29:03.02 .net
>>342
何故、解析関係の例しか出ないのか理解に苦しみますね。
数学が面白いと伝えたいなら、もう少し広がりがあるように語って欲しい。
私はランダウ記号くらい使えるから、バンバン使うなんて言われてもワクワクしない。
解析と代数の関わりの話とか、古典を超えた適応例とか、面白い話が欲しい。
解析の分野を羅列されても、数学を語る例としてなんかセンスを感じない。
父の関係で家にある大学の本は読みます。
解答を書いていないというのもよく分かるし、解答や証明が省略されているのもよく見る。
そんな時、問題の配置自体が一つの誘導だと気付かないかな？上手く配置しているな～と感心する事もあるんだけどね。
大体、問題集は、例えば近似なら近似、何らかの同型関係ならそれというように、似たような考え方や手法が連続してる訳だ。誘導なしも当然だろ？
問題の配置自体がヒントであり、誘導な訳だ。
それが理解出来ない人が、何の誘導も無しにほんとに自力で解けていると勘違いしているなら、残念な人だと感じる。
さらに言うと、問題や定理の相互関係を理解せずに解いているから、貴方みたいな低い理解に留まるのではと、それじゃ成果は出ないなと心配さえします。
問題集を解き終えて、何の発展性もなく終わっているのではと心配ですね。
それが無ければ、過去の偉人の足跡を辛うじてたどるだけの存在、アカデミックな場には残念ながら不要じゃないかな？
さらに、解答が書いてないなら、解けたと思わずに貴方の証明が間違っている可能性も考慮した方がいいと思います。
話の流れからして、証明の流れの論理性も怪しいと思う。
長々とアドバイス申し訳ない。
あまりに気になりました。
私は私のやる事に戻ります。
最低限、貴方からは数学のたのしみは見出せません。
357:１３２人目の素数さん
13/11/06 15:39:22.68 .net
>>345
奇遇だな。俺もそう感じた。
>>67, >>153 の「論文」とやらは
いつになったら発表されるのかねえｗ
358:１３２人目の素数さん
13/11/06 15:55:22.08 .net
>>347
解析と代数の関係を1つ挙げれば、オイラーの公式から
見つけるべき超越数は実数に限られることが分かる。
eだのπだの、見つかって超越数と分かっているのはすべて実数だ。
複素数の超越数は、複素平面上で実軸と虚軸が直交することですべて構成出来る。
って論文のネタ書いちまったかな。
359:１３２人目の素数さん
13/11/06 16:01:48.83 .net
>>348
論文ね～…。
そのうちに発表するよ。
360:１３２人目の素数さん
13/11/06 16:04:34.36 .net
>>349
ねえねえ、>>67, >>153 の「論文」とやらは
いつになったら発表されるの？
「あとは論文にするだけ(>67)」なんでしょ？
さすがにもう査読くらい始まってるよね？
まさか、まだ1文字も書いてすらいないの？
361:１３２人目の素数さん
13/11/06 16:06:24.61 .net
あっ、レスが来てた
>>350
あれれ、まだ書いてすらいないっていうオチですか？
ハッタリにも程があるｗ
半年間なにやってたんだよｗ
362:１３２人目の素数さん
13/11/06 16:07:24.90 .net
まあ、オイラーの公式をうまく使うことにより、
そういう超越数の発見の仕方の方針を見定めさせてくれる。
これは、何回も適用可能な考え方。
一応、>>349の補足。
363:１３２人目の素数さん
13/11/06 16:09:38.09 .net
>>349
ん？ieは複素数だけど超越数じゃないの？
ieが超越数じゃなければ、eが超越数じゃないって簡単に示せるんだけど…
364:１３２人目の素数さん
13/11/06 16:11:25.14 .net
で、どんな体にどんな位相入れるの？
365:１３２人目の素数さん
13/11/06 16:14:56.77 .net
>>351
>>352
書いていない。
こちらとしては、アーカイブに投稿するだけ。
論文出版するだけのプリンタだのの設備がない。
アーカイブに投稿するには誰か投稿の保証者として、協力者が必要なんだよな？
協力者してくれる人いないかな。
366:１３２人目の素数さん
13/11/06 16:18:58.68 .net
>>354
ieは代数的数でその全体は加減乗除について閉じているから、
ieが代数的数だったらeも代数的数であることになって矛盾。
よって、ieは超越数。
367:１３２人目の素数さん
13/11/06 16:20:52.13 .net
>ieは代数的数で
へー
368:１３２人目の素数さん
13/11/06 16:23:10.38 .net
>>356
ということは、いわゆる一般人なんだな
なまじ知識はあるようだが、かなりアヤシイなこりゃ ＾＾
まあ、1文字も書いてないという時点で
スタートラインにも立ってないが
>>354
横レスだが、「虚数の超越数は存在しない」とは言ってないと思うぞ
「複素数の超越数は～～によって全て構成できる」とある
369:１３２人目の素数さん
13/11/06 16:25:04.35 .net
>>355
それは今模索中。位相は普通の位相。
Archimedes付値体になるように位相を入れる。
非Archimedes付値体は考えていない。
もしかしたら、群の考え方が通用しなくなることがあるかも知れない。
370:１３２人目の素数さん
13/11/06 16:28:29.29 .net
>>358
あ、失礼。これ超越数の間違いだった。>>357の
>ieは代数的数でその全体は加減乗除について閉じているから、
は
>ieは超越数で、代数的数全体は加減乗除について閉じているから、
の間違いだった。
371:１３２人目の素数さん
13/11/06 16:33:16.23 .net
>>359
＞横レスだが、「虚数の超越数は存在しない」とは言ってないと思うぞ
＞「複素数の超越数は～～によって全て構成できる」とある
実数の超越数とほぼ一対一に純虚数の超越数もあるのを、分かってそうになかったから書き込んだ。
実際、意識はしてない様に見受けられる。
372:１３２人目の素数さん
13/11/06 16:42:13.48 .net
>>362
複素平面上で、原点から実軸方向への幾何ベクトルと
虚軸方向への幾何ベクトルは直交して実数体R上線型独立だから、
実超越数を見つければ、純虚数の超越数は、iと実超越数を掛けることで構成出来る。
373:１３２人目の素数さん
13/11/06 16:56:45.89 .net
>>349
何で？
（超越数）πだけ回転させる場合を見落としてないか？
374:１３２人目の素数さん
13/11/06 17:00:18.37 .net
>>364
これ書いたら、もう論文の話になりかねないよ。
もうここではやめとく。
375:１３２人目の素数さん
13/11/06 22:01:00.96 .net
位相体を一切使わない解析ビシビシ
ｽﾚﾘﾝｸ(math板)
376:１３２人目の素数さん
13/11/06 23:59:04.61 .net
もうアホにマジレスすんのやめようや。
eやπの超越性が初頭的に算術的に導けないか考えようぜ。
377:１３２人目の素数さん
13/11/07 00:21:43.34 .net
大ウソつきもしくはドアホウだらけ
378:１３２人目の素数さん
13/11/07 00:36:19.67 .net
お願いします。
５つの箱に３つの球をいれる。その場合入れ方は何通りあるか。
１・箱にも球にも番号が付いている
２・１と同じだが一箱に１つ以上入れない
３・箱には番号が付いてるが球には区別がない。そして一箱には１つ以上入れない
４・３と同じだがいくつ入れても良い
問題文の「一つ以上」の意味がわかりません。
「一つの箱に２つ以上入れない」ならば、意味がわかるのですが・・・
379:１３２人目の素数さん
13/11/07 09:12:59.14 .net
むしゃくしゃした日はブックオフに行く
そして本棚の陰に隠れてでかい声で「いらっしゃいませー！！」と叫ぶと、
フロアにいる店員が一斉に「いらっしゃいませー！」とつられて言う
これを２、３回繰り返し、気が済んだとこで店を出る
380:１３２人目の素数さん
13/11/07 12:39:25.65 .net
解析ビシビシって有名人なの？
381:１３２人目の素数さん
13/11/07 12:53:44.69 .net
>>333
そういえば、東大入試を楽しむだったかって本をサラっと見たことはあるんだけど、
それによると昔は東大入試でもどこから手を付ければよいか分からない問題
というのが出されていた時期があるようなんだよね。
これこそ正にハード・アナリシスの精神に近い。
まあ、だから何なのっていうことになるのがせいぜいのオチなんだろうけどね。
自己を正当化する訳でも何でもない。一応1つの事実を述べただけ。
しいていえば、個人的にはそういう事情があるから、
大学入試でハード・アナリシスの問題を出してもいいとは思うんだよね。