探検


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

■ このスレッドは過去ログ倉庫に格納されています
1おもろいぞ
垢版 |
2010/12/26(日) 14:53:44
リーマン予想をいまNHKで放送しています。しかしこんな簡単な
ものを考える必要も有りません。
誰でも簡単に分かるように証明します。
すぐには証明しません。答えが出るまで皆さん考えなさい。
簡単に数式も要らないで証明します。
まあ何年後になるか知らないがこのスレッドが900まで
伸びたらと思ってます。しかし来年の12月までは行ってもしません。l
お楽しみに
2013/03/07(木) 20:19:48.36
          (
         ,,        )      )
         ゙ミ;;;;;,_           (
          ミ;;;;;;;;、;:..,,.,,,,,
          i;i;i;i; '',',;^′..ヽ
          ゙ゞy、、;:..、)  }
           .¨.、,_,,、_,,r_,ノ′
         /;:;":;.:;";i; '',',;;;_~;;;′.ヽ
        ゙{y、、;:...:,:.:.、;:..:,:.:. ._  、}
        ".¨ー=v ''‐ .:v、,,、_,r_,ノ′
       /;i;i; '',',;;;_~⌒¨;;;;;;;;ヾ.ミ゙´゙^′..ヽ 
       ゙{y、、;:...:,:.:.、;、;:.:,:.:. ._  .、)  、}
       ".¨ー=v ''‐ .:v、冫_._ .、,_,,、_,,r_,ノ′
      /i;i; '',',;;;_~υ⌒¨;;;;;;;;ヾ.ミ゙´゙^′.ソ.ヽ
      ゙{y、、;:..ゞ.:,:.:.、;:.ミ.:,:.:. ._υ゚o,,'.、)  、}
      ヾ,,..;::;;;::,;,::;):;:;:; .:v、冫_._ .、,_,,、_,,r_,ノ′
154132人目の素数さん
垢版 |
2013/03/07(木) 21:31:44.73
本も売れないだろうね
http://tuinlife.blog.shinobi.jp/Entry/798/
http://sun.ap.teacup.com/oppommfarm/237.html
http://6817.teacup.com/yokouchi/bbs/115
http://6817.teacup.com/yokouchi/bbs/131
155132人目の素数さん
垢版 |
2013/03/09(土) 00:14:37.68
リーマンの素数公式を知らんとは
156132人目の素数さん
垢版 |
2013/03/09(土) 18:05:16.99
>>152
そう言えばそうだ
時間は早いなぁ
2013/03/09(土) 19:34:06.68
>>156

 テメ〜、いいかげんにしねえと、ブッ殺すぞ!

 20代の、無職の、知的障害の、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、ゴミ・クズ・カス・無能・虫けらのクソガキ!

 死ね!!!!!!!!!!!!!!!!!!!!!!
158132人目の素数さん
垢版 |
2013/03/09(土) 20:42:04.72
なんて知性のカケラもないスレなんだろうww
2013/03/09(土) 21:36:34.72
>>157

 テメ〜、いいかげんにしねえと、ブッ殺すぞ!

 20代の、無職の、知的障害の、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、ゴミ・クズ・カス・無能・虫けらのクソガキ!

 死ね!!!!!!!!!!!!!!!!!!!!!!
2013/03/27(水) 14:05:33.34
wikiの素数の項目のその他の性質の三行目の定理(?)って有名?
161160
垢版 |
2013/03/27(水) 14:06:34.37
自分が編集して入れといたんだけど…
162132人目の素数さん
垢版 |
2013/03/27(水) 23:42:21.07
スレチ
163132人目の素数さん
垢版 |
2013/03/28(木) 12:41:17.56
すまないwwwwww
2013/03/28(木) 21:57:54.91
>>160
つーかそれ、その真上にあるフェルマーの小定理そのものじゃないのか?

> 素数 p に対して、(a, p) = 1 ⇒ ap−1 ≡ 1 (mod p)(フェルマーの小定理)
> pを素数、aを2以上p以下の自然数とするとき、1にaを掛け続ける作業はp-1を周期に巡回する(modp) 例:(p,a)=(5,2)のとき、1にaを掛け続ける作業は1,2,4,3,1,2,4,3,1,2,…と巡回する(mod5)

携帯で編集面倒なので指数とかおかしいところは勘弁を
2013/03/29(金) 08:19:13.58
>>164
なんというかフェルマーの小定理を拡張させた感じ!有名なものなのかもしれないけど!
「素数にういてのある法則を発見した!」てスレを覗いてくれると嬉しい!
2013/03/29(金) 08:19:51.04
×素数にういて
○素数について
2013/03/29(金) 13:03:03.95
>>165
フェルマーの小定理を、1≦a≦p-1に限定したもので、明らかにフェルマーの小定理のより狭い


