X



トップページ数学
1002コメント396KB
奇数の完全数の存在に関する証明が完成しました
レス数が900を超えています。1000を超えると表示できなくなるよ。
0001132人目の素数さん
垢版 |
2018/08/05(日) 05:25:38.78ID:CcBDiEWJ
2000年以上前からある奇数の完全数が存在するのかという
数学上の未解決問題が、2018年8月4日に完全な証明が完成しました。
この証明が完全に正しいと公式に認定していただきたいと思います。


証明論文
Pdf文書 日本語
http://fast-uploader.com/file/7088885133326/
Pdf文書 英語
http://fast-uploader.com/file/7088885204141/

(前スレ)
奇数の完全数の存在に関する証明は正しいはず
https://rio2016.5ch.net/test/read.cgi/math/1530434042/

(前々スレ)
最古の未解決問題が解決されたのか
https://rio2016.5ch.net/test/read.cgi/math/1522147912/

(関連スレ)
奇数の完全数の有無について [無断転載禁止](c)2ch.net
https://rio2016.5ch.net/test/read.cgi/math/1483900653/
奇数の完全数の有無について2
https://rio2016.5ch.net/test/read.cgi/math/1523602627/
0848 ◆H4n21Ym7mA
垢版 |
2018/08/18(土) 15:22:05.19ID:OBvJ9bTb
>>845
整数係数多項式です

>>847
論文を読んでもらえれば、詳しく分かると思いますが、そうです。
0850132人目の素数さん
垢版 |
2018/08/18(土) 16:07:16.70ID:w3yN/wTL
>>842
>整数多項式g(pr)がg(pr)=(2m+1)u(pr)
と因数分解されるのであれば、2m+1をg(pr)の因数とする

どんな整数係数多項式F(x)でも、99999を因数として持つw

証明

任意の関数F(x)はF(x)=99999f(x)と書くことができる
ただし、f(x)=F(x)/99999
よってF(x)=99999f(x)と因数分解できる
ゆえにF (x)は99999を因数としてもつ□
0852132人目の素数さん
垢版 |
2018/08/18(土) 17:40:51.96ID:FAE/ifa/
誤魔化してるのか理解できてないのかわりませんが、聞いてるのはあなたの言う「因数」の定義です
言葉の定義が違えば検証もクソもないので、はやく教えてください

27ではなく、27/5の話をしてるんですよね
0853132人目の素数さん
垢版 |
2018/08/18(土) 17:44:14.51ID:CJoqqhR2
>n = 9のとき
>f(pr) = (256pr^8-1024pr^7+1856pr^6-1984pr^5+1376pr^4-640pr^3+200pr^2-40pr+5)/pr^(qr-cr-1)
って書いてあって、n=9なら2m+1=5なんだけど、この式の係数が5を因数に持つ、って書いてある意味がどうしても飲み込めないんだけど?
どういう意味なの?
0854 ◆H4n21Ym7mA
垢版 |
2018/08/18(土) 18:43:30.52ID:OBvJ9bTb
>>852
27/5/3は9/5となり、3が分母からなくなるということぐらい理解できないのですか?
分子と消去することにより、分母からprが全てなくなるようにするということが必要

>>853
>>842ということでしかない
0857132人目の素数さん
垢版 |
2018/08/18(土) 19:10:08.76ID:T8frgD9m
>>853
1は、「因数を含む」ことと「割り切れる」ことが同じだと言っていたから、そのまま解釈すればいい。
1の論文は、以下の関係がすべて成立すると主張している。
T8=256 は 5で割り切れる。
T7=-1024 は 5で割り切れる。
T6=1856 は 5で割り切れる。
T5=-1984 は 5で割り切れる。
T4=1376 は 5で割り切れる。
T3=-640 は 5で割り切れる。
T2=200 は 5で割り切れる。
T1=-40 は 5で割り切れる。
T0=5 は 5で割り切れる。
0858132人目の素数さん
垢版 |
2018/08/18(土) 19:28:57.57ID:x1mdoF6Q
27/5は3で割り切れる
こんなトンデモを延々と主張するとは思わなかった
0859132人目の素数さん
垢版 |
2018/08/18(土) 19:37:23.81ID:6ZaBdHKO
なんかよくわかんないけどこういうこと?

整数1は6/6と書けるから、1を割りきる整数は1,2,3,6の4つであり、商はそれぞれ6/6,3/6,2/6,1/6である
これらの商のうち、1自身に等しいものを除いた和は3/6+2/6+1/6=1であり1自身に等しい
∴1は完全数である
0860132人目の素数さん
垢版 |
2018/08/18(土) 19:56:51.94ID:/uJ7IUqh
反応がないからもっかい書くぞ。

