星塚研究所

数学を主とした形式科学、自然科学、大学・大学院に関する2chと5chのまとめサイト

数学科の学生「オイラーの等式美しすぎるううううう!!!」

1: 風吹けば名無し 2019/12/14(土) 13:33:46.65 id:UDZ/CdaR0
これマジ?


5: 風吹けば名無し 2019/12/14(土) 13:35:19.92 id:UDZ/CdaR0
数式が美しすぎて世の中の女みんな不細工に見えるとか


7: 風吹けば名無し 2019/12/14(土) 13:35:44.71 id:fBYItKCFd
フィボナッチ数列とかも好きそうだな


10: 風吹けば名無し 2019/12/14(土) 13:36:15.46 ID:0dSNkZuV0
んほぉ~この数式たまんねぇ~


12: 風吹けば名無し 2019/12/14(土) 13:36:56.83 id:DRBUqmcdd
数式が美しいとか言ってる自分に酔ってるのはわかる


13: 風吹けば名無し 2019/12/14(土) 13:37:08.39 id:WopMWkceM
eのi乗ってどういうことや


40: 風吹けば名無し 2019/12/14(土) 13:47:37.97 ID:9QWL78Ek0
>>13
テイラー展開


15: 風吹けば名無し 2019/12/14(土) 13:37:42.61 id:ruehplsDp
オイラーの等式でんほるのはニワカやな
最も美しい証明とされるのはコーシーの定理やし


16: 風吹けば名無し 2019/12/14(土) 13:37:47.59 ID:96RLMW8la
オイラーの等式はπ使ってる時点で美しくない
τ使うべき


20: 風吹けば名無し 2019/12/14(土) 13:38:38.72 id:qoBtv3qap
1+1を証明するのはめちゃくちゃむずかしくてぇ(ニチャァ)


33: 風吹けば名無し 2019/12/14(土) 13:45:45.62 id:IMcXx8FnM
>>20
数学科エアプが一番言うやつやろ


22: 風吹けば名無し 2019/12/14(土) 13:39:43.16 id:naBHvJuQ0
ネピア数とかイキってる感すごい

27: 風吹けば名無し 2019/12/14(土) 13:40:41.92 id:CrL462Zga
そのうち哲学ハマってそう


28: 風吹けば名無し 2019/12/14(土) 13:41:15.50 id:RyH1iZae0
〇 e^iπ+1=0
× e^iπ=-1


52: 風吹けば名無し 2019/12/14(土) 13:53:17.10 id:epvNeBL10
>>28
どっちもあってるぞ
まるのうほうがオイラーの等式とか言われてるだけ


29: 風吹けば名無し 2019/12/14(土) 13:41:15.85 id:WP4cHdSm0
数学者「うおおおおおおおおおおおおおお!!!!」

ラマヌジャン「神が教えてくれたわ」


31: 風吹けば名無し 2019/12/14(土) 13:42:28.93 ID:C/i7y8eu0
東大数学科とかならええんやけど
センター数学すら満点取れないようなとこのが言ってるとぶっ殺したくなる


34: 風吹けば名無し 2019/12/14(土) 13:45:55.67 ID:X/EaM610p
πを半径にしていたら=1になってさらに美しかったらしい


41: 風吹けば名無し 2019/12/14(土) 13:47:42.39 id:YMK25XIR0
お数学スレ立ったかこれ回答出てたで

Aをネーター環としaをAのイデアルとする
aがAのジャコブソン根基に含まれるための必要十分条件はAのすべての極大イデアルがa-進位相に関して閉集合になることである


42: 風吹けば名無し 2019/12/14(土) 13:47:58.87 id:TBk2rzto0
>>41
なるほどンゴねえ…


43: 風吹けば名無し 2019/12/14(土) 13:48:01.81 id:u7uSsU7+0
>>41
まあ…ね


44: 風吹けば名無し 2019/12/14(土) 13:48:58.00 id:YMK25XIR0
>>41
まず出典なアティマクやったわ

6. Let A be a Noetherian ring and a an ideal in A. Prove that a is contained in the Jacobson radical of A if and only if every maximal ideal of A is closed for the a-topology.
(A Noetherian topological ring in which the topology is defined by an ideal contained in the Jacobson radical is called a Zariski ring. Examples are local rings and (by (10.15)iv)) a-adic completions.)

Michael Atiyah & Ian G. Macdonald, Introduction to Commutative Algebra, Massachusetts : Addison-Wesley Publishing, 1969. pp. 114 Exercise 6.
http://www.math.toronto.edu/jcarlson/A--M.pdf

47: 風吹けば名無し 2019/12/14(土) 13:50:56.56 id:YMK25XIR0
>>44 で 回答や可換環論に自信ニキおらんか

This proof oddly requires no use of the Noetherian hypothesis. We show a maximal ideal m is closed
in the a-topology if and only if a ⊆ m. This implies the result because a is contained in all maximal ideals
if and only it is contained in their intersection, the Jacobson radical. Note that a set C ⊆ A is closed if and
only if each x ∈ A\C has a basic neighborhood x + a^n disjoint from C.
Let m ◁ A be a maximal ideal.
If a ⊆ m and x ∉ m, then so x + a^n ⊆ x + m is disjoint from m for all n.
If a ⊄ m, any element of a\m descends to a unit in the field A/m, and so has a multiple x ≡ 1 (mod m),with x ∈ a.
Then x^n ∈ a^n and x^n ≡ 1 (mod m), so 1 - x^n ∈ (1 + a^n) ∩ m for all n even though 1 ∉ m, and m is not closed.

jdk carlson: Exercises to Atiyah and Macdonald’s Introduction to Commutative Algebra, 2019 palingenesis
revision of February 5, 2019. pp.125
http://www.math.toronto.edu/jcarlson/intro_comm_alg(2019).pdf


50: 風吹けば名無し 2019/12/14(土) 13:51:49.65 id:mJSXsd02d
全く意味がわからないし何が凄いのかもわからん
ガウス曰く
「この式を見せられた学生がすぐにその意味を理解できなければ、その学生は第一級の数学者には決してなれない」
との事だが
数学出来る奴は数式見ただけで脳内でコンピュータのように自動的に処理出来るんか?



参考文献

http://tomcat.2ch.sc/test/read.cgi/livejupiter/1576298026/