X
トップページ⇒数学
265コメント192KB

リーマン予想を証明します。

■ このスレッドは過去ログ倉庫に格納されています
0001おもろいぞ
垢版 |
2010/12/26(日) 14:53:44
リーマン予想をいまNHKで放送しています。しかしこんな簡単な
ものを考える必要も有りません。
誰でも簡単に分かるように証明します。
すぐには証明しません。答えが出るまで皆さん考えなさい。
簡単に数式も要らないで証明します。
まあ何年後になるか知らないがこのスレッドが９００まで
伸びたらと思ってます。しかし来年の１２月までは行ってもしません。ｌ
お楽しみに
0169１３２人目の素数さん
垢版 |
2013/03/29(金) 13:21:06.69
>>168
> aの範囲を限定したのはmodpだからだよ！
mod p で考えるのだからaの範囲を限定しなくてよくなる

> (例えばmod5の場合を考えるとき7を考える必要はなく2を考えるだけでいい)
2、7どちらで考えてもいいんだから2に限定する必要がない
0170１３２人目の素数さん
垢版 |
2013/03/29(金) 13:23:01.23
>>169
そうなんだけど、限定して書いたほうが図(素数の回りをその素数より小さなすべての自然数が回っている図)をイメージしやすいからそうした！
0171１３２人目の素数さん
垢版 |
2013/03/29(金) 13:28:09.61
>>170
限定しているということは用途をせばめているということだから
> なんというかフェルマーの小定理を拡張させた感じ！
とは全く逆のことをしている

なんにせよ
> pを素数、aを2以上p以下の自然数とするとき、1にaを掛け続ける作業はｐ-1を周期に巡回する(modｐ)　例：(p,a)＝(5,2)のとき、1にaを掛け続ける作業は1,2,4,3,1,2,4,3,1,2,…と巡回する(mod5)
はフェルマーの小定理の一部を抜粋したもので、フェルマーの小定理に完全に含まれている
0172１３２人目の素数さん
垢版 |
2013/03/29(金) 13:32:54.39
そっかぁ…ごめん…
ただ素数の円が綺麗だと思って、その綺麗さを知らない人に見てほしかっただけです
0173１３２人目の素数さん
垢版 |
2013/06/30(日) 18:01:26.85
「物理と数学のかきしっぽ」

35冊ぐらい

売れた。誰が言ったんだ「売れないだろうね」

はっはっはー
0176１３２人目の素数さん
垢版 |
2013/09/24(火) 09:33:33.02
これが証明されたら世の中にどんな変化をもたらすの？
0177１３２人目の素数さん
垢版 |
2013/09/26(木) 02:06:45.06
高校数学も半分忘れたような俺が２年以内にリーマン予想を解くと予想している。
大学数学もほとんど忘れた俺に解かれたら全世界の数学者はさぞ絶望するだろう。
もしも解いても公表しないどいてやろうか。俺はやさしいんだ。
0178１３２人目の素数さん
垢版 |
2013/09/26(木) 12:40:04.42
Xを任意の整数とし　Sを素数かどうか精査する数とする
F（X）＝X*{ (S+1)(S-1)+(1+S)(S-1)X+(S-1)X^2-2(3+S)X^2-4X^3 }/(2X+1)^2　が　
[ （S-1)^2/4 ≧F(X)>０　] [(S-1)/2≧ X>0]　の範囲において
格子点を通るときSは素数でない
0179１３２人目の素数さん
垢版 |
2013/09/26(木) 12:47:56.98
Xを任意の整数とし　Sを素数かどうか精査する数とする
F(X)=X*{（S+1)（S-1)＋（-5＋S^2）X−8X^2−4X^3｝/(2X+1)^2　が　
[ （S-1)^2/4 ≧F(X)>０　] [(S-1)/2≧ X>0]　の範囲において
格子点を通るときSは素数でない
0180tai
垢版 |
2013/09/26(木) 17:58:00.66
「物理と数学のかきしっぽ」

内のリーマン予想証明

今の所完全に正しいです
0181１３２人目の素数さん
垢版 |
2013/09/27(金) 13:21:46.37
オトコの副業ナンバーワン！？
イケメン＆トーク上手ならＯＫ
安心の業界最大手です★