「27/5は3で割り切れる」「2=6/3は3で割り切れるとは言わない」
というスタンスからすると、>>1>>644に反論するつもりなんだ?

>>644にあるとおり、7は4096の "因数" にならないぞ。
通常の意味で因数になることはないし、
有理数で表現しなおしても"因数" にはならない。

>>854
>27/5/3は9/5となり、3が分母からなくなるということぐらい理解できないのですか?
>分子と消去することにより、分母からprが全てなくなるようにするということが必要

分母からprが全てなくなるようにすることが必要なら、
7は余計に4096の "因数" にならないじゃん。
0861132人目の素数さん
垢版 |
2018/08/18(土) 20:04:11.00ID:71FfZJbC
思うに>>1には一般的な意味とはことなる述語を “定義する” という事ができないんじゃないか?
よく知らないけど物理学科だとそういうノウハウは習わんのかもしれん。
0862132人目の素数さん
垢版 |
2018/08/18(土) 20:04:51.96ID:wgMe1wS1
>>859
ついに奇数の完全数が発見された!
0863132人目の素数さん
垢版 |
2018/08/18(土) 20:12:08.24ID:/uJ7IUqh
>>837
>Viにprは含まれません

循環論法じゃね?
Uiが整数でprの倍数だった場合、Ui=Vi×pr+1を変形して
Vi=(Ui−1)/prとなり、分母のprは分子の(Ui−1)を割り切らず
残るので、Viの分母にprは含まれる。
0864 ◆H4n21Ym7mA
垢版 |
2018/08/18(土) 21:37:58.88ID:OBvJ9bTb
>>860
だから、割り切れることが必要だから、約分できなければならないというだけ。
g(pr)の因数に2m+1が含まれている、それ以外の項は2m+1で割ったために
非整数になることもある。しかし、2m+1以外の因数分解された整数にならないことも
ある多項式はprが0次の項が1であるために、pr=±1(この場合は当然ないが)のとき以外
割り切ることができない。よって、素数のprが2m+1を割り切ることがなければg(pr)が
整数になることができない。

こんな簡単な内容にしつこすぎ。何度もふざけたレスに答えるのに飽きた。
この件は以上だ!
0865 ◆H4n21Ym7mA
垢版 |
2018/08/18(土) 21:39:09.07ID:OBvJ9bTb
>>864 訂正
×2m+1以外の因数分解された
〇2m+1以外の因数分解されて
0867 ◆H4n21Ym7mA
垢版 |
2018/08/18(土) 21:42:07.81ID:OBvJ9bTb
私を馬鹿にするつまらないレスには本当に飽きたのでもうふざけたレスを無視する。
何が目的で誰でも分かるような内容を否定して、つまらないレスを繰り返しているのか?
0868132人目の素数さん
垢版 |
2018/08/18(土) 21:43:44.74ID:LEs4WroI
「因数」の定義がふつうと違うようだし
「割る」「割り切れる」などももしかしたら違うようなので
>>864もどういう意味で言ってるのか不安になる
まずは定義を列挙してから答えるべきじゃね
0869 ◆H4n21Ym7mA
垢版 |
2018/08/18(土) 21:48:01.30ID:OBvJ9bTb
>>853
>>857
この数値を出す式が論文中に、Ti(m)で表されている、その式を計算してみて
2m+1で割り切られるかどうか検討してみればいい。
0871 ◆H4n21Ym7mA
垢版 |
2018/08/18(土) 21:53:26.97ID:OBvJ9bTb
>>870
だから、多項式を因数分解してみろっていうの
T0=2m+1
T1=-4m(2m+1)

となる。全て2m+1の因数が存在する
0872 ◆H4n21Ym7mA
垢版 |
2018/08/18(土) 21:57:25.65ID:OBvJ9bTb
一応この論文を理解するのに必要な数学は
高校数学
mode演算
総乗
フェルマーの小定理

これが理解できている人には読める内容になっている
0874132人目の素数さん
垢版 |
2018/08/18(土) 22:07:46.42ID:hTytthnI
>>871
> だから、多項式を因数分解してみろっていうの
> T0=2m+1
> T1=-4m(2m+1)
> …
> となる。全て2m+1の因数が存在する

T8=256
T7=-1024
T6=1856
T5=-1984
T4=1376
T3=-640
T2=200
T1=-40
T0=5

