「東大」「数学」「補完」 - 1081779039

1：приезд(☆4) （DTxrDxh6）：2004/04/12(月) 23:10: えーっと。文字通り2ｃｈ本スレの補完です。
2ch本スレで内容が高校範囲を逸脱したとき
ここで議論してください。
2：９ （SpxcWT76）：2004/04/12(月) 23:10: 2
3：９ （SpxcWT76）：2004/04/12(月) 23:12: ↓過去の系譜

「東大」「才能」「数学」
ttp://school2.2ch.net/test/read.cgi/kouri/1061202039/
「東大」「才能」「全教科」ver2.0
ttp://school2.2ch.net/test/read.cgi/kouri/1061993330/
「東大」「努力」「全教科」ver3.0
ttp://school2.2ch.net/test/read.cgi/kouri/1063602221/
東大理類数学ver3.5
ttp://park6.wakwak.com/~sarumaru/cgi-bin/readres.cgi?bo=gakusei&vi=1063620558
「東大」「才能」「英数理」ver4.0
ttp://school2.2ch.net/test/read.cgi/kouri/1064182110/
「東大」「努力」「英数物」ver5.02
ttp://school2.2ch.net/test/read.cgi/kouri/1065447524/
「東大」「努力」「数学」ver6.0
ttp://school2.2ch.net/test/read.cgi/kouri/1066974244
「東大」「努力」「実践力」ver7.0
ttp://school2.2ch.net/test/read.cgi/kouri/1068123195/
「東大」「理類」「数学」ver7.52
ttp://park6.wakwak.com/~sarumaru/cgi-bin/readres.cgi?bo=gakusei&vi=1069257837
「東大」「暗記」「数学」ver8.00
ttp://school2.2ch.net/test/read.cgi/kouri/1070067813/
「東大」「年越し」「数学」ver9.0
ttp://school2.2ch.net/test/read.cgi/kouri/1071155171/
｢東大｣｢新年｣｢数学｣ver10.0
ttp://school2.2ch.net/test/read.cgi/kouri/1072261525/
｢東大｣｢全完｣｢数学｣ver11.0
ttp://school2.2ch.net/test/read.cgi/kouri/1074863282/
「東大」「根性」「数学」ver12.0
ttp://school2.2ch.net/test/read.cgi/kouri/1075910968/
「東大」「突撃」「合格」ver[5e]
ttp://school2.2ch.net/test/read.cgi/kouri/1077373150
4：９ （SpxcWT76）：2004/04/12(月) 23:12: そして現行スレ。

「東大」「数学」「代替り」ver.[10√2]
ttp://school2.2ch.net/test/read.cgi/kouri/1080207398/
5：LAR-men （lBLdA0dk）：2004/04/12(月) 23:34: えっといきなりスレ違いなのかも知れないですが・・・

輪読会で群の話が出てきましたが、群だとどんなことが言えるのでしょうか？
6：名無し研究員さん：2004/04/12(月) 23:55: >>5
「一般に演算の入った集合が群であるとどのようなことがいえるか？」
という質問ですか？
7：приезд(☆4) （DTxrDxh6）：2004/04/12(月) 23:56: ↑名前付け忘れ
8：приезд(☆4) （DTxrDxh6）：2004/04/12(月) 23:57: えーっと。本スレ>>340までで議論されてたことの元ネタについて.

「ZはP.I.D.である」というのが元ネタでしょう。
P.I.Dとはprincipal ideal domain 単項イデアル整域の略です.
整域としてのZのイデアルは皆単項生成であると言う内容です.

集合Xが環であるとはX上に二つの演算が与えられており片方で可換群をなしており
もう片方で半群をなしており、さらに分配律を満たしていることをいいます。
可換群をなしてるほうの演算を和,半群をなしてるほうの演算を積とよぶ習慣があります.
分配律ってのはa(b+c)=ab+acの方です.a+(bc)=(a+b)(a+c)の方じゃないです.
積が可換である環を可換環といいます.ab=0だがa≠0,b≠0であるようなa,bを(0は和の単位元です)
零因子といいます.零因子を持たない可換環を整域といいます.

環Xの部分集合YがイデアルであるとはY自身が和で群をなしており,Xの元とYの元の積が常に
Yの元となっていることをいいます.

例えば{a_1,…,a_n}⊂XとしてY={k_1a_1+…+k_na_n|各k_i∈Z}とするとYはイデアルになっています.
このときのYを<a_1,…,a_n>とかき,a_1,…,a_nをその生成元といったりします.
1つの元で生成されるイデアルを単項イデアルといいます.

そのイデアルが皆単項生成である整域を単項イデアル整域といいます.

なお、単項イデアル整域上の多項式全体からなる整域はまた単項イデアル整域であるという事実が知られています.
9：LAR-men （lBLdA0dk）：2004/04/12(月) 23:59: >>6
すみません。そうです。
10：приезд(☆4) （DTxrDxh6）：2004/04/13(火) 00:08: >>9
えーっと.
発祥は「集合に演算を入れて群構造を入れたものを観察しよう」
というものではなく,図形の対称性などを定式化していくうちに
群構造って概念が固まっていったのではないかと勝手に邪推しているのですが.
そして,一旦構造が確立された後に,今度は逆にその構造を持つさまざまな
対象が見つかり,研究が研究を運でいったのだと憶測しています.

代数系入門スレ立てますか？
11：LAR-men （lBLdA0dk）：2004/04/13(火) 00:29: 俺は賛成です。
また輪読会という形で進めるのでしょうか？
12：приезд(☆4) （DTxrDxh6）：2004/04/13(火) 12:46: >>11
そうしたいんですがね。例によって僕は抽象代数をこれじゃない本で
勉強したんでこれもってないのです。
はじめるんだったらこの本買いますから、到着まで待ってくれますか？
13：名無し研究員さん：2004/04/13(火) 13:06: Zが単項イデアル整域であることから
a，bが互いに素である整数としたとき
　　ax + by = 1
を満たす整数x，yが存在するという事実は
　　<a，b> = <a，bの最大公約数> = <1> = Z
と翻訳されますな。
入試のときにこの事実を使って問題を解いたら0点かもしれませんけど。
14：９ （SpxcWT76）：2004/04/13(火) 18:28: >>8
環・整域・イデアルについては、
以前図書館で借りてきた「高校生のための～」って本で
少しだけでてきますた。

>>10
おぉ、賛成です！！！
それに加えて解析学と線形代数学もやりたい…
（さすがに時間ないですよねｗｗｗｗ）
実はすでに代数学の本一冊持ってます。
まだ全然読んでないですけどｗｗｗｗ
15：приезд(☆4) （DTxrDxh6）：2004/04/13(火) 18:52: >>14
ではとりあえず、代数系は
松坂和夫「代数系入門」を考えてたんですが、
９ちゃんのもってる代数の本は何ですか？

解析と線形はやってもいいですが、テキスト何にしますか？
16：９ （SpxcWT76）：2004/04/13(火) 20:02: >>15
えーと、「代数学入門（培風館）」を持ってます。
でもこれは大学の授業で教科書にするっぽいので、
こっちの輪読会は松坂さんの「代数系入門」で合わせますよ。

解析と線形は自分で何とかやってみます。
たぶん全部一気にやるのは無理なのでｗｗｗｗ
わからないことがあったら質問するって形式にさせてください。
17：９ （SpxcWT76）：2004/04/13(火) 20:07: 一つ提案ですが、以前本スレでやってたみたいに
先生が言葉の定義とかを混ぜつつ一問ずつ出題していって
俺とLAR-men氏が解答するって形式とかどうですか？？？
「集合・位相」と両方精読しようと思うと結構大変だし、
そっちのほうが気楽にできるかなーって思うんですけど。
18：LAR-men （lBLdA0dk）：2004/04/13(火) 20:57: >>17
＞以前本スレでやってたみたいに
どのあたりでしょう？(Ver)

テキストはお2人に任せます
俺はよく知らないので
19：９ （SpxcWT76）：2004/04/13(火) 21:04: >>18
ver[5e]の322とか。
もっと遡るなら、ver3.0でやったl^pの問題とか。
語義だけ教えてもらって、
あとは自分で手を動かして、色んな性質を探っていくんです。
これもこれで結構楽しいと思いますけど。。。
20：LAR-men （lBLdA0dk）：2004/04/13(火) 21:09: >>19
それもeね

昔９が論戦してたなぁ
↓
http://science2.2ch.net/test/read.cgi/math/1041437063/l50
21：приезд(☆4)@携帯：2004/04/13(火) 21:21: ９案だとお二人はﾃｷｽﾄ手元にないほうがいいのかな。
22：９ （SpxcWT76）：2004/04/13(火) 21:30: >>21
うわぁ、それ微妙だなぁ。
明日東大生協で立ち読みしてみまつ。
自分が持ってるやつと重複してそうだったら、
しばらくは買わないことにしてもいいですか？？？
23：LAR-men （lBLdA0dk）：2004/04/13(火) 21:37: >>21
そうすると俺なんにも手がかりがないんですけど・・・
一応"代数系入門"入手しときます
24：приезд(☆4) （DTxrDxh6）：2004/04/14(水) 04:00: とりあえず、アマゾンに代数系入門注文しました。