フェルマーの小定理
pが素数、aがpと素な整数ならば、a^(p-1)≡1 mod p
⇒a^(m+n(p-1))≡a^m*(a^(p-1))^n≡a^m*1^n≡a^m mod p
となり、p-1を周期として巡回する
これには
> aを2以上p以下の自然数
の条件は不要

フェルマーの小定理の拡張ならオイラーの定理とか?
2013/03/29(金) 13:15:46.25
>>167
なるほど!ありがとう!
aの範囲を限定したのはmodpだからだよ!
(例えばmod5の場合を考えるとき7を考える必要はなく2を考えるだけでいい)
2013/03/29(金) 13:21:06.69
>>168
> aの範囲を限定したのはmodpだからだよ!
mod p で考えるのだからaの範囲を限定しなくてよくなる

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

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

35冊ぐらい

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

はっはっはー
2013/06/30(日) 18:08:20.94
馬鹿が
2013/07/25(木) NY:AN:NY.AN
馬 鹿 者 ど も が !
176132人目の素数さん
垢版 |
2013/09/24(火) 09:33:33.02
これが証明されたら世の中にどんな変化をもたらすの?
2013/09/26(木) 02:06:45.06
高校数学も半分忘れたような俺が2年以内にリーマン予想を解くと予想している。
大学数学もほとんど忘れた俺に解かれたら全世界の数学者はさぞ絶望するだろう。
もしも解いても公表しないどいてやろうか。俺はやさしいんだ。
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)>0 ] [(S-1)/2≧ X>0] の範囲において
格子点を通るときSは素数でない
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)>0 ] [(S-1)/2≧ X>0] の範囲において
格子点を通るときSは素数でない
180tai
垢版 |
2013/09/26(木) 17:58:00.66
「物理と数学のかきしっぽ」

内のリーマン予想証明

今の所完全に正しいです
181132人目の素数さん
垢版 |
2013/09/27(金) 13:21:46.37
オトコの副業ナンバーワン!?
イケメン&トーク上手ならOK
安心の業界最大手です★

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

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

※正しいサイト名は英語です。
2013/09/27(金) 14:15:44.76


■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
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は素数でない
184132人目の素数さん
垢版 |
2013/10/11(金) 15:03:54.74
ルイドブランジュの4度目の証明ってもうスルーされたの?
185132人目の素数さん
垢版 |
2013/10/12(土) 15:21:38.19
>>184
オオカミ少年の話なんか話題にするな。
2013/10/12(土) 16:02:59.78
>>185
狼少年やったらこの馬鹿板に沢山生息してるがな。ソレもコマイ奴等がナ。

187132人目の素数さん
垢版 |
2013/10/12(土) 16:32:50.92
オオカミ少年になって難しい問題に取り組む
勇気もない弱きものよ。
188132人目の素数さん
垢版 |
2013/10/12(土) 16:37:00.16
難しい問題に取り組んで、結果オオカミ少年になってしまうのは分からなくもないが
オオカミ少年になって難しい問題に取り組むのはただのバカだろ
2013/10/12(土) 17:00:19.76
まあ『凄い博士論文を書きました』とか、こんな馬鹿板で言うてる奴は、
概ねは狼少年っちゅう事や。そやなかったら何もこんな馬鹿板で言わん
でも、リアルで実際に偉そうに出来てる筈やさかいナ。そやしこの馬鹿
板は狼少年板っちゅう役割りがアルやろうナ。嘘ばっかし吐いてる阿呆
が虚勢を張る場所やっちゅう事ですわナ。

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

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

2013/10/12(土) 23:12:32.63
匿名の恩恵を一番貪ってる狢が言うなよw
2013/10/15(火) 05:40:41.00
リーマン予想?
プッw 糞つまんねえ
2013/10/15(火) 06:31:59.71
>>194
お前は阿呆か?PNP問題と同じくらい純粋数学史上最大の難問だろ。
2013/10/15(火) 14:49:53.59
>>193
皮肉ですかそれはw
2013/10/15(火) 20:46:36.84
>>176
これってどれ?
2013/10/16(水) 00:31:01.97
>>195
それだけじゃなく、応用も物凄いことになるかも知れない。
これが解けたら、人類の一つの時代が終わり、新しい時代が来るとまで言う人もいる。
199tai
垢版 |
2013/10/20(日) 15:42:49.13
読んでみてください

リーマン予想の答えです

http://taibuturi.fuma-kotaro.com/
200132人目の素数さん
垢版 |
2013/10/20(日) 16:08:56.53
アフィブラクラ
201132人目の素数さん
垢版 |
2013/10/21(月) 02:44:58.61
割とかわいい。
http://www.nicovideo.jp/watch/sm22046979
http://www.nicovideo.jp/watch/sm22046963
http://www.nicovideo.jp/watch/sm14923866
http://www.nicovideo.jp/watch/sm14923835
202tai
垢版 |
2013/11/27(水) 22:07:24.42
ジャーナルオブナンバーセオリー