はい終了
0878132人目の素数さん
垢版 |
2018/08/18(土) 22:49:05.35ID:grVVdcni
マジレスしてみるか。
論文11ページ。
>T4=16m(2m-1)(2m+1)(16m^2-10m-1)/15 となる。
2m+1=5 の場合、分母にある15で約分されて2m+1(および2m-1)の因数が消える
それ以外の因数である 16m=32, 2m-1=3, 16m^2-10m-1=43 はいずれも 5 の因数を含まない
これによって 2m+1=5 の場合、T4 より先は 2m+1 の因数を含まなくなる、ってこと
普通に数学の知識のある人間ならこれで理解できるはずだが。
0879132人目の素数さん
垢版 |
2018/08/18(土) 22:54:42.24ID:Kb8WtIjW
そうか、>>1はちゃんと論文中で係数が整数ではなく有理数になる事確認してるのか?
じゃなんでそれが2m+1の倍数にならない理由がprの効果と決め打ちしてるんやろ?有利係数なんだからpr関係なしに2m+1の倍数にならなくなる可能性になぜ気付かん?
0880132人目の素数さん
垢版 |
2018/08/18(土) 23:04:50.13ID:/uJ7IUqh
>>879
有理数が出現したら分母を払って両辺を整数だけの式にしてから
約数と倍数を扱うようにするのが基本中の基本。そこを無視して
有理数のままにしたがるのはなぜかというと、有理数のままにすれば
「新しいことが言えるような気がする」という、>>1の幼稚な願望によるもの。

こんなことで新しいことが言えるわけがなく、みんなが散々指摘している間違いに
陥りやすくなるだけ。そこを「間違いに陥りやすくなる危険な箇所」だとは判断せずに

「新しいことが言えそうなオイシイ箇所」

だと思い込んでしまう腐った感性を持っているのが>>1
0882 ◆H4n21Ym7mA
垢版 |
2018/08/19(日) 15:40:47.97ID:BehawhAJ
>>878
h(pr)の0次の項は2m+1だから、2m+1で因数分解したとき、2m+1以外の項の0次の項は1となる
この証明で多項式の係数が漸化式で扱われているが、それを理解できていないのではないのでしょうか?
T4だけの値で議論しても意味ないんですけど

>>880
何いってんだ。有利数になったとしても、h(pr)=(2m+1)(u(pr)pr+1)の形になるんだから
u(pr)pr+1がprで割れるわけがないだろ。
しつこい繰り返しを避けるために書いておくが、u(pr)は整数係数多項式な。

>>881
病気のレッテル張りはやめろ
0883 ◆H4n21Ym7mA
垢版 |
2018/08/19(日) 15:44:52.51ID:BehawhAJ
>>882 訂正
×u(pr)は整数係数多項式
〇u(pr)は有理数が係数の多項式
0885132人目の素数さん
垢版 |
2018/08/19(日) 17:15:09.43ID:BrAlGHYU
u(x)が有理数係数のxの多項式なら、
u(x)x+1はxの多項式としてxで割り切れることはない。

しかし、prを素数としたときに、
u(pr)pr+1はprで割り切れる可能性がある。

前者は多項式環Q[x]における商と余りの話であり、
後者は整数環Zにおける商と余りの話。

>>1はこの2つの違いを理解していない。
0886132人目の素数さん
垢版 |
2018/08/19(日) 17:27:38.29ID:ffzn5Nmf
高木くん「n=9 のとき、すべてのTiは5で割り切れます」
先生「T4以降は5で割り切れないようだが?」
高木くん「T4だけの値で議論しても意味ないんですけど」

T8=256
T7=-1024
T6=1856
T5=-1984
T4=1376
0887132人目の素数さん
垢版 |
2018/08/19(日) 17:51:04.74ID:xlxdkTpb
1の証明、もうこれでいいよ

奇数の完全数yが存在すると仮定する。
yの約数pで p≡1 (mod 4) のものがあり、yはpr=(p+1)/2が素数のときpr^2を約数に持つ。
yは奇数だから y=2n+5 となる整数nが存在する。
整式 2n+5 は整式 5 を因数に持つ(∵(2n+5)÷5 の商は (2/5)n+1、余りは0である)
整数 2n+5 が pr^2 で割り切れるための条件として 5 が pr^2 を因数に持たなければならない。
そのような素数 pr は存在しないから矛盾する。
上記でpr=(p+1)/2が素数と仮定したが、pr=(p+1)/2が合成数でもどうせ同じだから矛盾する。
よって奇数の完全数は存在しない。
0888 ◆H4n21Ym7mA
垢版 |
2018/08/19(日) 17:51:36.82ID:BehawhAJ
>>884
>>620

