X



トップページ数学
1002コメント480KB
奇数の完全数の存在に関する証明
■ このスレッドは過去ログ倉庫に格納されています
0001 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 14:12:51.36ID:CimJW8bs
2000年以上前からある奇数の完全数が存在するのかという
数学上の未解決問題の証明の計算方法が明らかになりました
wolframさんの計算結果により証明できた模様です。

(前スレ)
奇数の完全数の存在に関する証明が完成しました2
https://rio2016.5ch.net/test/read.cgi/math/1534900374/

(それより前のスレ)
最古の未解決問題が解決されたのか
https://rio2016.5ch.net/test/read.cgi/math/1522147912/
奇数の完全数の存在に関する証明は正しいはず
https://rio2016.5ch.net/test/read.cgi/math/1530434042/
奇数の完全数の存在に関する証明が完成しました
https://rio2016.5ch.net/test/read.cgi/math/1533414338/

(関連スレ)
奇数の完全数の有無について [無断転載禁止](c)2ch.net
https://rio2016.5ch.net/test/read.cgi/math/1483900653/
奇数の完全数の有無について2
https://rio2016.5ch.net/test/read.cgi/math/1523602627/
0002 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 14:14:09.00ID:CimJW8bs
n≧5の場合
u=p^(n-1)+p^(n-3)+…+1とすると
p^n+…+1=u(p+1)
2b=cu(p+1)

ap-2bp+2b=c
ap-2b(p-1)=c
ap-cu(p^2-1)=c

cup^2-ap-cu+c=0
up^2-(a/c)p-u+1=0

s=a/cとすると

up^2-sp-u+1=0

p=4q+1、u=2v+1とすると

(2v+1)(4q+1)^2-s(4q+1)-2v=0, u>0, q>0
これをwolframさんに計算してもらうと
v=4q+1
u=2p+1

p^(n-1)+p^(n-3)+…+1=2p+1
p^(n-1)+p^(n-3)+…+p^2=2p
p^(n-2)+p^(n-4)+…+p=2
これを満たす奇素数pは存在しない。
0003重要テンプレ
垢版 |
2018/09/19(水) 14:42:36.44ID:Bdn4VQla
>1はこの手の間違いを前スレから何度も繰り返している。AB = CD という等式があったときに、

「 A が C を割り切らないなら、A は D を割り切る 」

という間違った論法である。AとCが互いに素なら正しく使えるテクニックだが、
互いに素とは限らないケースでは全く使えないのである。

にも関わらず、>1は条件反射的に何度もこのミスを繰り返している。
>1がこのミスをしたのは、俺が見かけた範囲だけでも3回程度はあったはず(今回を含めて)。

おそらく、>1の中でこの間違え方は「クセ」になっている。
>1の反応を見る限り、>1はこの間違え方を全く克服できていない。
他人からその都度指摘されなければ、間違っていることが理解できない。
となれば、今後もこの間違え方を繰り返すものと思われる。
0004重要テンプレ
垢版 |
2018/09/19(水) 14:43:24.31ID:Bdn4VQla
いつもの流れ

1.「間違いが見つかりました、撤回します」

2.「(今論点じゃないところ)を修正しました。完成です」

3.(論点について聞かれても)「もうすでに直しました(←直ってない)。読んでから言ってください」
0005132人目の素数さん
垢版 |
2018/09/19(水) 14:45:29.84ID:Bdn4VQla
これまでの奇数芸人ネタ
・pは定数でありかつ変数である。
・奇数÷奇数は整数かつ奇数に決まってる。そんな簡単なこともわからないのですか。
・wは整数であり同時に整数でない。
・2m+1は因数だが2m+1の倍数ではない。
・a=b/3なら、aはbを因数に含む。
・変数は数値に置き換えてはダメ。
・(A×B)/C:整数かつ B/C:非整数 ⇒ A/C:整数は当然。
・27/5 は 3 で割り切れる。
・定義はしていますが、値は定めていません。
・少なくとも一つはそうなる、ということで
 全てに対して成り立たなければならない。
