奇数の完全数の存在に関する証明が完成しました

1 ：１３２人目の素数さん：2018/08/05(日) 05:25:38.78 ID:CcBDiEWJ.net

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/

889 ：１３２人目の素数さん：2018/08/19(日) 17:52:27.58 ID:n11KXow2.net

>>888
そんなことは聞いてません
日本語を理解してください
はやくあなたの因数の定義を教えてください

890 ： ：2018/08/19(日) 17:54:53.25 ID:BehawhAJ.net

>>889
一般の定義と同一だから答える必要がない。定義を聞いて何をしたい訳？
今までレスで問題があるというのであれば、それを指摘してもらいたいのものだ。

891 ： ：2018/08/19(日) 17:56:03.56 ID:BehawhAJ.net

「バイバイ」も「お休み」も「○○総理」も「○○大臣」も全ていらねーよ

892 ：１３２人目の素数さん：2018/08/19(日) 17:58:44.88 ID:BrAlGHYU.net

>>888
u(x)＝(x−1)/5, pr＝5とすればよい。

u(pr)*pr＋1＝u(5)*5＋1＝5＝pr

だから、u(pr)*pr＋1はprで割り切れている。

893 ：１３２人目の素数さん：2018/08/19(日) 18:05:17.07 ID:9Mi7EvOq.net

>>887
「どうせ同じだから」って部分に、１のやる気の無さ加減がうまく表現できてて面白いｗ

894 ：１３２人目の素数さん：2018/08/19(日) 18:12:26.00 ID:Qe3VaAZd.net

>>890
一般的な定義で7が4096の因子だと言い張る根拠が分からん。

895 ：１３２人目の素数さん：2018/08/19(日) 18:12:56.19 ID:aQOeDDl0.net

>>891
このスレに無い言葉の一覧は、ＴＶから聞こえる１への悪口か？？？？

総理や大臣が自分への悪口だって？？？？

896 ：１３２人目の素数さん：2018/08/19(日) 18:20:19.19 ID:VDuL8DAA.net

1は数学の正しさは口論に勝つことだと勘違いしている

897 ： ：2018/08/19(日) 18:35:26.01 ID:BehawhAJ.net

>>892
何故u(pr)でなくて、u(x)なのかは分からないが
u(pr)の0次の項は1/5ではなく1だ

898 ：１３２人目の素数さん：2018/08/19(日) 18:37:53.21 ID:n11KXow2.net

>>890
一般の定義と違うから聞いてるんですが、分からないんですか？
>>744･827あたりを読んでください
次にレスするときは誤魔化しや逃げではなく、明確なあなたの「因数」の定義をお願いします

899 ：１３２人目の素数さん：2018/08/19(日) 18:40:04.50 ID:n11KXow2.net

「27/5は3を因数にもつ」
などと主張する人は、世界中探して何人見つかるんでしょうかね

900 ：１３２人目の素数さん：2018/08/19(日) 18:44:24.67 ID:G43xjpiI.net

>>897
1だよwww

901 ：１３２人目の素数さん：2018/08/19(日) 18:49:45.34 ID:BrAlGHYU.net

>>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だ」と言われても
話がぜんぜん噛み合ってない。

902 ：１３２人目の素数さん：2018/08/19(日) 18:53:08.96 ID:kF/bpOt6.net

>>882
T4が駄目な時点で破綻してるやん

903 ：１３２人目の素数さん：2018/08/19(日) 19:08:44.76 ID:VDuL8DAA.net

>>902
1は都合の悪いことは無視するスタイルで、自分が論破できそうなところで
反論し勝とうとしているだけ（実際は支離滅裂）

904 ：１３２人目の素数さん：2018/08/19(日) 19:12:46.21 ID:pyaKF9UA.net

普通に数学の知識のある人間なら理解できることを理解できない1は、
数字がそうとう無知だってことが改めてわかった。

905 ：１３２人目の素数さん：2018/08/19(日) 19:54:48.18 ID:XcnSVnEk.net