>>885
どういたった場合に
>u(pr)pr+1はpr
となるのか例を示してもらいたい
0889132人目の素数さん
垢版 |
2018/08/19(日) 17:52:27.58ID:n11KXow2
>>888
そんなことは聞いてません
日本語を理解してください
はやくあなたの因数の定義を教えてください
0890 ◆H4n21Ym7mA
垢版 |
2018/08/19(日) 17:54:53.25ID:BehawhAJ
>>889
一般の定義と同一だから答える必要がない。定義を聞いて何をしたい訳?
今までレスで問題があるというのであれば、それを指摘してもらいたいのものだ。
0891 ◆H4n21Ym7mA
垢版 |
2018/08/19(日) 17:56:03.56ID:BehawhAJ
「バイバイ」も「お休み」も「○○総理」も「○○大臣」も全ていらねーよ
0892132人目の素数さん
垢版 |
2018/08/19(日) 17:58:44.88ID:BrAlGHYU
>>888
u(x)=(x−1)/5, pr=5とすればよい。

u(pr)*pr+1=u(5)*5+1=5=pr

だから、u(pr)*pr+1はprで割り切れている。
0893132人目の素数さん
垢版 |
2018/08/19(日) 18:05:17.07ID:9Mi7EvOq
>>887
「どうせ同じだから」って部分に、1のやる気の無さ加減がうまく表現できてて面白いw
0895132人目の素数さん
垢版 |
2018/08/19(日) 18:12:56.19ID:aQOeDDl0
>>891
このスレに無い言葉の一覧は、TVから聞こえる1への悪口か????

総理や大臣が自分への悪口だって????
0896132人目の素数さん
垢版 |
2018/08/19(日) 18:20:19.19ID:VDuL8DAA
1は数学の正しさは口論に勝つことだと勘違いしている
0897 ◆H4n21Ym7mA
垢版 |
2018/08/19(日) 18:35:26.01ID:BehawhAJ
>>892
何故u(pr)でなくて、u(x)なのかは分からないが
u(pr)の0次の項は1/5ではなく1だ
0898132人目の素数さん
垢版 |
2018/08/19(日) 18:37:53.21ID:n11KXow2
>>890
一般の定義と違うから聞いてるんですが、分からないんですか?
>>744・827あたりを読んでください
次にレスするときは誤魔化しや逃げではなく、明確なあなたの「因数」の定義をお願いします
0899132人目の素数さん
垢版 |
2018/08/19(日) 18:40:04.50ID:n11KXow2
「27/5は3を因数にもつ」
などと主張する人は、世界中探して何人見つかるんでしょうかね
0901132人目の素数さん
垢版 |
2018/08/19(日) 18:49:45.34ID:BrAlGHYU
>>897
・ u(x)が有理数係数のxの多項式なら、u(x)x+1はxの多項式としてxで割り切れることはない。
・ しかし、prを素数としたときに、u(pr)pr+1はprで割り切れる可能性がある。

例:u(x)=(x−1)/5と置くと、u(x)x+1はxの多項式としてxで割り切れることはない。
しかし、pr=5のとき、u(pr)pr+1はprで割り切れている。

文脈上、論文中のu(pr)そのものに合わせる必要がないから
u(x)=(x−1)/5と置いたにすぎないのであって、論文中のu(pr)をそのまま使いたいなら
そのまま使えばいい。pr=3,5,7,11,13,…と具体的に代入していけば、いずれかのprによって
u(pr)pr+1はprで(どうせ)割り切れるだろ。お前はそこでpr=3,5,7,11,13,…と代入して
具体的に確認する作業を怠り、かわりにprを変数と見立てて実質的にu(x)という多項式を
多項式環Q[x]で考えることで

「u(x)x+1はxの多項式としてxで割り切れることはないのだから、u(pr)pr+1はprで割り切れない」

