X
トップページ⇒数学
1002コメント403KB
奇数の完全数の有無について2
■ このスレッドは過去ログ倉庫に格納されています
0708１３２人目の素数さん
垢版 |
2018/04/27(金) 00:55:30.09ID:npMVN4qL
高木くんが人格攻撃を始めたり、議論を振り出しに戻そうとしたり、根拠もなく正しいとだけ言う場合はいよいよ反論できなくなったことを示している
生温かく見守ろうじゃないか
0709１３２人目の素数さん
垢版 |
2018/04/27(金) 01:04:52.28ID:hYPoi2OP
正負と根拠の話はやっぱいいや

＞式⑥から
＞p=1+(a-c)/(2b-a)

これ、やってることが以前問題になったp=pじゃん
ダメだこりゃ
0711１３２人目の素数さん
垢版 |
2018/04/27(金) 06:01:44.07ID:ZQpUCsTb
>>707 2b-a>0であることは>>710氏の指摘するように、
>>678の２頁１３行目の「a(1+p+p^2+…+p^n/2p^n)=b」から導けると思います。

>>659 >>706 早稲田大学への誹謗中傷はやめましょう。
オボちゃん事件を思い出しますが…(-_-;)
0712１３２人目の素数さん
垢版 |
2018/04/27(金) 06:22:17.19ID:ZQpUCsTb
>>657
＞全て自分で証明するということにしているのでそうなっています。

そこが証明できていたらもっと評価したいんですけど、
証明が与えられているとは言えないんです…
0713１３２人目の素数さん
垢版 |
2018/04/27(金) 07:16:54.92ID:/DsSvgUE
>>711
早稲田大学は素晴らしい大学と思いますよ。
まあどんな所にも悪人というものは居るものですね。
0715１３２人目の素数さん
垢版 |
2018/04/27(金) 09:11:16.29ID:H9W3Gi8S
そりゃ論文の捏造を見て善人と評する者はおるまいて
ここの論文がどうかは知らん
0717１３２人目の素数さん
垢版 |
2018/04/27(金) 10:38:49.81ID:5Q2/+5I9
715ではありませんが、何故見てないとわかるの？

他人を盗聴盗撮して監視してるんですか？

だとしたらとんでもない悪人じゃないですか。
0720１３２人目の素数さん
垢版 |
2018/04/27(金) 18:46:25.76ID:ppkWh4Mj
よく聞く大学の大先生に難問を「解決」したって論文送ってくるやつ？
0722１３２人目の素数さん
垢版 |
2018/04/27(金) 18:51:25.74ID:kdH8GX9v
ログインはできるの？
0725１３２人目の素数さん
垢版 |
2018/04/27(金) 20:02:16.28ID:5kHhgY2k
ふと物理板を見てきたら、こいつと同じようなのが複数いて驚愕したわ

こっちはこいつだけだからまだマシだな。
0727１３２人目の素数さん
垢版 |
2018/04/27(金) 20:23:14.65ID:xhJsjzCg
まともに数学教育受けてないのに数学できた人ってラマヌジャンくらいだからな
こいつは自分のことをラマヌジャンだと思い込んでるだけ
0729１３２人目の素数さん
垢版 |
2018/04/27(金) 20:38:52.66ID:hYPoi2OP
アスペかよ

本人が言った言わないの話ではなくて、こちらがどう感じるかどうかの話だろ
0732１３２人目の素数さん
垢版 |
2018/04/27(金) 21:59:11.46ID:26k/eia7
>>725
前提条件にA⇒Bが入っていると
¬A が出てきた時点で矛盾とかいう論法をゴリ押ししてて笑った
0733１３２人目の素数さん
垢版 |
2018/04/27(金) 22:05:55.63ID:KxgXPYIC
証明が私個人でなされたものかどうかは、5chのログを調べればいいだけ。
今日もテレビの番組予約が私が部屋にいなくなっている間に変わっていた。
PCにも何かしらの操作を加えているかもしれませんね。勝手に。