とりあえず>>1さん、考えてみてよ。
数学の論文が読み手の解釈で正しかったり正しくなかったりしたら困るのはわかるよね？
だからそういう解釈の差が出ないようにするのは筆者に求められてる当然の義務なのよ？
だとしたらさ、少なくとも一般的な意味じゃない言葉使いするならその意味をキチンと論文中に定義しないとダメじゃん？それは読み手側の責任じゃないよね？筆者の側の責任だよね？
で一般的な意味で7は4096の因子じゃないよね？つまり君のいう7は4096の因子だという主張を論文でしたいならそれがなにを意味するのかをキチンと定義しないとダメだよね？
その責任は君の側にあると思わない？
君はなにがしたいの？論文認めて欲しいんじゃないの？
読み手の解釈で意味が変わる論文なんか認めてもらえるわけないと思わない？

906 ： ：2018/08/19(日) 21:35:07.10 ID:BehawhAJ.net

>>901
だから、u(pr)pr/pr=u(pr)で、1/u(pr)はpr=±1でしか割り切られないだろ。
こんな簡単な内容にしつこいよ。理解できない芸は飽きたからもういいよ。

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

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

>>904
理解できる人間だけ理解すればいいのであって、理解しようとしない人間の理解は求めない。
普通の数学研究者には理解されうる内容に決まっている。以上。

907 ： ：2018/08/19(日) 21:36:05.95 ID:BehawhAJ.net

>>906 訂正
×分母より小さい
〇prの次数が分母より小さい

908 ：１３２人目の素数さん：2018/08/19(日) 21:44:50.17 ID:BrAlGHYU.net

>>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) であるにも関わらず。

909 ：１３２人目の素数さん：2018/08/19(日) 21:58:28.17 ID:aQOeDDl0.net

１の落書きＰＤＦが正しいなんて信じてるのは、世界に１もいない。

１自身すらも、信じてなどいないことが明白になった。

910 ：１３２人目の素数さん：2018/08/19(日) 22:06:18.67 ID:15V/8AxE.net

整数論で修士論文書いた身としては「これはひどい」しか言えないなぁ……

911 ：１３２人目の素数さん：2018/08/19(日) 22:17:33.82 ID:ig/QtuFR.net

>>1はどうして “因子” の意味の定義が出来ないんだろう？
一般的な意味じゃない言葉遣いするときの注意書きのある文章なんかそこまで難しい論文じゃなくても学部生むきの教科書レベルでいくらでも見つかるのに。
そういう状況じゃなくても用語の定義とかしてる教科書なんか腐るほど見つかるだろうに。
例えば「関数fがUで微分かのうであるとは…が成立するときとする。」みたいな文章みつけてきてそれ真似してチョコチョコっと文章書き換えるだけじゃん。
「本稿においては…が…の因子であるとは…が成立するときとする。これは一般的な用語とは一致しないので注意されたい。」とか書くだけでいいのに。
もともとの “因子” もつかいたいなら “特別因子” とか “整式としての因子” とか別の用語作ってもいいし。
なんでそんな簡単な事が出来ないのかさっぱりわからん。

912 ：１３２人目の素数さん：2018/08/19(日) 22:32:45.64 ID:iYSW0zdS.net

理系モドキのヒキニートが
数学モドキの式をいじり倒して
証明モドキの文をなんとか立てたあげく
論文モドキのタイトルをつけて
投稿モドキをしてるだけ
もう相手する意味まるで無し

913 ：１３２人目の素数さん：2018/08/20(月) 00:01:39.24 ID:OP+ZDFqw.net

「論文に使われてるロジックはおかしいんだよ」ってことを論文にでてくるもの以外で説明されるともう理解できない感じなのかな？

914 ：１３２人目の素数さん：2018/08/20(月) 00:38:01.38 ID:K8i5oXNR.net

ウィキペディアの統合失調症の症状に書いてある特徴があまりにもよくあてはまる
引用↓

常同的思考：無意味な思考にこだわり続けている。興味の対象が少数に限定されている。
抽象的思考の困難：物事を分類したり一般化することが困難である。問題解決においてかたくなで自己中心的。

915 ：１３２人目の素数さん：2018/08/20(月) 01:35:52.34 ID:yeoakqYo.net

ではこれもコピペ

【 他虐型ADHDの特徴 】
・極端な学歴至上主義や、在日、底辺職への強引な差別
・周囲の人を馬鹿にすることが多く他者を決して褒めない
・自分の価値観が全てで、周囲の全員にしつこく繰り返して主張し続ける
・自分の価値観以外の考え方が存在すること自体が理解できない
・自分の評価には異常にこだわる
・無理のある言い訳を繰り返して自分が悪いことは一切認めようとしない
・何でもゴリ押ししようと必死、強引に言い張って主張を通すパターンを続ける
・問い詰められると自分が被害者であることをアピールしだす