・式の形から1つのkで成り立てば、全てのkでも成り立つ。
・自明なことを証明することは難しい。
・この論理は正しさが証明することができません。
・証明を見つけましたので、未解明ということにしたい。
・定理を導出した。その定理の証明が難しく完成が困難になっている。
・最後の命題は、他者が家の外からその命題を確認したと聞こえてきた。
・無限に約分可能。つまり、公約数が無限にある。
・計算間違いをしないと証明終了にならない。
0006132人目の素数さん
垢版 |
2018/09/19(水) 14:46:00.05ID:Bdn4VQla
・1の書いたものが、あまりにも汚い。
・明らかな間違いだらけなのに、1は正しいと言い張る。
・親切なスレ住人たちを1が罵倒する。
・明らかな間違いを指摘しても1が理解しない。
・書き込みが少し数学的なだけで1は、理解できないと言って逃げる。
・A→BとB→Aの区別ができない。
・∀∃の区別ができない。
・背理法もわかってない。
・頑張って数学っぽい言葉使いをしようと精一杯背伸びしてるのが痛々しい
・テレビから自分の悪口が聞こえると発言する。
・常軌を逸した奇数芸人ネタが1から出ても、スレ住人に相手にされなくなってきた。
0007132人目の素数さん
垢版 |
2018/09/19(水) 14:47:11.33ID:Bdn4VQla
1の思考方法

受験に失敗する → イカサマだ!学校が悪い!
会社をクビになる → 不当だ!会社が悪い!
再就職に失敗する → 政治家が人生を妨害している!
病気と診断される → 誤診だ!医者が悪い!
論文が完成しない → 誰かが研究を妨害している!
00081の自己紹介
垢版 |
2018/09/19(水) 14:49:04.59ID:Bdn4VQla
284132人目の素数さん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のニュースで痴漢が三時に散歩していると
報道。ふざけるのもいい加減にしろと言いたい。
・最古の未解決問題を完全に独力で解決したが、社会的に完全に無反応。
0009前スレ末の1の発言集
垢版 |
2018/09/19(水) 14:57:02.30ID:Bdn4VQla
・みのもんたが朝スバという番組で私を馬鹿にする発言をした

・Q様で「これじゃ奇数芸人みたいじゃないですか?」発言

・政治的な怨念による嫌がらせがあるかもしれない

・政治勢力には私に独り言で批判されるのが嫌い
 それで、交通事故に見せかけた暗殺を企てたり、
 盗聴していると考えられます。

・テレビ朝日で、首相を馬鹿にすると三代祟られるというのを放送していた。
 私の例からすると強ち虚構とも思えない。

・事故に見せかける暗殺は多くあるんじゃないの?
 信号無視して横断歩道を渡っていたら、
 50kmの道路で加速して60km超ぐらいのスピードで私を轢こうとした車があった。
0010このスレの用語
垢版 |
2018/09/19(水) 15:09:47.93ID:Bdn4VQla
・オオカミ中年
嘘をつきまくる1の事。
また、1はwolframを間違えてwolfmanと言っていたため。


・奇数芸人
1がTVから聞こえてきた自分を指す言葉。
最近は奇数芸人よりも、統失芸人としての活動が多い。
00111が病院を拒否する理由
垢版 |
2018/09/19(水) 15:10:53.96ID:Bdn4VQla
病気のレッテルを張られるのは非常に不愉快ですので、
止めていただきたい。それは精神科医の誤診なので。
しかもこの診断をされたのは、18年も前のことだ。


会社のリストラと親が田舎に住むことを決めたので、
不本意に全く働くことができなくなって何年も経っている。
こちらに移住してから親がしつこく進めるので精神科医に一回だけ見てもらったが
「天才薄明といいますからね。」
と言われました。

このことからも、非常に私の過去の診断が怪しいものだと考えられます。
私が精神科医にかかることは二度とないと思います。
0012TVが1を知っている理由
垢版 |
2018/09/19(水) 15:11:48.26ID:Bdn4VQla
テレビに出演する芸能人や大臣、総理までよくこんな田舎に現れますから、
何が目的かは知りませんが。

それから、イギリス女王も2回ほど散歩をしているときに見かけました。
0013 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 15:31:03.37ID:CimJW8bs
私のレスをコピーするのを止めろ。せめて引用記号を書け

>>10
かなり前に、wolframのことをwolfmanと書く人がいたから、ついそう書いてしまっただけだ