メーンズ　ガーーデン
って検索してみてください♪

まずはサイトを見てみてくださいね！

※正しいサイト名は英語です。
0182狢 ◆yEy4lYsULH68
垢版 |
2013/09/27(金) 14:15:44.76
狢

■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
0183１３２人目の素数さん
垢版 |
2013/09/28(土) 03:42:31.69
Xを任意の整数とし　Sを素数かどうか精査する数とする
F(X)={（S+1)（S-1)＋（-5＋S^2）X−8X^2−4X^3｝/(2X+1)^2　が　

[ （S-1)^2/ [(S-1)/2≧ X>0]　の範囲において
＞格子点を通るときSは素数でない
0184１３２人目の素数さん
垢版 |
2013/10/11(金) 15:03:54.74
ルイドブランジュの4度目の証明ってもうスルーされたの？
0185１３２人目の素数さん
垢版 |
2013/10/12(土) 15:21:38.19
>>184
オオカミ少年の話なんか話題にするな。
0187１３２人目の素数さん
垢版 |
2013/10/12(土) 16:32:50.92
オオカミ少年になって難しい問題に取り組む
勇気もない弱きものよ。
0188１３２人目の素数さん
垢版 |
2013/10/12(土) 16:37:00.16
難しい問題に取り組んで、結果オオカミ少年になってしまうのは分からなくもないが
オオカミ少年になって難しい問題に取り組むのはただのバカだろ
0189壊の国の狢 ◆yEy4lYsULH68
垢版 |
2013/10/12(土) 17:00:19.76
まあ『凄い博士論文を書きました』とか、こんな馬鹿板で言うてる奴は、
概ねは狼少年っちゅう事や。そやなかったら何もこんな馬鹿板で言わん
でも、リアルで実際に偉そうに出来てる筈やさかいナ。そやしこの馬鹿
板は狼少年板っちゅう役割りがアルやろうナ。嘘ばっかし吐いてる阿呆
が虚勢を張る場所やっちゅう事ですわナ。

まあ突っ込まれたら逃げたらエエんやしな、匿名やさかいナ。

ケケケ狢
0190１３２人目の素数さん
垢版 |
2013/10/12(土) 17:06:10.42
80歳前の劣った脳みそで数学史上最大の難問が解けるはずがない。若い人に解いて頂きたい。
0191１３２人目の素数さん
垢版 |
2013/10/12(土) 17:06:44.66
そういやブルバキだけで書いた博士論文教えてくれないなｗ
0192壊の国の狢 ◆yEy4lYsULH68
垢版 |
2013/10/12(土) 17:12:22.90
>>191
確かに『そういう武勇伝』があったのを思い出しましたワ。そやし皆が
知りたいのは当然でしょうナ。でもまあ概ねは狼少年かと。

狢
0198１３２人目の素数さん
垢版 |
2013/10/16(水) 00:31:01.97
>>195
それだけじゃなく、応用も物凄いことになるかも知れない。
これが解けたら、人類の一つの時代が終わり、新しい時代が来るとまで言う人もいる。
0200１３２人目の素数さん
垢版 |
2013/10/20(日) 16:08:56.53
アフィブラクラ
0202tai
垢版 |
2013/11/27(水) 22:07:24.42
ジャーナルオブナンバーセオリー

日本数学会

両方から

「この論文は掲載できない

確信がもてない」

「レベルが足りない」

とrejectされました

きっと正しくないんでしょうね
0203狸 ◆2VB8wsVUoo
垢版 |
2013/11/27(水) 22:19:12.23
狸

■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
0204１３２人目の素数さん
垢版 |
2013/11/28(木) 01:12:12.08
うむ
0205狸 ◆2VB8wsVUoo
垢版 |
2013/11/28(木) 07:12:46.96
狸

■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
0207１３２人目の素数さん
垢版 |
2014/02/21(金) 20:38:52.42
これじゃ1行目の最後まで読んでもらえないよ
0209１３２人目の素数さん
垢版 |
2014/02/22(土) 12:03:14.47
>>206
間違ってる。Σ[n≦m]μ(n) は有界ではないのに、その議論だと有界になってしまう。