916 ： ：2018/08/20(月) 08:26:45.48 ID:N+36Ptxg.net

>>911
＞>>1はどうして “因子” の意味の定義が出来ないんだろう？
定義する必要がないから

なんで一般的な因数の定義と同一だと言っているのにも関わらず、そこまで定義でねばるのか
分からない。この論文の内容は一般的な因数の定義とどう違うと捉えてつまらない
長文を書いているのですか？この質問に明確に答えてください。ずっと答えませんよね。

917 ：１３２人目の素数さん：2018/08/20(月) 08:36:19.51 ID:yhAT/v37.net

高木くん｢7は4096の因子です｣
先生｢違います。因子を独自の意味で使うなら定義を言ってください｣
高木くん｢定義は一般のものだ。意味不明だししつこい｣

918 ：１３２人目の素数さん：2018/08/20(月) 09:26:45.02 ID:iQwsPCZx.net

高木くん｢27/5は3を因数にもちます｣
先生｢違います。因数を独自の意味で使うなら定義を言ってください｣
高木くん｢定義は一般のものだ。意味不明だししつこい｣

919 ：１３２人目の素数さん：2018/08/20(月) 09:47:28.74 ID:8OjZKc6c.net

1が「つまらない」「説明する必要ない」などと回答を拒否するときは、いよいよ反論に窮しているときなので、さらに追及を続けるといいよ
そのときは論文のページ数を指して不備を具体的に示すとなおよい

920 ：１３２人目の素数さん：2018/08/20(月) 10:06:37.75 ID:zBhnRvHz.net

>>916
一般的な定期で7は4096の因子じゃないよ？
一般的な定義では約数と因子は同義です。

921 ：１３２人目の素数さん：2018/08/20(月) 10:12:30.80 ID:kdh5e3O+.net

>>1が一から書くのが面倒臭いなら
>>1の言う一般的な定義が書いてある本なりサイトなりから引用すればいい
引用した内容も書くのが面倒なら書名・urlを提示すりゃいい
それさえもできないのだろうか

922 ：１３２人目の素数さん：2018/08/20(月) 10:20:20.44 ID:2K9QDLuB.net

用語の定義を質問しても1が明らかにしないのは、
それを明らかにすると自分の間違いを認めざるを得なくなるからで
だからこそ一般的定義と同じ、つまらない、などとはぐらかして
明確な回答を避けて逃げるほかはなくなっている
もう質問ではなく間違いは間違いだと断じて切って捨てるべきではないか

923 ：１３２人目の素数さん：2018/08/20(月) 10:25:39.20 ID:KezjObN6.net

>>1が言ってる因数ってのは、多項式環Q[x]における因数のことを言ってるのであって、
その意味においては、>>1が言ってる「因数」は一般的な定義と同じ。
ただし、それはQ[x]における定義と同じにすぎないのであって、整数環Zにおける因数とは別物。
なのに>>1は両者を混同している。

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

これが>>1のロジック。もちろん間違ってる。

924 ：１３２人目の素数さん：2018/08/20(月) 10:29:18.32 ID:KezjObN6.net

>>1は"pr"を変数のつもりで使っているので、>>1が言うところの「u(pr)pr＋1」は
「xの多項式 u(x)x＋1」と同じ意味になる。つまり、>>1はずっとQ[x]の上で考えていて、
Zの上で考えていない。なのに途中で両者を混同してZの上で考えているかのように振る舞い、
矛盾が起きたと主張する。もちろん矛盾は起きてない。

さんざん言われているように、∀と∃の区別がついてないとか、変数と定数の区別がついてないとか、
そういうところに根本的な問題点がある。

925 ：１３２人目の素数さん：2018/08/20(月) 10:47:12.48 ID:iQwsPCZx.net

「27/5は3を因数にもつ」を、多項式環での因数の定義を使うとどう正当化できるんですかね...

926 ：１３２人目の素数さん：2018/08/20(月) 10:49:27.02 ID:aI8RKv6w.net

「多項式環Q[x]における因数」「整数環Zにおける因数」という、それこそ数学で一般的に使われる用語を１が理解しているかどうかは甚だ怪しい。
しかし、これら２つの定義による因数を両方とも使用しているのであれば、その区別を明らかにしていない時点で論文には不備がある。
例をあげればQ[x]において7は4096の因数であるが、Zにおいて7は4096の因数でない。このように複数の異なる解釈のある用語を区別せず使っている時点で推論に齟齬が生じることは明らかだ。
意図的であるにしろ無意識でやっているにしろ、この点(因数の語の解釈)において論文は改める必要がある。