>>11 訂正
×薄明
〇薄命
0016132人目の素数さん
垢版 |
2018/09/19(水) 15:46:30.01ID:83INuBS8
>(2v+1)(4q+1)^2-s(4q+1)-2v=0, u>0 q>0
>これをwolframさんに計算してもらうと
>v=4q+1
>u=2p+1

wolframalphaに上式「(2v+1)(4q+1)^2-s(4q+1)-2v=0, u>0, q>0」を突っ込んでみたが、そのような結果にはならなかった。だいたい変数pは式に含まれていないのにどこから出てくるのか?

wolframを根拠にする場合は、検証のためURLを載せるべき
0018 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 16:42:34.82ID:CimJW8bs
>>2
二次方程式のところから
(2v+1)(4q+1)^2-s(4q+1)-2v=0
2v≡0 (mod 4q+1)

wを整数として
v=w(4q+1)とすると

(2v+1)(4q+1)^2-s(4q+1)-2w(4q+1)=0
(2v+1)(4q+1)-s-2w=0
up=s+2w
up=a/c+2w
u(p-p^n)=2w

2w≡0 (mod p)
となるが、2w?0 (mod p)であるため矛盾になる。
以上から、奇数の完全数は存在しない。
0020 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 16:48:50.75ID:CimJW8bs
よく分からなくなってきました...
0023 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 19:40:05.61ID:CimJW8bs
>>18 訂正
v=w(4x+1)とすると
(2v+1)(4q+1)^2-s(4q+1)-2v=0

(2w(4q+1)+1)(4q+1)^2-s(4q+1)-2w(4q+1)=0
(2w(4q+1)+1)(4q+1)-s-2w=0
(2wp+1)p-s-2w=0

2wp^2+p-s-2w=0
q=(-1±√(1+4*2w*(s+2w)))/(4w)
q=(-1±√(16w^2+8sw+1))/(4w)
q=(-1±√((4w+s)^2-s^2+1))/(4w)

wolframさんの計算結果によると、(4w+s)^2-s^2+1が平方数になるのは
http://www.wolframalpha.com/input/?i=(4*w%2Bs)%5E2-s%5E2%2B1%3Dn%5E2,+s%3E0,+w%3E0
から(s,w)=(1,1),(4,1),(8,1),(1,2)
s=a/cだから、奇数でなければならないので、s=1となるがこのときa=cとなり不適になる。
0027132人目の素数さん
垢版 |
2018/09/19(水) 20:53:10.31ID:m7HM8arE
・1による奇数芸人ネタ

>pは定数でありかつ変数である。
>奇数÷奇数は整数かつ奇数に決まってる。そんな簡単なこともわからないのですか。
>wは整数であり同時に整数でない。
>2m+1は因数だが2m+1の倍数ではない。
>a=b/3なら、aはbを因数に含む。
>変数は数値に置き換えてはダメ。
>(A×B)/C:整数かつ B/C:非整数 ⇒ A/C:整数は当然。
>27/5 は 3 で割り切れる。
>定義はしていますが、値は定めていません。
>少なくとも一つはそうなる、ということで全てに対して成り立たなければならない。
>式の形から1つのkで成り立てば、全てのkでも成り立つ。
>自明なことを証明することは難しい。
>この論理は正しさが証明することができません。
>証明を見つけましたので、未解明ということにしたい。
>定理を導出した。その定理の証明が難しく完成が困難になっている。
>最後の命題は、他者が家の外からその命題を確認したと聞こえてきた。
>無限に約分可能。つまり、公約数が無限にある。
>計算間違いをしないと証明終了にならない。
0028132人目の素数さん
垢版 |
2018/09/19(水) 20:53:35.79ID:m7HM8arE
・1の発言集 前スレ末のみ

>みのもんたが朝スバという番組で私を馬鹿にする発言をした

>Q様で「これじゃ奇数芸人みたいじゃないですか?」発言

>政治的な怨念による嫌がらせがあるかもしれない

>政治勢力には私に独り言で批判されるのが嫌い
>それで、交通事故に見せかけた暗殺を企てたり、
>盗聴していると考えられます。

>テレビ朝日で、首相を馬鹿にすると三代祟られるというのを放送していた。
>私の例からすると強ち虚構とも思えない。