と両者を混同して考えているのだよ。このことについての指摘が>>892なのであって、
その>>892に対して「論文中のu(x)と違う。0次の項は1/5ではなく1だ」と言われても
話がぜんぜん噛み合ってない。
0903132人目の素数さん
垢版 |
2018/08/19(日) 19:08:44.76ID:VDuL8DAA
>>902
1は都合の悪いことは無視するスタイルで、自分が論破できそうなところで
反論し勝とうとしているだけ(実際は支離滅裂)
0904132人目の素数さん
垢版 |
2018/08/19(日) 19:12:46.21ID:pyaKF9UA
普通に数学の知識のある人間なら理解できることを理解できない1は、
数字がそうとう無知だってことが改めてわかった。
0905132人目の素数さん
垢版 |
2018/08/19(日) 19:54:48.18ID:XcnSVnEk
とりあえず>>1さん、考えてみてよ。
数学の論文が読み手の解釈で正しかったり正しくなかったりしたら困るのはわかるよね?
だからそういう解釈の差が出ないようにするのは筆者に求められてる当然の義務なのよ?
だとしたらさ、少なくとも一般的な意味じゃない言葉使いするならその意味をキチンと論文中に定義しないとダメじゃん?それは読み手側の責任じゃないよね?筆者の側の責任だよね?
で一般的な意味で7は4096の因子じゃないよね?つまり君のいう7は4096の因子だという主張を論文でしたいならそれがなにを意味するのかをキチンと定義しないとダメだよね?
その責任は君の側にあると思わない?
君はなにがしたいの?論文認めて欲しいんじゃないの?
読み手の解釈で意味が変わる論文なんか認めてもらえるわけないと思わない?
0906 ◆H4n21Ym7mA
垢版 |
2018/08/19(日) 21:35:07.10ID:BehawhAJ
>>901
だから、u(pr)pr/pr=u(pr)で、1/u(pr)はpr=±1でしか割り切られないだろ。
こんな簡単な内容にしつこいよ。理解できない芸は飽きたからもういいよ。

>>901も904も長文の下らない反論お疲れ様ですとしかいいようがないけど
間違いがあるのなら、具体的に論文に則した反例を述べてくれ。

>>902
T4がだめだからとかそういう問題ではなくて、分母より小さい全てのTiが
考慮される対象になっている。言っても論文を読まないから分からないだろうけど。

>>904
理解できる人間だけ理解すればいいのであって、理解しようとしない人間の理解は求めない。
普通の数学研究者には理解されうる内容に決まっている。以上。
0907 ◆H4n21Ym7mA
垢版 |
2018/08/19(日) 21:36:05.95ID:BehawhAJ
>>906 訂正
×分母より小さい
〇prの次数が分母より小さい
0908132人目の素数さん
垢版 |
2018/08/19(日) 21:44:50.17ID:BrAlGHYU
>>906
>だから、u(pr)pr/pr=u(pr)で、1/u(pr)はpr=±1でしか割り切られないだろ。

u(pr)は整数とは限らないのだから、
u(pr)pr/pr=u(pr)だからと言って何かが言えるわけではない。

例:u(x)=(x−1)/5と置くと、u(x)x+1はxの多項式としてxで割り切れることはない。
しかし、pr=5のとき、u(pr)pr+1はprで割り切れている。
u(pr)pr/pr=u(pr) であるにも関わらず。
0909132人目の素数さん
垢版 |
2018/08/19(日) 21:58:28.17ID:aQOeDDl0
1の落書きPDFが正しいなんて信じてるのは、世界に1もいない。

1自身すらも、信じてなどいないことが明白になった。
0910132人目の素数さん
垢版 |
2018/08/19(日) 22:06:18.67ID:15V/8AxE
整数論で修士論文書いた身としては「これはひどい」しか言えないなぁ……
0911132人目の素数さん
垢版 |
2018/08/19(日) 22:17:33.82ID:ig/QtuFR
>>1はどうして “因子” の意味の定義が出来ないんだろう?
一般的な意味じゃない言葉遣いするときの注意書きのある文章なんかそこまで難しい論文じゃなくても学部生むきの教科書レベルでいくらでも見つかるのに。
そういう状況じゃなくても用語の定義とかしてる教科書なんか腐るほど見つかるだろうに。
例えば「関数fがUで微分かのうであるとは…が成立するときとする。」みたいな文章みつけてきてそれ真似してチョコチョコっと文章書き換えるだけじゃん。
「本稿においては…が…の因子であるとは…が成立するときとする。これは一般的な用語とは一致しないので注意されたい。」とか書くだけでいいのに。
もともとの “因子” もつかいたいなら “特別因子” とか “整式としての因子” とか別の用語作ってもいいし。
なんでそんな簡単な事が出来ないのかさっぱりわからん。
0912132人目の素数さん
垢版 |
2018/08/19(日) 22:32:45.64ID:iYSW0zdS
理系モドキのヒキニートが
数学モドキの式をいじり倒して
証明モドキの文をなんとか立てたあげく
論文モドキのタイトルをつけて
投稿モドキをしてるだけ
もう相手する意味まるで無し
0913132人目の素数さん
垢版 |
2018/08/20(月) 00:01:39.24ID:OP+ZDFqw
「論文に使われてるロジックはおかしいんだよ」ってことを論文にでてくるもの以外で説明されるともう理解できない感じなのかな?
0914132人目の素数さん
垢版 |
2018/08/20(月) 00:38:01.38ID:K8i5oXNR
ウィキペディアの統合失調症の症状に書いてある特徴があまりにもよくあてはまる
引用↓

