X
トップページ⇒数学
1002コメント372KB
最古の未解決問題が解決されたのか
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
垢版 |
2018/03/27(火) 19:51:52.03ID:rICCTQBS
最古の2000年以上前からある未解決問題

「奇数の完全数が存在するのか。」

という問題が解決されたかもしれません。
非常に簡単な証明となっているので、批判、検証、査読、承認を
宜しくお願いいたします。

ソース
http://fast-uploader.com/file/7077488693880/
0249１３２人目の素数さん
垢版 |
2018/05/24(木) 17:26:39.21ID:KWJAPxOP
s=2×3, u=5×7でv=2×3×5, p=7なのは？
0250１３２人目の素数さん
垢版 |
2018/05/24(木) 17:29:04.14ID:ydc3ZwDy
高木さんの誇る早稲田大学の先輩が、日大会見でやっちまったみたいだ…
0253１３２人目の素数さん
垢版 |
2018/05/24(木) 21:24:24.06ID:IIKyme7s
ここに至っても192の指摘は無視されたままですね
0255１３２人目の素数さん
垢版 |
2018/05/24(木) 21:33:14.45ID:IIKyme7s
それは反論になってない
0256１３２人目の素数さん
垢版 |
2018/05/24(木) 21:50:31.95ID:B5y+6lHg
>>255
tp=c*2^(qr-1) (1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))
tpとc*2^(qr-1)が整数にならなければらなないから
c*2^(qr-1)(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)
も当然整数になるべき
0257１３２人目の素数さん
垢版 |
2018/05/24(木) 21:59:03.56ID:Gw4DwgBe
c*2^(qr-1)(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)が整数であっても
2^(qr-1)(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)が整数であるとは限らない
0259１３２人目の素数さん
垢版 |
2018/05/24(木) 22:16:46.74ID:ctD9gwIy
>>258
だからそれじゃ反論にならないって
0260１３２人目の素数さん
垢版 |
2018/05/24(木) 22:54:53.47ID:KWJAPxOP
257の通り
0262１３２人目の素数さん
垢版 |
2018/05/24(木) 23:10:36.93ID:GguWmaEB
主も四の五の言わず c と p+1 が素であるかないか調べてみればいいのに
0263１３２人目の素数さん
垢版 |
2018/05/24(木) 23:14:35.60ID:B5y+6lHg
>>262
＞・c≠upのとき
＞t=cvかつp=2^(qr-1) (1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/v
だから、vp==2^(qr-1) (1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))
vp、2^(qr-1)が整数だから
2^(qr-1)(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))
が整数でなくてはならない。ということになっているが、これのどこが
おかしいのか言ってもらわなければ、分からない。
0264１３２人目の素数さん
垢版 |
2018/05/24(木) 23:19:22.86ID:B5y+6lHg
>>192の
＞2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))
と
2^(qr-1)(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)
は違うということに気付いてほしいものだ。
0265１３２人目の素数さん
垢版 |
2018/05/24(木) 23:45:19.40ID:GguWmaEB
192は最初っから(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)は整数とは言えないって言ってるんだからそこでおかしいと気づくべき
初めっから整数とは言えないものを整数じゃないことを示しても証明にはならない

>>264
以下の２つは同値じゃないの？
2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1)) が整数
2^(qr-1)(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1) が整数
0266１３２人目の素数さん
垢版 |
2018/05/25(金) 00:19:25.97ID:8w9+dmmU
a(1-b)/cが整数でa(-b)/cが整数とすると, 引き算するとa/cが整数でないといけないが
一般には成立しない
0267１３２人目の素数さん
垢版 |
2018/05/25(金) 00:22:16.20ID:8w9+dmmU
>>266
ごめん。訂正：
a(1-b)/cが整数でa(b)/cが整数とすると, 足し算するとa/cが整数でないといけないが
一般には成立しない
0268１３２人目の素数さん
垢版 |
2018/05/25(金) 00:51:48.12ID:liHXFdgI
Wordで分数式を書くことも出来るんだからそうしてみたらどうか。
>>266-267が如何に素惚けた意見か分かるだろう。
0269１３２人目の素数さん
垢版 |
2018/05/25(金) 05:50:38.53ID:FXfrG25o
一連の論文の不備まとめ。
・５ページの式 tp=c×2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1) において、この式の両辺は整数でなければならないが、
　このことを用いても tp/c にあたる 2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1) が整数でなければならないことを示すことはできない。
　（tp/c が整数でなければならないことを示すには、c と p+1 が素であることを示すことが必要）
　よって、これを示さず６ページで vp (= tp/c) が整数でなければならないとしたことは不備である。
・p≡n≡1 (mod 4) なる奇素数p、奇数nについて、2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1) が整数でない、という
　結論には反例が示されている。よって導出に不備がある。
　この不備は８ページ３行目で何の根拠もなく pr=(p+1)/2 と 2m+1 が等しいとしている点に起因する。（この時点で p=n とは示されていない）
0270１３２人目の素数さん
垢版 |
2018/05/25(金) 06:48:46.67ID:97MuC4gc
>>265
同値でした。