>事故に見せかける暗殺は多くあるんじゃないの?
>信号無視して横断歩道を渡っていたら、
>50kmの道路で加速して60km超ぐらいのスピードで私を轢こうとした車があった。
0029132人目の素数さん
垢版 |
2018/09/19(水) 20:53:58.48ID:m7HM8arE
・1が病院を拒否する理由

>病気のレッテルを張られるのは非常に不愉快ですので、
>止めていただきたい。それは精神科医の誤診なので。
>しかもこの診断をされたのは、18年も前のことだ。


>会社のリストラと親が田舎に住むことを決めたので、
>不本意に全く働くことができなくなって何年も経っている。
>こちらに移住してから親がしつこく進めるので精神科医に一回だけ見てもらったが
>「天才薄明といいますからね。」
>と言われました。

>このことからも、非常に私の過去の診断が怪しいものだと考えられます。
>私が精神科医にかかることは二度とないと思います。
0030132人目の素数さん
垢版 |
2018/09/19(水) 20:54:23.02ID:m7HM8arE
・TVが1を知っている理由

>テレビに出演する芸能人や大臣、総理までよくこんな田舎に現れますから、
>何が目的かは知りませんが。

>それから、イギリス女王も2回ほど散歩をしているときに見かけました。
0031132人目の素数さん
垢版 |
2018/09/19(水) 20:58:03.07ID:m7HM8arE
よしこれで1が望んだように、
テンプレ>>3-12 の1の発言に>マークを付けちゃったぞ>>27-30


自己紹介>>8 にはレスの番号もあるしいらんだろ
0033 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 21:50:22.08ID:CimJW8bs
(2wp+1)p-s-2w=0
s+2w≡0 (mod p)
2w≡0 (mod p)
となるからw=zpとすると

(2zp^2+1)p-p^n-2zp=0
(2zp^2+1)-p^(n-1)-2z=0
2zp^2-p^(n-1)-2z+1=0

2z-1=Apとすると
(Ap+1)p^2-p^(n-1)-Ap=0
(Ap+1)p-p^(n-2)-A=0

A=Bpとすると
(Bp^2+1)p-p^(n-2)-Bp=0
(Bp^2+1)-p^(n-3)-B=0
Bp^2-p^(n-3)-B+1=0 …@

B-1=Cpとすると
(Cp+1)p^2-p^(n-3)-Cp=0
(Cp+1)p-p^(n-4)-C=0

C=Dpとすると
(Dp^2+1)p-p^(n-4)-Dp=0
(Dp^2+1)-p^(n-5)-D=0
Dp^2-p^(n-5)-(D-1)=0 …A

n=5のときは
Dp^2-D=0
∴p=±1