Σ[n≦m]μ(n)(m/n) ＝ 1 と Σ[n≦m]μ(n) ＝ O(Σ[n≦m]μ(n)(m/n)) により
Σ[n≦m]μ(n) ＝ O(1) となる。すなわち、ある定数 K＞0 が存在して
｜Σ[n≦m]μ(n)｜≦ K となる。これは矛盾 。
0210１３２人目の素数さん
垢版 |
2014/02/22(土) 12:22:54.03
>>206
あと、数学的帰納法にＯ記号が入ってるのは おかしい。
f(n)＝Ｏ(g(n)) (n→∞) の定義は

・ある定数 K＞0 が存在して ｜f(n)｜≦ K｜g(n)｜ (n＝1,2,3,…)

だから、帰納法を使うなら、この K を始めに決めて固定しつつ、
全ての計算を「不等式の形で」やらなければならない。

不等式も K も使わずＯ記号で誤魔化すと、帰納法の適用段階で K の値が n に応じて
増加する可能性がある。この場合、K は定数にならず、「 K のオーダー」が別途発生してしまい、
示したいオーダーを超過して証明に失敗する。それどころか、間違った結果を　"証明"　して
しまうことになる。あんたが毎回やらかしてるのは このミス。
0211tai
垢版 |
2014/02/22(土) 14:18:30.96
>>>209

も一回よーく呼んでね
0212１３２人目の素数さん
垢版 |
2014/02/22(土) 14:20:56.60
>>211
よく読むのは あなたの方。

Σ[n≦m]μ(n) ＝ O(Σ[n≦m]μ(n)(m/n)) の右辺に Σ[n≦m]μ(n)(m/n) ＝ 1 を代入して

Σ[n≦m]μ(n) ＝ O(1) となる。すなわち、ある定数 K＞0 が存在して
｜Σ[n≦m]μ(n)｜≦ K となる。これは矛盾 。
0213tai
垢版 |
2014/02/22(土) 14:28:52.97
Σ[n≦m]μ(n)[m/n] ＝ 1

は認めますか？
0214１３２人目の素数さん
垢版 |
2014/02/22(土) 14:33:45.06
>>213
その式が成り立つならば、>>212 により矛盾する。
従って、その式が間違っているか、あるいは

Σ[n≦m]μ(n) ＝ O(Σ[n≦m]μ(n)(m/n)) … (1)

が間違っているかのいずれか。(1)の証明は Ｏ記号＆帰納法 という
危険なコンビなので、少なくとも(1)は かなり怪しい。
0215tai
垢版 |
2014/02/22(土) 14:35:43.36
>>214

おつかれ！！

あなたと話すことはもうない

その程度ですか

ちゃんとやったのになあ

ばいばーい
0216１３２人目の素数さん
垢版 |
2014/02/22(土) 14:39:50.67
>>215
(1) を、Ｏ記号使わず

｜f(n)｜≦ K｜g(n)｜ (n＝1,2,3,…)

の形でちゃんと証明してごらん。
別の言い方をすると、もし(1)が成り立つなら

｜Σ[n≦m]μ(n)｜≦ K｜Σ[n≦m]μ(n)(m/n))｜ (n＝1,2,3,…)

を満たす定数 K が存在するはずだが、この K の具体的な値を言ってごらん。
たとえば、K＝2013と置けば成り立つのか？あるいは、K＝10^1000000 とすれば
成り立つのか？
0217tai
垢版 |
2014/02/22(土) 14:48:15.07
>>216

それを証明した

んだが

何か問題ある？

ちなみに１ではないよ右辺はその定数ばいでもないよ

もう書きたくないのに
0218１３２人目の素数さん
垢版 |
2014/02/22(土) 14:53:11.07
>>217
＞何か問題ある？
Ｏ記号で誤魔化して K の値が明示されてないから大問題。

ちゃんと不等式の形で証明してごらん。
そして、K の具体的な値を ちゃんと定数として出してごらん。
K＝2013と置けば成り立つのか？あるいは、K＝10^1000000 とすれば
成り立つのか？ あるいは、もっと大きな値にすれば成り立つのか？
0219tai
垢版 |
2014/02/22(土) 14:57:34.50
>>218