常同的思考:無意味な思考にこだわり続けている。興味の対象が少数に限定されている。
抽象的思考の困難:物事を分類したり一般化することが困難である。問題解決においてかたくなで自己中心的。
0915132人目の素数さん
垢版 |
2018/08/20(月) 01:35:52.34ID:yeoakqYo
ではこれもコピペ

【 他虐型ADHDの特徴 】
・極端な学歴至上主義や、在日、底辺職への強引な差別
・周囲の人を馬鹿にすることが多く他者を決して褒めない
・自分の価値観が全てで、周囲の全員にしつこく繰り返して主張し続ける
・自分の価値観以外の考え方が存在すること自体が理解できない
・自分の評価には異常にこだわる
・無理のある言い訳を繰り返して自分が悪いことは一切認めようとしない
・何でもゴリ押ししようと必死、強引に言い張って主張を通すパターンを続ける
・問い詰められると自分が被害者であることをアピールしだす
0916 ◆H4n21Ym7mA
垢版 |
2018/08/20(月) 08:26:45.48ID:N+36Ptxg
>>911
>>1はどうして “因子” の意味の定義が出来ないんだろう?
定義する必要がないから

なんで一般的な因数の定義と同一だと言っているのにも関わらず、そこまで定義でねばるのか
分からない。この論文の内容は一般的な因数の定義とどう違うと捉えてつまらない
長文を書いているのですか?この質問に明確に答えてください。ずっと答えませんよね。
0917132人目の素数さん
垢版 |
2018/08/20(月) 08:36:19.51ID:yhAT/v37
高木くん「7は4096の因子です」
先生「違います。因子を独自の意味で使うなら定義を言ってください」
高木くん「定義は一般のものだ。意味不明だししつこい」
0918132人目の素数さん
垢版 |
2018/08/20(月) 09:26:45.02ID:iQwsPCZx
高木くん「27/5は3を因数にもちます」
先生「違います。因数を独自の意味で使うなら定義を言ってください」
高木くん「定義は一般のものだ。意味不明だししつこい」
0919132人目の素数さん
垢版 |
2018/08/20(月) 09:47:28.74ID:8OjZKc6c
1が「つまらない」「説明する必要ない」などと回答を拒否するときは、いよいよ反論に窮しているときなので、さらに追及を続けるといいよ
そのときは論文のページ数を指して不備を具体的に示すとなおよい
0920132人目の素数さん
垢版 |
2018/08/20(月) 10:06:37.75ID:zBhnRvHz
>>916
一般的な定期で7は4096の因子じゃないよ?
一般的な定義では約数と因子は同義です。
0921132人目の素数さん
垢版 |
2018/08/20(月) 10:12:30.80ID:kdh5e3O+
>>1が一から書くのが面倒臭いなら
>>1の言う一般的な定義が書いてある本なりサイトなりから引用すればいい
引用した内容も書くのが面倒なら書名・urlを提示すりゃいい
それさえもできないのだろうか
0922132人目の素数さん
垢版 |
2018/08/20(月) 10:20:20.44ID:2K9QDLuB
用語の定義を質問しても1が明らかにしないのは、
それを明らかにすると自分の間違いを認めざるを得なくなるからで
だからこそ一般的定義と同じ、つまらない、などとはぐらかして
明確な回答を避けて逃げるほかはなくなっている
もう質問ではなく間違いは間違いだと断じて切って捨てるべきではないか
0923132人目の素数さん
垢版 |
2018/08/20(月) 10:25:39.20ID:KezjObN6
>>1が言ってる因数ってのは、多項式環Q[x]における因数のことを言ってるのであって、
その意味においては、>>1が言ってる「因数」は一般的な定義と同じ。
ただし、それはQ[x]における定義と同じにすぎないのであって、整数環Zにおける因数とは別物。
なのに>>1は両者を混同している。