結果的には「集合･位相入門」のスレみたいに、
スレッドのレスだけ読めば、テキストもってない人にも
話が通じるようなスレッドにしたいと思っています。
25：LAR-men （lBLdA0dk）：2004/04/14(水) 04:09: よろしくお願いします
26：９ （SpxcWT76）：2004/04/14(水) 22:16: 「代数系入門」売り切れてた。（´・ω・`）ｼｮﾎﾞｰﾝ
明日図書館で借りて来ようかな。
（明日も5コマ全部埋まってる…ｾﾞｪｾﾞｪ）
27：LAR-men （lBLdA0dk）：2004/04/15(木) 01:20: 代数系入門買いました。
28：９ （SpxcWT76）：2004/04/15(木) 12:17: 「代数系入門」図書館でかりますた。
29：名無し研究員さん：2004/04/15(木) 12:17: てｓｔ
30：クウラ：2004/04/15(木) 14:32: test
31：９ （SpxcWT76）：2004/04/15(木) 19:02: >>28-29
お、書き込めてるｗｗｗ
（東大のPCから書き込んでみますた）
32：LAR-men （lBLdA0dk）：2004/04/21(水) 03:36: 最近本スレが荒れ気味・・・
人が少ないせいかと思いますが。
しばらくはsage進行でいったほうが良いのかな？
地下でﾋｿｰﾘ
33：приезд(☆4) （DTxrDxh6）：2004/04/21(水) 03:42: >>32
９は大学とこっちで忙しい。
＆くんは学部最終学年で忙しい。
長助くんは行方不明。
かかろとくんも行方不明。
昨年度の受験生の住人さんたちはあらかた進学。
わたしとラーメンさんもこっちがあるから本スレに登場する頻度は
激減。

の割には細々と活動できてる気もしますが。
34：LAR-men （lBLdA0dk）：2004/04/21(水) 03:58: 何か上の階で人が暴れている模様・・・
基地外かも・・・
35：приезд(☆4) （DTxrDxh6）：2004/04/21(水) 04:01: >>34
えﾞっ？
リアルでの話ですか？
36：LAR-men （lBLdA0dk）：2004/04/21(水) 04:16: まじです
37：приезд(☆5) （DTxrDxh6）：2004/04/21(水) 04:21: >>36
ちょっと待ってみたのに。。
38：LAR-men （lBLdA0dk）：2004/04/21(水) 04:23: 先生狙ってたでしょ？
☆5ですね
39：LAR-men （lBLdA0dk）：2004/04/21(水) 04:25: >>37
あ、そうなんですか？
失礼しました。
40：приезд(☆5) （DTxrDxh6）：2004/04/21(水) 04:30: >>39
やっぱり、物理は分からんことだらけですね。
41：LAR-men （lBLdA0dk）：2004/04/21(水) 04:41: 物理は数学と同じように問題演習が必須かと思います。
力学の問題なら、座標を設定して、内界と外界に分けて運動方程式を書く。
必要ならば、運動方程式から得られる運動量保存則・エネルギー保存則、
さらに拘束条件を使う。
っていう感じで問題をこなしていくと、結局、力学ってニュートンの3法則
しかないんだな～と実感できると思います。俺だけかも知れませんけど。
42：приезд(☆5) （DTxrDxh6）：2004/04/21(水) 04:52: まあテキストで曖昧な記述だな
と思ったところは問題演習を通じてわかるものだと
信じることにします。
43：LAR-men （lBLdA0dk）：2004/04/21(水) 04:55: 先生、経済学も嫌いでした？
44：приезд(☆5) （DTxrDxh6）：2004/04/21(水) 04:57: >>43
嫌いというより、知らないですね。
どうして？
45：LAR-men （lBLdA0dk）：2004/04/21(水) 05:06: 俺もかじった程度なんですけど、数学を使ってるんですが仮定がいっぱいあって
しかもその仮定がうさんくさいんですよ。
うまく言えないですが、先生は数学をテキトーに使われるのは嫌なのかな～
と思いまして。
46：приезд(☆5) （DTxrDxh6）：2004/04/21(水) 05:17: >>45
うーん。どっちともいえる問題なのですが、
郷に入れば郷に従う心づもりはあるのですよ.
そうとも言い切れないのかなあ.
昔素粒子やってる奴に量子力学の話を
延々と聞いて、
こっちはいちいち数学的なところで引っかかって
そのたびに向こうは何でそんなこと疑問に思うの？
って感じだったから.
いま物理で引っかかってるのは数学的な曖昧さではないんですがね。
47：９ （SpxcWT76）：2004/04/21(水) 07:36: サイエンスと数学の一番違うところは、
やはり先に現象世界があって後から人為的に公理を見出すか、
先に公理があってそこから論理的に一つの体系を見出すか、
の違いだと思います。

つまり、サイエンスの場合、その数式が現象をよく記述できていれば、
「なぜ？数学的にはこうこうだから…」と深く悩まずして正解になりえるんです。
たとえば、物体の運動を時間tをパラメタとする関数として考えるとき、
我々は（無意識のうちに）それをtで微分可能な曲線としてとらえます。
そのとき、「なぜ物体の運動曲線は微分可能なのか？」と悩み始めては先に進めません。
実際の自然現象が最優先の地位にあるわけなので、
悩んでもなかなか解決策が生まれてこないんです。
とりあえず、微分可能だという前提で基礎理論をつくり、
なんとなくその様相が頭の中で（感覚的に）理解できるようになったら、
「じゃあ次は微分可能でない運動ってどんなものなのか、考えてみよう！」
ってことになるんです。
つまり、数学と比べると、なんつーか、順序がめちゃくちゃのような気がしますが、
そっちのほうが効率がいいし、全体像がよく見えるようになると思います。

うーん、俺の言いたいこと伝わるでしょうか。
48：приезд(☆5) （DTxrDxh6）：2004/04/21(水) 07:48: >>47
ええ、それはいろんな人から何度も聞かされてますし
そうなんだと思います。
…まあ、物理スレでのわたしのいちゃもんをみてやってください。
49：приезд(☆5) （DTxrDxh6）：2004/04/21(水) 07:54: それに数学だって歴史をたどれば
公理から理論が出発したわけじゃなくって、
再構築してそうなってるだけですから。
50：９ （SpxcWT76）：2004/04/21(水) 22:05: >>49
そうですね。
「新・物理入門」のp.18の　□質量についてのコメント　
ってとこに（・∀・）ｲｲ!!こと書かれてますよ。
51：fusianasan：2004/04/27(火) 11:53: test
52：приезд(☆5) （DTxrDxh6）：2004/05/14(金) 00:42: 次スレどうしよう。
53：приезд(☆5) （DTxrDxh6）：2004/05/14(金) 00:46: 粘着と喧嘩してもしゃあないし
「＊大」「数学」「根負け」ver.15.0
とか。
でも、前のいちゃもんはこの板の設立でほぼ解消されたのに
何に文句があるんだろうね。
54：名無し研究員さん：2004/05/14(金) 02:39: 参考にしてください。
「Ｔ大」「数学」「根負け」ver.15.0
「最高学府」「数学」「根負け」ver.15.0
「赤門」「数学」「根負け」ver.15.0
「安田講堂」「数学」「根負け」ver.15.0
「旧帝国大」「数学」「根負け」ver.15.0
55：LAR-men （lBLdA0dk）：2004/05/14(金) 02:59: Ｔ大だとまた粘着が来そうなので、>>53でいいですか？
よければ立ててみます。(無理かも)
56：приезд(☆5) （DTxrDxh6）：2004/05/14(金) 03:55: >>55
おながいしまつ
57：LAR-men （lBLdA0dk）：2004/05/14(金) 04:09: 今から立てます。
58：LAR-men （lBLdA0dk）：2004/05/14(金) 04:16: 立てました
59：приезд(☆5) （DTxrDxh6）：2004/05/14(金) 04:29: 乙です。
60：приезд(☆5)@携帯：2004/05/14(金) 11:10: ｢束大｣｢数学｣｢根負け｣ver.15.0
にすりゃよかったかな。
文学部唯野教授みたいに。
61：まほろ：2004/05/14(金) 21:15: (、-ω-)｡oO(また荒らしですか･･･おんなじIDであれだけ連書きはできないはずなんだけどなぁ･･･)
62：quindecim(☆6) （DTxrDxh6）：2004/05/29(土) 17:16: 混乱させると悪いのでこっちに書きます。
>>台地くん。

ver.15.0->>293の話に出てくる数の中で定数であるのは0とaだけじゃない？
63：臺地 （qpPuO9q2）：2004/05/29(土) 19:51: >>62
あ、最終的にはそうですが、
第一段階としていろいろ定数を取ってきて（結局何でもいいのでεで代表して）～
と言う意味で言ってました。
εを「任意に固定」している視点のため、その中ではε、及びそれに応じて定まるn_0は
定数とみなすが、nは変数のままですよと言うのが漏れの言いたかったことでつ。

やっぱり説明へたくそでしたorz
こんど氏名黙秘氏が現れたら先生方にお任せいたしますm(_ _)m
64：quindecim(☆6) （DTxrDxh6）：2004/05/29(土) 20:36: >>63
説明するのは、非常にいい訓練になるので、
そういわずにどんどんやってください。
？と思ったときには、このスレなんかで
指摘しますので。
65：臺地 （qpPuO9q2）：2004/05/29(土) 20:53: >>64
ありがとうございます。。
でも質問する人に取ってみればより知識のある人からの答を待っているはずなので、
御不在のときに漏れが挑戦する、ということにいたします。。

現在「無限と連続」と格闘中。。半分ぐらいまで一応読みました。
はじめの方に、πの超越性が1882年リンデマンによって証明されたという話が
ありましたが、この証明は高校数学では理解できないのでしょうか？
πの無理性は大学入試に出てますし、eの超越性はver[5e]>>560があります。
なのでπの超越性は最後の砦と言うわけですｗ
66：quindecim(☆6) （DTxrDxh6）：2004/05/29(土) 21:38: >>65
この板の代数系入門の三章くらいまでの知識と
オイラーの公式が要るからなあ。何とか高校数学の範囲に
ならないこともないかもしれないけど、
ちょっと方程式使えば楽な問題をむりやり大算術で解こうと
するような話ですね。
67：LAR-men （lBLdA0dk）：2004/05/30(日) 00:23: 受験産業では"限界効用"より"限界得点力"っていう言葉を
よく使うみたいですね
68：臺地＠反省中 （qpPuO9q2）：2004/05/30(日) 01:04: >>66
やはり高校範囲では無理がありますか・・・・
では来年以降の楽しみにとっておくことにしますｗ
69：拳（☆3） （DTxrDxh6）：2004/05/30(日) 01:37: 　　　ヘ　　　ﾟＶﾟ
　　(｀ヽヽ､　( ﾟ(＞ﾉ｀ゝ､
　　( ヽ　ヽヽ.|│　ﾉノスヽ
　（､｀､｀､∩ ﾉ　ソ∩ノノ ,)　　　／￣￣￣￣
.　（ゝゝゝヽ（(ﾟДﾟ)ﾉ　ノノ､）　＜　ｷﾀｰ!!!!
　（, ', ', ', ', ,〉　　/ヽヽヽソ　　　＼＿＿＿＿
　　(, ', ', ',／| 　０ヽ､ヽソ
　　ヽ '' ´ 　し'´〃　｀´
70：quindecim(☆6) （DTxrDxh6）：2004/05/30(日) 01:44: >>67
ははあ。受験産業用語でしたか。知らなかった。
普通に経済用語のmarginal utilityを
長助くんが流用してるのだと思ってました。
意味は同じですよね。
71：quindecim(☆6) （DTxrDxh6）：2004/06/14(月) 23:01: ver.15.0->>912
粘着荒らしの出現を恐れてこっちに書きます。
ある性質を備えた関数たちの集合(たとえば{f∈R^[0,１]|∫[0,1]| f(x)| ^2dx<∞})
に線形構造を入れ(f+gとかfの実数倍を定義する)線形空間とし、
さらに内積かノルムを入れることにより距離の概念が入った空間とし、
(距離という位相が入った位相空間になる)、
その空間上の汎関数(その空間からRへの写像)
などを考えたりする分野です。
この説明だけで微分方程式と関係あったりしそうだと
想像つけてくれってのは無理かな。
72：臺地 （qpPuO9q2）：2004/06/15(火) 03:21: こちらも解説ありがとうございます。。ヽ(´∀｀) ノ
みるからに位相入門の内容を土台とした分野みたいですね。
微分方程式は良くて二階線形までしか知らないので・・・・
あ、ひょっとして線形性が微分と関わるというようなことでしょうか。。
73：quindecim(☆6) （DTxrDxh6）：2004/06/15(火) 12:17: >>72
えと、微分方程式を
関数に何らかの操作をしたら0という定数関数になると見るのです。
その操作が汎関数であったりとかね。
74：quindecim(☆6) （DTxrDxh6）：2004/06/15(火) 12:24: ↑この見方を昔９が高校の先生に説明してもらって感動してたな。
９の高校も９によると普通の公立だそうだけど。
75：臺地 （qpPuO9q2）：2004/06/15(火) 23:19: なるほど。。漏れはいみじくピーン！とは来ませんが（ごめんなさい）、
勉強していくうちにそんな風に感じたいものです。。

9氏の高校って絶対普通の公立じゃないと思うんですけどｗｗ
①9氏が誤魔化している
②その数学の先生が気合い入りまくり
？
76：quindecim(☆6) （DTxrDxh6）：2004/06/15(火) 23:24: >>75
まあ９のいうことを信じときましょうや。
９によると②だということだそうです。
77：（SpxcWT76）：2004/06/16(水) 00:26: >>75
ん、嘘じゃないよんｗｗｗｗ
単純に②。詳しいことはここには書けないけど。
メールくれれば学校名くらいなら教えるけどさ。
78：臺地 （qpPuO9q2）：2004/06/16(水) 00:40: >>77
変な疑いかけてすみません(＾-＾;)
別に詮索したいわけでもなかったので気になさらずに・・・
79：クウラ：2004/06/16(水) 00:41: 喋り方、変わったな。
電波の飛ばし方が変わった、少なくなったｗ
80：臺地 （qpPuO9q2）：2004/06/16(水) 00:43: なんだなんだ（藁
81：quindecim(☆6) （DTxrDxh6）：2004/06/16(水) 01:07: >>77
もしかしてHN替えるつもりなの？
82：quindecim(☆6) （DTxrDxh6）：2004/07/16(金) 01:00: 何が気に入らないのかなあ。
83：Renaissance(☆6) （DTxrDxh6）：2004/07/16(金) 01:01: ！！
一ヶ月－7分ぶりの書き込みだった。
84：Renaissance(☆6) （DTxrDxh6）：2004/07/20(火) 01:13: そのこと書こうとしたら規制でかけなかったんだよなあ＞本スレ>>770
次スレのタイトルにどうかって思ってた。
85：臺地 （qpPuO9q2）：2004/07/20(火) 02:24: まだ一ヶ月ほどありますけどね(^-^)
漏れも次スレのタイトルにいいんじゃないかって思い始めてました。。
86：こけこっこ：2004/07/20(火) 19:51: 4{(n^2+5)/(2n-1)}-(2n+1)=21/(2n-1)
左辺は整数であるから，21/(2n-1)=整数。
∴2n-1=1，3，7，21 ⇔ n=1，2，4，11
1+2+4+11=18

1周年記念は先生の
87：Renaissance(☆6) （DTxrDxh6）：2004/07/20(火) 23:16: >>86
？
88：臺地 （qpPuO9q2）：2004/07/21(水) 08:21: >>86
本スレ771だよね？(･∀･)ｶｺｲｲ!
漏れは素で間違えた・・・・ｶﾞｯｸﾘ
89：Renaissance(☆6) （DTxrDxh6）：2004/07/21(水) 08:22: >>88
ｵﾊﾖｳ!!
90：臺地 （qpPuO9q2）：2004/07/21(水) 11:37: あ・・・今気づきました
>>89
おは・・・もう昼だorz
ｺﾞﾒﾝﾅｻｲ
91：名無し研究員さん：2004/08/16(月) 19:53: >>みなさん
ver18.0立て直しますか？
92：(☆8) （DTxrDxh6）：2004/08/16(月) 19:54: ↑名前入れ忘れ。
93：LAR-men （lBLdA0dk）：2004/08/16(月) 21:35: 立てましょうか？
94：(☆8) （DTxrDxh6）：2004/08/16(月) 22:17: >>93
お願いします。
95：LAR-men （lBLdA0dk）：2004/08/16(月) 22:38: ではやってみます。
テンプレよろしく。
96：LAR-men （lBLdA0dk）：2004/08/16(月) 22:45: 立てました
97：n厨：2004/08/18(水) 22:41: ＞∫[-∞,∞]e^(-x^2)dxを求めよ

準備１
I_n=∫[0,π]sin^n xdx (n=0,1,2,…)
とします。
I_n=∫[0,π]sinx・ sin^(n-1) xdx=[-cosx・sin^(n-1) xdx]
+(n-1)∫[0,π]cox^2 x・sin^(n-2) x=(n-1)(I_(n-2)-I_n)
∴I_n=(n-1)/n・I_(n-2) (n=2,3,4,…)
特にnが偶数のとき2nとすれば
I_2n=(2n-1)/2n・I_(2n-2) (n=1,2,…)
nが奇数のとき2n+1とすれば
I_(2n+1)=2n/(2n+1)・I(2n-1)(n=1,2,…)

準備２
0<x<π/2のとき0<sinx<1なので0<sin^(n+1) x<sin^n x
これを積分することにより
0<∫[0,π/2]sin^(n+1) xdx<∫[0,π/2]sin^n xdxより0<I_(n+1)<I_n<I_(n-1)
特にnを2nとすれば
I_(2n+1)<I_2n<I_(2n-1)これより1<I_(2n)/I_(2n+1)<I_(2n-1)/I_(2n+1)=(2n+1)/2n
n→∞とすればI_(2n)/I_(2n+1)→1
98：n厨：2004/08/18(水) 22:44: 区間は0～π/2です。すみません
あとちょっと吟味したいことがあるのでもうちょっとかかりそうです。
あと別スレ未解決問題の自分の答えは２つでてきました。これはこのあと出します
99：n厨：2004/08/18(水) 22:52: 補題
√n∫[0,1](1-x^2)^n dx<∫[0,∞]e^(-x^2) dx<√n∫[0,∞]1/(1+x^2)^n・dx

1+x≦e^x　が成り立つのでxを-x^2とすれば1-x^2≦e^(-x^2)…①
①からn乗して積分することで
∫[0,1](1-x^2)^n・dx<∫[0,1]e^(-nx^2)・dx<∫[0,∞]e^(-nx^2)・dx
さらにxをx^2にすることにより1+x^2≦e^(x^2)からe^(-x^2)≦1/(1+x^2)…②
②からn乗して積分することで
∫[0,∞]e^(-nx^2)・dx<∫[0,∞]1/(1+x^2)^n・dx
合わせて
∫[0,1](1-x^2)^n・dx<∫[0,1]e^(-nx^2)・dx<∫[0,∞]e^(-nx^2)・dx
<∫[0,∞]1/(1+x^2)^n・dx　
これに√nをかけて
√n∫[0,1](1-x^2)^n・dx<√n∫[0,1]e^(-nx^2)・dx<√n∫[0,∞]1/(1+x^2)^n・dx
真中xをx/√nとすれば
√n∫[0,1](1-x^2)^n・dx<∫[0,∞]e^(-x^2)・dx<√n∫[0,∞]1/(1+x^2)^n・dx
100：n厨：2004/08/18(水) 23:40: 特に左辺xをcosxとし、右辺xをtanxとすれば
√nI_(2n+1)<∫[0,∞]e^(-x^2)dx<√nI_(2n-2)=2n√n/(2n-1) I_(2n)
=2n/(2n-1)・I_2n/I_(2n+1)・√nI_(2n+1)

ここで準備１を拝借して
I_2n/I_(2n+1)=ちょっと手書きメモみたいに分子、分母を分けて書きます
=分子=(2n-1)(2n+1)・(2n-3)(2n-1)・…・(1・３)・π
=分母=(2n)^2・(2n-2)^2・…・2^2・2
これから
分子=(2n-1)(2n+1)・(2n-3)(2n-1)・…・(1・３)
分母=(2n)^2・(2n-2)^2・…・2^2
=2/π・I_2n/I_(2n+1)
準備2を拝借して
分子=(2n-1)(2n+1)・(2n-3)(2n-1)・…・(1・３)
分母=(2n)^2・(2n-2)^2・…・2^2
→2/π
ひっくり返すと
分子=(2n)^2・(2n-2)^2・…・2^2
分母=(2n-1)(2n+1)・(2n-3)(2n-1)・…・(1・３)
→π/2
両辺を1/2乗して
分子=2n・2n-2・…・2
分母=√(2n+1)・(2n-1)・…・3
→√(π/2)
I_で表すと
lim[n→∞]√(2n+1)・I_(2n+1)=√(π/2)
√n・I_(2n+1)< √(n+ 1/2 )・I_(2n+1)→√π/2
101：n厨：2004/08/18(水) 23:49: √n・I_(2n+1)→√π/2とI_2n/I_(2n+1)=1より
右辺=2n/(2n-1)・I_2n/I_(2n+1)・√nI_(2n+1)→√π/2
左辺も同様に√π/2に収束し真中→√π/2に収束。
目的の式はxを-xにしても同じなので結局目的の値は√πになると思います。
102：まほ：2004/08/19(木) 00:00: うふぉっ！お見事・・・...＿|￣|○

君は渡米して飛び級するべきだと思う・・・
103：LAR-men （lBLdA0dk）：2004/08/19(木) 00:03: 芋に出るのを楽しみにしてまっせ
104：n厨：2004/08/19(木) 00:05: ぇ？
それはないと思います。数学は面白いけど、研究していく人には僕は向いてないと思います。
そのときの気分で問題を解いたりしてますから。
安藤さん立派な学者さんになってください！！
105：n厨：2004/08/19(木) 00:10: >>103
ある部門ではすでに(ｒｙ
掲示板ではやはり怖いですｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ
106：(☆8) （DTxrDxh6）：2004/08/19(木) 00:40: Хорошо.>>ｎくん

書き直したほうがいいところが少しあるのと,
舌っ足らずなところが少しあるけど,そんなのは
この方法を思いついたことに比べれば,ほんの小さな傷です.
たいしたものです.ちょっと興奮しています.

これ,この方法を想定して,何分割かすれば,
大学入試に出せるんだなあ.
ζ(2)の値を求めさせる問題も小問七つに分けて出されたけど.
107：711＠脳内脂肪：2004/08/19(木) 00:43: >>105
ここが「別掲示板」ですな（＾＾；）
それにしても上の解法は「お見事」です。
私は他の解法を考えてみようとも思いませんでした、この積分はOTZ

それにしても「芋」って何なのでしょうか？
108：Владимир(☆8) （DTxrDxh6）：2004/08/19(木) 00:44: >>107
ｵﾋｻｼﾌﾞﾘ!!
芋=IMO
です
109：LAR-men （lBLdA0dk）：2004/08/19(木) 00:45: IMOのことですよ兄さん
110：まほ：2004/08/19(木) 00:49: >>106
＞ζ(2)の値を求めさせる問題も小問七つに分けて出されたけど
興味あるので詳細キボンヌ
111：Reuleaux@生活改善中 （..TXgess）：2004/08/19(木) 00:59: (　´∀｀)＜ゴイスー
112：711＠脳内脂肪：2004/08/19(木) 01:03: >>108,109 (Владимир(☆8)さん・LAR-menさん）
お久しぶりですm(_ _)m
言われてみればそうですね（＾＾；

>>110
http://www.nn.iij4u.or.jp/~hsat/column/col02.html
私が示せる詳細はこれくらいですが、他にも初等的な解法はいくつもありそうです。
113：LAR-men （lBLdA0dk）：2004/08/19(木) 01:08: 脳みそ自体が脂肪なわけですが・・・
そういう意味じゃないか・・・
114：臺地 （qpPuO9q2）：2004/08/19(木) 01:24: >>110
大数2月号。
・・・ってよーくその号見たら>>97-101とまったく同じことが書いてあったよ！！驚

>>112
お久しぶりです。
115：n厨：2004/08/19(木) 01:41: >>114
そーなんですか？
そうなら僕がここでカキコしなくてもよかったんじゃありません？
116：臺地 （qpPuO9q2）：2004/08/19(木) 01:43: そんなことないと思う。
n氏は自力で導いたんだからそのほうが断然価値があるかと。
117：LAR-men （lBLdA0dk）：2004/08/19(木) 01:58: >>115
んなこたーない
118：名無し研究員さん：2004/08/19(木) 17:57: z
119：n厨：2004/08/19(木) 20:10: ご存知の方もいるかと思いますが、僕は算チャレに滅多に自分の解答を書きません。
なぜかというと自分の解法と他の人が大体かぶっていて、書くに値しないから。
記事にすでに書かれているのでしたら、そちらを見るほうがweb上の書き込み(pdf等ではなく)よりたぶん明快でしょうし
他の人にとってもよかったんじゃないのかなと思ったのです。
次の問題も自分の解答があってるかどーかわかりませんし、名無しさん投稿で、自分の解答を晒してもいいのですが合っていなかったらそのまんまになるし。
因みに次の問題は勝手な解釈でaを実数として考えましたが、それ以外については考えていません。
120：ｎ厨：2004/08/19(木) 20:14: 付け加え
名無しさん投稿だから答えがあってる、あってないにしろ放置される可能性があるので。。
現にe^(-x^2)の積分は有名でよかったのですが、今回は答えが本当にでるのかどうかもわからん問題でしょうし
121：Владимир(☆8) （DTxrDxh6）：2004/08/19(木) 20:44: フィールズメダリストの原稿だろうが、名もなき中学生の原稿だろうが
論理に破綻があれば、間違いだし、なければ間違いではない。

また歴史に名を残した数学者の予想にも間違いはある。
ライプニッツは
1-1+1-1+1-…
の値は
(1-1)+(1-1)+…と考えれば0だし
1+(-1+1)+(-1+1)+…と考えれば1,
0である可能性と1である可能性が均等であるからこの値は1/2であろうと予想した。
微積分法の発明者がである。
122：LAR-men （lBLdA0dk）：2004/08/19(木) 22:41: >>121
先生、ピーターの本どうでした？
TVのほうは今のところ彼の思い出話ばかりで
もうちょっと"愛し方"を語ってほしいのですが
123：臺地 （qpPuO9q2）：2004/08/20(金) 01:24: >>119
nさん、もしかして怒っているのですか？もし気分を害されたということなら謝ります。
僕は>>110を見て「ああ大数にあったな」と思って2月号を取ってきました。
その確認ついでに、「そういえばこの号に積分の難しそうな話題があったような」という気が
して、ちょっと見てみたらe＾(-x＾2)の話題があってビックリ、ということです。

上と同じことを申しますが、仮に僕がその記事をnさんが解法を載せる前に理解していて、
「ほらこんな解法あるんだよ～」と自慢し見せびらかしたところで、余り価値あることでは
ないのですよ。100％パクリなのですから。それに対して、nさんはもっと自力で、
オリジナルに解法を探り当てたのだから、それはパクリなんかよりずっと素晴らしく、
記録に値すると思います。

皆様、長々とどうでもいい話してごめんなさい。
僕が腹の立つことをしたということなら遠慮せずはっきり言って下さい。すみませんでした。
124：Reuleaux@生活改善中 （..TXgess）：2004/08/20(金) 02:31: (　´∀｀)＜またーりしる

あのログの問題は折れも興味あるからちゃんと読んで考えるよ。

雑誌にのっているような解法に比べて人の解法を読むのはたしかに大変で
投げやりになりがちだけど、n氏の解答は(ﾟдﾟ)ウマーなので名無しで
書いててもすぐ分かるし、よんでて気持ちいい。
いろいろと参考にナリマス。
だいたいそんなこと気にしてたら俺なんかテキトーで雑な解答ばかりで
恥ずかしくて自殺モンですよ（笑）

このNumberNINEネットワークはみんなのやる気と解答で出来てるんだよ。

あーくすぐったいこと言っちゃったぜｗ
125：名無し研究員さん：2004/08/20(金) 02:42: ここは試験場じゃないので、本当に自力で解いたか、否かはわからない。
疑うと切りないし、そのこと自体は、さほど重要でもない。
なぜなら、このような掲示板は自慢しあうのが目的でなく、刺激を受けることで、学問への好奇心を高め、学力の向上を目的としているから。
126：Владимир(☆8) （DTxrDxh6）：2004/08/20(金) 07:00: >>122
第一回放送分から第三回放送分までを読みました。
「私は、あるいはハンガリーはどのように数学を愛してきたか」
が書かれていますね。それを通じて、視聴者読者に何事かが伝わればよいという
態度なのでしょうね。

個人的には、ラメンさんと同じようにかの国が少々うらやましくなりましたね。

東京出版の大数はかの国の高校生のための数学雑誌「ケマル」からヒントを得たんでしょうかね。
「ケマル」の歴代編集者にしても、ポール・エルデシュにしても、どうも
かの国には、極めて優秀な数学宣伝マンがいるようですね。
わが国にも優秀な数学宣伝マンはいるのでしょうけど、実績を見ると
桁違いですね。それがうらやましい。
127：13：2004/08/20(金) 10:12: >>97-101
お見事！
これは物理数学等の有名問題ですね。
解き方さえ知っていれば非常に簡単だと思うのですが
読むと目が痛くなるのでよく読んではいませんが、よくある解き方の別解
みたいですね　お疲れさまでした
128：n厨：2004/08/20(金) 20:43: Владимир(☆8)さん、LAR-menさん、あ～くさん、Reuleaux@生活改善中さん、臺地さん、125さん、「13」さん
わざわざレスいただき感謝します。
>>121
ライプニッツ、ニュートンの微積をめぐる問題は有名ですね。ライプニッツがパクったとかどうとか。
その問題は今の人にとってはなんでもない当たり前の問題なのかもしれないですね。素数全体と自然数全体の数はどちらが多いかでしたっけ。あれも常識と言えるとは常人にはわか(ｒｙ
あっ素数で検索してたらこんなのが引っかかりましたがこのスレの人にとっては当たり前なんでしょーか。http://n173.is.tokushima-u.ac.jp/find.html
>>123
オリジナルでやったつもりが有名な解き方だったのが、ショックでしたorz。
それにe^xとxの関係、sinとxの関係等は検索すればいっぱい出てくるほど有名ですしね。
それを拡張して新たな定理をハッケソしていても不思議ではないですね。
>>124
宜しくお願いします
>>125
僕もいい刺激を受けています。受けずにはいられない。

＞こけこっこさん
更新等はされないのですか？
8/16で止まっていますが。
皆さんお忙しそうなのでもう一問は模試明けに書きます。
129：LAR-men （lBLdA0dk）：2004/08/20(金) 21:28: >>126
ケマルの優秀者の顔写真をのせるっていうのは面白いですよね
>>128
芋のために英語も勉強しといてくだされ
130：n厨：2004/08/22(日) 18:59: 英語はやはりまだまだやる余地がありそうです。今回ので思い知らされました。
131：臺地 （qpPuO9q2）：2004/08/22(日) 21:29: >>128
勝手な誤解してすみませんです。。素数の奴は下の方は知りませんでした。
原始根？に関わる話題かなぁ・・。

こけ氏はこの前言っていたように"卒業"したと思われ。
132：13：2004/08/24(火) 14:03: 卒業か・・

閑古鳥が鳴いている～
133：13：2004/08/24(火) 14:04: ここ、いつも誰も書き込んでないね・・・
主に代地さんしか書き込んでないから当然か（？）
134：13：2004/08/24(火) 14:06: 雑談スレと素で間違えてしまった、鬱だごめん
135：臺地 （qpPuO9q2）：2004/08/24(火) 14:11: >>133
主に俺だけってことはないでしょうけど・・・。
136：こけこっこ：2004/08/30(月) 11:38: >>132
本スレは卒業というか中退しますた・・。
137：新田（しんでん）：2004/09/23(木) 09:24: >>136
そうでしたか。ここも引退されてしまうのではないかと思って、ちょっと
あなたのことを心配しました。
本スレは荒れていたり私の時間が取れなかったり色々なので、
私もあっちを中退しようか迷ってます
138：（DTxrDxh6）：2005/01/02(日) 01:54: ageとかないかんかな。そろそろこのスレも。
139：名無し研究員さん：2005/01/02(日) 11:26: ２ｃｈには次ｽﾚ立てないの？
140：臺地 （qpPuO9q2）：2005/04/13(水) 01:06:37: 微分方程式とモノドロミーという授業が開講されるそうです。

お話：古典的な2階常微分方程式。数学科の標準カリキュラムにはない
特徴：現代数学の様々な理論の源泉、解析と幾何の意外な結びつきの美しさ
前提とする知識：ベクトル空間とかの線形代数、一年生の解析学、複素関数論の初歩
　ただし「意欲次第ではとりあえず知識はなくてもいいかもしれない」とのこと
主な内容：冪級数、コーシー・コワレフスカヤの定理、確定特異点、基本群、モノドロミー群、
リーマン球面と一次分数変換、ガウスの超幾何方程式とシュワルツの理論

大学一年生に理解できる内容でしょうか？
141：Мечислав(☆9) （DTxrDxh6）：2005/04/13(水) 01:22:51: >>140
難しいと思う。
意欲しだいではってのが曲者で、
調べんなんことが山ほどでてくると思う。
一年の四月からムリして聞くことはないと思う。
142：臺地 （qpPuO9q2）：2005/04/13(水) 01:24:09: そうですか・・・じゃあやめておこうかな。
143：Мечислав(☆9) （DTxrDxh6）：2005/04/13(水) 01:25:35: >>142
単位を度外視して、聞くだけ聞いて、「あ、コリャアカン」とおもたら
撤退ってのも手だけど。
144：臺地 （qpPuO9q2）：2005/04/13(水) 01:28:45: 今日のガイダンスだけ聞いてみますね。
建物が数理研究科棟で、入るのが何となく怖いけどｗ
145：Мечислав(☆9) （DTxrDxh6）：2005/04/13(水) 01:35:51: べつにいいンダケドなんでこのスレにかいたんだろう。。
146：臺地 （qpPuO9q2）：2005/04/13(水) 01:44:26: いや特に理由はないですが何となく・・・
147：長助：2005/04/13(水) 02:01:56: >>140
久賀道郎「ガロアの夢」あたりを読んでみてはどうでしょうか？
予備知識はなくても楽しめた記憶があります。

組紐群、KZ方程式、量子群みたいな現代的なテーマとも関係深いですよ。
148：臺地 （qpPuO9q2）：2005/04/13(水) 23:13:59: 第一回の授業を聞いて参りました。板書が理解不能というレベルではなかったので
これからも聞こうと思います。まあ切ろうと思えばいつでも切れるし、気楽に。
今回は無限整級数の話でした。次回は微分方程式に入るらしい。

レジュメに掲げられていた参考図書
・解析学
解析入門1(小平邦彦著)
解析入門I(杉浦光夫著)
解析概論(高木貞治著)

・複素関数論
函数論・上巻(竹内端三著)
複素解析(小平邦彦著)
あともう一個英語のがあるけどやけに題名が長くてよくわからないので略

・その他
ガロアの夢(久賀道郎著)

>>147がジャストミートしてたわけです。さすが長助氏。
見かけたら立ち読みくらいはしてみます
149：Мечислав(☆9) （DTxrDxh6）：2005/04/13(水) 23:18:00: >>148
関数論の英語は
アールフォースでは？
150：臺地 （qpPuO9q2）：2005/04/13(水) 23:24:04: ちなみに解析の教科書は解析入門I(杉浦光夫著)
線形代数の教科書は線形代数学(長谷川浩司)
とのこと。難しそうですね

>>148
Lars Valerian Ahlfors, Complex Analysis:An Introduction to the Theory of Analytic
Functions of One Complex Variable.....とか書いてあります。
どれが人名でどれがほんの題名なのかもよくわかりませんでしたorz
151：Мечислав(☆9) （DTxrDxh6）：2005/04/13(水) 23:28:39: >>150
あ、アールフォース(L.V.Ahlfors)の
コンプレックス　アナリシス(Complex Analysis)ですね。
コロン以下は副題かな。
ぼくらはアールフォースとか
アールフォースのコンプレックスアナリシスって呼んでました。
三回目の二年生のとき友達と自主セミナーで読んだ。
152：臺地 （qpPuO9q2）：2005/04/13(水) 23:31:28: >>151
そうでしたか。中身も全部英語だと読むのきつそうですね
＞三回目の二年生
ん・・・・！？
153：Мечислав(☆9) （DTxrDxh6）：2005/04/13(水) 23:33:58: >>152
えと、ぼくは一浪六留です。

アールフォースはたしか最初のフィールズ・メダリストではなかったかな。
154：臺地 （qpPuO9q2）：2005/04/13(水) 23:38:09: >>153
初めて聞きますた・・・・（ﾋﾞｸｰﾘ
アールフォースさんて偉い人なんですね。
155：長助：2005/04/13(水) 23:43:55: >>148

久賀道郎以外はただ標準的な教科書を列挙しただけという感じですね。

ガウス－シュワルツ理論だったら、難波誠「複素関数三幕劇」なら予備知識なしで読めると思う。
昔、関数論も知らないときに読んだけど、なんとも壮大な話だと思いました。
156：臺地 （qpPuO9q2）：2005/04/13(水) 23:49:50: >>155
そのようにさらっとのたまうあたり、ホントすごいですね・・・
図書館にあるかどうか探してみます。
157：Мечислав(☆9) （DTxrDxh6）：2005/04/13(水) 23:52:12: >>155
久賀道郎のあの本っていまでも読み継がれてるんですね。
ちょっと驚きました。
158：裏画像収集家 （ggGgggQQ）：2005/04/14(木) 02:23:28: >>153
六竜って・・・何やったんだ一体
159：AM＠駒場図書館：2005/04/14(木) 20:54:00: お久しぶりで～す。
大学楽しいで～す。
以上で～す。
160：臺地 （qpPuO9q2）：2005/04/16(土) 01:55:56: ∇↑×(∇↑×E↑)=∇↑(∇↑・E↑)-∇↑＾2E↑
なんですかこれ？ベクトル解析？

>>153
失礼ながら>>158に同感。。

>>159
図書館から書きこんだのかいな。俺もやってみたい
161：裏画像収集家 （ggGgggQQ）：2005/04/16(土) 02:29:22: >>160
ベクトル演算の基本的な公式。
A×(B×C)＝(A・C)B-(A・B)CでA＝B＝∇にしただけ。
162：臺地 （qpPuO9q2）：2005/04/16(土) 10:50:58: >>161
あーそうなんですか。急にこんな感じの板書が始まったもんだから狼狽しました。

センター試験の結果が来ました。自己採点との比較は、
英語-0　数学-0　国語-4　理科-0　社会-3
微妙に減ってました・・・実は公民より地歴の成績の方がよかった罠
163：たま （RT2HgTis）：2005/04/16(土) 12:19:03: >>153
ﾅﾝﾄﾏｧ･･･

>>長助氏
はじめまして(･∀･)ﾉｼ
今年から輪読に参加してるものです。お見知りおきを。

Ｔ大面白そうだなぁ。
隣の芝は青いだけかなぁ。
164：臺地 （qpPuO9q2）：2005/04/16(土) 15:18:16: どんな大学に行こうと、やり方しだいで面白くなるんじゃないでしょうか。
「ものは考えよう」ですね。大学生だと夢にあふれている人が多いようです。
俺は楽しく楽に過ごせればいいや。
165：AM＠駒図：2005/04/16(土) 16:49:25: >>160
もしかしてあんたも相対論とってますか？ｗ
166：臺地 （qpPuO9q2）：2005/04/16(土) 17:10:59: どんぴしゃ
どこまでついていけるかはわかんないけどね。てか既についていけてない気もするけどね。
ところで何コマ埋めた？
167：たま （RT2HgTis）：2005/04/16(土) 17:56:10: >>164
京大も楽しいよ。夢にあふれた大学生が多いのかは甚だ疑問ですがｗ
一年のときクラス指定の科目が多くて、あんま趣味に走れなかったから、
「微分方程式とモノドロミー」とか「相対論」とか面白そうな授業取れていいなぁとちょっと思って。

>>165>>166
ﾆﾔﾐｽｷﾀ―――――ヽ（´ー`）ノ―――――!!!
168：Мечислав(☆9) （DTxrDxh6）：2005/04/16(土) 18:10:48: みなさんこんばんはー。
やることたまってるなー。
今はmm氏いうところの「サロンのマニアックなスレ」のあるレスを解読中でした。
集合位相スレもコメントを考慮中です。(ほぼおｋなんで、先に進んでくれてもｲｲﾖ。たまちゃん)
裏画像氏に「先がたのしみなので」って言われてるハイラーワナーも
ちょっとだけ原稿かいて、途中になってる。
まだ、あと二つばかり、９マン研究所関係でやんなきゃっておもうことためてる。