もう書きません！！

５時間後ぐらいに書け

計算しろ計算

いい加減すぎる
0220１３２人目の素数さん
垢版 |
2014/02/22(土) 15:02:38.25
>>219
＞いい加減すぎる
そうだよ、いい加減だよ、あんたがね。

あなた、この前の「間違った証明」でも Ｏ記号と帰納法の
危険なコンビ使ってたでしょ。あの計算、どこが間違ってたのか
理解してるの？定数 K が、帰納法の途中の計算でどんどん大きくなって
しまっていたんだよ。だから、「Kのオーダー」が影響して、求める
オーダーにならなかったんだよ。今回も同じこと。ちゃんと不等式の形で
計算して K を求めてごらん。

Σ[n≦m]μ(n) ＝ O(Σ[n≦m]μ(n)(m/n)) … (1)

という式の定義は、ある定数 K が存在して

｜Σ[n≦m]μ(n)｜≦ K｜Σ[n≦m]μ(n)(m/n))｜ (m＝1,2,3,…)

が成り立つことだ。で、この K が具体的にどうなっているのかという話。
もう書きたくないと言っているが、pdf の中でＯ記号を使っている部分を
不等式の形に直すだけじゃないか。何がそんなに面倒なんだ。
0221tai
垢版 |
2014/02/22(土) 15:05:55.97
>>220

俺も暇人じゃないんでね

出先のネカフェで打ってる
0222１３２人目の素数さん
垢版 |
2014/02/22(土) 15:13:21.55
>>221
きちんと不等式の形で計算して K を求めてくれと言っているのだ。
あなたがヒマかどうかなんて、この論文にとっては意味の無い情報だ。
そして、K を求めることは あなたがやるべきことであって、俺がやることじゃない。
なぜなら、これは あなたの論文だからだ。

もう一度言うが、あなたは前回の「間違った証明」と同じ過ちをしている。
前回の計算におけるＯ記号＆帰納法の危険なコンビ、あなたは未だに
理解してないはずだ。なぜ、あの計算が間違いだったのか、あなたは
理解してないはずだ。
あなたが理解したのは、「実際にオーダーが違う」という事実だけだ。
前回は、あなたのＯ記号＆帰納法の間違いを直接示すのではなく、
全く別の計算でオーダーの間違いを指摘しただけだからな。
0223tai
垢版 |
2014/02/22(土) 15:25:40.09
参ったなほんとに違うじゃないか

ちょっと急いでるんで

礼は後で言います

しかしほんとにまちがうなあ
0224１３２人目の素数さん
垢版 |
2014/02/22(土) 15:32:42.74
>>223
礼は必要ない。こっちは好きでやってるだけだ。

とりあえず、Ｏ記号＆帰納法 のコンビは もう使わない方がいい。
K が見えなくなって正確なオーダーが分からなくなるし、
あなたの間違いは いつもＯ記号＆帰納法のコンビから始まってる。

帰納法を使うなら、Ｏ記号は使わずに不等式の形を採用し、
「 K 」を明示しながら計算するのが鉄則。
0225１３２人目の素数さん
垢版 |
2014/02/22(土) 16:02:03.16
それにしてもトな人ってなんで他人の指摘を理解しようとする前に罵倒して誤魔化そうとするのかねえ
0226１３２人目の素数さん
垢版 |
2014/02/22(土) 16:09:58.01
英検3級エスパー2級、英語の単位を落としたことのある俺が1行目を書くならこうだな
We prove a following theorem, that is equivalent to the Riemann Hypothesis.
0228１３２人目の素数さん
垢版 |
2014/02/25(火) 00:10:00.44
国営番組のビッグデータ特集もろもろが分かりズラい
映画館の趣味で露天やってる人の方が分かりやすい解説した
0230１３２人目の素数さん
垢版 |
2014/03/06(木) 15:58:54.90
>>229
1ページ目の最後の方の不等式が

Σ[n≦m]μ(n)＜Σ[n≦m]μ(n)(m＋l)/n … (*)