「u(x)x+1はxの多項式としてxで割り切れることはないのだから、u(pr)pr+1はprで割り切れない」

これが>>1のロジック。もちろん間違ってる。
0924132人目の素数さん
垢版 |
2018/08/20(月) 10:29:18.32ID:KezjObN6
>>1は"pr"を変数のつもりで使っているので、>>1が言うところの「u(pr)pr+1」は
「xの多項式 u(x)x+1」と同じ意味になる。つまり、>>1はずっとQ[x]の上で考えていて、
Zの上で考えていない。なのに途中で両者を混同してZの上で考えているかのように振る舞い、
矛盾が起きたと主張する。もちろん矛盾は起きてない。

さんざん言われているように、∀と∃の区別がついてないとか、変数と定数の区別がついてないとか、
そういうところに根本的な問題点がある。
0925132人目の素数さん
垢版 |
2018/08/20(月) 10:47:12.48ID:iQwsPCZx
「27/5は3を因数にもつ」を、多項式環での因数の定義を使うとどう正当化できるんですかね...
0926132人目の素数さん
垢版 |
2018/08/20(月) 10:49:27.02ID:aI8RKv6w
「多項式環Q[x]における因数」「整数環Zにおける因数」という、それこそ数学で一般的に使われる用語を1が理解しているかどうかは甚だ怪しい。
しかし、これら2つの定義による因数を両方とも使用しているのであれば、その区別を明らかにしていない時点で論文には不備がある。
例をあげればQ[x]において7は4096の因数であるが、Zにおいて7は4096の因数でない。このように複数の異なる解釈のある用語を区別せず使っている時点で推論に齟齬が生じることは明らかだ。
意図的であるにしろ無意識でやっているにしろ、この点(因数の語の解釈)において論文は改める必要がある。
0927132人目の素数さん
垢版 |
2018/08/20(月) 10:50:52.72ID:KezjObN6
ちなみに、Z[x]の上で考えているなら、Zに移行しても問題は起きない。

しかし、実際にはQ[x]の上で考えているので、ここからZに移行すると、
整数でない有理数が出現してしまい、整数環Zの上では素因数の打消し合いが起こる。
すると、Q[x]の上では因数だった塊が、Zの上では因数でなくなってしまう。
たとえばT4について書いてみると、xの多項式

T4(x)=16x(2x-1)(2x+1)(16x^2-10x-1)/15

には、Q[x]において(2x+1)という因数が出現しているが、
x=2としてZに移行してみると、分母の15と打ち消し合いが起きてT4(2)=1376となるので、
ZにおいてT4(2)は「5」を因数に持っていない。これは、みんなもさんざん言っていること。
0929132人目の素数さん
垢版 |
2018/08/20(月) 11:03:36.71ID:KezjObN6
>>926
理解してないからこそ混同していると思われる。
たぶん、高校時代からの手癖で無意識のうちに混同している。
たとえば、高校では

「x^2−2axの、xを動かしたときの最小値をm(a)とするとき、
 aを動かしたときのm(a)の最大値を求めよ」

といった問題が出てくるが、ここでの「a」は、xを動かして
m(a)を求めるときには定数扱いなのに、m(a)の最大値を求めるときは
aを変数として扱うことになる。

おそらく>>1は、このノリを無意識のうちにpdfの中に盛り込んでいる。
そして、その盛り込み方が正しくない。
0930 ◆H4n21Ym7mA
垢版 |
2018/08/20(月) 12:47:48.42ID:N+36Ptxg
>>917
4096ばかりうるさいけど、漸化式
Ti=Ti-1-(-2)^(i-1)C[n+1,i+1]、T0=2m+1
から、T12を計算してみろよ、2m+1で因数分解できるから。
以上、完全終了。頭おかしいんじゃないの。しつこすぎ。

>>918
ただ約分できるかということでしかない。(27/5)/3=27/(5*3)=9/5で分母の3が
なくなるよな。約分が分からないのだったら小学生からやり直せ。

>>920
だから論文では約数ということばを使っていないだろうが。

>>923
>「u(x)x+1はxの多項式としてxで割り切れることはないのだから、u(pr)pr+1はprで割り切れない」
u(pr)pr+1はprで割り切れることはない
だ。意味不明に私のレスをすり替えるな。

