17コメント4KB

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

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

0001１３２人目の素数さん

2013/08/28(水) NY:AN:NY.AN

スレタイみたいな証明ありませんか。
圏論や代数幾何みたいなのを使って線形代数の定理を証明したりとか...

0002１３２人目の素数さん

2013/08/28(水) NY:AN:NY.AN

http://arxiv.org/abs/1305.2897v1

0003１３２人目の素数さん

2013/08/28(水) NY:AN:NY.AN

高等な理論ってのを全く知らんけどなんかを使って円の面積の公式を導いたりとか

0004１３２人目の素数さん

2013/08/28(水) NY:AN:NY.AN

何を使ったのだろう。

0005１３２人目の素数さん

2013/08/28(水) NY:AN:NY.AN

それこそ有名なフェルマーの最終定理とか
Feit-Tompsonの定理とか

0006１３２人目の素数さん

2013/08/29(木) NY:AN:NY.AN

なんか違和感あると思ったらThompsonだな
h抜かしてた

0007１３２人目の素数さん

2013/08/29(木) NY:AN:NY.AN

初等的に証明できるけど、あえて高等な理論を使ってってことじゃないの

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

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

0008１３２人目の素数さん

2013/08/30(金) NY:AN:NY.AN

>>7
そんな感じです！

0009１３２人目の素数さん

2013/08/30(金) NY:AN:NY.AN

初等整数論の定理を複素解析を使って証明したり

0010１３２人目の素数さん

2013/08/30(金) NY:AN:NY.AN

相対的にレベルが違えば、線型代数で高校数学の定理を証明するとかでもOK？

0011１３２人目の素数さん

2013/08/30(金) NY:AN:NY.AN

いちいち許可もらわないとできないのかお前は

0012１３２人目の素数さん

2013/08/31(土) NY:AN:NY.AN

オームの法則をファインマン積分で計算しなさい。　１０点
４次元でのパッキング問題を作って回答しなさい。　１０点
トポロジーでピタゴラスの定理を証明しなさい。　１０点

0013１３２人目の素数さん

2013/08/31(土) NY:AN:NY.AN

>>10
Okです！

0014１３２人目の素数さん

2013/08/31(土) NY:AN:NY.AN

超限帰納法

0015１３２人目の素数さん

2013/09/06(金) 05:39:16.68

そこまでレベルの差はないけど，加群の準同型定理から線形代数の次元定理とか

0016１３２人目の素数さん

2013/09/06(金) 06:07:32.47

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

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

0017１３２人目の素数さん

2013/09/11(水) 08:27:14.72

素数が無限にあることのオイラーによる証明とかがこれだね。

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