そういうの全部片付けてから一浪六留について説明しようと思ってます。。
(この説明が一番頭使わなくてらくなんだけど。。)
169：臺地 （qpPuO9q2）：2005/04/17(日) 02:41:27: >>167
＞京大も楽しいよ。
ほら、やっぱりｗ
＞夢にあふれた大学生が多いのかは甚だ疑問
表向きみんなうそぶいているけど心に秘めているもんがあるんだよね、みんな
＞面白そうな授業取れていいなぁ
取った半分以上の(おそらく)人が消えていくわけだが。

>>168
大変そうですが、ごゆっくりおねがいします
170：mm：2005/04/17(日) 21:54:19: いいなぁ、大学。
漏れは大学入れたら一日中白衣着て学内を奔走したいですぅ。
てかここは雑談すれpt2みたいな感じ。。
171：臺地 （qpPuO9q2）：2005/04/17(日) 22:21:49: >>170
大丈夫。必ず大学入れるよ！
たしかにこっちが雑談スレと化しつつあるね・・・向こうは問題投下してるし・・・立場逆転だ罠
入れ替えるか。
172：臺地 （qpPuO9q2）：2005/04/18(月) 23:44:26: では実際入れ替えてみる。
こっちに問題投下するのも変なんだよな・・・でも緑スレも問題残っているみたいだし、いいか。