927 ：１３２人目の素数さん：2018/08/20(月) 10:50:52.72 ID:KezjObN6.net

ちなみに、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」を因数に持っていない。これは、みんなもさんざん言っていること。

928 ：１３２人目の素数さん：2018/08/20(月) 10:52:33.25 ID:iQwsPCZx.net

うーんまぁでもそうか

929 ：１３２人目の素数さん：2018/08/20(月) 11:03:36.71 ID:KezjObN6.net

>>926
理解してないからこそ混同していると思われる。
たぶん、高校時代からの手癖で無意識のうちに混同している。
たとえば、高校では

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

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

おそらく>>1は、このノリを無意識のうちにpdfの中に盛り込んでいる。
そして、その盛り込み方が正しくない。

930 ： ：2018/08/20(月) 12:47:48.42 ID:N+36Ptxg.net

>>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
この論文は完全に正しいので、貴殿の数学力は低いし、間違っている以上。

931 ：１３２人目の素数さん：2018/08/20(月) 13:06:58.55 ID:iQwsPCZx.net

高木くん｢27/5は3を因数にもちます｣
先生｢違います。因数を独自の意味で使うなら定義を言ってください｣
高木くん｢約分だ。分からないなら小学生からやり直せ｣

932 ：１３２人目の素数さん：2018/08/20(月) 13:28:31.82 ID:iQwsPCZx.net

論文がどうとかじゃなくて、それ以前の意思疏通のために定義の確認がしたいんだけどね
誤魔化し続けるなら永遠に誰にも認められないんじゃない？

933 ：１３２人目の素数さん：2018/08/20(月) 13:41:15.93 ID:bdMNwF6E.net

本人が正しいと信じてるんだから放っておけばいいだろ
本人がどう宣おうとも、命題の真偽が変化するわけでもない、もっともお前らになんの害もないだろ

934 ：１３２人目の素数さん：2018/08/20(月) 13:57:56.12 ID:cjJysXJn.net

我は正しい　なぜなら我が確信するからってことか
底なしの虚無だな

935 ： ：2018/08/20(月) 14:46:08.31 ID:N+36Ptxg.net

>>932
一般的な定義と同一だと言っている。誤魔化しではない。
＞永遠に誰にも認められないんじゃない？
数学ができる人間は世界中に無数にいるから、それはない。あなただけ。何の問題も
ないのに食って掛かる人間は。

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

>>934
それでも、完全に正しい証明を書いた人間に虚無だと書いている方はどうなのかと

936 ：１３２人目の素数さん：2018/08/20(月) 15:13:53.41 ID:aI8RKv6w.net

>>930
＞それでは、実際に論文の何ページ何行目にその区別していない内容があるのか明確に指摘してみて下さい。

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

以上だ。これ以上に明確な指摘はない。

937 ：１３２人目の素数さん：2018/08/20(月) 15:15:34.98 ID:iQwsPCZx.net

>>935
一般的な定義では、27/5は3を因数に持たないんですよ、知ってましたか？

938 ：１３２人目の素数さん：2018/08/20(月) 15:16:53.48 ID:1pScdRNC.net

Q[x]で考えると、任意の有理数が任意の有理数の因数になるんですかね？
合ってます？

939 ： ：2018/08/20(月) 16:08:12.58 ID:N+36Ptxg.net

>>936
お分かりだとは思いますが、Q[x]という意味で因数という言葉を使ったのは
12ページの3段落目の因数だけだと思います。

>>937
知りません。>>801は誤りでした。分子の因数に3があるのでついそう書きました。

940 ：１３２人目の素数さん：2018/08/20(月) 16:29:27.85 ID:TS1vVLaq.net

>>938
然り。もちろんゼロは因数になり得ないが、今回はその可能性を考慮する必要はない。

941 ：１３２人目の素数さん：2018/08/20(月) 17:31:16.52 ID:FBgdXByT.net

>>939
思いましたかーwww

942 ：１３２人目の素数さん：2018/08/20(月) 18:21:02.52 ID:xpWayWsC.net

>>939
数学との接点がいかにも少なそうな発言だな