テレビで個人攻撃したり、どちらが厚顔無恥なのか？
0734１３２人目の素数さん
垢版 |
2018/04/27(金) 22:08:27.27ID:KxgXPYIC
それから、何度も計算間違いをしましたが、そのうちの一部は勝手に人の仕事を
改竄し、計算結果を変える人間がいたからかもしれませんね。
0735１３２人目の素数さん
垢版 |
2018/04/27(金) 22:13:45.53ID:Vs5+gQRQ
>>732
それならまだマシ
A⇒Bと￢BからAが矛盾と言ったりAともBとも関係ない￢Cをいきなり持ち出して矛盾と言ったり
とにかくやりたい放題
0739１３２人目の素数さん
垢版 |
2018/04/27(金) 22:33:15.56ID:7NgUf/Gw
やっぱ思考盗聴とか集団ストーカーとか、そういうの信じちゃう方ですか？
0740１３２人目の素数さん
垢版 |
2018/04/27(金) 22:46:06.18ID:KxgXPYIC
>>739
普通に部屋が盗聴されていてテレビの生放送で私の発言にリアルタイムで反応
されるぐらいだから、完全に盗聴自体はされている。
0742１３２人目の素数さん
垢版 |
2018/04/27(金) 22:46:38.98ID:KxgXPYIC
The word Mrs. Watanabe produced by Yankee Americans is not anything other
than an insult to Japanese.
0744１３２人目の素数さん
垢版 |
2018/04/27(金) 22:53:30.85ID:KxgXPYIC
>>741
日本語は読めないのですか？当然学者ではないので正確無比な
英語を書くのは難しい。
0749１３２人目の素数さん
垢版 |
2018/04/27(金) 23:15:21.80ID:ZGIEX3Wq
>>740
うわ、最悪ですね。
ちなみに何という局の何の番組ですか？もし本当なら普通に犯罪行為なのだ、訴えるべきだと思います。
0751１３２人目の素数さん
垢版 |
2018/04/27(金) 23:42:33.09ID:hAul0Y61
・ 英語ができないことの言い訳に「自分はプロではないから」という論法を使おうとするも、
　 英語はバカでもアホでも書けるという事実により論破される。