aを実数定数とし、関数f(x)をf(x)=(a^2+1)x＾2-4axで定める。
すべての整数xに対してf(x)>-1となるaの値の範囲を求めよ。
173：mm：2005/04/19(火) 00:27:30: 雑談すれ>>719-720
i^(1/2)の指摘ありがとうございます。
これからは気をつけます。

書き込むのはここでよかったんですか？

>>172やってみます。
174：mm：2005/04/20(水) 17:19:32: 風邪ひいたっぽいです。頭痛い・・・
自習しないで帰宅です。
-2+√2<a<2-√2
2+√2<a
a<-2-√2
答案は後で書きます
175：臺地 （qpPuO9q2）：2005/04/20(水) 23:48:20: 正解でーす
97東大をやったことあれば簡単？
176：mm：2005/04/21(木) 06:57:26: おはようございます。昨日は予習終わって、ちょっと昼寝のつもりで寝たら
がっつり寝てしまった。。。

>>175
あの問題は難しいらしいのでパスしてましたｗ
177：mm：2005/04/21(木) 22:37:08: 解答その壱

f(x)=(a^2+1)x＾2-4ax
=(a^2+1)(x-2a/(a^2+1))^2-4a^2/(a^2+1)

g(x)=2x/(x^2+1)とおく。
g'(x)=2*(1-x^2)/(x^2+1)^2
より、g(x)はx=<-1で減少、-1<x<1でx=-1で増加、1=<xで減少。
x=-1で極小、x=1で極大となり、その値はg(-1)=-1,g(1)=1。
またg(x)→0(x→∞),g(x)→0(x→-∞)である。