943 ：１３２人目の素数さん：2018/08/20(月) 19:04:55.14 ID:+ygP34AP.net

書いてる本人がどっちの意味で書いてるかわかってないんじゃしゃぁないね。

944 ：１３２人目の素数さん：2018/08/21(火) 00:08:18.99 ID:cb1S5E2Q.net

>>1も、それに続くみんなも、もう諦めたらいいのに
いくら頑張ったって周りよりは頭のいい人止まりなんだから
どこかで行き詰まって最後は、分からない分からないと悩んで終わり

945 ：１３２人目の素数さん：2018/08/21(火) 03:59:00.14 ID:lXBjnJuy.net

証明の過程でしている主張が目立たない、もしくは不明瞭。
何が重要なのかもわからんまま読み進めることを強いられる。
これがとにかく苦痛だね。
まともな論文ならこうはならん。

946 ：１３２人目の素数さん：2018/08/21(火) 09:42:29.68 ID:9A6sY0nl.net

もうすぐ、このスレも終了。

今度こそ１さよならに！

947 ： ：2018/08/21(火) 10:06:30.21 ID:KkjwiMLB.net

変更点
・12ページから13ページまでの証明を修正しました

Pdf文書 日本語
http://fast-uploader.com/file/7090368828159/
Pdf文書 英語
http://fast-uploader.com/file/7090368925513/

948 ： ：2018/08/21(火) 10:07:37.69 ID:KkjwiMLB.net

>>1 訂正
2018年8月4日→2018年8月21日

949 ：１３２人目の素数さん：2018/08/21(火) 10:13:47.88 ID:9A6sY0nl.net

一の脳みそでは、価値のあるものは出てこないんだから
いい加減にゴミ落書きＰＤＦやめろ

950 ：１３２人目の素数さん：2018/08/21(火) 11:33:10.28 ID:xl5Gjc+c.net

無限に約分可能(笑)

951 ：１３２人目の素数さん：2018/08/21(火) 12:25:36.32 ID:5BMCBs7/.net

上のほうでも指摘されてるけどp11
すべてのTiに因数2m + 1が含まれる。
がQ[m](=有理係数のmの多項式環)の上での話ならp12で定義されてる
＞f(pr)の分子からqr − cr − 2次より大きい項を除いたものをh(pr)とする
としたh(pr)が ”2m+1を因子にもつ” の因子に持つもQ[m]での話じゃないの？
途中で “因子” の意味変えられないもんね？

xがQ[m]のなかで2m+1を因子にもつからxはZで2m+1を因子にもつ

なんて言えないもんね？
でその後p12からp13のあたりまでいっぱい場合分けしていずれのケースでも
＞h(pr)が2m+1を因子にもつ
を利用して
＞2m + 1がpr^(qr−cr−1)の倍数にならなければならない。
と結論づけてるけどこれ全部Q[m]内の話だよね？
そう考えてOK?

952 ： ：2018/08/21(火) 13:25:45.76 ID:KkjwiMLB.net

>>951
OKだと思います

953 ：１３２人目の素数さん：2018/08/21(火) 13:33:38.09 ID:5BMCBs7/.net

多項式環 Q[m] における
“d(m)がf(m)の因子”
の定義は
“f(m) = d(m)e(m) となる e(m)∈Q[m] が存在するとき”
でいいの？
これが多項式環での一般的な定義だと思うけど。

954 ：１３２人目の素数さん：2018/08/21(火) 13:35:08.67 ID:+/PKRdOn.net

絶対多項式環なんて知らないでしょ、この人

955 ：１３２人目の素数さん：2018/08/21(火) 13:38:39.47 ID:5BMCBs7/.net

しかしもうこれが因子の定義の意味ではないと言われるといよいよ因子の定義がないとどの意味なのかわからない。

956 ： ：2018/08/21(火) 15:25:46.24 ID:KkjwiMLB.net

>>953
適当に答えてしまいまいたが、よく分かりません。h(pr)が2m+1で因数分解
できるので、2m+1を因数としています。

957 ：１３２人目の素数さん：2018/08/21(火) 15:34:22.79 ID:7S22o6Z4.net

ではやはり根拠が
>h(pr)が2m+1で因数分解できる
であるなら、これはあくまでQ[m]での話なんだから
2m+1を因数に持つもQ[m]において因数に持つだよね？
そして因数に持つの定義は>>953でOK?
これが一般的な定義だけど？

