e+π
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
2006/06/13(火) 21:38:180002132人目の素数さん
2006/06/13(火) 21:42:37/ _| / :::|
i  ̄ ̄⌒゙゙^――/ ::::::::|
/ /ヽ.. , /゙\,. ::::::ヽ、
/ / ゜ | l| ゜ \ :::::ヽ、
/ / .,ノ . 《 \ :::::::::ヽ
/ <_,,,,,_/ .'″ ^=,,,,_;___>;;.. :::::::::| <こんなスレ立てて
| :::::::::::| 馬鹿じゃねーの?
| |\_______/| :::::::.|
| | Y^Y^Y^Y^Y \ | ::::::::::|
| | /└└└└ \../ \| :::::::::::::|
| .|∨.|lllllllllllllllllllllllllllllllllllll | ::::::::::|
| |.|llllllllllll;/⌒/⌒ 〕 :::::::::|
| |.|lllllllll; ./ | ::::::::::|
| |.|llllll|′ / | :::::::::::|
| ||lllll| | / ::::::::::::|
.| |.|llll| | .∧ / / :::::::::::::〈
\.∧lll | ../ ∨ / ::::::::::::::::ヽ
/| \┌┌┌┌┌/._/ /::: :::::::::::::::::::|
.( ゙゙^^¨^¨゙゙¨  ̄ ̄ ̄ /::::::::::: :::::::::::
0003132人目の素数さん
2006/06/13(火) 21:45:34/ _| / :::|
i  ̄ ̄⌒゙゙^――/ ::::::::|
/ /ヽ.. , /゙\,. ::::::ヽ、
/ / ゜ | l| ゜ \ :::::ヽ、
/ / .,ノ . 《 \ :::::::::ヽ
/ <_,,,,,_/ .'″ ^=,,,,_;___>;;.. :::::::::| <こんなスレ立てて
| :::::::::::| 馬鹿じゃねーの?
| |\_______/| :::::::.|
| | Y^Y^Y^Y^Y \ | ::::::::::|
| | /└└└└ \../ \| :::::::::::::|
| .|∨.|lllllllllllllllllllllllllllllllllllll | ::::::::::|
| |.|llllllllllll;/⌒/⌒ 〕 :::::::::|
| |.|lllllllll; ./ | ::::::::::|
| |.|llllll|′ / | :::::::::::|
| ||lllll| | / ::::::::::::|
.| |.|llll| | .∧ / / :::::::::::::〈
\.∧lll | ../ ∨ / ::::::::::::::::ヽ
/| \┌┌┌┌┌/._/ /::: :::::::::::::::::::|
.( ゙゙^^¨^¨゙゙¨  ̄ ̄ ̄ /::::::::::: :::::::::::
0004132人目の素数さん
2006/06/14(水) 02:00:520005β ◆aelgVCJ1hU
2006/06/14(水) 02:04:430006132人目の素数さん
2006/06/14(水) 02:20:100007132人目の素数さん
2006/06/14(水) 02:50:02証明キボンヌ
0008132人目の素数さん
2006/06/14(水) 02:59:53f(e,π)が代数的数⇔f(x,y)は定数
0009132人目の素数さん
2006/06/14(水) 04:03:090010132人目の素数さん
2006/06/14(水) 10:10:02f(e,π)=0⇔f(x,y)=0
を示せば十分。
0011132人目の素数さん
2006/06/14(水) 20:14:500012132人目の素数さん
2006/06/14(水) 20:41:17笑われた。
∴無理数
0013Geek ◆8MQVxjnUkg
2006/06/14(水) 21:36:32想像しづらいんだが・・・・・
0014132人目の素数さん
2006/06/14(水) 21:41:33b = 1 - π
a + b = 1
0015132人目の素数さん
2006/06/14(水) 21:43:031+√2と-√2をたしてみなよ
0017Geek ◆8MQVxjnUkg
2006/06/14(水) 21:44:49あー、確かに・・・・・・・
0018132人目の素数さん
2006/06/14(水) 21:54:070019132人目の素数さん
2006/06/14(水) 21:58:490020132人目の素数さん
2006/06/14(水) 22:02:57うまいっ!
0021132人目の素数さん
2006/06/14(水) 22:29:09てかっ(ry
0022132人目の素数さん
2006/06/15(木) 00:25:28ああ
0023132人目の素数さん
2006/06/15(木) 11:37:370024132人目の素数さん
2006/06/15(木) 12:26:500025132人目の素数さん
2006/06/15(木) 12:36:40f(x,y)を整数を係数とする多項式とするとき、
f(e,π)=0⇔f(x,y)=0
を示せば十分。
(超越次数を考えれば。)
0026132人目の素数さん
2006/06/15(木) 17:58:47リーマン予想と違って、証明してもたいして評価されないだろうけど。
0027132人目の素数さん
2006/06/15(木) 18:20:010028132人目の素数さん
2006/06/15(木) 18:22:050029132人目の素数さん
2006/06/15(木) 18:25:010030132人目の素数さん
2006/06/15(木) 18:26:48たぶん、解いた人の名前がつくと思う。
まあおそらく有理数(または代数的無理数)ではないだろうが。
0031132人目の素数さん
2006/06/15(木) 19:37:10そうなるとその2つの整数を構成してる素数たちの性質が怪しすぎることになりそう。
まあ、普通に超越数でいいんだけど・・・
0032132人目の素数さん
2006/06/16(金) 19:29:22なんでだろう
0033132人目の素数さん
2006/06/16(金) 20:57:180034132人目の素数さん
2006/06/16(金) 21:25:15あるかもしれない。ただ、e+πが有理数でないと信じられているのと、同様、
e+7πも当然有理数でないだろうと予想はされている。
もっと、強く言うならば、eとπはQ上代数的独立であろうと信じられている。
0035132人目の素数さん
2006/06/16(金) 22:00:520036132人目の素数さん
2006/06/17(土) 05:04:19「無意味なスレ立て厳禁」
って読めませんか?
そういうくだらない話は質問スレでやってください
終 了
そして>>1はすぐ死ね
0037132人目の素数さん
2006/06/17(土) 15:53:490038132人目の素数さん
2006/06/17(土) 15:58:130039132人目の素数さん
2006/06/17(土) 17:30:120040132人目の素数さん
2006/06/17(土) 19:17:20空気読めよバカ。>>1だけしか読まずにクソスレ判定してるんじゃねーよめくら。
0041132人目の素数さん
2006/06/17(土) 19:36:000042132人目の素数さん
2006/06/17(土) 19:37:02削除依頼出せば良い
0043132人目の素数さん
2006/06/17(土) 19:44:450044132人目の素数さん
2006/06/18(日) 01:11:45マルチでなくてもスルーすべきだな。
0045132人目の素数さん
2006/06/20(火) 18:17:330046132人目の素数さん
2006/06/21(水) 01:20:570047132人目の素数さん
2006/06/21(水) 01:26:04あるか。「eとπはQ上代数的独立」というのは、なんか問題として
センス悪い気もするが、案外と motif とかが整備されたら、すぱっと
と涸れたりするかもね。
オイラーの定数 γ=0.57721... が無理数であることを示しても、
数学の大勢に影響するとは思えないが、数学史には必ず名が残る。
日本人が解いたなら、日本の微積分の教科書の脚注あたりに必ず
*20**年、xxxxが無理数であることを証明した。 と書かれることだろう。
0048132人目の素数さん
2006/06/21(水) 18:13:060049132人目の素数さん
2006/06/21(水) 18:27:420050132人目の素数さん
2006/06/21(水) 18:31:56a_n<lim[n→∞]a_n<ζ(2) 上に有界
でいいじゃん。
0051132人目の素数さん
2006/06/21(水) 18:35:49ほんとだ
ζ(2)では同じやりかた通用しないな
ζ(2)が収束することの証明も知らないや
0052132人目の素数さん
2006/06/21(水) 18:37:200053GiantLeaves ◆6fN.Sojv5w
2006/06/21(水) 18:38:140054132人目の素数さん
2006/06/21(水) 18:38:37だけどどうせ全部無理数
0055132人目の素数さん
2006/06/21(水) 18:40:31どんな等比級数だよ?
普通はそうはしないけど?
0056132人目の素数さん
2006/06/21(水) 18:40:370057GiantLeaves ◆6fN.Sojv5w
2006/06/21(水) 18:44:030058132人目の素数さん
2006/06/21(水) 18:45:33a,b,cを0でない有理数としたとき
a+√b=√c
となる組は存在するか
0059GiantLeaves ◆6fN.Sojv5w
2006/06/21(水) 18:47:171^(-n)+2^(-n)+3^(-n)+4^(-n)+…
<1+2^(-n)+2^(-n)+4^(-n)+4^(-n)+4^(-n)+4^(-n)+8^(-n)+…
=1+2^(1-n)+4^(1-n)+8^(1-n)+…=1/(1-2^(1-n)).
0060132人目の素数さん
2006/06/21(水) 18:48:02普通は1/n(n-1)と比較するんじゃないの。
もちろん1/nの和が発散するのと類似の方法で
1/n^2の和の収束も示せるけど
そういう意味?
0061GiantLeaves ◆6fN.Sojv5w
2006/06/21(水) 18:48:04a^2+b+2ab^(1/2)=cとなるのはいつか?
0062132人目の素数さん
2006/06/21(水) 18:48:14a=1,b=4,c=9
006358
2006/06/21(水) 18:50:25√b,√cが無理数となるとき
0064盆栽 ◆VzUaBdyxHY
2006/06/21(水) 18:53:19たとえば、a=1,b=1,c=4
0065GiantLeaves ◆6fN.Sojv5w
2006/06/21(水) 18:56:250067盆栽 ◆VzUaBdyxHY
2006/06/21(水) 19:00:450068132人目の素数さん
2006/06/21(水) 19:02:58006958
2006/06/21(水) 19:03:17cが有理数ならb^(1/2)は無理数かー
やっぱ存在しないか
kingありがとう
0070盆栽 ◆VzUaBdyxHY
2006/06/21(水) 19:11:15君の題意だったら、a有理数、√b,√c無理数という組がめっちゃ存在してるんですけど。
何が存在しなかったの?
0071盆栽 ◆VzUaBdyxHY
2006/06/21(水) 19:11:53納得、さようならー
0073132人目の素数さん
2006/06/22(木) 20:43:020074132人目の素数さん
2006/06/23(金) 00:59:44がんばって証明しろよ。
0075132人目の素数さん
2006/06/23(金) 02:47:390076132人目の素数さん
2006/06/24(土) 20:28:190077132人目の素数さん
2006/06/24(土) 22:31:270078KingOfUniverse ◆667la1PjK2
2006/06/25(日) 22:13:260079132人目の素数さん
2006/06/25(日) 22:25:56http://moepic3.dip.jp/gazo/slum/files/slum7842.jpg
http://moepic3.dip.jp/gazo/slum/files/slum7807.jpg
http://moepic3.dip.jp/gazo/slum/files/slum7836.jpg
http://moepic3.dip.jp/gazo/slum/files/slum7808.jpg
http://moepic3.dip.jp/gazo/slum/files/slum7707.jpg
http://moepic3.dip.jp/gazo/slum/files/slum7704.jpg
http://moepic3.dip.jp/gazo/slum/files/slum7772.jpg
0080132人目の素数さん
2006/06/25(日) 22:38:25グロ?
0081132人目の素数さん
2006/06/25(日) 22:40:090082132人目の素数さん
2006/06/25(日) 22:40:390083132人目の素数さん
2006/06/25(日) 22:41:400084132人目の素数さん
2006/06/26(月) 02:36:030085132人目の素数さん
2006/06/26(月) 02:37:060086132人目の素数さん
2006/06/26(月) 03:08:09が有理数なんだから、
e+πも有理数じゃないの?
0087132人目の素数さん
2006/06/26(月) 03:11:000088132人目の素数さん
2006/06/26(月) 03:18:24> 1 + 1/(4π^2) + 1/(9π^2) + 1/(16π^2) + ・・・
有理数なわけないだろ
0089132人目の素数さん
2006/06/26(月) 09:16:490091132人目の素数さん
2006/06/26(月) 17:11:47よく見ろよwww
0092132人目の素数さん
2006/06/26(月) 18:09:12なんでだよwwwwww
0093132人目の素数さん
2006/06/26(月) 18:17:140094132人目の素数さん
2006/06/26(月) 18:41:051は1/(π^2)でないとマズイってことをお前以外のみんなが言ってるんだよw
0095132人目の素数さん
2006/06/26(月) 18:53:55ホントだwwwwwwwww
デカワロスwwwwwwwwwwww
0096132人目の素数さん
2006/06/27(火) 06:54:011/(π^2) + 1/(4π^2) + 1/(9π^2) + 1/(16π^2) + ・・・
が有理数の理由を教えてくれ
0097132人目の素数さん
2006/06/27(火) 08:29:160098132人目の素数さん
2006/06/27(火) 15:58:090099132人目の素数さん
2006/06/27(火) 20:04:400100132人目の素数さん
2006/06/27(火) 20:10:42誰も
0101132人目の素数さん
2006/06/27(火) 20:15:24じゃ教えるなよw
0102132人目の素数さん
2006/06/27(火) 20:22:17π≒3.14
0103132人目の素数さん
2006/06/27(火) 20:55:11π≒7.29でもいいだろ?
0104132人目の素数さん
2006/06/27(火) 21:00:560105132人目の素数さん
2006/06/27(火) 21:02:250106132人目の素数さん
2006/06/27(火) 21:19:390107132人目の素数さん
2006/06/27(火) 22:15:06頭かたいな。
投げ縄みたいにぐにゃぐにゃな円にすれば解決。
0108132人目の素数さん
2006/06/27(火) 22:17:36円は中心からの距離が一定
0109132人目の素数さん
2006/06/27(火) 22:43:30そこで位相ですよ
0110132人目の素数さん
2006/06/27(火) 23:13:110111132人目の素数さん
2006/06/28(水) 15:51:45そうすると、ln(x)ってのは超越数だよな。
eも超越数だよな。
でも、e^ln(x)は超越数じゃないわけだ。うん。
0112132人目の素数さん
2006/06/28(水) 16:54:170113132人目の素数さん
2006/06/28(水) 17:01:190114132人目の素数さん
2006/06/28(水) 17:44:150115132人目の素数さん
2006/06/29(木) 23:02:06を満たす非超越数の組(x,y)はR^2の中でどのくらいあるんだろうか?
(1,0)は分かるけど、・・・
0116132人目の素数さん
2006/06/29(木) 23:59:290117132人目の素数さん
2006/06/30(金) 00:10:39eが超越数であることを仮定したら、簡単に背理法で行くのではないかと。
y=ln(x) ⇒ x = exp(y) が成立する。ここで、y≠0である有理数yに対し、xが有理数になったと仮定すると
y=p/q (p,qは互いに素な整数)として、x^q = exp(p) ⇒ e = (x^q)^(1/p)であり、eは代数的数になるが……ry
0118132人目の素数さん
2006/06/30(金) 00:44:070119132人目の素数さん
2006/06/30(金) 01:18:40本当だ……有理数かと思って誤解してた。
ちゃんと、非超越数って書いてあるな
0120132人目の素数さん
2006/06/30(金) 14:01:070121132人目の素数さん
2006/06/30(金) 19:46:43この式をつかってeπが無理数であることを示してください
0122132人目の素数さん
2006/06/30(金) 20:05:490123132人目の素数さん
2006/07/06(木) 16:13:48これの理由がどんなのか気になります。
0124132人目の素数さん
2006/07/16(日) 15:22:220125132人目の素数さん
2006/07/18(火) 09:43:200126132人目の素数さん
2006/07/18(火) 14:11:50e^πi=-1(おいら
e^πi/2=i(両辺ルート
e^i*πi/2=i^i(両辺i乗
e^(-π/2)=i^i(生理
0127132人目の素数さん
2006/07/18(火) 18:18:06多価なんだけど
0128132人目の素数さん
2006/07/18(火) 19:31:380129132人目の素数さん
2006/07/28(金) 17:27:420130132人目の素数さん
2006/08/03(木) 08:42:430131KingOfUniverse ◆667la1PjK2
2006/08/03(木) 08:51:580132132人目の素数さん
2006/08/03(木) 11:09:380133132人目の素数さん
2006/08/29(火) 15:35:240134132人目の素数さん
2006/08/30(水) 08:13:40ちょっと考えたけど「代数的に独立な2つの超越数」の例を一つも
思いつかないのです。
可算集合と連続体の濃度の違いを持ち出したり、ねすてれんこの結果を
持ち出したりするのはナシで。
0135132人目の素数さん
2006/08/30(水) 08:36:070136132人目の素数さん
2006/08/30(水) 08:44:450137132人目の素数さん
2006/08/30(水) 09:47:310138132人目の素数さん
2006/08/30(水) 10:24:210139132人目の素数さん
2006/08/30(水) 10:29:160140132人目の素数さん
2006/08/30(水) 10:41:28だいたい胸に手を当ててみてe+πが有理数だったら困ることってあるのか?
0141132人目の素数さん
2006/08/30(水) 19:05:070142132人目の素数さん
2006/08/31(木) 12:48:510143132人目の素数さん
2006/09/01(金) 00:16:060144132人目の素数さん
2006/09/01(金) 18:48:34>e+πかe×πの少なくともどちらかが超越数ってことでもういいじゃない。
???????????????????????????????????????????
0145132人目の素数さん
2006/09/01(金) 18:51:050146132人目の素数さん
2006/09/01(金) 19:06:490147アホ
2006/09/01(金) 19:39:38a/b= (-1/π)
aπ=-b
aとbのどちらかが超越数だ!
0148132人目の素数さん
2006/09/01(金) 21:01:25お馬鹿さん
0149132人目の素数さん
2006/09/02(土) 15:21:260150132人目の素数さん
2006/09/02(土) 17:28:51釣り?
0151132人目の素数さん
2006/09/02(土) 17:43:220152132人目の素数さん
2006/09/02(土) 17:49:080153132人目の素数さん
2006/09/02(土) 17:52:430154132人目の素数さん
2006/09/02(土) 18:08:070155132人目の素数さん
2006/09/03(日) 10:47:07有理数と代数的数は違うと思うのだが
0156132人目の素数さん
2006/09/04(月) 09:18:21証明してみろや。
0157132人目の素数さん
2006/09/04(月) 10:50:510158132人目の素数さん
2006/09/04(月) 12:06:550159132人目の素数さん
2006/09/04(月) 12:16:510160132人目の素数さん
2006/09/04(月) 12:41:020161132人目の素数さん
2006/09/04(月) 12:42:340162132人目の素数さん
2006/09/04(月) 13:35:160163132人目の素数さん
2006/09/04(月) 13:44:390164132人目の素数さん
2006/09/04(月) 13:47:50わからないなら勉強しろ。
0165132人目の素数さん
2006/09/04(月) 13:50:10今はネットなんか見てないで、基本から勉強しなさい。
0166132人目の素数さん
2006/09/04(月) 14:03:350167132人目の素数さん
2006/09/04(月) 14:08:110168132人目の素数さん
2006/09/04(月) 14:42:41こういう馬鹿を見ると
0169132人目の素数さん
2006/09/04(月) 17:10:300170132人目の素数さん
2006/09/04(月) 17:47:020171132人目の素数さん
2006/09/04(月) 19:10:490172132人目の素数さん
2006/09/04(月) 20:15:080173132人目の素数さん
2006/09/04(月) 20:53:37ミ ○(#@Д@) <おれをバカにするな!!
ヽ ∧_ ○))
ミヘ丿 ∩Д@;) <バカじゃん!!
(ヽ_ノゝ _ノ
0174132人目の素数さん
2006/10/03(火) 00:40:580175132人目の素数さん
2006/10/03(火) 17:45:260176132人目の素数さん
2006/10/04(水) 16:17:560177132人目の素数さん
2006/10/22(日) 22:12:020178132人目の素数さん
2006/10/22(日) 23:12:48(ノ><)ノ⌒◆
0179132人目の素数さん
2006/10/23(月) 04:49:050180132人目の素数さん
2006/11/13(月) 01:44:200181132人目の素数さん
2006/12/21(木) 04:22:180182132人目の素数さん
2006/12/21(木) 14:52:020183132人目の素数さん
2006/12/21(木) 16:59:52・"数学セミナー2004年12月号"
ttp://www.kurims.kyoto-u.ac.jp/~ooura/pi_tr4fx.pdf
に簡単な証明が乗ってる。
0184132人目の素数さん
2006/12/24(日) 21:52:360185132人目の素数さん
2007/01/01(月) 00:02:35↓このスレを見ている人はこんなスレも見ています。(ver 0.20)
0186132人目の素数さん
2007/02/05(月) 17:07:260187132人目の素数さん
2007/02/08(木) 22:30:090188132人目の素数さん
2007/02/10(土) 14:43:590189132人目の素数さん
2007/02/10(土) 15:10:170190132人目の素数さん
2007/02/10(土) 15:11:22無理数かも
0191132人目の素数さん
2007/02/10(土) 23:32:37exp(π)-π-20 = -0.000900020810524…
e^6-π^5-π^4 = 0.000017673451232…
何故か整数に非常に近くなる数式は結構ある
一番上の奴はもっともらしい理由がちゃんとあるけど他はどうだか
0192132人目の素数さん
2007/02/11(日) 22:18:19無限級数から生成される空間の構造を調べて…何世紀かかることやら。
0193132人目の素数さん
2007/02/15(木) 02:13:53At least one of πe and π+e (and probably both) are transcendental,
but transcendence has not been proven for either number on its own.
http://mathworld.wolfram.com/TranscendentalNumber.html
>>153
e^π = (-1)^(-i)
∴ Gel'fond の定理により 超越数。
0194132人目の素数さん
2007/02/17(土) 22:30:01〔Gel'fond-Schneiderの定理〕
aは代数的数で、a≠0,1
bは代数的数で、b≠実有理数
ならば a^b は超越数。
http://mathworld.wolfram.com/GelfondsTheorem.html
0195132人目の素数さん
2007/03/05(月) 08:29:16無理数だと証明されていますか?
0196132人目の素数さん
2007/03/11(日) 21:25:39まじめに考えよっと
それか積分や微分の面積の定義とかでなんかループしちゃってるような・・?
0198132人目の素数さん
2007/06/14(木) 09:29:33微分方程式のe^xのやつと
積分の定義と円の面積、√(1-x)^2あたりで矛盾がある気がする
あと超越性とかのそれぞれの証明
0199132人目の素数さん
2007/06/14(木) 10:23:130200132人目の素数さん
2007/06/14(木) 13:26:080201132人目の素数さん
2007/06/22(金) 20:35:50e < πを証明しようとして e の定義を考えようとし、
その際 lim [ x -> a ] a^x = a などというあからさまに間違ったものを利用しようとして、
略
0202132人目の素数さん
2007/07/19(木) 15:13:460203132人目の素数さん
2007/07/19(木) 16:20:03つい最近までknown transcendentalが増えてるんだね。人間スゲー
0204β ◆aelgVCJ1hU
2007/07/22(日) 04:02:33普通にeの近似値から考えたらいいんじゃねえの
0205132人目の素数さん
2007/08/30(木) 12:04:300206132人目の素数さん
2007/09/23(日) 13:19:250207132人目の素数さん
2007/10/30(火) 13:11:450208132人目の素数さん
2008/02/12(火) 15:41:500209132人目の素数さん
2008/02/13(水) 05:20:45有理数なら分母は少なくとも
100000000000000000000000
より大きいというのを前にどっかで見た。
0210132人目の素数さん
2008/02/13(水) 07:07:34有理数ってあんまり知らないな。
つか全然知らないな。
なんかある?
0211132人目の素数さん
2008/02/13(水) 07:54:020212132人目の素数さん
2008/02/13(水) 08:19:54名前が思い出せないが後に1/2だか1/4だかになる事が証明されてしまった定数があった
0213132人目の素数さん
2008/02/13(水) 14:07:55ルジャンドルの定数は有理数(1)だ。
単位元も有理数だな。
0214132人目の素数さん
2008/02/13(水) 14:11:210215132人目の素数さん
2008/02/13(水) 21:36:450216132人目の素数さん
2008/02/14(木) 02:25:0265392871524695125777785296352145111113/251452999990000036925147589635214568…3891
とかが重要な定数になれば名前をつけて呼びそうだな
0217132人目の素数さん
2008/02/14(木) 03:03:240218132人目の素数さん
2008/02/14(木) 11:25:02e+π,e*πいずれも有理数と仮定すると,eとπの超越性に矛盾.したがってe+π,e*πのいずれかは無理数.まではok?
0219132人目の素数さん
2008/02/18(月) 15:40:350220132人目の素数さん
2008/04/10(木) 10:14:470221132人目の素数さん
2008/04/10(木) 22:54:220222132人目の素数さん
2008/06/01(日) 10:22:130223132人目の素数さん
2008/06/16(月) 23:38:180224132人目の素数さん
2008/07/04(金) 21:33:220225132人目の素数さん
2008/09/06(土) 21:03:020226132人目の素数さん
2008/10/26(日) 12:15:140227132人目の素数さん
2008/11/04(火) 20:33:51この問題はフェルマー予想より長い間解けてないことになるのかな
0228132人目の素数さん
2008/11/04(火) 20:58:530229132人目の素数さん
2008/11/04(火) 22:39:460230132人目の素数さん
2008/11/05(水) 00:20:53するとディオファントス近似の問題と捉えるのが妥当だが、良い有利数近似は小数表示だけじゃ難しい
ある特定のタイプの数が超越数である、という主張ばかりなのはそういう理由だろう
何か良い道具(例えば類数みたいな)を見つければアルゴリズムに繋がるかも知れないがな
0231132人目の素数さん
2008/11/05(水) 00:27:52非加算無限個あるんでしょ
0232132人目の素数さん
2008/11/05(水) 00:38:57いまのところ可算無限個くらい。
0233132人目の素数さん
2008/11/05(水) 18:10:020234132人目の素数さん
2008/11/05(水) 18:40:410235132人目の素数さん
2008/11/05(水) 18:57:540236132人目の素数さん
2008/11/05(水) 19:14:560237132人目の素数さん
2008/11/05(水) 19:31:190238132人目の素数さん
2008/11/05(水) 19:33:04それはない
0239132人目の素数さん
2008/11/06(木) 00:22:430240132人目の素数さん
2008/11/06(木) 00:34:070241132人目の素数さん
2008/11/06(木) 00:57:470242132人目の素数さん
2008/11/06(木) 01:47:45ひとつの論理式で可算無限個見つかるかもしれないよ
そのような論理式が可算無限個見つかるかもしれない
0243132人目の素数さん
2008/11/06(木) 06:09:22その考えだと記述できるのは有限個だな
0244132人目の素数さん
2008/11/06(木) 06:35:15整数も有限個。
素数も有限個。
0245132人目の素数さん
2008/11/06(木) 10:06:49π+整数は超越数なんじゃないの?
無限にあるよ
0246132人目の素数さん
2008/11/06(木) 14:54:48>>245
うん。そうだね。
0247132人目の素数さん
2008/11/07(金) 00:57:37実際に無限個書いてみてよ
0248132人目の素数さん
2008/11/07(金) 04:37:57その要素が全部超越数だという予想がある
0249132人目の素数さん
2008/11/07(金) 07:00:310250132人目の素数さん
2008/11/07(金) 08:37:280251132人目の素数さん
2008/11/07(金) 08:39:20バカスw
0252132人目の素数さん
2008/11/07(金) 10:20:030253132人目の素数さん
2008/11/07(金) 11:58:30A_1 = π+1
A_2 = π+2
: :
A_n = π+n
0254132人目の素数さん
2008/11/07(金) 21:21:48必要に迫られたときに具体的に記述可能なら良いのだ。
そのような数は無限にある。
0255132人目の素数さん
2008/11/08(土) 06:15:310256132人目の素数さん
2008/11/12(水) 18:54:260257132人目の素数さん
2008/12/03(水) 16:42:450258132人目の素数さん
2008/12/20(土) 15:07:28π^e=有理数?無理数?
e^π=有理数?無理数?
e^e=有理数?無理数?
e×π=有理数?無理数?
e×e=有理数?無理数?
π×π=有理数?無理数?
π+e=有理数?無理数?
π−e=有理数?無理数?
e−π=有理数?無理数?
π÷e=有理数?無理数?
e÷π=有理数?無理数?
0259132人目の素数さん
2008/12/22(月) 19:53:40無理数同士の演算で有理数になるようなものはあるのか?
0260132人目の素数さん
2008/12/22(月) 21:46:20実部が有理数である複素数αとその複素共役σαに対してα+σαは有理数
これも自明か。むしろ無理数って言ってるから複素数はダメなのか
0261132人目の素数さん
2008/12/22(月) 22:45:40これ以上何も言うことはない。
0262132人目の素数さん
2008/12/22(月) 23:05:54どういうとき自明で、どういうときはそうでないっという線引きをどう表現すれば
いいのかよくわからない。
出所の違う二つの無理数a,bがあったとして、a+bもしくはa*bが有理数になるってのは
結局のところbがうまいことaで書けるという事が非自明ってだけで、演算云々で言うのは
蛇足なだけだし、その蛇足を省いた先が求めるものかっていえばそれも何か違う気がする。
{(√2)^(√2)}^(√2)なんてのは割りとしっくり来る例な気がするが、ちょっと煙に巻いたような
ところがあるよね。
0263132人目の素数さん
2008/12/23(火) 01:50:24> 結局のところbがうまいことaで書けるという事が非自明ってだけで
その例でかまわないのでぜひ。
0264132人目の素数さん
2008/12/23(火) 01:58:320265132人目の素数さん
2008/12/23(火) 02:20:45この「出所がちがう」ってのもどこまで違えば、という話になってしまって
例えば「半径1/2の円の面積」とΣ[n=1,∞](-1)^(n-1)/(2n-1)
明らかに出所が違うけど、多分というか間違いなく
「その例」として納得はしてもらえないよね。
結局>>262の駄文で言いたかったのは
和と積の範疇じゃ、一見どんなに非自明でも
つまるところは>√2×√2や、-π+πのような自明なもの
でしかないわけで、一体何を探したいのか良くわからない。
ということだったの。つまらん結論で本当に申し訳ないね。
0266132人目の素数さん
2008/12/23(火) 03:36:100267132人目の素数さん
2009/01/25(日) 02:43:510268132人目の素数さん
2009/01/29(木) 21:24:380269132人目の素数さん
2009/01/30(金) 14:33:260270132人目の素数さん
2009/02/22(日) 02:09:47However, it is known that they cannot satisfy any polynomial equation of deree ≦ 8 with integer coefficients of average size 10^9. (Bailey 1988, Borwein et al.1989)
http://mathworld.wolfram.com/Pi.html
0271132人目の素数さん
2009/02/22(日) 02:33:21π/√e スレにありますた。
π= 355/133, (← 祖沖之)
e = 1 + 1 + 1/2 + 1/5 + 1/55 + 1/9999,
= 1 + 1 + 1/2 + 2/5 + 1/36 - 9/44 - 1/202,
らしいよ。
0272132人目の素数さん
2009/02/23(月) 23:19:39いつか思い出すかもしれない
とりあえずここは
e+πが無理数である簡単な証明を見つけたが
それを書くにはこの余白は狭すぎる
と言っておこう
0273132人目の素数さん
2009/02/24(火) 07:38:04具体例というか、√2+α=r (rは有理数)となる数は、
α=r-√2
と書ける訳で。
そういう意味では「自明」な数になるんじゃない?
0274132人目の素数さん
2009/03/25(水) 20:58:540275132人目の素数さん
2009/04/26(日) 01:32:380276132人目の素数さん
2009/05/26(火) 12:57:220277べ
2009/05/26(火) 18:57:210278132人目の素数さん
2009/06/13(土) 21:38:180279132人目の素数さん
2009/07/10(金) 11:14:100280132人目の素数さん
2009/07/11(土) 20:30:18無理か。
0281132人目の素数さん
2009/07/11(土) 21:37:13πは簡単な単調増加数列で表すとどうなるの?
0282132人目の素数さん
2009/07/20(月) 04:09:580283132人目の素数さん
2009/07/20(月) 22:55:570284132人目の素数さん
2009/08/18(火) 16:24:110285132人目の素数さん
2009/08/30(日) 00:09:42(5+0.8+・・とかじゃなくて)
0286132人目の素数さん
2009/08/30(日) 02:46:21>>281と>>282足せ
0287132人目の素数さん
2009/10/05(月) 16:30:330288132人目の素数さん
2009/10/13(火) 18:50:420289132人目の素数さん
2009/10/13(火) 19:04:30βακαμων!
0290132人目の素数さん
2009/11/04(水) 22:22:120291132人目の素数さん
2009/12/01(火) 21:00:130292132人目の素数さん
2009/12/02(水) 15:42:31言うのはよろしくないと思うが、間違いがなければ
任意の代数的数m、nに対してme+nπは超越数である。
ここにm、nのうち一方は0ではない。
まあ、少なくともe+π、e-πは共に超越数である。
証明が長くて、パソコンを用いて1人で書くことに対してやる気が萎えているw
もしかしたら、全部で5、600ページは優に行くかも知れない。
0293132人目の素数さん
2009/12/02(水) 17:24:34概要をどっかに書いてみるとか!
0294132人目の素数さん
2009/12/03(木) 05:26:540295132人目の素数さん
2009/12/05(土) 14:15:00>>294
最後まで書いてみて間違いがないと確信出来れば、そのうち概要書きますよ。
概要をうまく書ける保証はないですが。
0296132人目の素数さん
2009/12/06(日) 14:55:450297132人目の素数さん
2009/12/12(土) 01:30:44おれの予想では「学部の微積、関数論と塩川本程度の超越数論」
0298132人目の素数さん
2009/12/12(土) 01:51:51>>297みたいに勝手な予想をする人が現れたから一応書くが、それは言えない。
言うことはアイディアを伝えることになりかねない。
それこそノニさんみたいな問題が生じかねない。
まあ、>>292の証明は単なる序曲になるかも知れない。
0299132人目の素数さん
2010/01/10(日) 19:46:57数学定数事典
A5/608ページ/2010年02月15日
定価16,800円(税込)
S.R.フィンチ 著/一松信 監訳
円周率π,自然対数の底e,√2などの有名なものから,あまり知られていないめずらしいものまで,数学の定数約960を網羅して解説した事典。
定数がどのように誕生し,なぜ重要なのか,すべての有意義な定数を体系的に説明し,項目ごとに詳細な文献リストをまとめてある。
〔内容〕有名な定数/数論に関する定数/解析不等式に関する定数/関数の近似に関する定数/離散構造に関する定数/関数反復に関する定数/
複素解析に関する定数/幾何学に関する定数/付録:定数表
0300猫は淫獣 ◆ghclfYsc82
2010/01/10(日) 20:10:11存じます。
敬具
猫拝
>頭が悪いのがコンヌみたいな数学史に残るであろう大天才に推薦状を書く雑用をさせていいと思ったのかい?
>お前が飢えてどこで野垂れ死のうと数学の歴史には全く影響がないが
>コンヌの時間を奪えば数学の歴史に影響しかねんとは考えられなかったのかい?
>お前は数学という学問への良心や献身の精神すら残ってないんだね
>その数学者の業績が高々30年以内に消えてしまうような数学者はマクロに見れば存在しようがしまいがどうでも良いんだよ
>そんなレベルの数学研究の従事者は世界全体で見れば掃いて捨てるほどいるからな
>そいつがそれなりに大事な定理を発見して証明したとしても、そいつがいなくても誰かがいずれは見つけてるんだよ
>その程度の独創性しかないからこそ30年未満で消えていくんだ
>そういう掃いて捨てるレベルの数学従事者に求められるのは研究よりも教育だよ
>教育者に求められるのは中途半端な数学の研究業績よりもちゃんとした人間性だ
>女性への欲望を押えられなくて痴漢に及ぶのなんてのは教育従事者としては論外だな
>自分の業績でウソをつくのも教育従事者としては論外だな
>盗撮も論外だ
>最低でも30年以上は業績がリファーされるほどの才能もなく教育従事者としての適性もない数学しかできん半端者に税金から給料を払う必要なんてないのさ
>何をやろうと許されるのは数学史に名前が刻まれるレベル、つまりそいつが消えれば数学の歴史が変わってしまうであろう本当の天才だけだ
>それ以外の少し数学が得意なだけの幾多の凡人は社会人としての常識がなければ社会では必要ないのさ
>社会で必要ないってことは大学や組織が給料を払ってやる必要はないってことだ
EOF
0301猫は淫獣 ◆ghclfYsc82
2010/01/17(日) 23:41:46★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
小沢先生、頑張って下さい。私は最後まで味方になります。
猫
0302132人目の素数さん
2010/03/10(水) 06:01:540303132人目の素数さん
2010/03/26(金) 09:45:570304132人目の素数さん
2010/03/26(金) 11:04:570305132人目の素数さん
2010/05/09(日) 21:26:480306愛のある人間
2010/05/13(木) 17:27:39■ このスレッドは過去ログ倉庫に格納されています