式@とAを比較すると、変数が変わりnの次数が2少なくなっている。
この操作を繰り返せば、n=4m+1であるから、必ず最後には
n=5の場合と同様になり、p=±1になり不適になる。
以上から、奇数の完全数は存在しない。
0034132人目の素数さん
垢版 |
2018/09/19(水) 22:48:23.93ID:9xTlSHg4
あれ?PDF作らないんすか?
0035 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 23:26:25.43ID:CimJW8bs
>>33はD=0のときに、不適にならないので誤りでした
0036 ◆RK0hxWxT6Q
垢版 |
2018/09/19(水) 23:35:32.76ID:CimJW8bs
と思いましたが、D=0のときは全てのpで成り立つので不適とも考えられます
0037132人目の素数さん
垢版 |
2018/09/19(水) 23:44:40.75ID:k0i3RUD+
               __∧_∧_∧_∧_∧_∧_∧_∧_∧_∧__
     デケデケ      |                    |
        ドコドコ   < PDFまだーーーーーー!!?      >
   ☆      ドムドム |_ _  _ _ _ _ _ _ _ _|
        ☆   ダダダダ! ∨  ∨ ∨ ∨ ∨ ∨ ∨ ∨ ∨
  ドシャーン!  ヽ         オラオラッ!!    ♪
          =≡= ∧_∧    ☆
      ♪   / 〃(・∀・ #)  / シャンシャン
    ♪   〆  ┌\と\と.ヾ  ∈≡∋ゞ
         ||  γ ⌒ヽヽコ ノ ||
         ||  ΣΣ  .|:::|∪〓 ||   ♪
         ./|\人 _.ノノ _||_./|\
         ドチドチ!
0039132人目の素数さん
垢版 |
2018/09/20(木) 00:23:01.50ID:HhVYcO0l
   *☆**☆*
  *☆*★★★*☆*
`*☆*★※※※★*☆*
*☆★※☆☆☆※★☆*
*☆キタ━(゚∀゚)━!!☆*
*☆★※☆☆☆※★☆*
`*☆*★※※※★*☆*
  *☆*★★★*☆*
   *☆**☆*
0040132人目の素数さん
垢版 |
2018/09/20(木) 01:59:54.94ID:JV1gFsdU
いや、PDFじゃないほうが議論が板の中で済んで助かるんだが・・

>>33
>(2wp+1)p-s-2w=0
s=a/c=p^nだから、これをwで解いて
w=(p^n-p)/(2p^2-2)

>となるからw=zpとすると
z=(p^{n-1}-1)/(2p^2-2)

>2z-1=Apとすると
2z-1=(p^{n-1}-p^2)/(p^2-1)だから
A=(p^{n-2}-p)/(p^2-1)

>A=Bpとすると
B=(p^{n-3}-1)/(p^2-1)

>B-1=Cpとすると
C=(p^{n-4}-p)/(p^2-1)

>C=Dpとすると
D=(p^{n-5}-1)/(p^2-1)

>n=5のときは
D=0となる

よって
>Dp^2-D=0
から
>∴p=±1
とは言えない
0041132人目の素数さん
垢版 |
2018/09/20(木) 02:13:51.75ID:JV1gFsdU
>と思いましたが、D=0のときは全てのpで成り立つので不適とも考えられます
また「不定だから矛盾」を繰り返すのかい?


「不定だから矛盾」についてご存じない方は過去スレを「不定」で検索。
https://rio2016.5ch.net/test/read.cgi/math/1483900653/
https://rio2016.5ch.net/test/read.cgi/math/1523602627/
この議論を繰り返すのはちょっと勘弁してほしいんだが。
0042132人目の素数さん
垢版 |
2018/09/20(木) 02:47:06.49ID:EhPTku6k
>午後三時に散歩していると、次の日にKKBのニュースで痴漢が三時に散歩していると報道。

0044132人目の素数さん
垢版 |
2018/09/20(木) 08:34:14.71ID:oFp+/vh3
何も問題はないけどな、ただ働けなくされているというだけで
この前も嫌がらせで6才ぐらい子供に調子に乗られたわ。
間違いなく親がそうさせている。
0045 ◆RK0hxWxT6Q
垢版 |
2018/09/20(木) 14:46:00.23ID:oFp+/vh3
>>40
>w=(p^n-p)/(2p^2-2)
これはp≠±1のときにしか成立しない
0046132人目の素数さん
垢版 |
2018/09/20(木) 15:49:59.47ID:YqJVPk65
>>45
その「p≠±1のときにしか成立しない」が成り立たないことを>>40で反証しているように見えるがどうか
0047132人目の素数さん
垢版 |
2018/09/20(木) 15:53:13.18ID:YqJVPk65
>>45
いや違うか
>これはp≠±1のときにしか成立しない
>>40は「p=±1とは言えない」と言っているのだから、それで何も問題はない
どう転んでも論文のほうが間違い
0048132人目の素数さん
垢版 |
2018/09/20(木) 15:56:31.96ID:AawV9nQF
また1が駄々こね回してるのか
1には無理だ
いい加減諦めろ
0049132人目の素数さん
垢版 |
2018/09/20(木) 18:05:00.11ID:oFp+/vh3
計算に誤りはない。ただ、全てのpで成立するという式から、この問題に
解がないことを是とするかどうかだ。
0052132人目の素数さん
垢版 |
2018/09/20(木) 22:30:10.30ID:YqJVPk65
>>49
>全てのpで成立するという式から、この問題に解がないことを是とするかどうかだ。
是とできる訳がない
理解力のない1がまたループに入っただけ
過去スレ1万回読み直せ
0055132人目の素数さん
垢版 |
2018/09/20(木) 23:38:02.23ID:YqJVPk65
>>53
PDFで投稿したら間違った論理が正しくなるとでも言いたげだな
もちろんそんな道理はない
■ このスレッドは過去ログ倉庫に格納されています

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