となっているが、なぜこれが成り立つのか？
おそらく、まずは帰納法の仮定を使って

Σ[n≦m]μ(n) ＜ Σ[n≦m]μ(n)m/n

としたのだろう(ここは正しい)。で、このあと

Σ[n≦m]μ(n)m/n ＜ Σ[n≦m]μ(n)(m＋l)/n

としたのだろう。だが、ここは正しい計算では無い。
なぜなら、μ(n)＝−1 が成り立つような n に対しては
μ(n)m/n ＞ μ(n)(m＋l)/n と逆向きの不等号になるからだ。

結局、(*)が成り立つ理由はどこにあるのか？
0231tai
垢版 |
2014/03/06(木) 16:16:07.42
大きなｍではΣ[n≦m]μ(n)m/n は正の値を取る

というのを書いてますよ
0232tai
垢版 |
2014/03/06(木) 16:20:38.25
あそうそう

Σ[n≦m]μ(n)m/n ×(1)<Σ[n≦m]μ(n)m/n　×(1+i/m)

も書いときますね
0233１３２人目の素数さん
垢版 |
2014/03/06(木) 16:28:46.67
>>231
把握した。すまない。こちらのミスだった。
mも(m＋l)も n に依存してないからΣの外に出せるんだな。

では次の質問。この帰納法によれば、0＜Σ[n≦m]μ(n)m/n であるような
m についてしか議論してないが、0＞Σ[n≦m]μ(n)m/n の場合はどうするのか？
0234tai
垢版 |
2014/03/06(木) 16:31:26.80
>>233

それについては申し訳ないが

コピーされないようにカット

しました

ちゃんとしてますよ

どうしても

公開できません

「公開」については

私の裁量

でやってるので

ごめん！！公開したくない
0235tai
垢版 |
2014/03/06(木) 16:34:40.88
正確には

Σ[n≦m]μ(n)＜０

の場合のことですね
0236１３２人目の素数さん
垢版 |
2014/03/06(木) 16:39:01.19
>>235
いや、正確には Σ[n≦m]μ(n)/n ＜ 0 の場合だ。

>>234
把握した。じゃあ、この質問は保留にしておいて、次の質問をしたい。
2ページ目で、α が √m に近いとして

Σ[n≦α]μ(n)[m/n] 〜 √m

が成り立つとあるが、これはどうして成り立つのか？
まず、復習しておくが、f(n) 〜 g(n) (n→∞) の定義は

lim[n→∞] f(n)/g(n)＝1

が成り立つこと。従って、Σ[n≦α]μ(n)[m/n] 〜 √m が意味するのは

lim[n→∞] Σ[n≦α]μ(n)[m/n] / √m ＝ 1 … (**)

ということ。この(**)はどうして成り立つのか？
0237tai
垢版 |
2014/03/06(木) 16:42:11.28
>>236

〜については

大体近いという意味で使ってしまった

後で修正しますね

そしてこれは地道な手計算によるものなので

計算には乗らないと思います
0238１３２人目の素数さん
垢版 |
2014/03/06(木) 16:47:23.38
>>237
把握した。だが、俺の質問の意図は次のようなものだ。
たとえば、αは m^{1/3} に近いとしよう。このとき、あなたの計算で

Σ[n≦α]μ(n)[m/n] 〜〜 m^{1/3}

が成り立ってしまわないか？
(ここでのオリジナルの記号「〜〜」は「大体近い」を表すものとする)
もしこれが成り立つならば、あなたの計算で

Σ[n≦m]μ(n) ＝ O(m^{1/3}m^ε) … (☆)

が言えてしまうのではないか？
もし☆が導けてしまうならば、あなたの計算は どこかが間違っていることになる。
(注意：☆は正しくない)
0239tai
垢版 |
2014/03/06(木) 16:48:35.02
あえて書くならば

Σ[n≦α]μ(n)[m/n]

がtheorem2

により

√ｍ×１

に近く、

limΣ[n≦α]μ(n)[m/n]/√ｍ=1(ｍ→∞)