日本数学会

両方から

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

確信がもてない」

「レベルが足りない」

とrejectされました

きっと正しくないんでしょうね
2013/11/27(水) 22:19:12.23


■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
204132人目の素数さん
垢版 |
2013/11/28(木) 01:12:12.08
うむ
2013/11/28(木) 07:12:46.96


■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
206tai
垢版 |
2014/02/21(金) 20:03:33.21
きてちょ

他スレで散々

否定されたところを

修正したものです

http://taibuturi.fuma-kotaro.com/
207132人目の素数さん
垢版 |
2014/02/21(金) 20:38:52.42
これじゃ1行目の最後まで読んでもらえないよ
2014/02/22(土) 01:03:47.17
中卒未満の英語力やな
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 となる。これは矛盾 。
2014/02/22(土) 12:22:54.03
>>206
あと、数学的帰納法にO記号が入ってるのは おかしい。
f(n)=O(g(n)) (n→∞) の定義は

・ある定数 K>0 が存在して |f(n)|≦ K|g(n)| (n=1,2,3,…)

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

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

も一回よーく呼んでね
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 となる。これは矛盾 。
213tai
垢版 |
2014/02/22(土) 14:28:52.97
Σ[n≦m]μ(n)[m/n] = 1

は認めますか?
2014/02/22(土) 14:33:45.06
>>213
その式が成り立つならば、>>212 により矛盾する。
従って、その式が間違っているか、あるいは

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

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

おつかれ!!

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

その程度ですか

ちゃんとやったのになあ

ばいばーい
2014/02/22(土) 14:39:50.67
>>215
(1) を、O記号使わず

|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 とすれば
成り立つのか?
217tai
垢版 |
2014/02/22(土) 14:48:15.07
>>216

それを証明した

んだが

何か問題ある?

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

もう書きたくないのに
2014/02/22(土) 14:53:11.07
>>217
>何か問題ある?
O記号で誤魔化して K の値が明示されてないから大問題。

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

もう書きません!!

5時間後ぐらいに書け

計算しろ計算

いい加減すぎる
2014/02/22(土) 15:02:38.25
>>219
>いい加減すぎる
そうだよ、いい加減だよ、あんたがね。

あなた、この前の「間違った証明」でも O記号と帰納法の
危険なコンビ使ってたでしょ。あの計算、どこが間違ってたのか
理解してるの?定数 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 の中でO記号を使っている部分を
不等式の形に直すだけじゃないか。何がそんなに面倒なんだ。
221tai
垢版 |
2014/02/22(土) 15:05:55.97
>>220

俺も暇人じゃないんでね

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

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

ちょっと急いでるんで

礼は後で言います

しかしほんとにまちがうなあ
2014/02/22(土) 15:32:42.74
>>223
礼は必要ない。こっちは好きでやってるだけだ。

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

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

リーマン予想

http://taibuturi.fuma-kotaro.com/
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 と逆向きの不等号になるからだ。

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

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

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

も書いときますね
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 の場合はどうするのか?
234tai
垢版 |
2014/03/06(木) 16:31:26.80
>>233

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

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

しました

ちゃんとしてますよ

どうしても

公開できません

「公開」については

私の裁量

でやってるので

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

Σ[n≦m]μ(n)<0

の場合のことですね
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 … (**)

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

〜については

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

後で修正しますね

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

計算には乗らないと思います
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^ε) … (☆)

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

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

がtheorem2

により

√m×1

に近く、

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

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

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

がtheorem2

により

m^{1/3} × 1

に近く、

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

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

誤差項が√m

の定数倍くらいは

出てきますので

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

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

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

の違いによるものです
2014/03/06(木) 16:56:00.34
>>241
誤差項が √m の定数倍になるのは、
「 α が √mに近い」という性質から生じるのでは?

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

Σ[n≦α]μ(n)[m/n]=Σ[n≦α]μ(n)[√m/n]×√m=1×√m

を使っています
2014/03/06(木) 17:00:44.72
>>243
うーむ。なぜ

Σ[n≦α]μ(n)[√m/n]×√m=1×√m

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

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

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

>>243

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

計算してみると

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

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

なりますね

でも計算上

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

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

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

わかりました

今ちょうど検算中なので

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

m^0=1=α

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

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

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

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

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

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

の近くの値を取ります

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

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

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

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

上手く数式に乗らない上

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

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

わたしの認識では

既に知られている

部分(論文の前半部)

の証明に手こずったんで

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

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

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

ニューススポーツなんでも実況