ここでf(x)が最小となるxはg(a)との差分が最も小さくなるような整数となるときである。
g(a)は,-1=<g(a)=<1であるから、次のように場合わけされる。
1,-1=<g(a)=<-1/2
2,-1/2=<g(a)=<1/2
3,1/2=<g(a)=<1

■1のとき
-1=<g(a)=<-1/2 ⇔ -2-√3=<a=<-2+√3
このときf(x)は、x=-1で最小となる。
f(-1)=a^2+4a+1>-1 ⇔ a<-2-√2 ∨ -2+√2<a
よってこのとき条件を満たすaの値は、-2-√3=<a<-2-√2,-2+√2<a=<-2+√3

■2のとき
-1/2=<g(a)=<1/2 ⇔ -2+√3=<a=<2-√3 ∨ a=<-2-√3 ∨ 2+√3=<a
このときf(x)は、x=0で最小となる。
f(0)=0より、このとき条件を満たす値は-2+√3=<a=<2-√3 ∨ a=<-2-√3 ∨ 2+√3=<a

■3のとき
1/2=<g(a)=<1 ⇔ 2-√3=<a=<2+√3
このときf(x)は、x=1で最小となる。
f(1)=a^2-4a+1>-1 ⇔ a<2-√2 ∨ 2+√2<a
よってこのとき条件を満たすaの値は