958 ：１３２人目の素数さん：2018/08/21(火) 17:25:59.07 ID:eS+jisY3.net

１は、環とかQ[m]とか一切理解できない人だから。

959 ： ：2018/08/21(火) 18:43:41.81 ID:KkjwiMLB.net

>>957
多分OKだと思います。

>>958
×理解していない
〇知らない

960 ：１３２人目の素数さん：2018/08/21(火) 18:51:02.26 ID:7S22o6Z4.net

>>959
ではp13中程にある
> 2m+1はpr^(qr-cr-1)の倍数にならなければならない
もQ[m]において2m+1はpr^(qr-cr-1)の倍数にならなければならないでOK?

961 ： ：2018/08/21(火) 18:53:52.95 ID:KkjwiMLB.net

>>960
2m+1もpr^(qr-cr-1)も整数になるので、それはよく分かりません。

962 ：１３２人目の素数さん：2018/08/21(火) 19:00:47.40 ID:7S22o6Z4.net

いや、それはまずいでしょ？
そこまで、あくまでQ[m]のなかで2m+1とprについて議論してたんだから、ここから突然やっぱ整数と見なしても大丈夫なんて通用しないよ？
例えばm=1、pr=5のとき、2m+1はQ[m]のなかではprの倍数だけどZの中ではそうなってないでしょ？

963 ：１３２人目の素数さん：2018/08/21(火) 19:59:45.06 ID:QU6PoRYY.net

だから大学で習うような数学は１にはさっぱりなんだから。

中学生以下のレベルで苦労して教えることが必要になっちゃうし。

964 ： ：2018/08/21(火) 20:12:26.40 ID:KkjwiMLB.net

>>962
整数でしかないから、それらの数値自体は。

>>963
早稲田の応用物理科出身者に失礼だから、せめて高校数学と書いてくれ

965 ：１３２人目の素数さん：2018/08/21(火) 20:25:35.22 ID:5810onYy.net

自分の論文の内容について知りません、よくわかりませんって言えるのすごいな
睾丸が鞭のようになってそう

966 ：１３２人目の素数さん：2018/08/21(火) 20:32:14.55 ID:o7wxz05n.net

>>964
失礼とかいう概念がお前にもあったのか

967 ：１３２人目の素数さん：2018/08/21(火) 20:41:45.66 ID:QU6PoRYY.net

１に高校に入学できるぐらいの数学の知識があったら、
こんなごみＰＤＦは公開しない。

968 ： ：2018/08/21(火) 20:56:05.94 ID:KkjwiMLB.net

>>965
論文の中で、多項式環、絶対多項式環という言葉は使っていない

>>967
未解決問題の証明論文は、公開しないでどうするのですか？
一生未解決問題を解決できない人間に聞いても無駄だと思いますけど

969 ：１３２人目の素数さん：2018/08/21(火) 20:56:32.66 ID:7S22o6Z4.net

>>964

> >>962
> 整数でしかないから、それらの数値自体は。
>
ダメだよ？それを言うなら君が、議論してたh(pr)だって本来整数でしかない。けどmのところを自由変数とみなしてQ[m]の元として扱ったんでしょ？
>>962だってmのところを自由変数とみなしてQ[m]の元として扱えるよ？
ただし、そう扱ったからには、後で勝手に整数としてもprの倍数といってはいけないし、その反例が>>962。

970 ： ：2018/08/21(火) 21:05:05.25 ID:KkjwiMLB.net

>>969
論文でh(pr)の因数のうち、2m+1以外の項がprの倍数にならないということを証明しているので
2m+1はpr^(qr-cr-1)で割り切られなければなりません。これはNの中でということです。

971 ：１３２人目の素数さん：2018/08/21(火) 21:09:49.02 ID:QU6PoRYY.net

＞割り切られなければなりません

小学校からやりなおせ

972 ：１３２人目の素数さん：2018/08/21(火) 21:10:50.72 ID:xmUQ7dVE.net

係数が整数じゃないし項自体も整数じゃないんだからＮの中で、も何もあったもんじゃない

973 ：１３２人目の素数さん：2018/08/21(火) 21:35:17.81 ID:LAgIAo5W.net

u(pr)って具体的になんだよ

974 ：１３２人目の素数さん：2018/08/21(火) 21:35:28.43 ID:YIL8qJ63.net