>>926
それでは、実際に論文の何ページ何行目にその区別していない内容があるのか明確に指摘してみて
下さい。改める必要は全くないと考えていますが、ただ因数分解ができて、その項が2m+1であり
それ以外の項がu(pr)pr+1となり、これが整数になろうが非整数になろうがprの倍数にならない
ことは明らかなのですから。
こちらは、あなた方のナンクセに付き合ってまともに答えを返しているんだから、こちらの質問に
もきちんと答えてもらはないとアンフェアですし、あながたナンクセを付けているだけだということが
明らかになるだけだと思いますけど。

>>929
この論文は完全に正しいので、貴殿の数学力は低いし、間違っている以上。
0931132人目の素数さん
垢版 |
2018/08/20(月) 13:06:58.55ID:iQwsPCZx
高木くん「27/5は3を因数にもちます」
先生「違います。因数を独自の意味で使うなら定義を言ってください」
高木くん「約分だ。分からないなら小学生からやり直せ」
0932132人目の素数さん
垢版 |
2018/08/20(月) 13:28:31.82ID:iQwsPCZx
論文がどうとかじゃなくて、それ以前の意思疏通のために定義の確認がしたいんだけどね
誤魔化し続けるなら永遠に誰にも認められないんじゃない?
0933132人目の素数さん
垢版 |
2018/08/20(月) 13:41:15.93ID:bdMNwF6E
本人が正しいと信じてるんだから放っておけばいいだろ
本人がどう宣おうとも、命題の真偽が変化するわけでもない、もっともお前らになんの害もないだろ
0934132人目の素数さん
垢版 |
2018/08/20(月) 13:57:56.12ID:cjJysXJn
我は正しい なぜなら我が確信するからってことか
底なしの虚無だな
0935 ◆H4n21Ym7mA
垢版 |
2018/08/20(月) 14:46:08.31ID:N+36Ptxg
>>932
一般的な定義と同一だと言っている。誤魔化しではない。
>永遠に誰にも認められないんじゃない?
数学ができる人間は世界中に無数にいるから、それはない。あなただけ。何の問題も
ないのに食って掛かる人間は。

>>933
未解決問題の一つが解決しようと普通の人間には何の影響もないのかもしれない。
数学研究者には私の書いた内容が、他の問題解決に有益なのかもしれないが。

>>934
それでも、完全に正しい証明を書いた人間に虚無だと書いている方はどうなのかと
0936132人目の素数さん
垢版 |
2018/08/20(月) 15:13:53.41ID:aI8RKv6w
>>930
>それでは、実際に論文の何ページ何行目にその区別していない内容があるのか明確に指摘してみて下さい。

どれということはない。
論文中で使用されているすべての「因数」について、それらがQ[x]とZとどちらの意味で使用されているか、一切明示がない。それらについて区別を明示しなさい。
それらを明示するのは筆者自身の義務だ。他の誰でもない。

以上だ。これ以上に明確な指摘はない。
0938132人目の素数さん
垢版 |
2018/08/20(月) 15:16:53.48ID:1pScdRNC
Q[x]で考えると、任意の有理数が任意の有理数の因数になるんですかね?
合ってます?
0939 ◆H4n21Ym7mA
垢版 |
2018/08/20(月) 16:08:12.58ID:N+36Ptxg
>>936
お分かりだとは思いますが、Q[x]という意味で因数という言葉を使ったのは
12ページの3段落目の因数だけだと思います。

>>937
知りません。>>801は誤りでした。分子の因数に3があるのでついそう書きました。
0940132人目の素数さん
垢版 |
2018/08/20(月) 16:29:27.85ID:TS1vVLaq
>>938
然り。もちろんゼロは因数になり得ないが、今回はその可能性を考慮する必要はない。
0943132人目の素数さん
垢版 |
2018/08/20(月) 19:04:55.14ID:+ygP34AP
書いてる本人がどっちの意味で書いてるかわかってないんじゃしゃぁないね。
0944132人目の素数さん
垢版 |
2018/08/21(火) 00:08:18.99ID:cb1S5E2Q
>>1も、それに続くみんなも、もう諦めたらいいのに
いくら頑張ったって周りよりは頭のいい人止まりなんだから
どこかで行き詰まって最後は、分からない分からないと悩んで終わり
0945132人目の素数さん
垢版 |
2018/08/21(火) 03:59:00.14ID:lXBjnJuy
証明の過程でしている主張が目立たない、もしくは不明瞭。
何が重要なのかもわからんまま読み進めることを強いられる。
これがとにかく苦痛だね。
まともな論文ならこうはならん。
レス数が900を超えています。1000を超えると表示できなくなるよ。

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