>>269
前半部分は
＞・c≠upのとき
＞t=cvかつp=2^(qr-1) (1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/v
cがpの倍数でないときは、この場合しかないと考えられます。
これで尽きていないのであれば、問題だと思いますが。
0274１３２人目の素数さん
垢版 |
2018/05/28(月) 04:00:30.69ID:6A15p2jD
高木氏が問題点を理解する様子が一向にないが、別の観点から指摘を試みる。

奇数の完全数が存在するならば、p≡n≡1 (mod 4) となる素数 p、奇数 n と
p 以外のいくつかの奇素数 pk と偶数 qk で p^nΠpk^qk なる素因数表示を得る(オイラー)。

完全数の定義から、約数関数σを用いると 2p^nΠpk^qk = σ(p^n)Πσ(pk^qk) であり、
(p+1)/2 | σ(p^n) であるから、いずれかの添え字 r について pr | (p+1)/2 となる。
これを示した上で、その r について pr^qr | σ(p^n) となりえないことから、
奇数の完全数は存在しえない、と結論するのが最近の論文の骨子であろう。

しかし、言うまでもなく pr^qr | σ(p^n) を示しただけでは不十分である。
pr^qr | σ(p^n)Πσ(pk^qk) を示せば十分と言えるが、現論文はそこまで踏み込んでおらず、
依然として論拠は不十分なままである。
0275１３２人目の素数さん
垢版 |
2018/05/28(月) 04:07:20.59ID:6A15p2jD
>>274 末尾訂正
しかし、言うまでもなく pr^qr | σ(p^n) でないことを示しただけでは不十分である。
pr^qr | σ(p^n)Πσ(pk^qk) でないことを示せば十分と言えるが、現論文はそこまで踏み込んでおらず、
依然として論拠は不十分なままである。
0276１３２人目の素数さん
垢版 |
2018/05/29(火) 01:35:24.61ID:ZAB9lIJR
まだ続いてたのか
前スレまでぐらいしか見てないけど
そろそろ、単純計算ミス、変数と定数の使い間違い
以外のネタは出てきた？
0277１３２人目の素数さん
垢版 |
2018/05/29(火) 03:02:00.77ID:BOrpqr7X
相変わらず本質的なミスも小さなミスもたくさんあるが、小さいのを指摘するとどんどん複雑なバージョンが出てくるので指摘してない
結論として証明になってないが、書いた本人だけ理解してないので生温かく見守るいつものパターン
0279１３２人目の素数さん
垢版 |
2018/05/29(火) 04:12:51.64ID:AXBLgQq5
>>274
bがbr^qrで割り切れないかまたは、割り切れる場合は他の条件により否定される。
bはbr^qrを因数に持つので、これでⅠの証明は終了していると思います。
0280１３２人目の素数さん
垢版 |
2018/05/29(火) 13:13:29.96ID:tHDGxtIJ
まだやってて草
0283１３２人目の素数さん
垢版 |
2018/06/02(土) 09:58:19.16ID:TEM3NzFy
今朝、湧水町の町内放送で
「韓国人の出したゴミ」がどうのこうのと聞こえてきました。
日本人が達成した数学上の至高の研究成果を
鹿児島のボンクラ公務員は、そのように表現するのでしょうか？

昨日も「残念でした。」と聞こえてきました。
何が残念なのでしょうか？
見る人間がいないからということも考えられますが。
0284１３２人目の素数さん
垢版 |
2018/06/02(土) 10:17:52.81ID:TEM3NzFy
自己紹介 高木宏兒
・無勉強で5科目平均偏差値75なのにも関わらす、教師の「私立が全部だめだった場合
に両国だと心配だから。」というわけの分からない理由で、学区4位の偏差値56の
都立城東高校の進学を進められる。
・意味不明に国立・私立に全滅し、通う気のさらさらない都立高校に進学、そこで担任に
「この成績(473点/500点、問題の難易度のわりには点数はよくなかった)だっらら両国に行けたね。」
と言われうんざり。
・浪人時代に予備校で5科目平均偏差値66なのにも関わらず、模試で全てA判定だった
青山学院大学理工学部物理学科にも落ちる。意味不明に2浪になる。
・96点/180点で合格できる早稲田の物理学科に135点ぐらいとって合格する。
・IT業界に就職し、4年目でリーダーになったが、せまい、うるさい、仕事ない、ネットつながって
ない、椅子が固いにさいなまれて、それがストレスとなり寝不足で、精神錯乱状態になり
通勤できなくなると、ただの寝不足なのにも関わらず、精神病のレッテルを張られて
ていよく解雇される。
・そのあとはIT業界で理系の頂点の人間に対し失礼極まりない低レベルの仕事を使い捨てで
たらい回しにされ、35才のときのリーマンショックで不当に解雇される。
・上司を馬鹿にしたことはないと思うが、寄ってくる糞ガキに何度も「上司を馬鹿にしやがって。」
と「毎日定時で帰りやがって。」と不当な誹謗を受けうんざり。
・その後、私の人生を全く考慮していない親がド田舎祖母の住む鹿児島に移住を決定。
・当然、SEの私には仕事がない。
・最速・最強の数独解析システムを独自研究開発しても泥棒よばわり。
・午後三時に散歩していると、次の日にKKBのニュースで痴漢が三時に散歩していると
報道。ふざけるのもいい加減にしろと言いたい。
・最古の未解決問題を完全に独力で解決したが、社会的に完全に無反応。
0285１３２人目の素数さん
垢版 |
2018/06/02(土) 10:26:29.64ID:T2JawErC
>>284　そういうことを書き込む段階で、精神病認定されますよ…
0289１３２人目の素数さん
垢版 |
2018/06/02(土) 18:13:59.62ID:TEM3NzFy
>>288
最古の数学上の未解決問題を解決したかもしれない人間が精神病ということは
ないと思いますけど
0294１３２人目の素数さん
垢版 |
2018/06/02(土) 19:20:03.29ID:1EKuiYpH
ビョーキのふりさえすれば釣れることを覚えたようだな
入れ食いじゃないか
0299１３２人目の素数さん
垢版 |
2018/06/02(土) 20:43:12.85ID:niwNhscg
>>284
＞最速・最強の数独解析システムを独自研究開発
公開してはいかがでしょうか？

＞最古の未解決問題を完全に独力で解決した
公開していますでしょうか？
0300１３２人目の素数さん
垢版 |
2018/06/03(日) 19:50:53.42ID:uR2zWnT7
>>296 勉強になりますた。<(_ _)>
同じ段で「偽りても賢を学ばんを、賢といふべし」ともあるのね。
徒然草って、時々鋭いですよね。最終段の仏の根拠を問い続ける対話とか…
0302１３２人目の素数さん
垢版 |
2018/06/03(日) 20:11:17.58ID:Ju+I97KM
68心得をよく読みましょう2018/06/03(日) 18:00:44.50ID:nMOqF017
【スレ名】最古の未解決問題が解決されたのか
【スレのURL】http://rio2016.5ch.net/test/read.cgi/math/1522147912/
【名前欄】
【メール欄】age
【本文】↓
>>299
＞公開してはいかがでしょうか？
vectorのWindowsMe/98/95用で公開しています

＞公開していますでしょうか？
>>278
0303１３２人目の素数さん
垢版 |
2018/06/03(日) 20:12:17.40ID:R0xpfPW1
書けなかったのでテストしました

>>299
＞公開してはいかがでしょうか？
vectorのWindowsMe/98/95用で公開しています
アルゴリズム最速です。動作させる環境・言語を一致させれば恐らく最速。

＞公開していますでしょうか？
>>278
世の中の無関心ぶりには疑問符がつくところであります。
0306１３２人目の素数さん
垢版 |
2018/06/03(日) 20:22:23.22ID:R0xpfPW1
A判定でも落ちるという記事が出ていたのでさらに追加情報。
私が、今から四半世紀ぐらい前、一浪のときはじめの試験の成績が
大手予備校で、58それから順調に上昇して最後は66で偏差値56の青学の物理には
全ての試験でA判定しかとったことがない。
それでも落ちるというのは、どれ程私が受験でイカサマをされてきたかということの
証左であると考えられる。
0307１３２人目の素数さん
垢版 |
2018/06/03(日) 20:23:01.46ID:jCbvEF2q
>>302
「素数 p 以外の積の組み合わせの合計を a とすると
a = Π(1 + p(k) + p(k)^2 + … + p(k)^q(k)) …①」

①式の成立することがわかりません
「素数 p 以外の積の組み合わせ」とは、具体的にどういうものでしょうか？

よろしければご説明いただけませんでしょうか？
0309１３２人目の素数さん
垢版 |
2018/06/03(日) 20:38:55.16ID:jCbvEF2q
>>308
それは、言葉を繰り返しているだけで、説明にはなっていないと思います。
たとえば、奇数
3^2・5・7^2 = 2205
p = 5
とおくとき、a はいくらになるのでしょうか？
0311１３２人目の素数さん
垢版 |
2018/06/03(日) 21:37:00.68ID:jCbvEF2q
>>310
なるほど、よくわかりました
では
「y が完全数である場合
y = a(1 + p + p^2 + p^3 + … + p^n) - y (n > 0)
」
というのは、どうしてそうなるのでしょうか？
p は 完全数 y の素因数のうちの任意にとって大丈夫なのでしょうか？
0312１３２人目の素数さん
垢版 |
2018/06/03(日) 21:45:36.97ID:R0xpfPW1
>>311
pはyの素因数ですが、唯一その指数がnが4m+1(mは整数)と表されるものです。
何故そうなるのかは、ご自身で調査、検討してもらえればいいと思います。
0313１３２人目の素数さん
垢版 |
2018/06/03(日) 22:27:46.92ID:jCbvEF2q
>>312
p, y のほかに n, m とたくさんの変数を定義なしに述べられても困ります
もし >>311 の記述に必要な事項だったら、そこに書いていただかないと困ります。
それが証明というものではないでしょうか？
0314１３２人目の素数さん
垢版 |
2018/06/03(日) 22:40:19.90ID:x1uuum8Q
>>313
普通は(例え自分が自明だと思っていても)過去の論文で証明されている内容の場合、引用した論文を記載するべきなんだけどね
0315１３２人目の素数さん
垢版 |
2018/06/03(日) 22:41:32.41ID:0RJNOR+I
special prime 特殊な素数という由緒正しい名前がついているんだからそれを使えば誤解は招かない
0316１３２人目の素数さん
垢版 |
2018/06/03(日) 22:46:35.78ID:0RJNOR+I
special prime 特殊な素数という由緒正しい名前がついているんだからそれを使えば誤解は招かない
0317１３２人目の素数さん
垢版 |
2018/06/03(日) 23:22:20.66ID:R0xpfPW1
>>313
nはpの指数です。論文に書いてありますし、>>311にも書かれています。
n=4m+1になることも3ページにあると思います。
まずきちんと証明に書いてある内容を読んでから、質問するのが普通なのでは？
0318１３２人目の素数さん
垢版 |
2018/06/03(日) 23:25:49.06ID:R0xpfPW1
>>314
残念ながら、この論文を書くのに参考にした整数論の論文は一つもないから仕方がない。
0319１３２人目の素数さん
垢版 |
2018/06/03(日) 23:54:33.72ID:fU0h4qdr
それゆえwikipediaにすら書いてある周知の事実さえ回りくどい証明でわざわざ記述してしまう
0321１３２人目の素数さん
垢版 |
2018/06/04(月) 00:41:15.13ID:8rSBKo67
>>284
上司に関する言動がなされたのは、移住してからで、東京に居たときにはこのようにコケにされることはなかった。
0323１３２人目の素数さん
垢版 |
2018/06/04(月) 00:57:03.12ID:xFbUG+Rh
自分流
0324１３２人目の素数さん
垢版 |
2018/06/04(月) 05:09:16.96ID:AR+5IFF6
>>305 単に印象に残った記述を引用しただけなので、そこにツッコまれても…

>>318　貴方は他人が自分を無視するといって怒るのに、
貴方自身は他人の研究を調査したり理解しようとしたりせず無視するわけですね。
そういうところが皆から嫌われる一因になるんですよ。
0325１３２人目の素数さん
垢版 |
2018/06/04(月) 07:37:22.47ID:8rSBKo67
>>324
そんなことは書いていません。ただ未解決問題を解決したというのに反応がないと言っているのです。否定するのなら否定する、合っているのならそれを承認するべき。
0328１３２人目の素数さん
垢版 |
2018/06/04(月) 12:18:48.59ID:3Nmx3S2A
51回なら、相手にされなくなるに十分な数字。

それで間違いを指摘したら52回に更新。
懲りずに新しいpdfが投下。
それで間違いを指摘したら53回に更新。
懲りずに新しいpdfが投下。
それで間違いを指摘したら54回に更新。
懲りずに新しいpdfが投下。
それで間違いを指摘したら55回に更新。
懲りずに新しいpdfが投下。
それで間違いを指摘したら56回に更新。
懲りずに新しいpdfが投下。
：
：

こうやって撤回の回数が増えていくだけ。
100回撤回しても200回撤回しても正しい証明にはならない。
相手にするメリットがどこにもない。
0329１３２人目の素数さん
垢版 |
2018/06/04(月) 13:59:28.66ID:8rSBKo67
>>328
現時点で何の間違いの指摘もないから訂正する必要がない。

これを放置して、日本以外の国に先を越されたら、国益を損ねると思います。
0330１３２人目の素数さん
垢版 |
2018/06/04(月) 14:08:56.65ID:3Nmx3S2A
>>329
＞現時点で何の間違いの指摘もないから訂正する必要がない。

その思い上がりによる間違いが全部で「51回」も積み重なってきたわけで、

「52回目はなくて、これが本当に最後で、これが本当に正しい証明なのだ」

なんて都合のいいことは起こらない。
誰も指摘しないだけで、お前のゴミのようなpdfには間違いが含まれている。
その間違いを具体的に指摘したら「52回」に更新されるが誰も指摘せず無視しているだけ。

なーにが国益を損するだよ。いい加減にしろキチガイ。
こんな稚拙な計算だけで証明できるわけが無いんだよ。
100回撤回しても200回撤回しても正しい証明にはならないんだよ。
0331１３２人目の素数さん
垢版 |
2018/06/04(月) 14:12:54.16ID:NoT+jWYT
>>330
既に指摘済の不備がそのままなので敢えて重ねて指摘する必要性を感じない、が正しいかな
いずれにてしも無視してるのは査読者の方ではないよ
0332１３２人目の素数さん
垢版 |
2018/06/04(月) 14:21:41.69ID:8rSBKo67
>>331
割りきれなくてもいいということは現在の論文では言えないのでは
ないのでしょうか
0333１３２人目の素数さん
垢版 |
2018/06/04(月) 14:35:28.42ID:hKD9SD2A
>>330は、論文のどこに誤りがあるか具体的に説明できる？
それだけのために論文を読んでもらうのは非常に心苦しいから無理強いはしないけどさ。
0335１３２人目の素数さん
垢版 |
2018/06/04(月) 15:14:45.53ID:/d22R/oi
理想的にはちゃんと中身見るべきなんだけど、現実的に
・数学教育を受けてない著者が書いた
・引用が一般向け書籍2冊だけの
・すでに50回撤回と再投稿が繰り返された
数学の論文のような何かが、正しい可能性ってあると思う？
中身見る労力無駄じゃない？
0336１３２人目の素数さん
垢版 |
2018/06/04(月) 16:34:06.79ID:8rSBKo67
早稲田大学理工学部応用物理学科卒業の人間は数学教育を受けて
いないのですか？それは面白い。
0338１３２人目の素数さん
垢版 |
2018/06/04(月) 16:55:09.93ID:ycjY5duO
>>335
すでに狼少年状態というわけね
さもありなん。
0340１３２人目の素数さん
垢版 |
2018/06/04(月) 17:01:23.67ID:8rSBKo67
>>335は般教レベルの数学力もないから読めないだけじゃないの
0342１３２人目の素数さん
垢版 |
2018/06/04(月) 17:09:03.01ID:L/bTfHeG
292 １３２人目の素数さん sage 2018/06/02(土) 18:48:56.41 ID:TEM3NzFy
>>291
精神病だと数学の成果を出すことに対して困難があると考えられる

このレスに全てが集約されてる
0343１３２人目の素数さん
垢版 |
2018/06/04(月) 17:10:47.32ID:H+bMlQS8
命題の逆の真偽も分かって無かったくせに、よくそれだけ大きな口をたたけるものだ。
0346１３２人目の素数さん
垢版 |
2018/06/04(月) 18:00:14.32ID:ni7lRAP7
やっぱ精神病なのかねえ
昔はそれなりの大学出てたけど年取って患っちゃったのか、大学出たっていうところから妄想なのか
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況