18/09/25 09:43:24.06 Z1WWFutP.net
>>299
そうですね
だから、証明がすでに完了したので、わざわざ後発でしかも長い証明を頑張る必要がなくなってよかったですね
308:１３２人目の素数さん
18/09/25 11:11:20.54 GKrvJbw8.net
>>298
矛盾というのは
7>8、2 ≠3
のようにそれ自体が矛盾している場合には
「7>8 となり矛盾」
でよいでしょう。
しかし
∃D Dp^2 -D = 0…(＊)
という式はこれ単独では矛盾していません。
このような場合にはこの式が具体的に何に矛盾しるのか明示しなくてはいけません。
あなたは先にこれが
∃q p=4q+1…(＃)
に対して矛盾すると主張し、その証明を与えようとして失敗しましたね？
つまり今あなたは論文、このスレ含めていまだ(＊)に矛盾する式を一つも与えることに成功してません。
(＊)と(＃)が矛盾するというなら
∃D Dp^2 - D = 0 ⇒ ∀q p≠4q +1
または
∃q p=4q+1 ⇒ ∀D Dp^2 - D ≠ 0
のいずれかを証明しないといけません。
決して自明では済まされません。
実際あなた一回失敗してるでしょ？
どちらか証明して下さい。
309:１３２人目の素数さん
18/09/25 11:58:04.10 1wkqybLA.net
p, qが整数なら……
310:１３２人目の素数さん
18/09/25 12:23:59.16 ysiK0sqv.net
コミュニケーションにも数学にも問題のある１が
半年も数学の掲示板で暴れまくり。
高木時空でファンタジー小説でも書いて出せば長編が出来上がるだろう。
311:１３２人目の素数さん
18/09/25 13:49:15.92 TMFUwKYX.net
>>298
> 以下の内容は変です。何故数学と、言語ではこのような齟齬があるのでしょうか？
> 数学
> 〇p=4q+1⇒pが不定である
> ×pが不定である⇒p=4q+1
>
> 言語
> ×p=4q+1⇒pが不定である
> 〇pが不定である⇒p=4q+1
>>1は⇒がわかってないって言われてたけどホンットにわかってなかったんだな。
こんなん数A習いたての高1生の疑問やん。
312:１３２人目の素数さん
18/09/25 13:58:58.49 wJbL+Cn9.net
もしかして：言語障害
> 〇pが不定である⇒p=4q+1
「pが不定であるならば p=4q+1」なんて、普通の言語で言ったって正しくはないだろ
313:１３２人目の素数さん
18/09/25 14:10:11.29 BgJ/zHln.net
① 元々は本当に頭が良かったが、何らかの原因で糖質になってしまった
② 実は学生時代も頭が良くはなかったが、糖質特有の妄想で頭が良かったと言っている
③ 健常者だが、糖質のフリをした高度な釣り
さあどれだ
314:１３２人目の素数さん
18/09/25 14:15:36.38 /QJkUkwr.net
こんなやべーやつの存在があって欲しくないという願いを込めて③
315:１３２人目の素数さん
18/09/25 14:20:59.26 TMFUwKYX.net
②
316:１３２人目の素数さん
18/09/25 14:27:52.98 JzoAaOxx.net
>>307
それは証明できるぞ
pを１とする。このとき、
0p=0
が成り立つので、pは不定となり不適となる。
したがって１はこの世に存在してはならない。以上。
317:１３２人目の素数さん
18/09/25 14:46:46.02 ysnqgoGz.net
②でしかありえん。
318:１３２人目の素数さん
18/09/25 14:49:33.00 Z1WWFutP.net
pを２とする。このとき、
0p=0
が成り立つので、pは不定となり不適となる。
したがって２はこの世に存在してはならない。以上。
319:１３２人目の素数さん
18/09/25 14:53:59.00 ysnqgoGz.net
＞③ 健常者だが、糖質のフリをした高度な釣り
これは半年以上の長期間で手間がかかりすぎ。
こんなの実演するだけで基地外決定
＞① 元々は本当に頭が良かったが、何らかの原因で糖質になってしまった
頭が良かったどころか異常でなかったことの痕跡がまるでない。
１が主張するのは偏差値の数字やら多浪の末の早稲田だけで怪しさ満点
通常時なら学校で学ぶ事項を、１はまるで理解できない
分からないと言って逃げる。
普通科なのに学生時代は寝ていただけと主張する大ウソつき。
320:
18/09/25 15:38:53.41 W82J29e4.net
>>301
主張内容が変わりましたね。p=3のときには完全数になり得ないのに
D=0の場合があるのはおかしいと書いていたような気がしますが。
＞∃q p=4q+1
＞に対して矛盾すると主張し、その証明を与えようとして失敗しましたね？
最近では全然失敗していません。p≠4q+1では、完全数は存在しません。
>>304
>>305
当然数学は理解した上で書いているが
pが不定であるならば p=4q+1になり得る
p=4q+1であるならばpが不定になり得ない
この国語的な意味だと、数学と言語が反転しているように考えらえる。
>>312
学生時代に授業中に寝ていても、特に何も言われたことはない
321:１３２人目の素数さん
18/09/25 15:42:27.82 Z1WWFutP.net
「なり得る」だってｗｗ
322:１３２人目の素数さん
18/09/25 15:44:05.55 ysnqgoGz.net
・数学と言語が反転しているように考えらえる。(New)
323:１３２人目の素数さん
18/09/25 15:46:02.17 Z1WWFutP.net
>>313
ところで完全に正しい証明が>>244にあるのに、何故まだ頑張ってるんですか？
324:１３２人目の素数さん
18/09/25 15:58:52.14 OlBAWD/P.net
>>313
>>>301
>主張内容が変わりましたね。p=3のときには完全数になり得ないのに
>D=0の場合があるのはおかしいと書いていたような気がしますが。
>
>＞∃q p=4q+1
>＞に対して矛盾すると主張し、その証明を与えようとして失敗しましたね？
>最近では全然失敗していません。p≠4q+1では、完全数は存在しません。
主張は変えてませんよ。
∃D Dp^2 - D = 0 ⇒ ∀q p≠4q +1
の証明ならまず仮定は
Dp^2 - D = 0
ですね？
ここから p が素数で p≠±1 より
D=0
ですね？つまり
Dp^2 - D = 0 かつ D=0
です。
で前回あなたは
Dp^2 - D = 0 かつ D=0 ⇒ p ≠ 1 (mod 4)
と主張して間違いを認めましたよね？>>249 >>253
Dp^2-D=0 かつ D=0を満たすpｎ集合：2,3,5,7,11,13,17,19,23,……
p ≡ 1(mod 4)を満たさない p の集合：2,3,7,11,19,23,……
なので。
つまり
∃D Dp^2 - D = 0 ⇒ ∀q p≠4q +1
の証明に失敗したんでしょ？⇒の意味取り違えて。
よってあなたは未だ
∃D Dp^2 -D = 0…(＊) と ∃q p=4q+1…(＃)
が矛盾することの証明に成功していません。
証明して下さい。
325:１３２人目の素数さん
18/09/25 16:02:42.99 I7YU+Tqh.net
＞pが不定であるならば p=4q+1になり得る
やはり∃と∀を取り違えてるんだな
上の意味ならば∃p∈Z［0p=0⇒p=4q+1］だからこれは真だろう
しかし「pが不定であるならば p=4q+1」と言ったら、その意味するものは
∀p∈Z［0p=0⇒p=4q+1］だ。これは当然ながら偽となる。
結局、1が∃と∀を理解してないことがまた明らかになった。
326:１３２人目の素数さん
18/09/25 16:02:48.11 OlBAWD/P.net
>>313
>当然数学は理解した上で書いているが
>pが不定であるならば p=4q+1になり得る
>p=4q+1であるならばpが不定になり得ない
>この国語的な意味だと、数学と言語が反転しているように考えらえる。
国語的な意味などどうでもよろしい。
数学の論文書きたいんでしょ？
ならば
Dp^2 - D = 0 かつ D=0 ⇒ p ≠ 1 (mod 4)
は数学の世界では成立していません。
数学の世界のロジックで議論してください。
そして数学の世界のロジックで矛盾を導出して下さい。
327:１３２人目の素数さん
18/09/25 16:19:36.09 TMFUwKYX.net
∃D Dp^2 -D = 0…(＊) と ∃q p=4q+1…(＃)
が矛盾しない事、つまり
∃D Dp^2 -D = 0 ⇒ ∀q p ≠ 4q+1
が証明できっこないなんてセンター数学のレベルやん。
ただし∀と∃の意味がちゃんとわかってればだけど。
328:１３２人目の素数さん
18/09/25 16:50:26.96 TMFUwKYX.net
そもそも論として>>1は
AとBが矛盾する
A ⇒ Bでない
B ⇒ Aでない
の３つが同じ意味だというのを知らないんじゃない？
数Aの時寝てたらしいから。
329:１３２人目の素数さん
18/09/25 17:43:28.02 kAMCo7nS.net
授業中に寝ていても許されるのは特殊学級だよね。
330:
18/09/25 18:08:30.76 W82J29e4.net
>>317
>>319
あなたは、>>253が失敗していることの証明に失敗しているように考えられるのですが。
もう一度書けば
p≠4q+1⇒そのpに対応する奇数の完全数yは存在しない
D=0が成立するのであれば全てのpでそのpに対応する奇数の完全数yが存在する
下の命題は成り立たないからD=0は不適だと書いているのです。
何故
D=0⇒全てのpでこれに対応する奇数の完全数yが存在する
この命題が正しいと言えるのですか？明確に答えて下さい。
この質問に答えることを避けているようにしか見えませんが。
>>320
＞∃D Dp^2 -D = 0
なんでこんな書き方ができるのか、数学記号を書けば煙に巻けるとでも思っているのか
今はD=0の場合の議論をしている。
>>322
特殊学校と書くのは止めた方がいいと思います。高校の関係者に訴えられるかもしれませんし。
331:１３２人目の素数さん
18/09/25 18:43:32.96 SXQ8iiU3.net
>>323
>D=0が成立するのであれば全てのpでそのpに対応する奇数の完全数yが存在する
いえ、D=0のとき成立するのは
Dp^2 - D =0 … (B)
がすべての素数 p について成立するだけです。
あなたが論文中で証明したのは
∃y y:奇数の完全数 p は y の multiplicity 奇数の素数 … (A)
とおくとき (A) ⇒ (B) だけです。
(B) ⇒ (A) など証明していません。
つまり(B)がすべての素数について成立するからといって(A)がすべての素数で成立することなど証明していません。
ということは
D=0 ⇒ ∀p (B) ⇒ ∀ (A)
の２番目の⇒で論理が切れています。
切れていないというなら(B) ⇒ (A)を証明して下さい。
332:１３２人目の素数さん
18/09/25 18:48:17.68 SXQ8iiU3.net
>>324
訂正
✕：D=0 ⇒ ∀p (B) ⇒ ∀ (A)
◯：D=0 ⇒ ∀p (B) ⇒ ∀p (A)
ちなみに∀p (A)が矛盾している命題に異存はありませんよ？
そこに異存はないのでコメントしてないだけです。
問題視しているのは D=0 ⇒ ∀p (A) の導出の部分です。
この向きの導出論文には一つもありませんよ？
333:１３２人目の素数さん
18/09/25 18:54:57.74 Swq0Dt18.net
>>323
完全に正しい証明が>>244にあるのに、何故まだ頑張ってるんですか？
何故認めないのでしょうか？
334:
18/09/25 19:26:13.96 W82J29e4.net
>>324
＞∀p (B)
p≠4q+1では不適なので、これが間違っているのです
335:
18/09/25 19:28:59.95 W82J29e4.net
>>327 追加
p≠4q+1というのはこの証明から導かれる条件なので、全てのpで成立するということには
なりません
336:１３２人目の素数さん
18/09/25 19:47:24.80 Swq0Dt18.net
>>328
完全に正しい証明が>>244にあるのに、何故まだ頑張ってるんですか？
何故認めないのでしょうか？
337:１３２人目の素数さん
18/09/25 20:07:39.99 SXQ8iiU3.net
>>327,328 >p≠4q+1というのはこの証明から導かれる条件なので (B) から ∀q p ≠ 4q+1 の導出前回失敗してますよね？ 導いてください。 (B) : 2,3,5,7,11,13,17,… ∀q p ≠ 4q+1：2,3,7,11,19,… ですよ？
339:１３２人目の素数さん
18/09/25 20:55:41.87 es5is2oH.net
>>323
母校の名誉を穢しまっくてる１が訴えられそう。
悪質な誹謗中傷でね。
340:１３２人目の素数さん
18/09/25 21:57:30.22 FCb8LbnM.net
>>313
>＞∃D Dp^2 -D = 0
>なんでこんな書き方ができるのか、数学記号を書けば煙に巻>けるとでも思っているのか
>今はD=0の場合の議論をしている。
このレベルでもうついてこれなくなるのか……
341:１３２人目の素数さん
18/09/25 22:05:45.19 Tya4K6Jw.net
>>317
＞D=0が成立するのであれば全てのpでそのpに対応する奇数の完全数yが存在する
これが駄目です。
D=0 からいえるのは
「∀p Dp^2 - D = 0」
だけです。
ここから
「∀p pに対応する奇数の完全数が存在する」
を証明するためには
「Dp^2 - D = 0⇒pに対応する奇数の完全数が存在する」
を証明しないと駄目です。
論文で証明されているのは
「pに対応する奇数の完全数が存在する ⇒ Dp^2 - D=0」
であって反対向きは証明していません。
証明して下さい。
342:１３２人目の素数さん
18/09/25 22:12:58.18 es5is2oH.net
１の数学アレルギー強い！
数学記号が出てくるだけで拒否なんて
授業中は寝てるしかないな。
343:１３２人目の素数さん
18/09/25 22:14:38.41 JwwCTZlf.net
>>1
もしかして>>1はA⇒BとB⇒Aの意味が違うのがわかってないんじゃないの？
だから
pに対応する奇数の完全数が存在
⇒Dp^2-D=0
と
Dp^2-D=0
⇒pに対応する奇数の完全数が存在
の区別が付かないんじゃないの？
344:１３２人目の素数さん
18/09/25 22:16:47.92 MC27vVme.net
だから１には∀とか∃とか理解できないって何万回言ったら
数学的センスはもちろんゼロ
345:
18/09/25 22:49:15.47 W82J29e4.net
>>330
p≠4q+1は論文の他のところで証明しています。
(B)かつD=0の場合には、当然p≠4q+1でも成立します。
p≠4q+1⇒(B)かつD=0
つまり、不適な場合でも真ということになります。これがD=0が不適になる理由です。
これでも分からないのでしょうか？
分からないふりをすると何か利益があるのでしょうか？
>>333
＞「Dp^2 - D = 0⇒pに対応する奇数の完全数が存在する」
これを証明する必要はありません。>>279で書いた式から
はじまる計算により、pが存在するとすればどういう値に
なるかという方程式なのですから？
問題に対する理解に乏しいのではないのでしょうか。
あなたがたが勘違いしているのは
D(p^2-1)=0でD=0の場合は、不適にならなければならないp≠4q+1のときでも
D(p^2-1)=0が成立して真になるからD=0が不適だということです。
何故このような簡単な論理が分からないのか私には理解できません。
346:１３２人目の素数さん
18/09/25 22:51:37.68 Tya4K6Jw.net
>>337
>p≠4q+1
これは何を仮定して得られた結論ですか？どこで証明してますか？
347:１３２人目の素数さん
18/09/25 22:53:16.69 Swq0Dt18.net
>>337
何故>>244のような簡単な論理が分からないのか私には理解できません。
348:１３２人目の素数さん
18/09/25 22:54:21.96 Y5pYVzUb.net
ならなければならない
という二重否定的な表現を使うから変に読みづらくなる
論理記号で書き直してくれ
論理記号が使えるならだけど
349:
18/09/25 22:55:21.44 W82J29e4.net
>>338
4ページの「式⑤から」ではじまる部分です
350:１３２人目の素数さん
18/09/25 22:56:44.45 2XOJkXcf.net
ずっとp=4q+1とDp^2-D=0が同値だと信じて疑わないんだな、高1以下
351:１３２人目の素数さん
18/09/25 23:01:54.94 Tya4K6Jw.net
>>323
>p≠4q+1⇒そのpに対応する奇数の完全数yは存在しない
>D=0が成立するのであれば全てのpでそのpに対応する奇数の完全数yが存在する
と何度も書いてますよね？
でもD=0から言えるのは
「D=0 … (C) ⇒ Dp^2 - D = 0が任意のpで成立する。…(B)」
です。
あなたが証明したのは
「pが完全数yに対応する素数…(A’)⇒Dp^2-D=0…(B’)」
です。
このことから
「D=0…(C) ⇒ 任意の素数pに対しpは完全数yに対応する素数…(A)」…(＊)
を導くには
「Dp^2-D=0…(B) ⇒ pが完全数yに対応する素数…(A)」
を導かなければいけません。
一般には
「A⇒B」と「B⇒A」
は意味が違うので前者が証明されても、後者が証明されたことにはなりません。
(＊)を導くのに「B⇒A」の向きの命題つかってるでしょ？
「A⇒C」がなりたっていて(C)が任意のpで成立するとしても(A)が任意のpで成立するなんていえませんよ？
同値性が成立しない限りその解の範囲は変化するのは数Aで習ったでしょ？
352:
18/09/25 23:02:02.26 W82J29e4.net
>>340
奇数の完全数yが存在する⇒p=4q+1
これの対偶を取ると
p≠4q+1⇒このpに対応するyは奇数の完全数は存在しない
353:１３２人目の素数さん
18/09/25 23:04:06.04 Tya4K6Jw.net
>>341
ない。みつからない。コピペして下さい。
354:１３２人目の素数さん
18/09/25 23:04:22.65 Y5pYVzUb.net
>>344
その命題で使うべきなのは命題論理じゃなくて述語論理だけど
355:１３２人目の素数さん
18/09/25 23:04:58.20 Tya4K6Jw.net
>>344
論理記号はやっぱり無理ですか？
356:
18/09/25 23:05:07.24 W82J29e4.net
>>342
そんなことは書いていません。
p≠4q+1のときは不適なのに、全てのpでそれに対応する奇数の完全数が存在するという
意味になるD(p^2-1)=0かつD=0が正しいことがおかしくないという論理が分からない。
変な侮辱は、自分に対する言葉ですか？
357:
18/09/25 23:06:05.17 W82J29e4.net
>>345
>>84
>>347
>>344は理解できませんか？
358:１３２人目の素数さん
18/09/25 23:09:03.42 Y5pYVzUb.net
「砂糖は甘い」
の否定ってわかる？
これ高木さんの世代の使っていたチャートにも載ってた問題だけど
359:１３２人目の素数さん
18/09/25 23:09:54.95 2XOJkXcf.net
>>348
そうです、あなたに対する言葉です
ちゃんとした日本語使ってくださいね
360:１３２人目の素数さん
18/09/25 23:15:52.73 Tya4K6Jw.net
>>348
とりあえず、日本語で書かないで可能な限りキチンと論理式で書いてみようよ。
仮定 D=0…(A)
で、あなたはここから
任意の素数pに対しpは完全数yに対応する素数…(B)
が導けると何度も書いてるよね？
こ
361:れから検証しましょう。 仮定(A)から 任意の素数pに対しDp^2 - D = 0…(C) は導けるし、認めます。 でここからどうやって(B)に到達するんですか？ あなた導けると何度も書いてますよね。 導いて下さい。 もちろん 「素数pに対しpは完全数yに対応する素数⇒Dp^2 - D = 0」 は正しく導けているしそれは認めますし使って頂いて結構ですよ。 求めているのは(B)⇒(C)です。
362:
18/09/25 23:17:02.46 W82J29e4.net
>>343
十分性の確認だということだと思います。
(B)から(A)を導く必要はありません。(A)であるならばその値のpは(B)で計算されるということですから
yが完全数であるのであれば、方程式の解pが
y=p^n×b
により、yが一意に決定されるというだけです。
(B)かつD=0の場合は全てのpに対して真になるので
この全てのpに対して、y=p^n×bが完全数になるということになります。
この内容は方程式を解く上で非常に基本的な内容だと思いますが。
363:
18/09/25 23:22:19.16 W82J29e4.net
>>351
理解できないのですね、それは残念
>>352
国語力が乏しいのかもしれませんが
＞任意の素数pに対しpは完全数yに対応する素数…(B)
とは書いていません。
全ての素数pに対して、そのpに対応する奇数の完全数yが存在する。
と書いています。
364:１３２人目の素数さん
18/09/25 23:26:01.74 Tya4K6Jw.net
>>353
そう、十分性の確認です。
＞(B)から(A)を導く必要はありません。
もう、そうやっていくと話が発散してしまうのでやめましょう。
とりあえず>>253で書いて>>280で認めた
＞＞D=0 ⇒ 「全てのpで正しい⇒すべてのpから計算されるyは全て奇数の完全数になる」
＞そう言っていると思います。
これから行きましょう。
なぜなら、もしホントにこれが正しいなら全部解決なのでこれが一番手っ取り早い。
これが言えるには>>278で指摘した「十分性」が成立していないと駄目です。
そして論文ではその十分性のチェックはありません。
あなたはこの発言を撤回も何もしていないので今でも正しいと思っているんですよね。
ならば十分性の証明をここで与えて下さい。
365:１３２人目の素数さん
18/09/26 02:24:44.23 GPklyC/n.net
おちんぽおおおおお
366:
18/09/26 06:48:09.77 d0MlAtwB.net
>>355
＞D=0 ⇒ 「全てのpで正しい⇒すべてのpから計算されるyは全て奇数の完全数になる」
こうなるから、(A)に反するのでD=0は不適なのではないのでしょうか？
367:１３２人目の素数さん
18/09/26 08:07:03.83 WtB4V9vB.net
＞全ての素数pに対して、そのpに対応する奇数の完全数yが存在する。
＞と書いています。
ここまでくると奇数芸人ネタも面白くない。
高木時空はどうでもいい。
368:１３２人目の素数さん
18/09/26 09:50:19.83 iq77TLHu.net
統失芸人ネタおもしろくない
もうメンヘル板にさっさと移転しろ
369:１３２人目の素数さん
18/09/26 10:17:05.24 MICAsLQS.net
＞と書いています
自分が書きさえすれば実在することになるって思い込みがすごいね
ドラえもんか、はたまたデスノートか
370:
18/09/26 10:25:48.98 d0MlAtwB.net
>>358
芸ではなく、数学研究ですから
>>360
そうはならないという論理ですけど
371:１３２人目の素数さん
18/09/26 10:33:14.97 RNByfReT.net
自分のことを数学研究者だと思い込んでる一般人
372:１３２人目の素数さん
18/09/26 10:47:52.17 IYqLyY8k.net
何を長々とやってるんだろうね
そもそも、変数pは奇素数として定義されているから、p^2-1は0では*あり得ない*
よって、Dp^2-D=0と言う式が導けたならば、D=0でしか*あり得ない*
pが不定とか不適とか言うのはただの１の妄言でしかない
373:１３２人目の素数さん
18/09/26 10:50:22.85 gLC6d/LF.net
研究というわりには先人の本は全然読まないんでしょ
研究なんて言葉を使わないでほしい
せめて日本評論社などから出てる大学1年生向けのガイダンス本で論理などを勉強し直してほしい
374:１３２人目の素数さん
18/09/26 11:32:41.16 60EI9N//.net
>>357
>＞D=0 ⇒ 「全てのpで正しい⇒すべてのpから計算されるyは全て奇数の完全数になる」
>こうなるから、(A)に反するのでD=0は不適なのではないのでしょうか？
“こうなる”というのは、つまりD=0を仮定すれば
「Dp - D =0 ⇒ pから計算されるyは全て奇数の完全数になる」
が証明出来る、つまり>>353でご自分も認識されている ”十分性” が証明できるですね。
そして>>353において
>(B)から(A)を導く必要はありません。
と認められている通り現時点で�
375:\分性の証明は与えられていません。 現時点で示されているの>>353にある通り >yが完全数であるのであれば…yが一意に決定されるというだけです。 とあるように “存在するとすれば” 一つしかないということだけで、肝心要の “存在するのか” は証明されていません。 これは数学的には “単射性” は示されていすけど “全射性” は示されてないということです。 示して下さい。
376:１３２人目の素数さん
18/09/26 12:00:04.46 Lt4N55CW.net
>>323
> もう一度書けば
> p≠4q+1⇒そのpに対応する奇数の完全数yは存在しない
> D=0が成立するのであれば全てのpでそのpに対応する奇数の完全数yが存在する
>>353
>yが完全数であるのであれば、方程式の解pが
>y=p^n×b
>により、yが一意に決定されるというだけです。
全射性と単射性の区別がついてないのか。
377:１３２人目の素数さん
18/09/26 12:58:27.93 RNByfReT.net
youtubeに盗聴盗撮の証拠動画とか、数学動画とかあげてほしい
スターになれるぞ
378:１３２人目の素数さん
18/09/26 13:48:28.39 9BQwRbnv.net
大物Youtubeｒになれそう
379:
18/09/26 15:51:41.24 d0MlAtwB.net
>>363
そのように都合よく数学はできていません。
D=0の場合はpはどの値でも式の値は真になるということは、pがどの値でも
yは奇数の完全数になるということになります。
>>364
今回の証明では必要なかったから仕方がない
>>366
どう区別がついていないのか述べてくれ。合っているものをどうして否定できるのか分からない。
D=0の場合はD(p^2-1)=0のpはどの値でも成立する。そしてこの方程式はその解が
奇数の完全数になるという方程式だ。
何故このような簡単な論理が理解できないのかは分からない。
D=0の場合はD(p^2-1)=0にどのようなpの値を代入しても成立するから、pが不適の解であっても
式の論理値が真になってしまうということになり、D=0は不適でなければならない。
380:１３２人目の素数さん
18/09/26 15:54:31.77 1TbHFuq+.net
１の数学動画ってデスノートに
奇数÷奇数は整数かつ奇数に決まってる。そんな簡単なこともわからないのですか。
27/5 は 3 で割り切れる。
なんて書き込みまくる動画になりそう。
381:１３２人目の素数さん
18/09/26 16:01:25.67 O4EqKT1Z.net
>>369
>D=0の場合はD(p^2-1)=0のpはどの値で>も成立する。そしてこの方程式はその解が
>奇数の完全数になるという方程式だ。
D=0 の場合は任意の p は方程式
Dp^2 -D = 0…(B)
の解になるだけ。
条件
∃y yは奇数の完全数、p はそれに対応する素因子…(A)
の解であるかどうかは十分性のチェック (B)⇒(A) が成されていない。
十分性のチェックをしてない事は>>353で認めたでしょ？
チェックして下さい。
382:１３２人目の素数さん
18/09/26 16:05:46.40 bCqwYYut.net
無職、数学を語る
383:
18/09/26 16:09:35.13 d0MlAtwB.net
>>371
だから、十分性の確認というのは、
D(p^2-1)=0
でD=0の場合には、p≠4q+1でも成立するから不適だと何度も書いています。
384:１３２人目の素数さん
18/09/26 16:12:24.14 1TbHFuq+.net
>>372
１が無職ヒキニートである点には何の問題もないのだが
数学知識が皆無のまま半年もアホやってるのはひどすぎる。
385:
18/09/26 16:13:24.88 d0MlAtwB.net
D=0が不適であると言っていて、その部分では奇数の完全数が存在しないとは書いていない。
D≠0の場合にp=±1になるから、それでそのnに対しては奇数の完全数が存在しないということになる。
386:１３２人目の素数さん
18/09/26 16:13:44.61 O4EqKT1Z.net
>>373
違います。
十分性の確認で求められているのは
仮定：D=0 かつ Dp^2 - p =0
結論：奇数の完全数 y が存在し p はそれに対応する素因子
の証明です。
それをしてないのは>>353で
＞(B)から(A)を導く必要はありません。
と認めてるでしょ？
あなたは(B)から(A)を導出していません。
導出して下さい。
387:１３２人目の素数さん
18/09/26 16:16:18.10 48jin0py.net
>>369
都合よくなどと言いますが、都合よく数学を解釈してるのはご自分では？
論文では始めに「奇数の完全数をy、その素因数をp」という条件を立てて、その条件の下で数学的操作をした結果、「Dp^2-D=0」を導いています。
つまり、「Dp^2-D=0」は「奇数の完全数をy、その素因数をp」という条件を立てたから導かれたのだということです。「奇数の完全数をy、その素因数をp」と反する条件で「Dp^2-D=0」を導いてはいません。
なので、「Dp^2-D=0」のpは完全数yの素因数でなければなりません。どんなpでも良いとはなりません。
あなたが論文で導いたのは、
Dp^2-D=0
が無条件で成り立つということではなく、あくまでも、
奇数の完全数をy、その素因数をpとするときDp^2-D=0
という条件付きのDp^2-D=0でしかない。
完全数yの素因数でないpについてDp^2-D=0が成り立つことをあなたは示していません。なので、pは依然として完全数yの素因数であり、Dp^2-D=0ならばD=0でしかありません。
D=0は不適ではありませんし、pが不定になることもありません。
388:１３２人目の素数さん
18/09/26 16:27:14.04 d0MlAtwB.net
>>376
D=0は不適なので、p=±1となるから
389:これも不適です。 他に奇数の完全数が存在しないという結論が導けるから、他の方法をとる必要はありません。 >>377 もうレスをするのも馬鹿馬鹿しくなってきましたが Dが0のときは、D(p^2-1)=0 はpは奇素数という定義をしていると思いますが、そのどの値でも上記の方程式を満たすのは 当たり前じゃないですか？これをpが不定だといいます。このときに p≠4q+1の奇素数では、奇数の完全数が存在しないという証明がありますから、これに 不定だと反すると言っているのです。 何故分からないのか分からない。
390:１３２人目の素数さん
18/09/26 16:28:57.62 ZDfOoIj0.net
Bが真のとき常にA⇒Bは真になるんだから、
Bがどんなpについても真になるならA⇒Bとしても矛盾はないだろ？
１はソフトウェアやってたんだろ？論理式も理解できないのかい？
391:
18/09/26 16:33:00.80 d0MlAtwB.net
>>379
国語が読めないのですか？
「全てのpで成り立つ」＝「全てのpでy=p^n×bであるyが奇数の完全数になる」
ですが、右側の命題が真ではないと言っているだけです。
392:１３２人目の素数さん
18/09/26 16:34:03.67 48jin0py.net
>>378
簡単な話ですよ
奇数の完全数をy、その素因数をpとするときDp^2-D=0かつD=0である
と
奇数の完全数をy、その素因数をp
は矛盾しないと言っています。
矛盾しないのだから、奇数の完全数が存在しないとは言えないということです。
393:
18/09/26 16:38:16.44 d0MlAtwB.net
>>381
p≠4q+1のとき、このpに対応する奇数の完全数は存在しない。
Dp^2-D=0かつD=0のとき、この式は全てのpで成立するから
全てのpで対応する奇数の完全数が存在する
どこが正しいのですか？
394:１３２人目の素数さん
18/09/26 16:39:27.38 orGFIdTC.net
>>378
みんな「分からない」のでは無く、分かった上であなたが間違っていると言っているのです。
正しいと言っているのはあなた以外いないでしょ？なぜこの状況で、まだ自分が正しいと言えるのか。
395:１３２人目の素数さん
18/09/26 16:40:42.38 Xj9z1FRt.net
>>378
> >>376
> D=0は不適なので、p=±1となるからこれも不適です。
今D=0が不適か否かを議論しているので最初
> D=0は不適なので、
から始まった議論には意味がありません。
数Aで習ったはずです。
> 他に奇数の完全数が存在しないという結論が導けるから、他の方法をとる必要はありません。
他の方法があるかないかを議論し始めると議論が発散します。
あなたはこの方法で示せると発言したのだから、この方法で示してください。
396:
18/09/26 16:40:43.82 d0MlAtwB.net
>>381
矛盾はしませんが、D=0は>>382により不適になります。
397:
18/09/26 16:43:22.34 d0MlAtwB.net
>>383
申し訳ないですが、完全に正しいのです。
理解できない人がレスをしていると思います。正しいと思う人がレスをしていないだけで。
>>384
あなたが今まで誤解し続けてきただけであり、論文にはそう書いてあります。
398:１３２人目の素数さん
18/09/26 16:45:31.16 e5DzqPXm.net
「正しい」というのが結論として決まってるんでしょうね
ところで、あなたの証明が正しいとき>>244も正しくなるので、あなたの証明は申し訳ないですが全くもって無価値なんですよ
残念でしたね
399:１３２人目の素数さん
18/09/26 16:47:55.87 bCqwYYut.net
自分で完全に正しいと言えるんだったらそれで良いんじゃない？
僕らは正しいとは思えないけど
400:１３２人目の素数さん
18/09/26 16:53:41.80 D649zj2u.net
【天文台閉鎖、ＦＢＩ】 アポロ捏造のキューブリックも真っ青、太陽に映ったのはマⅰトレーヤのＵＦＯ
ｽﾚﾘﾝｸ(liveplus板)
おまいらが注目しないから宇宙人は出てこれない、その結果、地球の放射能危機がどんどん進んでしまう！
401:１３２人目の素数さん
18/09/26 17:01:54.48 48jin0py.net
>>382
＞p≠4q+1のとき、このpに対応する奇数の完全数は存在しない。
と
＞Dp^2-D=0かつD=0のとき、この式は全てのpで成立する
は矛盾しませんよ。
まさか、
＞Dp^2-D=0かつD=0のとき、この式は全てのpで成立する
と
＞全てのpで対応する奇数の完全数が存在する
が同値だと思ってるわけではないですよね？
402:１３２人目の素数さん
18/09/26 17:02:50.75 NPHNhagU.net
>>386
＞あなたが今まで誤解し続けてきただけであり、論文にはそう書いてあります。
論文には十分性のチェックはありません。
そして現在でもあなたはこのスレで(B)⇒(A)を使っています。
近いところでは>>323
＞D=0が成立するのであれば全てのpでそのpに対応する奇数の完全数yが存在する
これは
Dp^2 - D = 0 ⇒ そのpに対応する奇数の完全数yが存在する
が成立して初めて言えることです。
それはあなたも>>353で認めています。
＞十分性の確認だということだと思います。
その後あなたは別の方法があるので示さなくても良いといってますが、そんなこと言い出すと議論が発散します。
すくなくとも>>323では(B)⇒(A)を利用しているのだからそれを証明しなければいけません。
403:１３２人目の素数さん
18/09/26 17:38:31.08 tPlDPxzG.net
p を任意の数とする
↓
0 * p = 0 成立
↓
この方程式では p は不定
↓
よって矛盾
任意の数は存在しない！！！！！！！！！！！！！！！！
高木時空証明終わり
404:１３２人目の素数さん
18/09/26 17:59:55.13 6AlEn/Fk.net
今回もいつも通り粘るね
A⇒BとB⇒Aとは違うと言っても聞かず
不定だから不適とか不定だから矛盾とかは間違いだと言っても聞く耳を持たない
挙げ句の果ては正しいと思う人が声を上げないと来た
１の論文を正しいと思う者など居ない
居るのは、確実に間違いを把握している者と、正誤の判断が付いていない者、
あとはネタで完成おめでとう等と囃す者ばかり
いい加減目を覚ませ
それか永遠に目覚めるな
405:１３２人目の素数さん
18/09/26 18:48:30.10 A+fjfLKE.net
>>382
>p≠4q+1のとき、このpに対応する奇数の完全数は存在しない。
>Dp^2-D=0かつD=0のとき、この式は全てのpで成立するから
>全てのpで対応する奇数の完全数が存在する
ここでも使ってるね。
>Dp^2-D=0かつD=0のとき、この式は全てのpで成立するから
>全てのpで対応する奇数の完全数が存在する
というのは
Dp^2 - D = 0 ⇒ pで対応する奇数の完全数が存在する
が証明できて初めて主張できる内容だね。
証明しないと。
406:１３２人目の素数さん
18/09/26 20:50:34.23 WtB4V9vB.net
>>392
その証明では数０を使用しているのでダメ
p を０以外の任意の数とする
↓
0 * p = 0 成立
↓
この方程式では p は不定
↓
よって矛盾
数は偶数０のみしか存在しないことが証明された！
よって奇数は存在しない！
よって奇数の完全数も存在しない！
高木時空証明終わり
407:１３２人目の素数さん
18/09/26 21:40:36.05 d9iguXnJ.net
>>350に答えられる？
408:１３２人目の素数さん
18/09/26 22:35:55.77 zSrwtEVf.net
>>1は頑なに
Dp^2 - D = 0 かつ D = 0 ⇒ p はある奇数の完全数に対応する奇素数
の証明が必要ないといってるけど、これ>>247とおんなじ勘違いしてるんじゃない？
>>247では
＞全てのpで正しい⇒p=4q+1
＞全てのpで正しい⇒p≠4q+1
＞が成立します
なんて勘違いしてたけど、それと同じ理屈で
D=0 すると Dp^2 - D = 0 が全ての p で正しいので 「p はある奇数の完全数に対応する奇素数」というのも正しい
と思ってるんじゃない？
これは言葉の響きからの勘違いだったと>>313で認めたハズなのにまたそれとおんなじミスをまたしでかしてるんじゃない？
まぁすでに指摘されてる A⇒B と B⇒A の意味の違いがとれてないのかもしれないけど。
409:１３２人目の素数さん
18/09/26 22:43:03.29 cdBLGvWf.net
高木の思考を研究するスレになってきたな
410:１３２人目の素数さん
18/09/26 23:04:30.13 Xj9z1FRt.net
むしろ逆なんだよね。
A⇒BはBが恒に真の時はAに何がこようと真だけど、Aの方はむしろ恒に偽である時にBに何がこようと真と言える。
完全に逆に理解してる可能性はあるね。
411:
18/09/26 23:30:50.22 d0MlAtwB.net
>>390
まさかの部分はそうです。D(p^2-1)=0は奇数の完全数yが存在するのであれば
そのyに対応するpが一意に定まるということです。
この一意というのは当然、解が唯一でなければならないということではありません。
そのpが全ての値で成立するということは、上記のようになります。
>>391
＞Dp^2 - D = 0 ⇒ そのpに対応する奇数の完全数yが存在する
何を言っているのか分かりませんが、方程式の解は、y=p^n×bにより、yが奇数の完全数と
なるpですよ。
不適になる解p≠4q+1も解になり得るD=0が不適というだけです。
>>393
何度も書いていますが、不定である場合(D=0)には、p≠4q+1も解になり得る。
例えば、p=3は解にはなり得ないのにD(p^2-1)=0の論理値が真になるのが誤りだと言っているのです。
目を覚まして下さい。
>>394
＞Dp^2 - D = 0 ⇒ pで対応する奇数の完全数が存在する
pで対応するとは何ですか？
>>395
方程式の解は、奇数の完全数が存在するならば、どういう値になるかということですから
全ての値で成立するのですから、全てのpで完全数になるのは当たり前じゃないのかということです。
>>397
＞なんて勘違いしてたけど
勘違いではありません。
数学的には誤りということになるのは、それは知った上で書いたものです。
全てのpで正しいという条件が成立しているときに、p=4q+1にもp≠4q+1にもなり得ます。
逆に、
p=4q+1のときには、集合が限定されているわけですから、そのときにpは不定にはなり得ません。
これは何かしらのパラドックスがあると考えるのが妥当ではないのでしょうか？
ただし、この内容は論文の主張に齟齬をきたしません。
>>399
A⇒Bだったら、A⊂Bであれば成立するということぐらい理解していないわけがありません。
412:１３２人目の素数さん
18/09/26 23:32:41.70 e5DzqPXm.net
ところで、あなたの証明が正しいとき>>244も正しくなるので、あなたの証明は申し訳ないですが全くもって無価値なんですよ
残念でしたね
413:１３２人目の素数さん
18/09/26 23:33:27.58 Xj9z1FRt.net
やっぱり⇒の意味取り違えているwww
414:
18/09/26 23:38:40.92 d0MlAtwB.net
>>400 訂正
×A⇒Bだったら、A⊂B
〇A⇒Bだったら、A⊆B
415:１３２人目の素数さん
18/09/26 23:51:15.58 oeh63FjN.net
>>400
> >>397
> ＞なんて勘違いしてたけど
> 勘違いではありません。
> 数学的には誤りということになるのは、それは知った上で書いたものです。
数学的には誤りなら誤りやん。
数学の話してるんでしょ？
で。まだ間違ってるよwww
416:１３２人目の素数さん
18/09/26 23:56:11.02 pVIN3Mgl.net
>>1は、
「思います」「考えられます」「数学的には」等の自分の主観に基づいた言葉で正当性を主張するが、
数学の命題には真か偽しかないのに、自分の主観で真にもなったり偽にもなったりするわけない、
ということを理解するべき
417:１３２人目の素数さん
18/09/26 23:58:37.38 48jin0py.net
>>400
そうですね。まさかの部分は成立しませんよね。
あなたが示したのは、あくまでも
奇数の完全数をy、その素因数をpとするときDp^2-D=0かつD=0である
であって、
Dp^2-D=0かつD=0であるとき、pが奇数の完全数の素因数である
ではないのですから。
他の人が何度も指摘しているように、AならばBを示しても、その逆は成り立ちません。論理学の基本中の基本です。もちろんご存じですよね？
418:１３２人目の素数さん
18/09/27 00:02:44.24 Ny+jsTgk.net
>>400
>何度も書いていますが、不定である場合(D=0)には、p≠4q+1も解になり得る。
>例えば、p=3は解にはなり得ないのにD(p^2-1)=0の論理値が真になるのが誤りだと言っているのです。
>目を覚まして下さい。
これは
Dp^2 - D = 0 ⇒ p = 3
が成立するといってるんですか？
419:１３２人目の素数さん
18/09/27 00:04:59.57 Ny+jsTgk.net
訂正
✕：Dp^2 - D = 0 ⇒ p = 3
◯：D=0 かつ Dp^2 - D = 0 ⇒ p = 3
が成立するといってるんですか？
420:１３２人目の素数さん
18/09/27 00:14:42.48 Ny+jsTgk.net
>>400
>全てのpで正しいという条件が成立しているときに、p=4q+1にもp≠4q+1にもなり得ます。
ついで。
これは
Dp^2 - D = 0 かつ D=0 ⇒ p = 4q+1
Dp^2 - D = 0 かつ D=0 ⇒ p = 4q+3
の両方が成立すると言っているのですか？
も一つついで
Dp^2 - D = 0 かつ D=0 ⇒ このpに対応する奇数の完全数yが存在する
も成立するのですか？
421:１３２人目の素数さん
18/09/27 00:51:08.69 Ny+jsTgk.net
もひとつついで
>例えば、p=3は解にはなり得ないのにD(p^2-1)=0の論理値が真になるのが誤りだと言っているのです。
これは
{p | Dp^2 - D = 0} が p=3 を解に持つことはありえない …(X)
という意味ですか？
それはどこで証明されていますか？
{p | このpに対応する奇数の完全数yが存在する} が p=3 を解に持つことはありえない …(Y)
の証明は見つかりますが(X)の証明は論文中に見つかりません。
422:１３２人目の素数さん
18/09/27 01:34:04.89 DdaubScu.net
ビジネスで優秀な人材育成する上司は何を教えているのか？
URLﾘﾝｸ(www.youtube.com)
「最強の働き方」長時間労働やノウハウよりも大切なこと
URLﾘﾝｸ(www.youtube.com)
マクドナルド伝説の店長が教える、最強店長になるために必要なこと
URLﾘﾝｸ(www.youtube.com)
美容師の楽しさ再発見！やる気スイッチが入る働き方セミナー
URLﾘﾝｸ(www.youtube.com)
もうダメだ…仕事が辛い時に乗り切るための３つの思考
URLﾘﾝｸ(www.youtube.com)
視覚障がいを乗り越えた活法家
URLﾘﾝｸ(www.youtube.com)
運が良くなる話｜今日から幸せになる行動と考え方
URLﾘﾝｸ(www.youtube.com)
423:１３２人目の素数さん
18/09/27 02:00:28.91 91W7ypKT
424:.net
425:１３２人目の素数さん
18/09/27 06:56:00.62 DtUCWcL/.net
１が集合の記号をどう解釈してるのか不明
矢印については勘違いを改める様子なし
高木時空くだらねぇ
403 ◆RK0hxWxT6Q 2018/09/26(水) 23:38:40.92ID:d0MlAtwB
>>400 訂正
×A⇒Bだったら、A⊂B
〇A⇒Bだったら、A⊆B
426:
18/09/27 07:06:54.09 i9+P46IE.net
>>404
間違ってはいない
＞Dp^2-D=0かつD=0であるとき、pが奇数の完全数の素因数である
これを示す必要はありません。何度も書いていますが、この方程式の解の意味は何ですか？
奇数の完全数が存在するときに、y=p^n×bで表されるpの値を計算しているのです。
そのpの値が、不適になるものが含まれているのにも拘わらず式の論理値が真になあるので
不適になるのです。
>>407
＞Dp^2 - D = 0 ⇒ p = 3
そのようなことは書いていません。
p=3⇒Dp^2-D=0 かつ D=0
です。
>>409
＞Dp^2 - D = 0 かつ D=0 ⇒ p = 4q+1
＞Dp^2 - D = 0 かつ D=0 ⇒ p = 4q+3
これが数学的に正しくないというのは前に書いたと思いますが。
＞Dp^2 - D = 0 かつ D=0 ⇒ このpに対応する奇数の完全数yが存在する
しつこいですけど、このようなことは書いていません。
>>410,412
あなたは勝手に私が書いていないことを書いたかのように長ったらしい文章を書くのは
どういうことなのでしょうか？
＞{p | Dp^2 - D = 0} が p=3 を解に持つことはありえない …(X)
何度も書いていますが、この問題からえられる条件としてpが存在するのであれば
p=4q+1⇔p≡1 (mod 4)でなければなりません。それに反するp=3はこの問題の
解にはなり得ません。
427:１３２人目の素数さん
18/09/27 07:18:39.12 JA1DrCtS.net
本人以外は全員おかしいって言ってんのに...
正しいと信じてるならもう他の人に見てもらう必要ないじゃん
なんでまだここにいるの？
428:１３２人目の素数さん
18/09/27 07:27:52.83 Xnkky8Ot.net
>>413で
>>400
>何度も書いていますが、不定である場合(D=0)には、p≠4q+1も解になり得る。
>例えば、p=3は解にはなり得ないのにD(p^2-1)=0の論理値が真になるのが誤りだと言っているのです。
とかいていますね？
この
＞p=3は解にはなり得ないのに
というのは条件式
Dp^2 - D = 0
の解のことではないのですか？
コレではないなら “解にはなり得ない” というのはどの条件式の解になりえないのですか？
429:１３２人目の素数さん
18/09/27 07:28:09.11 o5xveFw+.net
本人も自分が間違ってるのはよく分かってるさ
次のネタを仕込むまでの時間稼ぎをしてるだけだろ
430:
18/09/27 07:35:27.99 i9+P46IE.net
>>416
p≠4q+1では不適になるので、この問題で定義しているpにはならない
ということです
431:１３２人目の素数さん
18/09/27 07:37:58.33 JA1DrCtS.net
>>418
本人以外は全員おかしいって言ってんのに...
正しいと信じてるならもう他の人に見てもらう必要ないじゃん
なんでまだここにいるの？
432:１３２人目の素数さん
18/09/27 07:38:06.62 7XI9xH6X.net
>>418
>p≠4q+1では不適になるので、この問題で定義しているpにはならない
この問題で定義しているpとは
{ p | このpに対応する奇数の完全数yが存在する }
に含まれる p ということですか？
433:１３２人目の素数さん
18/09/27 08:01:52.87 E0W4B37x.net
いや、マジでまだ自分の間違いに気付いてない気もする。
こいつの頭の悪さは想像を絶する。
434:１３２人目の素数さん
18/09/27 08:04:32.91 5nWjiWRF.net
１が理解できなければ何度でも説明する
変数 p は奇素数として定義されているから、当然 p^2-1≠0 となる。
したがって、正しい数学的操作によって Dp^2-D=0 が導けたならば、必ず D=0 である。
つまり、１の論文は、必ず D=0 となる変数を使って不定となる式 Dp^2-D=0 を作り、
不定だから(以下略)と言っているもので正しくない。
つまり、１の論文は
｜奇数の完全数の約数をpとすると、0p^2=0 が成り立ち、p が不定となる
｜以上のことから、奇数の完全数は存在しない。
と言っているのと本質的に変わることはない
論文の操作をすると n=5 のとき D=0 となる理由も以下に示す
論文7ページ
＞(Ap+1)p-p^(n-2)-A=0
この式は、A(p^2-1)=p^(n-2)-p と同値である。
p は奇素数であり p^2-1≠0 だから A=(p^(n-2)-p)/(p^2-1) である。
n=5 だから、A=(p^3-p)/(p^2-1)=p となる。
＞Bを奇数として、A=Bpとすると、
とした時点で、A=p, p≠0 なのだから B=1 となる。
＞Cを偶数として、B-1=Cpとすると、
とした時点で、B-1=0, p≠0 なのだから C=0 となる。
＞Dを偶数として、C=Dpとすると、
とした時点で、C=0, p≠0 なのだから D=0 となる。
結局 Dp^2-D=0 は、n=5 のとき必ず D=0 となるように操作されたうえで導かれた式であるから、
直接 0p^2=0 として不定だと言っていることと本質的にまったく変わらない
以上のことから、１の証明は数学的にまったく正しくない
435:１３２人目の素数さん
18/09/27 09:58:30.75 wxofZWmU.net
先生「高木君の証明は、ここで間違ってます。先生の説明が分かりますか？」
高木くん（いかん！さっぱり分からない！数学を使ってくるので理解できん！）
高木くん（こうなったら、いつも通りの必殺技を連発だ！）
高木くん（分かるレベルの解説が出て、改訂が思いつくまで繰り返すぞ！）
高木くん「このような簡単な内容に証明もへったくれもないでしょ！自明です！」
高木くん「論文は完全に正しい！そんな簡単なこともわからないのですか。」
436:１３２人目の素数さん
18/09/27 10:03:37.44 wxofZWmU.net
112版目のゴミ落書きＰＤＦは >>84
フェイズ３進行中
>>4 名前：重要テンプレ[sage] 投稿日：2018/09/19(水) 14:43:24.31 ID:Bdn4VQla [2/10]
いつもの流れ
1.「間違いが見つかりました、撤回します」
↓
2.「(今論点じゃないところ)を修正しました。完成です」
↓
3.(論点について聞かれても)「もうすでに直しました(←直ってない)。読んでから言ってください」
437:
18/09/27 11:39:30.35 i9+P46IE.net
私に誤ったレスをしている人間は、数学力も国語力もない。
その上で私を侮辱する勘違いの集まり。
438:１３２人目の素数さん
18/09/27 11:58:45.51 QpLxBklY.net
じゃあ別のところ行けよ
439:１３２人目の素数さん
18/09/27 12:07:34.01 +G31Mny6.net
根本的に命題論理と述語論理の違いが分かってないでしょ
440:１３２人目の素数さん
18/09/27 12:15:37.65 h76dSAg3.net
>>400
>何を言っているのか分かりませんが、方程式の解は、y=p^n×bにより、yが奇数の完全数と
>なるpですよ。
>不適になる解p≠4q+1も解になり得るD=0が不適というだけです。
これは
―
D=0 とすると、p = 4q+1の形でないときに p は条件
∃y,∃b y=p^n×b、yが奇数の完全数
の解になりえないはずなのに条件
Dp^2 p = 0
の解にはなってしまうから矛盾する。
よって D=0 は不適。
―
という意味ですか？
441:１３２人目の素数さん
18/09/27 12:16:25.44 h76dSAg3.net
>>425
>>428をお願いします。
442:１３２人目の素数さん
18/09/27 12:19:10.77 gnsrAzKU.net
>>428
訂正
✕：Dp^2 p = 0
◯：Dp^2 - D = 0
です。>Dp^2 p = 0
>>400 は >>428 の意味にとっていいのですか？
443:１３２人目の素数さん
18/09/27 12:19:52.18 WzQwSD16.net
>>425がまるっきり>>423の通りで笑う
444:
18/09/27 12:20:46.25 i9+P46IE.net
>>428
そうです
445:１３２人目の素数さん
18/09/27 12:21:45.85 2VKKuTiS.net
散々指摘されてることと本質的に一緒なんだけど
p=4q+1
と
0(p^2-1)=0
のどこに矛盾があるのかちゃんと教えてほしい
446:１３２人目の素数さん
18/09/27 12:27:05.70 ThbegfUr.net
>>432
では条件式
∃y,∃b y=p^n×b、yが奇数の完全数 …(X)
の解でないものを条件式
Dp^2 - D = 0 …(Y)
が含み得ないのは何故ですか？
これは
(Y) の解の集合 ⊂ (X) の解の集合 …(＊)
が成立しないと言えないと思いますが。
(＊)が成立するとは限らないなら (Y) が (X) の解でないものを含んでいても矛盾とはいえないと思いますが。
447:１３２人目の素数さん
18/09/27 13:25:27.18 CdwMkOGz.net
＞n = 5のときは
＞Dp^2 － D = 0
×＞D = 0のときは、全ての p に対して成り立つから不適になる。
ここでは以下のように言うべきだろうね
○＞D = 0のときは、全ての p に対して成り立つが、p≠4q+1のときはp=4q+1の条件に反するからから不適になる。よってp=4q+1となる。
まあ、このように正しく書くと証明がここで終わらなくなるんだが。
448:１３２人目の素数さん
18/09/27 13:50:58.03 Ic+QEYHL.net
>>434 にはどう答えますかねぇ？
「∃とかつかってごまかしてる、わからない」ですかねぇ？
ちょっと数学的に厳密な文章出てくると即ドロップアウトするからなぁ。
いつになったら∃とか∀の使い方覚えるんだろう？
普通こんなもん理解するのに一日もかからんと思うんだけど？
449:１３２人目の素数さん
18/09/27 14:12:17.45 2VKKuTiS.net
∃y～から分かってなさそうな感じじゃありませんでした？
yは定めてません、とか言ってましたよ
450:学術
18/09/27 14:12:50.27 8ZNOee3m.net
パーフェクト スコーア フェイス
451:１３２人目の素数さん
18/09/27 15:03:19.36 Ic+QEYHL.net
誰かが前に、ここの住人には論文書いてるような人もいるからもう少し謙虚になったらどうだとか書いてたけど、論文書いてるような人と比べるとまでもなく、大半の住人は>>1より頭いいと思う。
∀とか∃とか⇒とか使えない住人の方が少ない。
452:１３２人目の素数さん
18/09/27 15:13:50.56 qkgPR3Gw.net
仮に∀や∃を知らない言い訳に高校では扱わないとか言ったとしても、⇒くらいは知ってるでしょう
それさえ知らないんだったら・・・ボクちゃんは中学生か何かですか？
453:１３２人目の素数さん
18/09/27 15:18:39.57 h9v555El.net
大学の数学だったら確実に出てくる
講義中寝てれば記憶にはないかもな
454:
18/09/27 15:21:14.22 i9+P46IE.net
>>434
D(p^2-1)=0かつD=0
のとき、不適の解p≠4q+1でもこの方程式の解になり、式の論理値が真になる
という理屈は正しいと思いますが
D(p^2-1)=0かつD=0⇒p=4q+1
が成立しないので、D=0は不適になる
でも同じ結果になると思います。
>>436
不定方程式になるということは
全てのpで、y=p^n×bであるyが奇数の完全数
になるということです。
>>439
まず、それはない私は早稲田の物理科に135/180点で合格した人間だからだ
455:１３２人目の素数さん
18/09/27 15:27:46.01 2VKKuTiS.net
>>442
散々指摘されてることと本質的に一緒なんだけど
p=4q+1
と
0(p^2-1)=0
のどこに矛盾があるのかちゃんと教えてほしい
456:
18/09/27 15:53:25.85 i9+P46IE.net
>>443
検索すると何回も同じことを書いていますが、初めに書いたのは>>205です
457:
18/09/27 15:54:40.32 i9+P46IE.net
>>443
それから>>442にも
＞D(p^2-1)=0かつD=0⇒p=4q+1
＞が成立しない
と書いています
458:１３２人目の素数さん
18/09/27 15:54:49.84 P6z/1AF6.net
式 Dp^2-D=0 を満たす整数D,pの条件は、以下の３とおりのいずれかに場合分けできる。
(１) D≠0 かつ p＝±1
(２) D＝0 かつ p≠1 (mod 4)
(３) D＝0 かつ p≡1 (mod 4)
pは4q+1型の奇素数だから、(１)(２)が不適なのはすぐわかる。
(３)の場合が不適になるという理由が分からない。何も問題ないように思う。
459:１３２人目の素数さん
18/09/27 15:57:02.04 TGswdK56.net
>>442
>D(p^2-1)=0かつD=0⇒p=4q+1
>が成立しないので、D=0は不適になる
>でも同じ結果になると思います。
これは
―
D(p^2-1)=0かつD=0⇒p=4q+1
が成立しないので矛盾する。
したがってD=0は不適である。
―
という意味ですか？
―
D=0とすると
D(p^2-1)=0⇒p=4q+1
が成立しないので矛盾する。
したがってD=0は不適である。
―
という意味ですか？
460:
18/09/27 15:58:43.71 i9+P46IE.net
>>446
(2)で不適なpのときに論理値を真にしてしまうことが間違いだと思います。
命題で、反例が一つでもあればその命題は偽であることと同じです。
461:
18/09/27 16:01:47.24 i9+P46IE.net
>>447
後者の方だと思います。
462:１３２人目の素数さん
18/09/27 16:03:54.62 g2isrlQ+.net
>>449
では
D(p^2-1)=0 ⇒ p=4q+1
が成立しなければいけない理由はなんですか？
これ論文中で証明されてませんよ？
463:
18/09/27 16:07:22.43 i9+P46IE.net
>>450
4ページにp=4q+1でなければならないという証明があります
464:１３２人目の素数さん
18/09/27 16:09:39.17 pN4Q5nme.net
１は点数や偏差値について嘘つきまくってるけど
学校での記憶が一切なく寝ていただけなんて、超重度のアレな人としか言いようがない。
465:１３２人目の素数さん
18/09/27 16:13:17.78 FBXbkeTq.net
>>451
いえ、それは
pに対応する奇数の完全数yが存在する
を仮定した場合の結論でつまり
pに対応する奇数の完全数yが存在する ⇒ p=4q+1
の証明にしかなっていません。
今の仮定は「D(p^2-1)=0」です。
数Aで習う通り
D(p^2-1)=0 ⇒ p=4q+1
を証明するためには最大限
D(p^2-1)=0 かつ p=4q+1 ではない。
までです。
他のいかなる仮定も入れてはいけません。
その証明はありません。
466:１３２人目の素数さん
18/09/27 16:16:08.87 BvQ3ovSn.net
>>453
補足
＞その証明はありません。
というのは
D(p^2-1)=0 かつ p=4q+1
以外の何も仮定せずに
p=4q+1
を結論付けている部分です。
p4 は
pに対応する奇数の完全数yが存在する
を仮定してこれを利用して得られた結論なので
D(p^2-1)=0 ⇒ p=4q+1
の証明にはなっていません。
467:１３２人目の素数さん
18/09/27 16:19:46.25 2VKKuTiS.net
>>444,445
（不適ではなく）矛盾であること、つまり、同時には成り立たないことを説明してください
468:
18/09/27 16:22:07.87 i9+P46IE.net
>>452
何の根拠もないのにご苦労なことですね。どうせ、調べることすらできないだろうけど。
早稲田大学理工学部応用物理学科の1997年の卒業者名簿で調べてみれば
新字体で私の名前があるから。人を侮辱するのもいい加にしろ。
>>453-454
D=0のときに
D(p^2-1)=0 ⇒ p=4q+1
は成立しませんよ。
469:
18/09/27 16:24:47.94 i9+P46IE.net
>>455
D=0のとき、D(p^2-1)=0の方程式はpが任意の値で成り立つ
470:不定になる pが不定⇒p=4q+1 これは数学ではないのですか？今まで散々議論してきたと思いますが。 >>456 訂正 ×いい加にしろ。 〇いい加減にしろ。
471:
18/09/27 16:25:25.57 i9+P46IE.net
>>457 訂正
×pが任意の値で成り立つ不定になる
〇pが任意の値で成り立つので不定になる
472:１３２人目の素数さん
18/09/27 16:25:37.49 jHub9VAH.net
>>456
そうです。
成立しません。
しかし矛盾するというのは、それが成立しないという結論がある一方で別の議論をかさねたとき “成立するはずだ” という結論が得られて初めて言えることです。
成立しないという結論が得られただけでは矛盾とは言えません。
成立するという結論も得なければいけません。
473:１３２人目の素数さん
18/09/27 16:27:09.21 2VKKuTiS.net
>>457
何度も言いますが、「同時には成り立たないこと」を説明してください
474:
18/09/27 16:28:04.90 i9+P46IE.net
>>459
もう何言っているのか分かりませんが、成立すると仮定して証明を行っているので
成立しなければ、その条件D=0は不適になるということです。
475:
18/09/27 16:31:54.88 i9+P46IE.net
>>460
それは証明できません。
それでは不適の解の値を真としてしまうD=0は何故正しいのですか？
私が同時に成り立つという内容を書いたのは>>165です。
476:１３２人目の素数さん
18/09/27 16:32:33.23 2VKKuTiS.net
>>462
「同時には成り立たないこと」が示されなければ矛盾になりません
477:
18/09/27 16:33:51.09 i9+P46IE.net
>>463
だから不適と書いています。>>462に答えて下さい。
478:１３２人目の素数さん
18/09/27 16:34:42.23 P6z/1AF6.net
>>448
＞命題で、反例が一つでもあればその命題は偽
この場合、反例というのは
＞(３) D＝0 かつ p≡1 (mod 4)
ですね
(１)(２)が不適であっても、(３)という反例が存在するので、「奇数の完全数が存在しない」という命題が偽になります。
479:１３２人目の素数さん
18/09/27 16:36:38.68 2VKKuTiS.net
>>464
え？
不適と矛盾を違う意味で使っていたんですか？
480:１３２人目の素数さん
18/09/27 16:39:47.70 2VKKuTiS.net
いやでも「不適」にしたって普通「すでに確定している情報と同時には成り立たない」って意味じゃないの？
481:１３２人目の素数さん
18/09/27 16:43:35.43 8FmqadCe.net
高木時空の用語は数学で一般的に使われる用法と違うからな
「因子」の例とかまさにそう
482:１３２人目の素数さん
18/09/27 16:56:17.62 tFg6wit/.net
ｽﾚﾘﾝｸ(lovesaloon板)
URLﾘﾝｸ(2ch.vet)
URLﾘﾝｸ(ja-jp.facebook.com)
URLﾘﾝｸ(twpro.jp)
URLﾘﾝｸ(www32.atwiki.jp)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
成立学園1-F担任の岩崎柾典先生がヤバイ。
成立学園に勤めるのは4年目。
担当科目は数学。
女子テニス部の顧問をしている。
何がヤバイというと、2013年4月から2015年3月まで宮前平中に働いていたらしく、女子中学生とsexしたことがバレて、飛ばされたから。
今でも教師を続けているのは何故だろう？
岩崎先生は、ツイッターとFacebookをやっていたらしいけど、炎上して辞めたっぽい。
岩崎先生の職場の電話番号も貼っとくね！
嘘だと思うなら電話してみたらいいよ！
03-3902-4411 ( 0339024411 )
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(twitter.com) (5ch newer account)
483:１３２人目の素数さん
18/09/27 17:02:07.51 qkgPR3Gw.net
数学は宇宙共通の言語という話があるけれど、実際に話が通じない人と数学を語るのは難しそうだと思いました（小並感）
484:１３２人目の素数さん
18/09/27 18:33:42.64 RroLaP2j.net
>>461
>
485:もう何言っているのか分かりませんが、成立すると仮定して証明を行っているので >成立しなければ、その条件D=0は不適になるということです。 D=0 のとき 「D(p^2-1)=0 ⇒ p=4q+1 は成立しない。」 はOKです。 しかし、まだ矛盾は導出できていません。 矛盾を導出するには 「D(p^2-1)=0 ⇒ p=4q+1 が成立する。」 を導出しなければなりません。 p4 の段階で導出したのは 「pに対応する奇数の完全数yが存在する ⇒ p=4q+1 が成立する。」 です。 p4 までの議論で「pに対応する奇数の完全数yが存在する」という仮定を使いまくってるでしょ？ 「D(p^2-1)=0 ⇒ p=4q+1 が成立する。」 を主張したいなら原則「D(p^2-1)=0」以外仮定してはいけません。 (>>453の書き方だとわからないようなので、こっちにします。) 「D(p^2-1)=0」だけを仮定して「p=4q+1」を導出しなくてはいけません。
486:
18/09/27 18:51:21.09 i9+P46IE.net
>>471
そのようなことはありません。
D=0の場合はこの問題の結果ですから、そのときに
p=4q+1 は成立しない
のであれば、p=4q+1が奇数の完全数が存在するのに必要な条件ですから
それが否定されたことになりますから、奇数の完全数は存在しないことになるので
D=0は不適になります。
487:１３２人目の素数さん
18/09/27 18:57:55.94 FRdejSa4.net
>>472
>p=4q+1が奇数の完全数が存在するのに必要な条件ですから
これは
「pに対応する奇数の完全数yが存在する⇒p=4q+1」
の意味ですね？
>D=0の場合はこの問題の結果ですから、そのときに
>p=4q+1 は成立しない
これは
D=0 ⇒ p=4q+1となるqが存在しない。
という意味ですか？
これは証明されてませんよ？
証明されているのは
D=0 のとき
「D(p^2-1)=0 ⇒ p=4q+1 は成立しない。」
であって
D=0のとき
p=4q+1 となるqが存在しない。
ではありません。
似てはいますが違う命題ですよ？
488:１３２人目の素数さん
18/09/27 18:58:20.51 2VKKuTiS.net
>>472
>>466ですか？
あと
0(p^2-1)=0
は
p=4q+1
否定しませんよ
489:１３２人目の素数さん
18/09/27 19:06:09.48 Ic+QEYHL.net
>>473
> 証明されているのは
>
> D=0 のとき
> 「D(p^2-1)=0 ⇒ p=4q+1 は成立しない。」
>
> であって
>
> D=0のとき
> p=4q+1 となるqが存在しない。
>
> ではありません。
こんなん>>1に違いがわかる筈ないwwww
490:学術
18/09/27 19:11:53.67 8ZNOee3m.net
成立しないのはアルゴリズムの様に数字が走らないからだよ。数字は固定した数を
維持しているわけでないから、毎回違う答えになる確率統計学が最強かもね。
491:
18/09/27 19:33:47.61 i9+P46IE.net
>>473
あなたが私が書いていない内容を書いて、無駄にあがいているだけだということは
誰の目にも明らかだと思います。いい加減完全に正しい内容を頑張って否定すると
いう愚行はやめた方がいいのではないのですか？
492:１３２人目の素数さん
18/09/27 19:34:16.74 2VKKuTiS.net
>>477
>>466ですか？
あと
0(p^2-1)=0
は
p=4q+1
否定しませんよ
493:１３２人目の素数さん
18/09/27 19:42:11.36 lqBUW6RX.net
>>477
とりあえず>>472で
＞D=0の場合はこの問題の結果ですから、そのときに
＞p=4q+1 は成立しない
とありますが、これは
D=0 かつ Dp^2 -D = 0 のとき p = 4q+1 は成立しない。
という理解であってますか？
494:１３２人目の素数さん
18/09/27 19:50:39.29 Dz3HPNrL.net
都合の悪い指摘には返信しない１のスタイルは健在か。
495:１３２人目の素数さん
18/09/27 19:57:03.14 Ic+QEYHL.net
言い逃れ考え中。考え中。♫♪♬
496:１３２人目の素数さん
18/09/27 20:00:11.63 kNn3aG8H.net
言ってることの意味が分からないから反論のしようがないだけだよ
だから、意味が分からないレスに対して自分の主張をする事しかできないんだよ
497:１３２人目の素数さん
18/09/27 20:07:00.16 Ic+QEYHL.net
そうかwww
>>473の指摘の意味がわからんのかwwww
498:学術
18/09/27 20:16:22.64 8ZNOee3m.net
数学は意味じゃなくて風だよな。
499:１３２人目の素数さん
18/09/27 20:21:37.42 u1hjiAr2.net
あちゃー、ダメだわ
500:学術
18/09/27 20:25:48.83 8ZNOee3m.net
説明が長い授業や講義に、考察も長くとっているし、逆にいうと数式を引き延ばすから、無理してるわけなんじゃないのかな？
501:１３２人目の素数さん
18/09/27 20:44:03.01 DtUCWcL/.net
テンプレ>>3-12 で１の知能は分かるでしょ
502:１３２人目の素数さん
18/09/27 20:53:46.39 Gg/TcWMd.net
テンプレ長っw
503:学術
18/09/27 22:30:49.88 8ZNOee3m.net
数学は意味じゃなくて風だよな。
504:１３２人目の素数さん
18/09/27 22:46:55.76 KpyzTK3r.net
どんな風？匂い付き？温度は？湿り気あるかな。風速はいくらだろう
505:１３２人目の素数さん
18/09/27 23:08:07.48 Ic+QEYHL.net
正直>>475は極基本的な数Aのレベルで理解できる問題。
数Aの時間寝てたツケが回ってきたという事だな。
506:１３２人目の素数さん
18/09/28 00:21:22.91 Q+A8udQp.net
とりあえず>>1さんはどこまでわかる
507:の？ >>473 >D=0 のとき >「D(p^2-1)=0 ⇒ p=4q+1 は成立しない。」 > >であって > >D=0のとき >p=4q+1 となるqが存在しない。 の意味はわかるの？
508:１３２人目の素数さん
18/09/28 01:31:34.30 cJo/8FKT.net
訂正
D=0 のとき「D(p^2-1)=0 ⇒ p=4q+1」 は成立しない。
と
D=0 のとき p=4q+1 となるqが存在しない。
が違う命題で上の命題が真でも下の命題が真とは限らないのはわかりますか？
もっと見やすくすれば
D=0 のとき 「D(p^2 - 1) = 0 ⇒ A」は成立しない。
と
D=0 のとき A でない。
が違う命題で上の命題が真でも下の命題が真とは限らないのはわかりますか？
509:１３２人目の素数さん
18/09/28 01:41:35.94 Lqe4bPoy.net
なんか話が複雑になってきて１と相手の言ってることが段々と理解できなくなってるが、>>446のように場合分けしてもらったのはなんだか腑に落ちた。
＞式 Dp^2-D=0 を満たす整数D,pの条件は、以下の３とおりのいずれかに場合分けできる。
＞(１) D≠0 かつ p＝±1
＞(２) D＝0 かつ p≠1 (mod 4)
＞(３) D＝0 かつ p≡1 (mod 4)
確かに(3)の場合の考慮がすっぽり抜け落ちてる。
不適になる理由も論文のどこにも書かれてないよな。
510:１３２人目の素数さん
18/09/28 02:46:35.65 HGnAdOw1.net
>>84 で公開されてもう一週間。
ま～だわかんないのかねぇ？
まぁ、⇒、∀、∃ と理解出来てないものの数々。
何より実例が、１つでもある命題は矛盾などしてないという根本知識が抜けてるんだから理解できるハズもないのかもしれんけど。
511:１３２人目の素数さん
18/09/28 02:58:11.63 n6RL2XHT.net
＞D=0 のとき 「D(p^2 - 1) = 0 ⇒ A」は成立しない。
この書き方では
D=0 のとき 「「D(p^2 - 1) = 0 ⇒ A」は成立しない」 (P⇒￢(Q⇒R))
「D=0 のとき「D(p^2 - 1) = 0 ⇒ A」」は成立しない (￢(P⇒(Q⇒R)))
の2つの意味に読めて、どっちの意味で言ってるのか分からんな
＞D=0 のとき A でない。
この書き方では
「D=0 のとき A」でない (￢(P⇒Q))
D=0 のとき「Aでない」 (P⇒￢Q)
の2つの意味に読めて、どっちの意味で言ってるのか分からんな
512:１３２人目の素数さん
18/09/28 03:34:35.07 0XKf3+5X.net
>>496
では
D=0 のとき (「D(p^2 - 1) = 0 ⇒ A」は成立しない。)
と
D=0 のとき (A でない。)
と明示します。
>>472 の論法ではこちらの意味なので。
513:１３２人目の素数さん
18/09/28 07:20:10.00 n6RL2XHT.net
その意味だったら、D＝0のとき
「D(p^2 - 1) = 0 ⇒ A」⇔「0(p^2 - 1) = 0 ⇒ A」⇔「恒真 ⇒ A」⇔「A」
が成り立つので、
D=0 のとき (「D(p^2 - 1) = 0 ⇒ A」は成立しない。)
⇔ D=0 のとき (「A」は成立しない。)
⇔ D=0 のとき (A でない。)
となって同値になるのでは？
514:１３２人目の素数さん
18/09/28 09:10:26.02 0fjUdxbw.net
>>497
失礼しました。
D=0 ⇒ ￢ ∀p((Dp = p) ⇒ p ≡ 1 (mod 4))…(X)
D=0 ⇒ ￢ p ≡ 1 (mod 4)…(Y)
ですね。
(X)はD=0のとき真ですが、(Y)はそうではありません。
それを彼は
>D=0の場合はこの問題の結果ですから、そのときに
>p=4q+1 は成立しない
とD=0のときは(X)が恒真なので(Y)も真、つまり p≡1 (mod 4) は成立しないが p ≡ 1 (mod 4)は証明しているので矛盾。∴ D=0ではない。
と言いたいようです。
しかし実際には(X)と(Y)は別物でD=0のとき∀p((Dp = p) ⇒ p ≡ 1 (mod 4))が成立しないからといってp ≡ 1 (mod 4)が成立しないわけではありません。
515:１３２人目の素数さん
18/09/28 09:34:34.74 qi0i1BNs.net
議論百出してきたので>>1さん無視して一旦まとめてみます。
以下
φ(p) :⇔ ∃y yは奇数の完全数、pはそのmultipicity 奇数の素因子。
まず論文内で証明されている事。
として
∃y φ(p) ⇒ Dp^2 = D
∃y φ(p) ⇒ p ≡ 1 (mod 4)
でいくつか出てきた>>1さんの主張
(1)
D=0 とする。
Dp^2 = D は任意のpで成立。
よって p ≡ 3 (mod 4)でも成立。
しかし p ≡ 1 (mod 4)なので矛盾。∴ D≠0。
(2)
D=0 とする。
Dp^2 = D は任意のpで成立。
よって任意のpでφ(p)が成立。
しかしp≡3(mod 4)のときφ(p)は成立しないので矛盾。∴D≠0。
(3)
D=0 とする。
このとき
Dp = D ⇒ p ≡ 1 (mod 4) は成立しない。
よってp ≡ 1 (mod 4) は成立しない。
しかしφ(p)のときp ≡ 1 (mod 4)なので矛盾。∴D≠0。
(1)、(2)は話にもなんにもなりません。
(3)は一瞬ドキッとしますがもちろん駄目。
まぁ、そもそも>>1さんがとってる今の方針では絶対証明できない事は明らかなので一瞬でもドキッとしてる時点で修行不足なんですけど。
516:１３２人目の素数さん
18/09/28 10:56:45.89 VDVPrLrO.net
>>500
＞(3) D=0 とする。このとき
＞Dp = D ⇒ p ≡ 1 (mod 4) は成立しない。
＞よってp ≡ 1 (mod 4) は成立しない。
＞(3)は一瞬ドキッとしますがもちろん駄目。
ドキッとするのは、言及が厳密でないからです。
∀p:奇素数［p ≡ 1 (mod 4)］は成立しない。
は真ですが
∃p:奇素数［p ≡ 1 (mod 4)］は成立しない。
は偽です。
１はこの２つの区別を意図的に曖昧にしていますから、それに乗せられていてはいけません。
517:
18/09/28 11:05:27.65 jUz687m9.net
>>473
>>477の内容は間違いでした。
＞D=0 のとき
＞「D(p^2-1)=0 ⇒ p=4q+1 は成立しない。」
これを書くつもりでした。当省略して書いた内容です。
>>474
そうですね。しかしながら、p≠4q+1では奇数の完全数は存在しないのです。
このときに、D=0で
D(p^2-1)=0の論理値が真になるのです。これがD=0が不適な理由です。
>>475
分かるに決まっているだろ、省略しただけなんだから。
>>478
否定はしませんね。
>>479
そんなことは初めから分かっている。
518:
18/09/28 11:06:52.79 jUz687m9.net
>>495
その種の内容を書いている人間が私が書いた内容を理解していない。
つまり、D=0のときに、pが不定だということは全てのpに対してそれに対応する
yが奇数の完全数になるということを理解できていないと思われる。
>>496
＞D=0 のとき A でない。
これは省略したものであるから違う。
＞D=0 のとき 「D(p^2 - 1) = 0 ⇒ A」は成立しない。
これは、どこが違うのか分からない。
>>499
D=0のときにはD(p^2-1)=0は、どのようなpでも満たされるということで
全てのpに対応するyが奇数の完全数になる
という命題になります。これにはp≠4q+1のときには奇数の完全数にならない
ということに反するので、D=0は不適なります。