・「正確無比な英語」という極端な言い方をすることで、「多少間違っていてもしょうがない」という
　 逃げ道を用意しようとしているが、こいつの英語のおかしさは多少どころではないので問題外。
0753１３２人目の素数さん
垢版 |
2018/04/28(土) 01:05:01.58ID:4D/MxjLv
「それは私の論文が完全に正しいからです(ｷﾘｯ」
0756１３２人目の素数さん
垢版 |
2018/04/28(土) 02:31:14.94ID:1k6h4nlJ
もうさ、どっか適当なとこに投稿しちゃえばー？
ここにはもう反論者も賛同者もはいないよ
0757１３２人目の素数さん
垢版 |
2018/04/28(土) 02:45:29.15ID:78M5o+iR
Y := { (p,a,b) | p,a,b は 完全数 y によって定まる自然数 }
X: = { (p,a,b) | p,a,b は ④ を満たす実数 }　←髙木氏は微分法を用いたので実数にしておく
明らかに Y ⊂ X である
氏は X を舞台にして矛盾を導いたということのようだが
X＼Y の元で矛盾を導いても仕方なくね？
0758１３２人目の素数さん
垢版 |
2018/04/28(土) 03:03:12.20ID:5RdgAzjX
それも死ぬほどやったけど、高木君は早稲田でそんなんやってないみたいだから理解できないよ
0759１３２人目の素数さん
垢版 |
2018/04/28(土) 05:52:55.89ID:sPJ3SzID
書いた当人が理解しなくても構わない
数学をちゃんとやった者なら理解できる
0760１３２人目の素数さん
垢版 |
2018/04/28(土) 06:00:12.83ID:H85zetdN
反論者がいなくなったのは、まあ数学的な反論は出尽くしたからだろうな
今は高木くんが指摘された数学的ミスを修正するでもなく放置して、正しいから正しい論を唱えるだけになっちゃったからね
本人も正しいと言ってるのはポーズだけで多分どこに間違いがあるのかは明確に理解してるだろうから無事解決、win-winだろう
0761１３２人目の素数さん
垢版 |
2018/04/28(土) 10:15:52.43ID:4+tPcB/I
>>757
＞X＼Y の元で矛盾を導いた
が分からない。
X の元で矛盾を導いたではないのですか。
0762１３２人目の素数さん
垢版 |
2018/04/28(土) 11:44:51.69ID:As288SZ9
>>757
高木氏は、yが完全数という条件の元で奇数であるという仮定をすることと、奇数の完全数を仮定することの区別が理解できてないみたいですよ。
0763１３２人目の素数さん
垢版 |
2018/04/28(土) 12:27:43.38ID:4+tPcB/I
私はpk、qk、nを任意に与え、奇数の完全数yが存在するのであれば
奇素数pが存在すると仮定しています。
0765１３２人目の素数さん
垢版 |
2018/04/28(土) 12:40:06.19ID:c4m6+hED
前もちょっと思ったんだけど、なんで論文（笑）に書いてあることと、ここで言ってること違うの？
0766１３２人目の素数さん
垢版 |
2018/04/28(土) 12:48:14.70ID:As288SZ9
そうそう。

ここがかなり大事なところだと思う。

pk,qk,nを任意に与えるということは、yが完全数ではない場合があるということである。

だけど、高木さんはyは完全数である前提で話を進めてる。
これは完全数の定義式から話を進めていることから明らか。

これはyが奇数だと仮定しようがしまいが起こっていることで、

推論に矛盾が生じているから、結論も矛盾したものになる。

というのは理解できる？
0767１３２人目の素数さん
垢版 |
2018/04/28(土) 13:04:30.78ID:f/Ddcg75
理解できてないからドヤ顔で(笑)を公表しておけるんでしょ
0768１３２人目の素数さん
垢版 |
2018/04/28(土) 14:04:12.42ID:xphWPD4b
>>639 昨日、暇があったので、三頁第四段落の
「p>1のとき、2b-a>0であるから…」以降の文章を解読してみましたよ。

この後に５つの不等式が並んでいて、その下に
「式⑦の左辺の符号は正になる」とありますが、
これは「式⑦の左辺【の∂f/∂bの係数】の符号は正になる」ということが言いたいらしいです。
そしてそれは、５つの不等式の一番上にある「(2b-a)(n+1)p-2bn＞0」のことに他ならない。
つまり、証明すべき命題を一番最初に持ち出してるんです。
逆に一番下の不等式が、p>1の下ではほぼ自明な不等式。
結局、自明な式を最初に書いて目標となる式を最初に書くのが普通なのに、
ここでは逆に、目標となる式から自明な式を導いているんです。
普通の感性の人は、下から上に読んでいく必要があります。

一番下の不等式から一番上の不等式を導く際にも、そこで用いている操作の説明が不足しているので、
読者がその正当性を理解するのは容易ではないんですが、
５番目⇒４番目は、高校レベルの数列を知っていれば導けます。残りは簡単な操作です。
尚、第四段落の冒頭の「2b-a>0であるから」は、
本来１番目の不等式と２番目の不等式の間にあるべき説明です。
0769１３２人目の素数さん
垢版 |
2018/04/28(土) 14:04:58.48ID:xphWPD4b
>>646の意見に高木氏の立場に立って反論すると、
「(2b-a)(n+1)p-2bn=0が成立するのはp=1の場合だから、
p>1であることを前提にする限りは考慮する必要がない」ということになります。

但し、>>688の疑問は解消されていません。
結局、p=1+(a-c)/(2b-a)を一次分数関数のように取り扱った場合に生じた問題点が
多少複雑化したとはいえ、本質的には解消できていないと考えられます。
0771１３２人目の素数さん
垢版 |
2018/04/28(土) 14:07:31.62ID:xphWPD4b
>>768　訂正。

×「結局、自明な式を最初に書いて目標となる式を最初に書くのが普通なのに」
〇「結局、自明な式を最初に書いて目標となる式を最後に書くのが普通なのに」
0772１３２人目の素数さん
垢版 |
2018/04/28(土) 15:13:06.53ID:4+tPcB/I
>>766
だから、yが存在するのであれば、その因数であるこの論文で定式化されている
pが存在しなければならない。だがしかし、p≧5の奇素数は存在しないことが示される。

こんな簡単な内容を理解できないのが意味が分からないし、変な文系は
食って掛かってこなくていいよ。
0774１３２人目の素数さん
垢版 |
2018/04/28(土) 15:20:44.96ID:4+tPcB/I
>>768
その指摘を受けて訂正はしています。

>>688
p>1の範囲で、pがbの単調減少関数ですから、bの最小値であるb=9の場合に
pが最大値になることからp≦1+(a-c)/(18-a)としています。
当然bはb≧9の範囲を動くことができるのですから、2b-a>0を満たすとしながら
18-a>0と18-a<0の場合分けが必要になります。
0776１３２人目の素数さん
垢版 |
2018/04/28(土) 15:28:14.32ID:weWrnK/L
>>774
＞＞ここの範囲に b=9 が入らなければ　（引用者注：こことは b>a/2）
a，b の値によっては定義域内に b=9 がないことがあり得る
と質問者は言っているんじゃないか？
>>774はその回答になってる？
0777１３２人目の素数さん
垢版 |
2018/04/28(土) 15:43:14.95ID:iRc18Kno
いや書き方がわかりづらいだけで
p_rとかq_rを任意に与えてからでも議論はできるだろ
問題なのはb=9とか代入するとこであって
できるとこまで批判するとやっぱり本当は正しいんだという中途半端な思い込みをうむ
0778１３２人目の素数さん
垢版 |
2018/04/28(土) 15:55:08.99ID:ksVVKyip
b=9のときp=1+(a-c)/(2b-a)がp＞1の範囲に入らないことは有り得る。その場合は>>774の推論は成立しない。
b=9がp＞1の範囲に入らない条件というのは18-a＜0のことであるが、その18-a＜0のときには成立しないような理屈を18-a＜0のときに当てはめて矛盾が出た、だから仮定が誤ってる、としているのが間違いである。

…あれ？この説明されたのこのスレで何度目だっけ？
0779１３２人目の素数さん
垢版 |
2018/04/28(土) 15:57:23.88ID:xphWPD4b
>>774
＞その指摘を受けて訂正はしています。
最新版は少し良くなってますね。
ただ、残りの四つの不等式の順序は反対にした方がよいし、
一つ一つの変形に用いている操作も明示すべきなんですけど。

>>776 まぁ、その話が散々繰り返されてるんですけれどもね。
「p>1の範囲でpはbの単調減少である」ことを前提にしても、
b=9に対応するp=1+(a-c)/(18-a)>1が示されない限りは、
単調減少論法に基づいて、任意のpについてp≦1+(a-c)/(18-a)であるとは主張できない。
そして、a>18の範囲では明らかにp<1であるから、
単調減少論法の前提が満たされないという批判が繰り返されてるわけですけど…

>>775 もう一つの問題点ですよね。
高木氏はpのbによる偏微分で単調減少性を正当化しようとしているんですけれども、
aとbの定義を踏まえると、bの変化に伴ってaも変化すると考えるのが普通なんで、
微分を使うにしても、bの変化に伴うaの変化を考慮しないと、適切な評価とは言えないと思います。
0780１３２人目の素数さん
垢版 |
2018/04/28(土) 16:07:40.35ID:ySdYfjAT
仮にも早稲田の応用物理学科卒であるらしい>>1が、
この程度の多変数関数の値の増減について、
変数の独立性すら考慮せずに幼稚なミスを繰り返し続けるというお粗末な有様。

もはや整数論の中での間違いですらない。関数の増減で間違えるという大バカ。
0783１３２人目の素数さん
垢版 |
2018/04/28(土) 18:20:43.69ID:4+tPcB/I
>>778
p>1のときに、p≦1+(a-c)/(18-a)が成立する。 18-a>0のときにはp<1という結果に
なるこれは18-a>0のときには、p≧5となるべき奇素数が存在しないということ。
ちなみに、はじめに0<p<1を想定してもpはその範囲の中で単調減少になる。

>>779
そもそもp>1でないと答えではないのですから、はじめから0<p<1の範囲を調べる
必要はありません。

>>780
自分がそうだということにそろそろ気づけ。

>>781-782
卒業して、工学士だと言っているが。
0784１３２人目の素数さん
垢版 |
2018/04/28(土) 18:26:41.79ID:4+tPcB/I
>>779
最後に冗談みたいな内容が書いてありましたが、他の変数の影響を考慮せず
一つの変数による増減を考慮するのが偏微分ではないのですか？
0785１３２人目の素数さん
垢版 |
2018/04/28(土) 18:34:32.65ID:ksVVKyip
>>783
＞p>1のときに、p≦1+(a-c)/(18-a)が成立する。
つまりそれこそが間違いです。

これも何度言われたことか。
0786１３２人目の素数さん
垢版 |
2018/04/28(土) 18:45:43.52ID:ksVVKyip
>>783
＞p>1のときに、p≦1+(a-c)/(18-a)が成立する。
が間違っている理由：
p≦1+(a-c)/(18-a)を結論付けるには、

「p>1のときに、f(a,b)がbについて単調減少である」ではなく、
「b≧18のときに、f(a,b)がbについて単調減少である」を示さなければ不十分である。論文はそれを示していない。
0787１３２人目の素数さん
垢版 |
2018/04/28(土) 18:56:14.06ID:4+tPcB/I
>>786
常に(0<b<+∞)単調減少だから、bの最小値であるb=9のときの値がpの最大値となる。
これ以上の説明はできない。
0789１３２人目の素数さん
垢版 |
2018/04/28(土) 19:09:13.75ID:weWrnK/L
>>787
あなたの論文のことは置いといて
x ≧ 9 で単調減少でも x = 9 で最大値をとらない関数を挙げることはできる？
その上であなたの論文の関数がこうなってはないということを説明できる？
0793１３２人目の素数さん
垢版 |
2018/04/28(土) 19:43:25.75ID:ySdYfjAT
正整数 a,b,c が 2b＞a＞c と b≧9 を満たしていることは事前の計算により判明している。そこで、

X＝{ (A,B,C)∈R^3｜ 2B＞A＞C, B≧9 }

と置く。独立な3つの実変数の組 (A,B,C)∈X に対して

1＋(A－C)/(2B－A) ≦ 1＋(A－C)/(18－A) … (*)

が成り立つかどうかを考えたい。

X1＝{ (A,B,C)∈R^3｜ 2B＞A＞C, B≧9, 18－A＞0 }
X2＝{ (A,B,C)∈R^3｜ 2B＞A＞C, B≧9, 18－A≦0 }

と置くと、X＝X1∪X2 と分解できる。(A,B,C)∈X1 のときは、
2B－A≧18－A＞0 により、すぐに(*)が出る。

しかし、(A,B,C)∈X2 のときは、(*)は出ない。そのような具体例として、
たとえば (A,B,C) ＝ (19, 10, 1) とでもすればよい(他にもたくさんある)
0794１３２人目の素数さん
垢版 |
2018/04/28(土) 19:48:40.01ID:4+tPcB/I
>>791 訂正
pの偏微分の導関数の値域はp>1の場合に
×a/2<b<+∞
〇0<b<+∞
でした。
b>0はb≧9でも構いません。
0795１３２人目の素数さん
垢版 |
2018/04/28(土) 19:51:57.79ID:ySdYfjAT
>>793により、変数 A,B,C が完全に独立だとした場合には、
>>793の(*)はX全体では出ないことが判明した。

従って、もしX全体で(*)が成り立つことを言いたいのであれば、
A,B,Cは独立ではなく互いに依存関係にあるとしなければならない。

実際、件の論文(笑)の中では a,b,c は独立ではなく、
どの変数も残りの2つの変数に依存している。

すると、A,C は B に依存しているので、B≧9 として B を 9 に置き換える場合、
A と C も動くことになるので、B だけを 9 に置き換えた

1＋(A－C)/(2B－A) ≦ 1＋(A－C)/(18－A) … (*)

という計算は完全に間違っており、B＝9に対応する別の A', C' によって

1＋(A－C)/(2B－A) ≦ 1＋(A'－C')/(18－A')

という計算をしなければならない。
ここで、A', C' が実際には何なのかは、容易には計算できない。
容易に計算できないがゆえに、論文(笑)はこのあと詰まって証明に失敗する。
0796１３２人目の素数さん
垢版 |
2018/04/28(土) 19:52:11.25ID:4+tPcB/I
>>792
答えるのが面倒だから。aとbはpkとqkから決定されるから依存はしている。
しかし偏微分を行うときは独立していると考えるのではないのでしょうか？
0797１３２人目の素数さん
垢版 |
2018/04/28(土) 19:53:41.19ID:4+tPcB/I
取り調べを受けているな気がしてきました。

>>795
偏微分の概念を全く無視した見解どうも。
0798１３２人目の素数さん
垢版 |
2018/04/28(土) 19:55:39.94ID:ySdYfjAT
件の論文(笑)の中では、Bによる偏微分によって「Bについて単調減少である」
という言い回しをしているが、仮にその計算が正しいのだとすると、

「 1＋(A－C)/(2B－A) という関数は B について単調減少である」

と言っていることになる。もちろん、A,C が B に依存しているがゆえに、
実際に 1＋(A－C)/(2B－A) が B について単調減少である可能性はある。
しかし、だからと言って、B_2≧B_1 (≧9) のときに

1＋(A－C)/(2B_2－A) ≧ 1＋(A－C)/(2B_1－A)

が成り立つなどということは全く言えない。A,CはBに依存しているので、
各 B_i (i＝1,2) に依存した A_i, C_i が存在して

1＋(A_2－C_2)/(2B_2－A_2) ≧ 1＋(A_1－C_1)/(2B_1－A_1)

が言えるだけである。B≧9 という置き換えをしたい場合には、
既に書いたように、B＝9 に対応する別の A', C' があって

1＋(A－C)/(2B－A) ≦ 1＋(A'－C')/(18－A')

が成り立つに過ぎない。
0799１３２人目の素数さん
垢版 |
2018/04/28(土) 20:06:24.25ID:ySdYfjAT
>>798では不等号が逆になってしまったが察してくれ。

>>797
偏微分のあるなしが問題なのではない。
仮に偏微分によって「Bについて単調減少である」が言えたのだとしても、
B_2≧B_1 (≧9) のときに

1＋(A－C)/(2B_2－A) ≦ 1＋(A－C)/(2B_1－A)

が成り立つなどということは全く言えないと言っているのである。
B を動かせばA,Cも動くので、各 B_i (i＝1,2) に依存した A_i, C_i が存在して

1＋(A_2－C_2)/(2B_2－A_2) ≦ 1＋(A_1－C_1)/(2B_1－A_1)

が言えるだけである。
0800１３２人目の素数さん
垢版 |
2018/04/28(土) 20:31:10.59ID:DISPjxC7
もちろん考える状況によってはa とbは独立しているとみることもできるが、
bを独立させて考える以上は1/（b-a）が単調増加となる範囲を考えるにあたりaはbとは関係ない定数として扱わねばならないので、結局b=9を代入できるかどうかはわからない
0802１３２人目の素数さん
垢版 |
2018/04/28(土) 20:45:19.24ID:ksVVKyip
aとbが独立であろうがなかろうが、f(a,b)はb=a/2で不連続かつ微分不可能、もちろん偏微分も不可能です。
それでもf(a,b)は0<b<+∞で単調減少関数なのですか？
0804１３２人目の素数さん
垢版 |
2018/04/28(土) 20:50:36.49ID:Sdurrlx0
世界最古の未解決問題を解いた解いたと言い張るんだから、質問攻めにあうのは当然じゃん
まるで取り調べとか文句言うなよ
0805１３２人目の素数さん
垢版 |
2018/04/28(土) 21:46:28.20ID:4+tPcB/I
>>799
ご主張はその通りですが、論文とどこに齟齬があるのか分かりません。

>>800
何を言っているのかよく分かりませんが、b=9のときにpが最大値をとるということであり
b≧9のbに対してp≦1+(a-c)/(18-a)が成立するということです。

>>802
片微分不可能というのは分からないです。論文の式⑦の結果を見ているのでしょうか？
bで偏微分不可能になるのはp=1の場合です。
0806１３２人目の素数さん
垢版 |
2018/04/28(土) 22:05:51.12ID:ksVVKyip
>>805
((2b-a)(n+1)p-2bn)(∂f/∂b)=-2p(p-1)…⑦より
∂f/∂b=-2p(p-1)/(2b((n+1)p-n)-a(n+1)p)
よって、右辺の分母が０となるb=a/(2(1-n/(np+p)))で偏微分不可能
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況