かな
0240１３２人目の素数さん
垢版 |
2014/03/06(木) 16:52:50.46
>>239
その計算を額面どおりに受け取ると、次の議論も言えてしまうように見える。
まず、α は m^{1/3} に近いとする。このとき、

Σ[n≦α]μ(n)[m/n]

がtheorem2

により

m^{1/3} × １

に近く、

limΣ[n≦α]μ(n)[m/n]/m^{1/3}=1(ｍ→∞)

となる
0241tai
垢版 |
2014/03/06(木) 16:53:47.56
>>238

誤差項が√m

の定数倍くらいは

出てきますので

m^{1/3}に近くはならないと思います

Σ[n≦α]μ(n)[m/n]

とΣ[n≦α]μ(n)m/n

の違いによるものです
0242１３２人目の素数さん
垢版 |
2014/03/06(木) 16:56:00.34
>>241
誤差項が √m の定数倍になるのは、
「 α が √mに近い」という性質から生じるのでは？

もしそうなら、α を m^{1/3} に近いとしたとき、
生じる誤差項は m^{1/3} の定数倍にならないか？
0243tai
垢版 |
2014/03/06(木) 16:56:32.45
>>240

Σ[n≦α]μ(n)[m/n]=Σ[n≦α]μ(n)[√ｍ/n]×√ｍ＝１×√ｍ

を使っています
0244１３２人目の素数さん
垢版 |
2014/03/06(木) 17:00:44.72
>>243
うーむ。なぜ

Σ[n≦α]μ(n)[√ｍ/n]×√ｍ＝１×√ｍ

が成り立つのか俺には分からないが、仮にそれが成り立つのなら、
α を m^{2/3} に近い(今回は m^{1/3} ではなく m^{2/3} とする) としたとき、

Σ[n≦α]μ(n)[m/n] = Σ[n≦α]μ(n)[(m^{2/3}) / n]×m^{1/3}＝１×m^{1/3}

とならないか？
0245tai
垢版 |
2014/03/06(木) 17:01:51.32
本当は

>>243

で行った通りになってればよかったんですが

計算してみると

√ｍから少しずれた数値が出るので

√ｍに近いαっていう数値で計算したんです
0246tai
垢版 |
2014/03/06(木) 17:09:01.85
>>243

なりますね

でも計算上

√ｍの定数倍の誤差が出るのであれば

その計算には何の意味もないです
0247１３２人目の素数さん
垢版 |
2014/03/06(木) 17:13:56.17
>>246
＞√ｍの定数倍の誤差が出るのであれば
具体的な計算が あなたの口から出て来ないので判断がつかないが、
その 「√m」 という数字は、αを √m に近い場所から取ったことによって
出てくる数字なのではないか？
もしそうなら、αを別の場所に取ったとき、出てくる誤差項も
「√m」以外の数字になるのではないか？

とりあえず、αを m^{2/3} に近い場所から取り、
あなたの計算をマジメにもう一度やってみてほしい(計算内容をこのスレに書く必要は無い)。
たぶん、m^{1/3} という誤差項になるのではないか？
0248tai
垢版 |
2014/03/06(木) 17:16:52.53
>>247

わかりました

今ちょうど検算中なので

m^{2/3}でやってみます
0249tai
垢版 |
2014/03/06(木) 17:49:40.87
なんと！！計算があやしいな

m^0=1=α

ならば誤差は大きいですが

その上は計算してなかった

とりあえずはまたやり直しです
0250tai
垢版 |
2014/03/06(木) 18:10:31.29
最後に

Σ[n≦α]μ(n)[m/n]

はαがm^{2/3}の近くの時

おそらくはm^{1/3}

の近くの値を取ります

その時αが１からm^{2/3}を動くため

m^{2/3}に依存した誤差項を

Σ[n≦α]μ(n)m/n

に対して取る…と思ったのですが

上手く数式に乗らない上

数値計算ではなかなかその違いが出ませんね

残念
0251１３２人目の素数さん
垢版 |
2014/03/06(木) 20:28:03.39
素人だからさっぱり理解出来ないんだが、
結局 tai 氏の書き込みによって解明に一歩近づいたの？
0252tai
垢版 |
2014/03/06(木) 22:43:28.91
>>251さん