以上1,2,3の場合を合わせると2-√3=<a<2-√2 ∨ 2+√2<a=<2+√3
a<-2-√2
-2+√2=<a=<2-√2
2+√2=<a

(終わり）
178：mm：2005/04/21(木) 22:38:21: ↑間違い、等号は無しです
179：mm：2005/04/21(木) 23:36:25: 解答その弐

f(x)=(a^2+1)x＾2-4ax
xが整数であるから
F(x)=f(x+1)-f(x)
　　=(a^2+1)(2x+1)-4a
　　=2(a^2+1)x+a^2-4a+1
とおく。
ここで、F(x)はxの一次式であり、a^2+1>0であることよりF(x)は単調に増加する。
x>=1のときF(x)>=F(1)=3a^2-4a+3=3(a-2/3)^2+5/3>0
x=<-2のときF(x)=<F(-2)=-3a^2-4-3=-3(a+2/3)^2-5/3<0
よって
f(1)<f(2)<・・・
・・・>f(-2)>f(-1)
である。

■1,F(0)=<0のとき(2-√3=<a=<2+√3)
f(x)はx=1で最小。このときf(1)=a^2-4a+1>-1 ⇔ a<2-√2 ∨ 2+√2<a
よって条件を満たすaの範囲は2-√3=<a<2-√2 ∨ 2+√2<a=<2+√3

■2,F(0)>=0のとき(a=<2-√3,2+√3=<a)
　□ア,F(-1)=-a^2-4a-1>=0のとき(-2-√3=<a=<-2+√3)
　f(x)はx=-1で最小。このときf(-1)=a^2+4a+1>-1 ⇔ a<-2-√2 ∨ -2+√2<a
　よって条件を満たすaの範囲は-2-√3=<a<-2-√2 ∨ -2+√2<a=<-2+√3

　□イ,F(-1)=<0のとき(a=<-2-√3,-2+√3=<a)
　f(x)はx=0で最小。このときf(0)=0
　よって条件を満たすaの範囲はa=<-2-√3 ∨ -2+√3=<a=<2-√3 ∨ 2+√3=<a

よってこれらをまとめると
-2+√2<a<2-√2
2+√2<a
a<-2-√2

(終わり)
180：臺地 （qpPuO9q2）：2005/04/21(木) 23:46:35: >>177
頂点のx座標が動ける範囲が限られているため、有限個の整数xでf(x)<-1を解けばよい、
という方針ですね。オッケーです。以下は俺が感じた印象ですがあくまで個人的なもの
ですので参考にしなくてもいいです。

・7行目まではx∈R、以降はx∈Zですね。明記したほうがいいと思います。
問題文にもx∈Rは書いてないですけど・・・。
でも読み返したとき、
＞f(x)が最小となるxはg(a)との差分が最も小さくなるような整数となるときである。
を見て自分で混乱しないためにも。

・＞よってこのとき条件を満たすaの値は
＞以上1,2,3の場合を合わせると2-√3=<a<2-√2 ∨ 2+√2<a=<2+√3
「よってこのとき条件を満たすaの値は2-√3=<a<2-√2 ∨ 2+√2<a=<2+√3。
以上1,2,3の場合を合わせると」のタイプミス？

・実はg(a)の値で場合分けする必要はありません。
問題の条件⇔min{f(x)}_x∈Z>-1⇔min{f(x)}_x∈{-1,0,1}>-1
⇔f(-1)>-1∧f(0)>-1∧f(1)>-1から一発で答えが求まります。

>>179
うほ。二個目ですか。今から読ませていただきます・・
181：mm：2005/04/22(金) 00:00:31: こんばんは。すばやいレス有難う御座います
＞・7行目まではx∈R、以降はx∈Zですね。明記したほうがいいと思います。
了解しました
＞・＞よってこのとき条件を満たすaの値は～タイプミス？
見直しが甘かったようです労力をかけさせてすんませんm(_ _)m
仰せのとおりのつもりで書きました
＞・実はg(a)の値で場合分けする必要はありません。
Umm..確かにそうですね。問題を解き始める前に気づきたかった。＿|￣|○

＞「うほ」以下
よろしくお願いいたします
182：臺地 （qpPuO9q2）：2005/04/22(金) 00:08:58: >>179
なるほど。独立試行の確率の最大最小問題で見る方法の応用って感じですね。納得です。
ただ、この問題の場合は、180でも言ったように、
＞f(1)<f(2)<・・・
＞・・・>f(-2)>f(-1)
から、f(1)とf(-1)とf(0)だけ考えればよい！(f(0)=0>-1より0は速攻で除外可能)
としてしまった方が早いんですね・・・
183：臺地 （qpPuO9q2）：2005/04/22(金) 00:14:52: うーむ
やっぱりこちらに問題投下するのは微妙ですね。。2スレに分割されちゃうし・・・
というわけで以後緑スレに戻ったほうが(・∀・)ｲｲ!!かも
184：mm：2005/04/22(金) 00:15:55: >>182
いわれると当たり前のように聞こえますねぇ。
半分以上が無駄でできている恥ずかしい解答です。頭が固くて途中で全体を眺めることが
できてないのかも。。。精進せねば。
185：mm：2005/04/22(金) 00:16:55: >>183了解です
「高校範囲を逸脱」にも当たりませんしね
186：臺地 （qpPuO9q2）：2005/04/22(金) 00:22:15: というわけで関連題(？)を向こうに投下しておきますね。よければどうぞ。
187：Мечислав(☆9) ◆QRDTxrDxh6：2005/07/25(月) 20:33:39: 皆さんｵﾋｻｼﾌﾞﾘでございます。
RSKTTMさん。ﾊｼﾞﾒﾏｼﾃ!よろすく。
そういえばこの板、問題投下スレ(とくに大学の範囲の)がありませんね。
ちょっと思いついたんでここに投下。RSKTTMさんもよかったらﾄﾞｿﾞ。

まず、集合Xの部分集合Aに対してX上の実数値関数χ(x;A)を,
x∈Aのときχ(x;A)=1,￢(x∈A)のときχ(x;A)=0と定義します。
(χ(x;A)をAの定義関数といいます。)

このときXの部分集合系{A_n}⊂Xに対して
χ(x;limsup A_n)=limusupχ(x;A_n)を示してください。

limsup A_n=∩[n=1,∞]∪[k=n,∞]A_k,
実数列{a_n}に対して,limsup a_n=inf[n≧1]sup[k≧n]a_k
です。
188：たま ◆U4RT2HgTis：2005/07/25(月) 22:10:26: >>187
x∈limsup A_n ⇔ limsupχ(x;A_n)=1を示せばよい。
<proof>
x∈limsup A_n
⇔x∈∩[n=1,∞]∪[k=n,∞]A_k
⇔∀n∈N;x∈∪[k=n,∞]A_k
⇔∀n∈N;∃k≧n;x∈A_k
⇔∀n∈N;∃k≧n;χ(x;A_k)=1
⇔∀n∈N;sup[k=n,∞]χ(x;A_k)=1 (∵χ(x;A_k)=0or1)
⇔inf[n≧1]sup[k≧n]χ(x;A_k)=1
⇔limsupχ(x;A_n)=1

式変形しただけだけども、どうでしょ？
189：Мечислав(☆9) ◆QRDTxrDxh6：2005/07/26(火) 15:14:45: >>188
おｋです。

要するにχ(x;∪A_n)=sup{χ(x;A_n)}とχ(x;∩A_n)=inf{χ(x;A_n)}
を示すだけですね。
190：たま ◆U4RT2HgTis：2005/08/09(火) 00:28:30: >>189
そですね。188はちょっと手を抜いたんでためしに、
χ(x;∪A_n)=sup{χ(x;A_n)}の証明をちょっと丁寧に証明かいてみます。
χ(x;A_n)=1 or 0 よりsup{χ(x;A_n)}=1 or 0であることに注意すると、
χ(x;∪A_n)=1⇔sup{χ(x;A_n)}=1が示せれば、対偶を取って
χ(x;∪A_n)=0⇔sup{χ(x;A_n)}=0がいえるので、これよりχ(x;∪A_n)=sup{χ(x;A_n)}が
示せることがわかります。ので、χ(x;∪A_n)=1⇔sup{χ(x;A_n)}=1を示します。
χ(x;∪A_n)=1⇔x∈∪A_n⇔∃n∈N;x∈A_n⇔∃n∈N;χ(x;A_n)=1なので、
∃n∈N;χ(x;A_n)=1⇔sup{χ(x;A_n)}=1がいえればおっけーです。
ここで、∀k∈N;χ(k;A_k)=1 or 0 より、∀k∈N;χ(k;A_k)≦1なので
∃n∈N;χ(x;A_n)=1⇒supχ(x;A_n)=1
また、supχ(x;A_n)=1のとき∃n∈N;χ(x;A_n)=1でないと仮定すると、
∀n∈N;χ(x;A_n)≠1すなわち∀n∈N;χ(x;A_n)=0となるので
supχ(x;A_n)=0となり矛盾。従って、supχ(x;A_n)=1⇒∃n∈N;χ(x;A_n)=1です。
これより、∃n∈N;χ(x;A_n)=1⇔sup{χ(x;A_n)}=1が成り立ちます。
以上より、χ(x;∪A_n)=1⇔sup{χ(x;A_n)}=1となります。

χ(x;∩A_n)=inf{χ(x;A_n)}も同じように示せて、この二つを用いたら、
χ(x;limsup A_n)=limusupχ(x;A_n)も示せるって感じですね。
191：Мечислав(☆9) ◆QRDTxrDxh6：2005/08/09(火) 09:32:18: >>190
はい。どもー。補足乙ですた。
このスレ今後、問題投下スレにしようか。
受験生も大学生もいるから、大学受験用、大学生用共用の。
192：Мечислав(☆9) ◆QRDTxrDxh6：2005/08/09(火) 19:34:27: ええっと。
解析概論スレをみてて投下を思い立ちました。
受験生にも挑戦可能な問題。

1.　(1)　5/7を二進展開してください。
　　(2)　すべての有理数は,二進展開すると循環二進数で書けることを証明してください。
2..　(1)　a,b,が実数のとき,三角不等式|a+b|≦|a|+|b|を示してください.
　　(2)　2n個の実数a_1,a_2,…,a_n,b_1,b_2…,b_nに対して,いわゆるシュワルツの不等式
　　　　　(a_1b_1+a_2b_2+…+a_nb_n)^2≦((a_1)^2+(a_2)^2+…+(a_n)^2)((b_1)^2+(b_2)^2+…+(b_n)^2)
　　　　が成り立つことを示せ.
　　(3)　P(x_1,x_2,…,x_n),Q(y_1,y_2,…,y_n),R(z_1,z_2,…,z_n)に対して
　　　　　PQ+QR≧PRが成り立つことを示せ.
　　　　　ただしP,Qに対して二点間P,Qの距離PQは次で定義される.
　　　　　PQ=√((y_1-x_1)^2+(y_2-x_2)^2+…+(y_n-x_n)^2)

皆さんの挑戦をお待ちしております。
193：mm：2005/08/11(木) 21:34:52: 2.
(1)両辺とも正であるので、(右辺)^2-(左辺)^2を計算すると
|a|^2+2|a||b|+|b|^2-|a^2+2ab+b^2|
≧0(等号成立はab≧0のとき)
(2)a↑を(a_1,a_2,…,a_n)を成分に持つn次ベクトル
b↑を(b_1,b_2,…,b_n)を成分に持つn次ベクトルとする。
左辺=(a↑・b↑)^2≦|a|^2|b|^2=右辺
(3)PQ=√((y_1-x_1)^2+(y_2-x_2)^2+…+(y_n-x_n)^2)
QR=√((y_1-z_1)^2+(y_2-z_2)^2+…+(y_n-z_n)^2)
PR=√((z_1-x_1)^2+(z_2-x_2)^2+…+(z_n-x_n)^2)
PQ+QR≧PR
⇔PQ^2+QR^2+2PQ*QR≧PR^2
⇔2PQ*QR≧PR^2-PQ^2-QR^2…(★)
以下★について考える
a_n=x_n-y_n,b_n=y_n-z_nとすると
PQ^2=��(a_k)^2
QR^2=��(b_k)^2
PR^2=��(a_k+b_k)^2
右辺=2��(a_kb_k)
(左辺)^2-(右辺)^2=4��(a_k)^2��(b_k)^2-4(��(a_kb_k))^2
=4(��(a_k)^2��(b_k)^2-(��(a_kb_k))^2)
≧0(∵(2))

洗礼されないなぁ
194：Мечислав(☆9) ◆QRDTxrDxh6：2005/08/11(木) 23:07:21: >>193
えー。解答ありが㌧。
(1)はおｋです。
(3)もおｋです。
(2)ですが、これはまあ
「(a↑・b↑)^2≦|a|^2|b|^2｣
を示してくださいっていう問題なので。。
195：mm：2005/08/12(金) 13:15:20: コピペ駆使ｗ

(��[i=1,k](a_ib_i))^2≦(��[i=1,k](a_i)^2)(��[i=1,k](b_i)^2)
とすると
(��[i=1,k+1](a_ib_i))^2
=(��[i=1,k+1](a_i)^2)(��[i=1,k+1](b_i)^2)+2a_(k+1)b_(k+1)��[i=1,k](a_ib_i)-(a_(k+1))^2��[i=1,k](b_i)^2-(b_(k+1))^2��[i=1,k](a_i)^2
=(��[i=1,k+1](a_i)^2)(��[i=1,k+1](b_i)^2)-��[i=1,k](a_(k+1)b_i-a_ib_(k+1))^2
≦(��[i=1,k+1](a_i)^2)(��[i=1,k+1](b_i)^2)
以上より、n=kで成り立つときn=k+1でも成り立つ
n=1のとき右辺-左辺は0であり成立
したがって帰納的に、全ての自然数nについて成立する
196：Je n'ai pas de nom!：2005/08/13(土) 02:33:06: >>195
えー。
(��[i=1,k+1](a_ib_i))^2
=(��[i=1,k+1](a_i)^2)(��[i=1,k+1](b_i)^2)+2a_(k+1)b_(k+1)��[i=1,k](a_ib_i)-(a_(k+1))^2��[i=1,k](b_i)^2-(b_(k+1))^2��[i=1,k](a_i)^2
は
(��[i=1,k+1](a_ib_i))^2
≦(��[i=1,k+1](a_i)^2)(��[i=1,k+1](b_i)^2)+2a_(k+1)b_(k+1)��[i=1,k](a_ib_i)-(a_(k+1))^2��[i=1,k](b_i)^2-(b_(k+1))^2��[i=1,k](a_i)^2
では？
それで、おｋですね。

以下、読みにくいのでベクトルの↑は省略させてください。
a・bはaとbの内積のつもりです。

すべての実数tで
0≦|at-b|^2=|a|^2t^2-2a・b+|b|^2
だから(a・b)^2-|a|^2|b|^2≦0

というのも有名ですので。
(ご存知かと思いますが)
197：Мечислав(☆9) ◆QRDTxrDxh6：2005/08/13(土) 02:33:45: ↑名前付け忘れ。
198：mm：2005/08/16(火) 14:23:23: >>196
≦ですね。ﾏﾁｶﾞｲﾀﾖ
199：Je n'ai pas de nom!：2005/08/20(土) 01:41:40: Σ(a[i]t+b[i])^2=0の判別式を駆使した方法もありますね。
200：Je n'ai pas de nom!：2005/08/20(土) 01:42:18: あ、書かれてた。すまそ
201：Мечислав(☆10) ◆QRDTxrDxh6：2005/09/02(金) 03:50:24: えー。受験生に向けた問題を本スレに投下しておきました。
mmくんをはじめとする受験生の皆さんの挑戦を待っています。
本スレのURLは>>3にあります。
202：臺地 ◆6rqpPuO9q2：2005/09/02(金) 10:59:22: ああ、別館ver7.52のことですね。
203：Мечислав(☆10) ◆QRDTxrDxh6：2005/09/02(金) 11:00:48: >>202
へへ。本スレ、実はまだ存続してたことに気づきましてね。
204：臺地 ◆6rqpPuO9q2：2005/09/02(金) 11:17:50: 便乗してみますた
205：weapon ◆RRlBLdA0dk：2005/09/03(土) 14:17:40: 見れませんが
206：mm：2005/09/03(土) 21:23:52: ぴに改名しますた

臺地さんのほうも書き込もうとしたら、
キャップ使用方を確認してください.
とか出るんですけど?
207：ぴ：2005/09/03(土) 21:27:07: あれ、書けた。なんだったんだろう?
>>205見れますよ
http://park6.wakwak.com/~sarumaru/hogehoge/gakusei/index.htmlからはどうです？
208：臺地 ◆6rqpPuO9q2：2005/09/04(日) 01:22:31: 別館は携帯からだと見れなかったんだっけ・・・？
＞mm改めぴ氏へ
はーいおｋでーす。
気が向いたときに投下するんでよろしく
209：Мечислав(☆10) ◆QRDTxrDxh6：2005/09/04(日) 02:03:42: >>206
講評かきましたよ～。
210：Мечислав(☆10) ◆QRDTxrDxh6：2005/09/04(日) 02:05:57: >>208
別館は携帯から読みも書きもできますよ。
211：Мечислав(☆11) ◆QRDTxrDxh6：2005/11/14(月) 10:38:27: とうとう、というか、いつのまにか別館閉鎖の模様。
212：臺地 ◆6rqpPuO9q2：2005/11/14(月) 23:55:54: なんと・・・
214：Мечислав(☆12) ◆QRDTxrDxh6：2006/03/21(火) 23:25:47: 受験生も来たようなので虫干しage
215：Je n'ai pas de nom!：2006/03/29(水) 23:04:21: a_k=sink(kは自然数)とするとき、
(1)この数列は周期数列でないことを示せ。
(2)この数列の項は無理数となることを示せ。
216：あしぺた：2006/03/29(水) 23:45:54: ただし、自然数は1から始まるものとする
217：かかろっと＠超サイヤ人手前：2006/03/31(金) 18:19:57: 周期数列って何でしょうか。定義知らないもので
218：Je n'ai pas de nom!：2006/03/31(金) 22:27:24: 周期数列
a[n]=a[n+km] ,(k=1,2,3・・・)
219：かかろっと＠超サイヤ人：2006/04/01(土) 13:47:04: ありがとうございました。教えていただき感謝します
220：weapon ◆RRlBLdA0dk：2006/04/04(火) 01:06:07: もうだめぽ
221： ◆ZFABCDEYl.：2006/04/07(金) 00:47:05: >>220
ガンガレ！！
僕もなるべく数学を忘れないように更新します！！
いつまで続くかは不明ですが・・。
222： ◆ZFABCDEYl.：2006/04/07(金) 01:00:24: 一日一題スレの問題で，

次の性質を満たす最大の整数kを決定せよ。
(性質)：各自然数nに対し、少なくともk個の自然数が存在し、
それらはnより大きくn+17より小さく、いずれもn(n+17)と互いに素である。

という問題がありますが，n=16! とすれば k≦1 だと思うんだけど，
これだけで k=1 を答としてはダメでしょうか？
やっぱり，十分性についても証明しないとダメ？
223：Je n'ai pas de nom!：2006/04/07(金) 06:42:45: 「少なくともk個の自然数が存在し」と言う文言が常に「真」とならねばならない（つまり、nについての全称命題）だから、
十分性の証明は不可欠。
言い換えると
「各自然数nに対し、nより大きくn+17より小さく、いずれもn(n+17)と互いに素であるような自然数の個数をa[n]とすると、
　a[n]の最小値を求めよ。」
と同値。a[n]=0になるnの値を見つけられれば、それがそのまま十分性を持つが、a[n]=1ではダメ。
224： ◆ZFABCDEYl.：2006/04/07(金) 22:56:05: >>223
やっぱりそうですよね。ありがとうございました。
225： ◆ZFABCDEYl.：2006/04/15(土) 02:06:06: 質問スレで見つけたp進法の問題があるんですが，
こういう問題ってどうやって記述答案化すれば良いのでしょうか？
高校のとき，p進法の問題を記述答案化する技術を身に付けて
いなかったことに気づきました・・・。

問題を転記します。

p,nは自然数で、p≧2とする。
p^nより小さい自然数ｌ(エル)を
ｌ＝��[k=0,n-1]a_k・p^k （ただし、a_kは0≦a_k≦p－1をみたす整数）と表し、
S(l)=��[k=0,n-1]a_k とおく。このとき
(１)　　S(l)＋S(p^n－l) （ただし、１≦l≦p^n－１）の最小値
(２)　　(１)の最小値を与える自然数lを全て求めよ。
226： ◆ZFABCDEYl.：2006/04/15(土) 02:07:35: 答は多分，

(1) 最小値=p

(2) p^(n-1),2p^(n-1)，・・・・，(p-1)*p^(n-1)

となると思うんだけど，記述答案化できないんです。
227： ◆ZFABCDEYl.：2006/04/15(土) 02:11:29: p=10で実験すればすぐ気づくけど，要はp^nという数を
p-1 p-1 p-1 p-1 ・・・p-1 (p) + 1 (p)
とp進表記すれば，lはp新表記の最高位の数が1～p-1で残りは全部0
になればいいっていう感覚なんですが，これをうまく記述答案に
できないというか。
228： ◆ZFABCDEYl.：2006/04/15(土) 02:26:36: 記述式になると急激に難問化する問題ってたくさんあるけど，
p進法がそれの代表例じゃないかって思いました。

何ていうか最近急激に数学ができなくなっていることを実感しました。
本当に6年後には2次方程式も解けなくなりそう。
やっぱり数学は忘却率ナンバーワンじゃないだろうか。
229： ◆ZFABCDEYl.：2006/04/15(土) 08:12:06: >>227の訂正。
p^n=(p-1)p^(n-1) + p^(n-1) だから，
p^nをp進表記した2つのn桁の数の和で表わせば
p-1 p-1 p-1 ・・・p-1 (p) + 100・・・0 (p) でした。
というか，考え方だけp進法を使えばよい事に気づきました・・。
答案にはそれを記さなくても良かったというか。。
230：Je n'ai pas de nom!：2006/04/15(土) 08:46:31: え？問題の意味がわからん。

100=99+1
100=98+2
　　・
　　・
100=1+99

って考えたら、
S(l)+S(p^n+l)=(n-1)(p-1)+p
で常に一定になるんじゃないのか？
231：Je n'ai pas de nom!：2006/04/15(土) 08:48:21: S(l)+S(p^n-l)=(n-1)(p-1)+p
で常に一定になるんじゃないのか？
232：たま ◆U4RT2HgTis：2006/04/15(土) 11:36:35: >>231
1000=999+1
1000=998+2
・・・
1000=991+9
1000=990+10　ここ注目
1000=989+11
・・・
1000=901+99
1000=900+100　ここはもっと注目
1000=899+101
ってことで
233：たま ◆U4RT2HgTis：2006/04/15(土) 11:37:38: l＝��[k=0,n-1]a_k・p^k
p^n=��[k=0,n-1](p-1)・p^k+1を考慮して
p^n-l=Σ[k=0,n-1](p-1-a_k)・p^k+1
ここで、
A_0={l|a_0>0}
A_1={l|a_0=0,a_1>0}
・・・
A_r={l|a_i=0(i<r),a_r>0}
・・・
A_(n-1)={l|a_i=0(i<n-1),a_(n-1)>0}
とおくと、
∪[r=0,n-1]A_r={l|１≦l≦p^n－１}
l∈A_0とするとp-1-a_0<p-1よりのとき
p^n-l=(p-1-a_0+1)+Σ[k=1,n-1](p-1-a_k)・p^k
なので、
S(p^n-l)=(p-1-a_0+1)+Σ[k=1,n-1](p-1-a_k)
よって
S(l)+S(p^n-l)
=Σ[k=0,n-1]a_k+(p-1-a_0+1)+Σ[k=1,n-1](p-1-a_k)
=p+Σ[k=1,n-1](p-1)
=n(p-1)+1
同様にして、l∈A_rのとき
p-1-a_i=p-1(i<r)
p-1-a_k<p-1
なので
p^n-l=Σ[k=r,n-1](p-1-a_k)・p^k+Σ[k=0,r-1](p-1)・p^k+1
=Σ[k=r,n-1](p-1-a_k)・p^k+p^r
=(p-1-a_r+1)*p^r+Σ[k=r+1,n-1](p-1-a_k)・p^k
よって
S(l)+S(p^n-l)
=Σ[k=r,n-1]a_k+(p-1-a_r+1)+Σ[k=r+1,n-1](p-1-a_k)
=p+Σ[k=r+1,n-1](p-1)
=(n-r)(p-1)+1
よって、l∈A_(n-1)のときS(l)＋S(p^n－l)は最小になり最小値p
234：たま ◆U4RT2HgTis：2006/04/15(土) 11:41:12: こんな感じで書いたらいいと思うけど、いかにも大学生的な答案になってしまった。
受験の答案としてはどう書いたらいいのか微妙なところ。
235：Je n'ai pas de nom!：2006/04/15(土) 12:31:44: あ！そうか。
236： ◆ZFABCDEYl.：2006/04/15(土) 15:51:37: >>234
㌧です。この問題を記述式答案化できるようにするには
かなりの技術が必要だなと感じました。さすがたま氏・・。
237：Je n'ai pas de nom!：2006/04/17(月) 21:56:29: ３つの変曲点をもち、任意の直線と共有点をもつような連続かつ微分可能なグラフy=f(x)は、
最低、何本の共通接線が引けるか？
238：Je n'ai pas de nom!：2009/11/22(日) 15:20:27: 偶数の完全数の「一の位」は？（さくら教研の宿題）
239：ﾗﾒ：2009/11/22(日) 21:13:05: 未解決問題