奇数の完全数の存在に関する証明

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/

１は無勉強だの知らないから仕方ないだのと言い続けてたら一生笑いもので終わるよ。

>>143
>合っています

では

a = 2y/(1+p+p^2+p^3+p^4+p^5)、c=2y/(1+p+p^2+p^3+p^4+p^5)/p^5
u = (1+p+p^2+p^3+p^4+p^5)/(1+p)
s = a/c = p^5、v=(u-1)/2 = (p^2+p^3+p^4+p^5)/(1+p)/2
w=(p+p^2+p^3+p^4)/(1+p)/2、z=(1+p+p^2+p^3/(1+p)/2

になりますよね？

>>152
bは奇数のだから、yが奇数になる
yは偶数ではないのですか？

>>154
その計算を続けるとD=0となりますが、D=0だと不適です

＞>>152
＞bは奇数のだから、yが奇数になる
＞yは偶数ではないのですか？

それはキミのいつものセリフと同じ
「そんなことは言っていません」

実際、bが奇数だとはひとっことも言っていないし、素因数に2が含まれないとも言っていない
偶数の完全数に関する証明だからな

>>142は今回の１の論文と同じ論法しか使っていない
いうまでもなく、偶数の完全数が存在しないという主張は明らかに間違っているのだが
では>>142のどこが間違っているかを追究すれば、１の論文の同じ個所に誤りがあることが明らかになる

論文の誤りを隠しておきたければ、１は黙っていたほうが良いのだがな

>>139も1と同じ論法しか使ってません

>>155

でも

a = 2y/(1+p+p^2+p^3+p^4+p^5)、c=2y/(1+p+p^2+p^3+p^4+p^5)/p^5
u = (1+p+p^2+p^3+p^4+p^5)/(1+p)
s = a/c = p^5、v=(u-1)/2 = (p^2+p^3+p^4+p^5)/(1+p)/2
w =(p+p^2+p^3+p^4)/(1+p)/2、z=(1+p+p^2+p^3/(1+p)/2
A = (2z − 1)/p = (p+p^2/(1+p)
B = A/p = (1+p)/(1+p) = 1
C = (B-1)/p = 0
D = 0

でこの８行の式はなにも矛盾していませんよね？
べつに上の8行が任意の p で成立するからといって矛盾しないし、
∀p φ(p) ⇒ ∃p φ(p)
は矛盾してるわけではないので上の式変形を今我々が考えている p に適用することで何も矛盾を生じません。
矛盾するというなら別のルートで D≠0 が示さないといけませんが、それはどこでしめされているでしょう？
「D=0なら何が任意のpで何かが成立するから矛盾」ということですが、具体的にどの式が任意の p で成立するから矛盾なんですか？

＞∀p φ(p) ⇒ ∃p φ(p) は矛盾してるわけではないので

その説明で普通の人は納得するんだが、
この1は∀とか∃とかの意味をまるで理解してないからな

>>156
>>157
論文と同じ定義をして結果を導いているくせに、bが奇数ではないとはどういうことですか？
ふざけるのはやめろ

>>159
その8行は正しいですが、私の論文に書いてある内容も正しいですよね。
D=0だと、p=1でも、p=2でも成立してしまいます。
D=0が不適だというのは、>>143で書いてある内容でしかありません。

>>160
理解してないわけがない。

＞論文と同じ定義をして結果を導いているくせに、bが奇数ではないとはどういうことですか？
＞ふざけるのはやめろ

１ほどふざけたことは言っていない。
要するに、１の論法を使えば、yやbが奇数であるという制限をわざわざ加えなくとも
完全数が存在しないことを証明できると言っている。

もちろんこの結論は誤っているから、その意味ではふざけた論法だよ。１の論文は。

>>161
何度も言いますが、
　0(p^2-1)=0
と
　p=4q+1
は矛盾しませんよね。本当にわからないんですか？

>>162
D(p^2-1)=0
という方程式がでてくる以上、D=0は不適としているがどこが間違っているのか？
全てのpでyが完全数になることはないが。

>>163
それは共通部分があるというだけですよね
　0(p^2-1)=0
と
　p≠4q+1⇒不適
が成り立つというんですか？

>>165
意味不明なんですが...

普通に考えて、
　0(p^2-1)=0
と
　p=4q+1
は両方同時に成り立てるので、矛盾は導けてませんよね
わかりませんか？

＞D(p^2-1)=0
＞という方程式がでてくる以上、D=0は不適としているがどこが間違っているのか？
その式については何も言っていません。
もとい、「そんなことは言っていません」と言ったほうが通じるか

＞全てのpでyが完全数になることはないが。
はいはい、あなたの中では偶数の完全数も存在しないのですね。はいはい。

D=0って言ってるのは1だけだよ
実際はD=0になる場合があるんだからどんな弁明も意味をなさない

>>168
D=0が不適と言っているのは、だった

>>166
論文で、p≠4q+1のpでは完全数にならないことを証明しています
ですから、pが不定⇒全てのpで正しい
という命題は否定しなければならない

>>167
奇数の完全数があるとしたらという前提で、条件を設定しているんですけど
偶数の完全数に関しては何も言っていません

「D=0が不適」っていうのは、もしかして「Dは0でない」って意味なのか？

>>170
二つの式
　0(p^2-1)=0
と
　p=4q+1
は両方同時に成り立つ。○か×か？

>>171
D=0では任意のpで成立するということになるからよろしくない
同時には成り立つが。

>>143で書いた内容は同時に成り立たない

>>170
確かに貴方は仮定として「奇数の完全数が存在する」を採用しているね
でも証明は不完全で間違っている
その証拠としてこっちは仮定部分を「偶数の完全数が存在する」に書き換えてみたところ同じ証明が可能ではないか、と言っているんだよ

確かに貴方は偶数の完全数に関しては何も言ってないね、だけどお願いだから偶数の完全数に関する話も考慮してよ

>>172
同時になりたつなら、矛盾はない。○か×か？

というか>>148の計算をしてみて思ったけれど、多分pに何を採用してもDにあたる部分は最終的には0になるんだよね

その瞬間がすなわちpで割り切れたことを指すのだろうね、その証拠に>>148の「0を整数として」以下の式ではp^(n-n)の形の式が出てきている
このときDp^2-D=0⇔p=±1のような関係は破れるね

>>174
>>171に書いてある部分では矛盾にならないが

>>143の
p≠4q+1⇒不適
pは不定⇒正しい
は両方正しいということにならないので、不適だと書いています

>>176
散々D=0の場合
　0(p^2-1)=0
で不定だから矛盾って仰ってませんでしたっけ？
まぁいいですけど

p≠4q+1というのはどこから出てきましたか？
　yが完全数→p=4q+1
でしたよね

4q+1が何かよく知らないけど、たとえpにどんな制限があるとしても、そもそも「pはyの素因数から選んでいる」という前提･仮定だから問題ないんだよ
要は0(p^2-1)=0という式はyの素因数たる全てのpについて成立する、これ自体は矛盾しない
p≠4q+1たるpでそれが成立しようが、もともと仮定に入ってないんだから言及は不要なの、お分かり？

当然分かるわけがない
高木やぞ

>>161
p=1、p=2で>>159が成立したら何がまずいんですか？
実際成立しているし。
>>159の議論はp=-1を除くすべての実数で成立してますね。
矛盾するというのならその８行の証明とは別ルートで

「yが奇数の完全数、pがmultiplicity奇数の素因子、a,b,c…等を>>159のように定めるとき>>159のいずれか一行が成立しない。」

が証明できないと矛盾しませんよ？

「任意の p でこんな式が成り立つ。」

が証明できたら

「一方でこの p ではこの式が成立しない。」

を証明しないと。

>>177
＞p≠4q+1というのはどこから出てきましたか？
論文の中で証明しています。

＞　yが完全数→p=4q+1
＞でしたよね
そうです

>>178
問題なくない、p≡1 (mod 4)でなければyは完全数にならない

>>180
＞p=1、p=2で>>159が成立したら何がまずいんですか？
＞実際成立しているし。
どの値でも成り立つのがおかしいのです。だいたいpが偶数だったら
y=bp^nだから、yが偶数になってしまう。

>>181

いや、そもそもその式は

yが奇数の完全数、pがmultiplicity 奇数の素因子⇒✕✕✕

の向きででてきた式であって逆向きは成立しませんよ？
つまり

p が✕✕✕⇒∃y yは奇数の完全数、pはそのmultiplicity 奇数の素因子…(※)

が証明できてるなら p=1 とか 2 とかで成立したらおかしいといえるけど。
(※)の証明ありませんよ？

pを奇数とする。
このpについて、0p=0の関係が成立するが、この式はpが偶数でも成立するから不適となる。
よって奇数は存在しない。証終。

>>182
何書いているのか分かりませんが
yが完全数⇒p=4q+1
が正しいから
p≠4q+1⇒yは完全数ではない
ですけど

>>183
0p=0ではなく、D(p^2-1)=0で
D=0が不適、D≠0のとき、p=±1で不適

自然数の組(x,y,z)が等式x^n+y^n=z^n (n>2)を満たすと仮定する.ここで0x=0y=0z=0の成立が必要であるが,この等式は(x,y,z)=(1,1,1)でも成立するので不適である.

>>181
p=4q+1かつp≠4q+1が示されればそれで終わりですね
後者は論文のどこにありますか？

論文の最後、「�J式が必要である」で終わってんだけどこれ完成してんの？
アブストでは証明完みたいなこと書いてあるけど

あとイントロがアブストの前に来てんのなんで？

>>184
y が奇数の完全数 p が multiplicity 奇数の素因子…(A)⇒ p ≡ 1 (mod 4)
はその通りですね。

一方で
(H) ＆ n=5⇒ D=0

も証明されました。
しかし、ここから

D=0 ⇒ p ≡ 1 (mod 4) でない。…(B)

などが証明できたのならたしかに矛盾です。
でもそんな証明ありませんよね？
あなたが主張してるのは

「たとえp ≡ 1 (mod 4) でなかったとしても>>159が成立する場合がある…(C)」で、それは正しいですが、これは(B)を意味しませんよ？
(C)⇒(B)が証明できますか？

論文のやり方をすればDp^2=Dとなるとき必ずD=0となる。
不適ではない。必然的にそうなる。従ってp=±1とはならない。

>>189
訂正
✕「たとえp ≡ 1 (mod 4) でなかったとしても>>159が成立する場合がある…(C)」
◯「D=0 ⇒ たとえp ≡ 1 (mod 4) でなかったとしても>>159が成立する場合がある…(C)」

>>185
0x=0y=0z=0式は勝手にあなたが書いた式であり、何の意味もありません

>>186
そのようなことは書いていません。p≠4q+1では不適だという証明があります。

>>187
補足の部分はこの研究で得られた結果ですが、証明には寄与していません
証明は完成しています。

>>188
とくに意味はありません

>>189-190
D=0の場合は全てのpで成立するから、十分性に問題があり、不適になるとしています
この論理を正しいとしない限りこの問題はこの証明では解決しないことになります。
私は方程式が数学的に正しい式の変換により、不定になるのであれば、その問題設定
自体が誤っていると考えます。

>>192
p=4q+1が示されていますので、「p≠4q+1は不適」の意味がわかりません
>>176も含めて、詳しくお願いします

>>192
以下の証明をどう思いますか？


6を完全数とし、その約数のうちの一つをpとする。このとき、
　0p=0
が成り立つので、pは不定となり矛盾。したがって6は完全数ではない

>>1のロジックを使うとこれが正しい証明になります

>>192 訂正
＞その問題設定自体が誤っていると考えます。
は条件設定は正しいですが、その設定では正しい解が得られない＝奇数の完全数は存在しない
です。

>>193
>>184

>>194
偶数での証明は私が書いたものではないから、その質問に答える必要はない

>>196
「D=0が不適」というのは、D≠0という意味ですか？

あなたのロジックで流用すると、6が完全数でないことが示せるんですよ
おかしいとは思いませんか？

>>192
>D=0の場合は全てのpで成立するから、十分性に問題があり、不適になるとしています
>この論理を正しいとしない限りこの問題はこの証明では解決しないことになります。

「D=0 ⇒ Dp^2 − D = 0がすべてのpで成立する。…(X)」

は正しいです。
しかしそんなこといってもあなたが主張した p ≡ 1 (mod 4)に矛盾しません。
なぜならば
(X) ⇒ p ≡ 3 (mod 4)
が言えるわけじゃないからです。

「Dp^2 - D = 0 が p≡3 (mod 4)でも成立しうる。∴ p≡3 (mod 4)」

なんて言えないでしょ？

0p=0論法で偶数の完全数が存在しないことが言える以上、>>1には2つの立場しかない

�@ >>1の証明が誤りであったと認める
�A 実は奇数の完全数も偶数の完全数も存在しないと主張する

奇数の完全数yが存在したと仮定し,その素因数の1つをpとする.ここで,ある自然数qが存在してp=4q+1が成立する.
D=1/(p+1)-4q/(p^2-1)とおけばDp^2-D=0.
D≠0ならp=±1となり不適, D=0なら言わずもがな不適.
よって奇数の完全数は存在しない.

偶数の完全数yが存在したと仮定し,その素因数の1つをp(≠2)とする.ここで,ある自然数qが存在してp=2q+1が成立する.
D=1/(p+1)-2q/(p^2-1)とおけばDp^2-D=0.
D≠0ならp=±1となり不適, D=0ならもちろん不適.
よって偶数の完全数も存在しない.

で、解けたの？解けてないの？

このスレの主は絶対だ
命題「間違っていることが示されていない⇒正しい」は真なのだ

完全数の一般理論は、凄まじく高級な理論でなければ多分解けない
そういう意味ではフェルマーと同じ

>>198
p≠4q+1のpではこの問題の解になり得ないのに
Dp^2-D=0かつD=0
だと、この不適のpであってもこの式自体が真になるからD=0は不適だということになります

とうとう論文PDFを配布しないようになったか

yを完全数とする。
y=3ではこの問題の解になり得ないのに
Dy^2-D=0かつD=0
だと、この不適のyであってもこの式自体が真になるからD=0は不適だということになります
よって完全数は(偶数のものも含めて)存在しない。証終。

もうこれでいいだろ。簡潔だ。

１は、さっさとメンヘル板に移転しろ

>>205
>p≠4q+1のpではこの問題の解になり得ないのに
>Dp^2-D=0かつD=0
>だと、この不適のpであってもこの式自体が真になるからD=0は不適だということになります

なりませんよ？

∃y y:完全数 p は y の素因子でmultiplicity は奇数 …(A)
Dp^2 - D=0 かつ D=0 …(B)

において論文中で示されているのは(B)が(A)の必要条件であることだけです。
一般には必要条件は元の条件の解ではないものを解として含み得ます。
「(B)が(A)の解でないものを解として含むから不適」といいたいなら(B)が(A)の十分条件である証明がないとだめです。
その証明ないでしょ？

なんでこれだけの人に懇切丁寧に違うよって言われてるのに、まだ自分が正しいと思えるのか？

１は、統失芸人だからな

１は子供のころ授業に落ちこぼれてしまい
ずっと学校で寝てすごすようになってしまった。
当然に知能はそこでストップ

１は昔は成績が良かっただなんて妄想を持ってるけど、
このスレで知能が無いことは明らか。

入試のある学校にはことごとく不合格になるのも当然。

＞134 名前： ◆RK0hxWxT6Q [sage] 投稿日：2018/09/22(土) 23:22:32.74 ID:D678NCw7 [19/20]
＞無理しなくていいです。他のスレで「無になって〜」と書くことになりますよ

１は「無になって〜」の人と統失仲間でシンパシーでも感じてるんかな。

それとも１と同一人物だったりして。

>>206
>>84

>>207
適当に設定したその場合では、不適にはなりません

>>209
奇数の完全数が存在するためには、p=4q+1であることが必要であり、p≠4q+1では
不適だということを書きました。
何が足りないのか具体的に誰にでも理解できる言葉で書いてもらえますか？

>>210
完全に正しいから

>>212
小学校のときはクラスで大体2番。中学校は1学年6クラスで、学年順位は2〜4番
当然無勉強でw
最終学歴は早稲田大学理工学部応用物理学科卒業

１には勉強する能力が無いので当然無勉強

いまだに算数ができないままで、悲惨で無残

>>215
高校はどこなんですかね...

自己紹介にあるじゃん
前スレにも書かれてたけど
都立城東高校の特別支援学校

他の高校は入試があるので全部落ちた

>>217
都立城東高校

>>218
普通科しかないし、高校を馬鹿にするのはやめろ

筑波大付属より上の5科目合計偏差値75なのにそうなったから、イカサマ

高木さんは皆の説明のどこまでを理解しているの？
この情報は理解できるような説明をするには不可欠だと思う

>>215
>>>209
>奇数の完全数が存在するためには、p=4q+1であることが必要であり、p≠4q+1では
>不適だということを書きました。
>何が足りないのか具体的に誰にでも理解できる言葉で書いてもらえますか？

pについての条件

∃y y:完全数 p は y の素因子でmultiplicity は奇数 …(A)
∃D Dp^2 - D=0 かつ D=0 …(B)
∃q p=4q+1…(C)

がありますね？
あなたが論文中で証明したのは
(A) ⇒ (B)
(A) ⇒ (C)
です。
そしてそれは正しい。
問題は「(B)の場合必ずしも(C)が成立するとは限らないので矛盾」という主張です。
確かに(B)の条件をみたす素数で(C)を満たさないものはいくらでもあります。
p = 3,7,11,19,…
それどころか(B)の条件は素数でないものですら成立し得ます。
しかし、(B)の条件をみたすが、(A)の条件、(ないしは(C)の条件)を満たさない p が存在するはずがないのは証明していますか？
あなたが証明したのはあくまで(A)⇒(B)です。
この時点では(B)は満たすが(A)を満たさない素数が存在してもなんら矛盾していません。
矛盾すると主張するなら今度は(B)を仮定して(A)(ないしは(C))が成立することを証明しないといけません。

>>221
>>209が何を言っているのか分からない。

p=4q+1であることは、論文の4ページに書いてある。
つまり、p≠4q+1では不適だということ。
この条件がある限り、D=0だとD(p^2-1)=0の式が真になってしまうから
D=0が不適だと何度も書いている。
何故この論理が分からないのか、私には分からない。

＞何故この論理が分からないのか、私には分からない。

もう半年も繰り返してるし・・・

>>222
＞(A) ⇒ (C)
を証明していることを確認しているのであれば、その対偶
NOT (C)⇒NOT (A)
が成立するでしょう。

>>224
繰り返しではない、不定になる方程式のかたちが今までとは違う

>>226
>>197にどうぞ

>>225
対偶なんて証明しても駄目ですよ？
対偶なんて元の命題と同値でしょ？
あなたの主張は
「(B)の場合必ずしも(C)が成立するとは限らないので矛盾」
です。
つまり
「(B)をみたすのに(C)を満たさないものがあるのはおかしい」…(＊)
という主張です。
この主張が成立するには論文のどこかで
「(B)をみたすものは必ず(C)をみたす。」
がいえてないと駄目です。これがいえて初めて(＊)が主張できるのです。
⇒で表現すれば
「(B)⇒(C)」
です。
あるいは(B)⇒(A)が言えれば(A)⇒(C)はすでに証明されているのでそれでも構いません。
つまり
(B)⇒(A) もしくは (B)⇒(C)
のいずれかが証明されなければ(＊)を主張することはできません。
すでに証明されてることの対偶なんかなんの役にも立ちません。

>>215
大学院行ってからこいよ

＞何故この論理が分からないのか、私には分からない。
1は自分だけが間違ってるという事実には最後まで気づくことはなかった

今まで判明した高木ルール
・不定になる方程式が導出されれば不適となる
・しかしその導出は「数学的に意味がある」方法でなくてはならない
・さらに変数を「適当に」設定してはならない

こんな意味不明なルールどの教科書に書いてあるんだ？

>>231
>>185の
＞0x=0y=0z=0
に何の意味があるんだっていうの。この条件があったら、x,y,z全て不定になるというだけ

>>228
＞「(B)をみたすのに(C)を満たさないものがあるのはおかしい」
このようなことは書いていません。
(C)を満たさないのに(B)が成立するからおかしいのです。

全てのpで正しい⇒NOT (C)⇒NOT (A)

じゃあ、その高木ルールに従って書かれた>>142は何故間違った結果になるんだ？

>>231
全てのpで完全数が存在するという命題は、明確にp≠4q+1では完全数が存在しないという命題に
反するというだけ。

＞その導出は「数学的に意味がある」方法でなくてはならない
こんなの当たり前だろう、数学なんだから。

>>185
の0x=0y=0z=0に何の意味があるのか？全ての変数で成立するんだったら、解を求める必要がないだろう。

糖質って一つぐらい秀でてるものがあると思うけど高木さんは「自分は数学者だと思い込む力」に秀でてるんだな..

>>234
では、あなたの論文のDp^2-D=0に何の意味があるのか説明してください
私には>>185もあなたの論文も「数学的な意味」は同じだとしか思えません

>>235
うるさい、下らない侮辱は不要だ

>>236
普通の数学の論理に基づく計算により導出した式だからです、数学的に間違っていると
いうのだったらどこが間違っているのか指摘してください

>>237
>>185の0x=0y=0z=0も普通の数学の論理に基づく計算により導出した式です。それとも、0x=0y=0z=0は数学的に間違っているとでも言うのですか？

>>238
それがあったら、全ての変数で正しいんだから、問題の解を調べる必要がないじゃないですか？

>>239
>>197にどうぞ

>>239
あなたの論文と>>185がどう違うかを聞いているんです。>>185が間違った推論であるのは周知の事実です。

あなたは自分の論文が>>185とは違うと主張したいんですよね？
そして>>237であなたはその理由を「普通の数学の論理に基づく計算により導出したから」と回答しました。でも>>185で用いられている0x=0y=0z=0という式自体は数学的に正しいですよね？違いますか？

>>233
偶数の完全数は、2^x-1が素数の場合に
y=(2^x-1)2^(x-1)
となることが知られているから、>>142でいえばn=1となり
n-2が出てくるのはおかしい

もっと簡単で正しい証明ができました

yを奇数の完全数とし、その約数のうちの一つをpとする。このとき、
　0p=0
が成り立つので、pは不定となり矛盾。したがって奇数の完全数は存在しない。

簡単な証明の方が評価されるので、私の勝ちですね
お疲れさまでした

>>232
>＞「(B)をみたすのに(C)を満たさないものがあるのはおかしい」
>このようなことは書いていません。
>(C)を満たさないのに(B)が成立するからおかしいのです。
>
>全てのpで正しい⇒NOT (C)⇒NOT (A)

「(C)を満たさないのに」というのは何が(C)をみたさないのですか？
あなたの論文で p は(C)を満たさないがどこかで証明されていますか？
論文ででてくる p は(B)を満たします。
そして(B)を満たす p は必ずしも(C)を満たすとは限りません。
そこまでは正しい。
しかし「必ずしも(C)を満たさない。」ということと「(C)が満たされないかもしれない。」は意味がちがうでしょ？
もっというなら
「全てのpで正しい⇒NOT (C)」
これがおかしいんですよ。
”すべてのpで正しい(B)の解の集合” と “p≡1 (mod 4)を満たさないpの集合” とどちらが大きいですか？
前者の方が大きいですよね？
よって (B)⇒not (C) なんて成立しないんですよ。
⇒の向きとその⇒の指し示す包含関係についてあなたは逆に理解してるんですよ。

>>245
訂正
✕しかし「必ずしも(C)を満たさない。」ということと「(C)が満たされないかもしれない。」は意味がちがうでしょ？
◯しかし「必ずしも(C)を満たさない。」ということと「(C)が満たされない。」は意味がちがうでしょ？
です。
(B)の解の集合はすべての素数の集合です。
そして論文中の p は確かに(B)の解の集合に含まれます。
もちろん(B)に含まれる集合は必ずしも(C)を満たすとは限りません。
しかし、だからといって「(B)に含まれる p はかならず (C) を満たさない」わけではありません。
つまり(B) ⇒ NOT (C)なんて成立しません。
もちろんそれがいえれば
(A)⇒(B)⇒NOT(C)⇒NOT(A)
となって矛盾しますが(B)⇒NOT (C)のところで切れてるんですよ。

>>245-246
＞(B)⇒NOT (C)
何故言えないのでしょうか。

全てのpで正しい⇒p=4q+1
全てのpで正しい⇒p≠4q+1
が成立します

p≠4q+1⇒奇数の完全数が存在しない
全てのpで正しい⇒すべてのpで完全数になる
という内容は両立しないのです

>>247
私が簡単な証明を発見したので、もう頑張らなくてもいいんですよ

>>247
>全てのpで正しい⇒p=4q+1
>全てのpで正しい⇒p≠4q+1
>が成立します

成立しませんよ？
⇒の意味もういちど確認してください。
X⇒Y
は「Xをみたす任意のpはYを満たす。」
ですよ？
pが任意の素数 ⇒ p ≡ 1 (mod 4)
なんて言えるハズないでしょ？
高校のとき数Aで習ったハズです。
X ⇒ Y とは X をみたす p の集合がYを満たす p の集合に含まれるときです。
全ての素数の集合：2,3,5,7,11,13,17,19,23,……
p ≡ 1(mod 4)を満たさない p の集合：2,3,7,11,19,23,……
どっちが大きいですか？

＞高校のとき数Aで習ったハズです。

学生時代に習ったことをつっこまれると
１は常にピンチに。

>>247

> 全てのpで正しい⇒p=4q+1
> 全てのpで正しい⇒p≠4q+1
> が成立します

wwww

１の奇数芸人ネタは無限に拡大しまくり
尽きることがない