結局、因数の語の意味は未確定なままか
何度指摘されても場所によって多義語を意図的に自論の都合のいいように解釈して言い逃れるんだろうな

975 ： ：2018/08/21(火) 21:49:47.18 ID:KkjwiMLB.net

>>972
2m+1は整数にしからなんが

>>973
何故論文に書いてある内容をここで書かなければならないのか？

>>974
>>956

976 ：１３２人目の素数さん：2018/08/21(火) 21:54:14.84 ID:LAgIAo5W.net

具体的に計算した結果u(pr)=(kpr-1)/prのようになることはないの？

977 ：１３２人目の素数さん：2018/08/21(火) 22:01:36.37 ID:I0FBGqTK.net

今回もニセ論文か
反論も聞いたこととは違うことを反論するニセ反論だし
修正も指摘されたこととは違うところを直すニセ修正だ

978 ： ：2018/08/21(火) 22:03:13.66 ID:KkjwiMLB.net

>>976
ないことを証明したと考えられる

979 ： ：2018/08/21(火) 22:04:40.99 ID:KkjwiMLB.net

>>977
今まで問題となっていた。u(pr)pr+1がprで割れる可能性があるという問題を
解決したということだが、根拠が希薄な情報操作はやめてくれ。

980 ：１３２人目の素数さん：2018/08/21(火) 22:06:55.27 ID:LAgIAo5W.net

ちょっと特定の値でu(pr)を計算してみせてよ

981 ：１３２人目の素数さん：2018/08/21(火) 22:08:16.60 ID:xmUQ7dVE.net

>>975
2m+1の項の話はしとらんが

982 ：１３２人目の素数さん：2018/08/21(火) 22:19:30.01 ID:kQOtWBo+.net

勝手に変数とせずに定数で証明を考えればいいのに

983 ：１３２人目の素数さん：2018/08/21(火) 22:22:04.05 ID:0x7TMW8/.net

pr=3の場合を示しただけで、よくも証明ができたと言えたもんだ
１の頭の中に奇素数は3と5しかないのか

984 ：１３２人目の素数さん：2018/08/21(火) 22:37:26.59 ID:nJ1bRsR2.net

qr-cr≧6で多項式h(pr)が整数であることを示すのにh(pr)の項がすべて整数でなければならないとしているが、これでは不十分
h(pr)の複数の項が非整数であれば、h(pr)が整数でもおかしくない
もう少し根拠が必要

985 ：１３２人目の素数さん：2018/08/21(火) 23:05:31.94 ID:LAgIAo5W.net

>>984
日本語が不自由でなにを言いたいのかよくわからない

986 ：１３２人目の素数さん：2018/08/21(火) 23:16:54.64 ID:EO419+q9.net

１５ページ
＞n+1=f×(pk-1)
＞となることが必要である。ek≠1となる全てのkに対して成り立たなければならないから、奇数をgとして
＞n+1=g×Π(pk-1)

これはダウトだな
すべてのpk-1は偶数であり少なくとも2を共通因数として持つし、2以外の共通因数をもたないとも限らない。
せめてn+1=g×LCM｛pk-1|1≦k≦r∧ek≠1}としなければならないが、これだとその先の証明が成り立たない。

987 ：１３２人目の素数さん：2018/08/22(水) 00:44:00.94 ID:dyLq30q+.net

>>1が因子の意味は通常の意味でそしてその意味でm+1がC[n+1,i] = C[3m+2,i]の因子という主張を成立させられる定義はmを自由変数とみてQ[m]の意味で考えるしかない。
少なくともこれだけ定義を要求して出てこないんだから最大限好意的に解釈してもうこれしかない。
となるとp12〜p13あたりで得られている結論はすべてQ[m]係数のお話。
すると度々出てくる
2m + 1 = wpr^(qr−cr−1) …�I (∃ w)
というのがあるけど、これも
2m + 1 = wpr^(qr−cr−1) …�I (∃ w∈Q[m])
という主張にすぎない。
このあと “�Iより” といってる議論が連発するけどそれらも全部 Q[m] 上での議論にすぎない。

988 ：１３２人目の素数さん：2018/08/22(水) 01:14:50.83 ID:dyLq30q+.net

>>987
訂正
✕：m+1がC[n+1,i] = C[3m+2,i]の因子
○：2m+1がC[n+1,i] = C[4m+2,i]の因子
Q[m]係数なら正しいけど逆にいうとこの解釈しかない。