2ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

高等な理論で初等な結果を証明

1 :132人目の素数さん:2013/08/28(水) NY:AN:NY.AN
スレタイみたいな証明ありませんか。
圏論や代数幾何みたいなのを使って線形代数の定理を証明したりとか...

2 :132人目の素数さん:2013/08/28(水) NY:AN:NY.AN
http://arxiv.org/abs/1305.2897v1

3 :132人目の素数さん:2013/08/28(水) NY:AN:NY.AN
高等な理論ってのを全く知らんけどなんかを使って円の面積の公式を導いたりとか

4 :132人目の素数さん:2013/08/28(水) NY:AN:NY.AN
何を使ったのだろう。

5 :132人目の素数さん:2013/08/28(水) NY:AN:NY.AN
それこそ有名なフェルマーの最終定理とか
Feit-Tompsonの定理とか

6 :132人目の素数さん:2013/08/29(木) NY:AN:NY.AN
なんか違和感あると思ったらThompsonだな
h抜かしてた

7 :132人目の素数さん:2013/08/29(木) NY:AN:NY.AN
初等的に証明できるけど、あえて高等な理論を使ってってことじゃないの

素数が無限にあること:ゼータ関数ζ(s)がs→1で発散、素因数分解の一意性
オイラーの多面体定理:ホモロジー群が分割の仕方によらないことと、球面の場合の計算
平方剰余の相互法則:類体論の二次体への適用
ヴァンデルモンド行列式、ヤコビの三重積公式:Kac-Moody Lie代数の指標公式

探せばもっといろいろでてくるだろう

8 :132人目の素数さん:2013/08/30(金) NY:AN:NY.AN
>>7
そんな感じです!

9 :132人目の素数さん:2013/08/30(金) NY:AN:NY.AN
初等整数論の定理を複素解析を使って証明したり

10 :132人目の素数さん:2013/08/30(金) NY:AN:NY.AN
相対的にレベルが違えば、線型代数で高校数学の定理を証明するとかでもOK?

11 :132人目の素数さん:2013/08/30(金) NY:AN:NY.AN
いちいち許可もらわないとできないのかお前は

12 :132人目の素数さん:2013/08/31(土) NY:AN:NY.AN
オームの法則をファインマン積分で計算しなさい。 10点
4次元でのパッキング問題を作って回答しなさい。 10点
トポロジーでピタゴラスの定理を証明しなさい。 10点

13 :132人目の素数さん:2013/08/31(土) NY:AN:NY.AN
>>10
Okです!

14 :132人目の素数さん:2013/08/31(土) NY:AN:NY.AN
超限帰納法

15 :132人目の素数さん:2013/09/06(金) 05:39:16.68
そこまでレベルの差はないけど,加群の準同型定理から線形代数の次元定理とか

16 :132人目の素数さん:2013/09/06(金) 06:07:32.47
 
お世話になります。
私、責任者の加茂と申します。以後、宜しくお願い致します。
http://www.karilun.com/img_shop/15/ss52_1368685958.jpg 
 
浪速建設様の見解と致しましては、メールによる対応に関しましては
受付しないということで、当初より返信を行っていないようで、今後につい
てもメールや書面での対応は致しかねるというお答えでした。
 
このように現在まで6通のメールを送られたとのことですが、結果一度も
返信がないとう状況になっています。
 
 
私どものほうでも現在までのメール履歴は随時削除を致しております
ので実際に11通のメールを頂戴しているか不明なところであります。

弊社としましても今後メールでのやり取りを差し控えたく、浪速建設様
と同行の上でお会いさせていただきたい所存です。
 
 
株式会社アパマンショップホールディングス
代表取締役社長
大村 浩次
 
 
http://rfi.a.la9.jp/hn203/kb/kb-main3.html
 
 http://homepage2.nifty.com/e-d-a/hn203/ansec/animal.html

17 :132人目の素数さん:2013/09/11(水) 08:27:14.72
素数が無限にあることのオイラーによる証明とかがこれだね。

4 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.02.02 2014/06/23 Mango Mangüé ★
FOX ★ DSO(Dynamic Shared Object)