「東大｣「Gauss」「数学」ver17.0

すまそ。連続＆微分可能を忘れてましたよお兄さん方。
>>687-638
ええ、そうですね。もう少し俺も考えてみます

>>690
ああ言われてみれば確かに。
f(x)=0,1も解ですね。

>>691
ああ,そういえば。cosxではないのか

coshxもそうじゃないかなぁとおもったけど違うみたい。残念

ア　ニ　メ　じ　ゃ　な　い　！

>>689
そこは勢いよくスルーしましょう。

>>690でアンカーが違ってた。>>688です。
668の問題、最後のSさんの発言をどう利用するのか理解できない・・・。
AM氏、無理はなさらずに。

>>694
？？？

>>695
http://www.google.co.jp/search?hl=ja&ie=UTF-8&q=%E5%A4%A7%E5%9C%B0%E5%90%9B%E3%80%80%E5%A7%AB&lr=
http://www.google.co.jp/search?q=%E3%82%A2%E3%83%8B%E3%83%A1%E3%81%98%E3%82%83%E3%81%AA%E3%81%84%EF%BC%81&ie=UTF-8&hl=ja&lr=

はぁ・・・疲れてるな・・・

逆にf(0)ノットイコール0だったらcosxなの・・かなぁ。
ひとまず風呂入ってまた再開｡ノシ

>>695
元スレはここです
http://science3.2ch.net/test/read.cgi/math/1074751156/l50
一応参考までにどうぞ

簡略化しますた。ていうかそろそろHN自体変えるかも。
>>696
をいをい・・・をいをいをいをい・・・・・・を　　い　　　！！ｗ

>>697
一つに決まるのかなぁ・・では俺も落ちますね

７００ゲット

【次世代の】臺地氏の愉快な新HNを考案するヌレッド【９-man】

>>700
なんじゃそりゃｗｗ
次スレになったら変えますわ。。
では。

久し振りに登場や。
もうかりまっか（古）
東大本スレえらいことなってまんな〜。

とりあえずどれが未解決かまとめてくれるとごっつうれしいわ〜。

>>683
ﾜﾛﾀ

これはこれは９先生。そのHNはなんじゃらほい（笑）

失礼しますた。
籠手わすれ

9はteではじまるトリップ
それはこけ

>>704
？

>>704
９じゃなくてこ●氏ですYO

あはは。3連続。。。

（ﾉ∀`）ｱﾁｬｰ
ごらんください、あほです俺。
パンおいしいねん。

アホっぽい質問ですが
>>669で出てきた
lim[x→+∞]logx/x=0
ってどうやって証明するんでしょうか？
logxの冪級数展開使ってはさみうちとか？
なんかもっと基本的な問題だったような・・・

>>711
えと
x/e^x→0 aｓ ｘ→∞
がいえればいいわけですから、e^xを二次関数で近似するとか。

ロピタルを証明しながら使うのはダメ？

>>686
多分問題が違うんじゃないだろうか。
三角関数を公理化するって話題は、これまたむかーし、このスレでやってましたけど。
これも長助くんが、全部じゃないけどある程度解決したんじゃなかったかな。

>>713
そんな大道具を使わなくても。
x>0でe^x>x^2/2ぐらいを言えばいいのでは。

なるほど。
ググったところe^xの冪級数展開は出てるんですがlogxの冪級数展開はありませんでした

e^x考えるのもlogx考えるのも似たようなもんですね

>>717
そうですね。要は指数関数と多項式、多項式と対数関数の比較ですから。

輪読会のことですが、第１章の最後まで一応読みました。
後は課題の問題を解けばいいんですが・・・

>>719
９くんに止めておこうか？って聞いたんだけど返事が来ないのです。

俺の担当分も残ってますし９が復帰する９月まで止めてもらうと
ありがたいのですが

>>721
ではとめときましょうか。
第一章のなかで疑問や議論したい点があればそれは書いてください。

(*´Д｀)ﾊｧﾊｧ
なにここ?

天才たちのスレだな。このスレの住人たちは
学コンならBコース楽々満点で宿題もスラスラ解けるんだろうなぁ・・・
ちくしょう。うまやらしいぜ！

>>722
了解です。
数学に情熱を持った人達がいっぱい参加してガンガン進めて
俺はその様子をROMっとく（ぉ
っていうのが勝手な理想なんですが

どうすれば大数の宿題解けるようになるのか誰かアドバイス下さい･･･
やっぱり才能ですかね？

>>726
蛇のような執念

みんなそれなりに努力してるんじゃないですか？

　_､_
(,_ﾉ` )y━･~~~

ある時突然神が降りてくるのですよ。

　_､_
(,_ﾉ` )y━･~~~

なわけないさｗ

>>725
そうですね。
参加者増えないかなあ。

>>726
時間制限がゆるいんだから、あきらめないでズーっと考えるとｲｲですよ。
エレガントでなくても愚直な方法でもいっぱい実験する時間があるのですから。

学コンでは今月の６で神が降臨したんですが宿題はかなり粘っても無理でした･･･

今月の問題もう少し粘ってみます。
アドバイスどうもありがとうございました。

そういや最近大数スレ見てないな。

>>732
提出は間に合わなくても、解答が出るまで頭の中に問題を飼っておくことをお勧めします。

>>735
質問なんですが、
log(x)/x →0（x→∽）
の証明が入試ででたらどうかいたらいいんでしょうか。

>>736
logxを評価するもよし、
x=exp(t)とおいてexp(t)を評価するもよし。

>>736
f(t)=e^t-(t^2/2)とおけばf'(t)=e^t-t,f''(t)=e^t-1,なので
t>0でf''(t)>0.よってf'(t)はt>0で増加。f'(0)=0なのでt>0でf'(t)>0.
よってf(t)はt>0で増加.f(0)なのでt>0でf(t)>0.
これよりt>0で(2/t)>(t/e^t)>0となるので(t/e^t)→0 as t→∞.
x→∞のときlog(x)→∞であるので
log(x)/x=log(x)/e^(log(x))→0 as x→∞.

とかけば4、5行、1、2分で済むんじゃないでしょうか。

>>737
いやそりゃそうだけどね…^_^;
>>738
やはりそれしかないですかね。
どうもありがとうございます。
そろそろねまつ(･ω･)