わたしの認識では

既に知られている

部分（論文の前半部）

の証明に手こずったんで

前進したように見えたかもしれませんが

前進していない状態というのが

正確です
0254１３２人目の素数さん
垢版 |
2014/08/15(金) 10:44:57.31
４年前のリーマンショックはリーマン予想の証明が不可能な事が示されたってことですよ
0255島本町で凄惨なイジメを受けて廃人になった方へ
垢版 |
2014/09/11(木) 20:47:02.51
＞大阪府三島郡島本町の小学校や中学校は、暴力イジメ学校や。
島本町の学校でいじめ・暴力・脅迫・恐喝などを受け続けて廃人になってしもうた僕が言うんやから、
まちがいないで。僕のほかにも、イジメが原因で精神病になったりひきこもりになったりした子が何人もおる。
教師も校長も、暴力やいじめがあっても見て見ぬフリ。イジメに加担する教師すらおった。
誰かがイジメを苦にして自殺しても、「本校にイジメはなかった」と言うて逃げるんやろうなあ。
島本町の学校の関係者は、僕を捜し出して口封じをするな。

＞島本町って町は暴力とイジメと口裏合わせと口封じと泣き寝入りの町なんだなあ

子供の時に受けた酷いイジメの体験は、一生癒えない深い傷になる
暴力とイジメの町に巣食うヤクザ・チンピラ・ゴロツキ・不良・ いじめっ子・殺人鬼・ダニ・
ノミ・シラミなどを監視して非難するのは暮らしやすい町を作るのに必要だ
0256１３２人目の素数さん
垢版 |
2015/04/13(月) 00:19:22.77ID:0bpIlEe3
http://tuinlife.blog.shinobi.jp/
>すごく失礼なメールをいただきました
>これはリーマン予想の解法として
>最もありそうにないが 👀
Rock54: Caution(BBR-MD5:18e3ad85d511352dc19ab55963b20571)
0259１３２人目の素数さん
垢版 |
2015/05/21(木) 15:33:11.00ID:1vcENskf
素人が手を出してはいけないもの
「リーマン予想」「株」
0260１３２人目の素数さん
垢版 |
2015/05/27(水) 21:28:08.37ID:g3SNn1ge
自然のなにかに近いんだよね
物理のなにかに
そっちから解明したらどう
リーマン君はどういうところからこの問題を見つけたというか気がついんだろう
0263１３２人目の素数さん
垢版 |
2015/07/27(月) 00:24:38.29ID:gRDYSCI3
ま、なんとなくわかるけど、特定の全体数の1/2からなる数値群がいくつの
積を持つのか、その余りはいくつなのか、なんて考えも面白いと思う
0264１３２人目の素数さん
垢版 |
2015/07/27(月) 00:40:55.22ID:WBn9Qkrv
俺も複素数の積による零点はどうかなと。
電子軌道の整数倍から溢れたエネルギーの計算式と同じといっても、
エニグマなんかの歯車式素数の生成装置と変わらんのじゃないかと。
１さんが多分表現した経験則による素数の出現式を進化させれば立派な
もんだと思う。
よく言われるようなn番目の数は素数であるかどうか、なんてのとは
ちと違うと思うが。
呑んでるからすまんの。
0265tai
垢版 |
2016/01/01(金) 21:09:48.55ID:MBfeiGmB
>>247

http://taibuturi.fuma-kotaro.com/

をよんでもらうとわかりますが

Σ_{n<√m}[m/n]は√mのオーダーであることが証明できたとして

Σ_{n<m^1/3}[m/n]はm/(m^1/3)=m^2/3のオーダーであることまでしか言えません

ここからが新しい部分です

Σ_{n<m^2/3}[m/n]はm/(m^2/3)=m^1/3のオーダーであると言ってよいが

Σ_{n<m^2/3}[m/n]とΣ_{n<m^2/3}m/nの違いが

m^2/3のオーダーであるためΣ_{n<m^2/3}m/nのオーダーはm^2/3よりも少なくできない

というのが答えです

だいぶ遅くなりました

でもちゃんとやりたかったので
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況