奇数の完全数の有無について2
■ このスレッドは過去ログ倉庫に格納されています
証明の本質的な間違いはbの単調増加な関数となる範囲に9が含まれるかどうかの議論であって
aとかpが定数とか変数とかは文字を変えないのが不親切ってだけでそこまで関係ないのでは >>693
ネタうざい。
>>694
b=3^2=9であり、そのときa=13なんだから含まれるに決まっている。 1から10まで詰めていって、本質的に間違いがあるところ、つまり何回か指摘されてるb=9が入るかどうかの話までいくと
そこは本質的な間違いで誤魔化せないからなのか、スルーして
同じような指摘や誤魔化せそうな指摘をしている人間に1から説明し出す
そして10までたどり着いて本質的な間違いに来たら
また1に戻る…
わざとやってるなら相当悪質
自分自身でも間違いのあるのは分かってるんじゃないのか?どうしてそこまでして正しいことにしたいのか あ、スマン
やっぱり変数と定数の違いはそれなりに大切だね
意図的に乱用してるように見える 簡単だよ、間違いを認めたらこれまでの3〜4か月が無駄になることが怖いんだよ。
これは高木氏自身も言及してるし。 >>696
1から9であり、そのとき10なんだからわざとやってるに決まっている。 >>695
bの関数として見たときの単調減少な関数な話なんだから
その時の動かしてるbとは無関係の定数だよ
勝手にbの値を代入しないこと 本人が間違いを認めようが認めまいが、社会が正しいと認めなければこの論文に価値はないまま >>702
負け惜しみはいいよ。
後は、数学コミュニティ?や科学ジャーナリズムがその正当性を評価すれば
いいだけのこと。 >>703
まあコミュニティやらジャーナルに蹴られたんが高木くんなんやけどね >>703
何か間違ったこと言ったか?俺はこの論文が正しくないとは一言も言ってない、もちろん正しいとも言ってないが
正しいか正しくないか、最終的に決めるのは一般多数の社会だからな たった3-4ヶ月式いじりしただけでこの問題を解決できただなんて、早稲田はやっぱ自信に満ちあふれてるな 高木氏よ
a-2b(または2b-a)の正負とその根拠を書いてほしい 高木くんが人格攻撃を始めたり、議論を振り出しに戻そうとしたり、根拠もなく正しいとだけ言う場合はいよいよ反論できなくなったことを示している
生温かく見守ろうじゃないか 正負と根拠の話はやっぱいいや
>式Eから
>p=1+(a-c)/(2b-a)
これ、やってることが以前問題になったp=pじゃん
ダメだこりゃ >>707
氏ではないが
pdfの最初のほうの記述より
2b = a * { ( 1+p+…+p^n ) / p^n } > a >>707 2b-a>0であることは>>710氏の指摘するように、
>>678の2頁13行目の「a(1+p+p^2+…+p^n/2p^n)=b」から導けると思います。
>>659 >>706 早稲田大学への誹謗中傷はやめましょう。
オボちゃん事件を思い出しますが…(-_-;) >>657
>全て自分で証明するということにしているのでそうなっています。
そこが証明できていたらもっと評価したいんですけど、
証明が与えられているとは言えないんです… >>711
早稲田大学は素晴らしい大学と思いますよ。
まあどんな所にも悪人というものは居るものですね。 >>713
私は悪人ですか。それが誹謗中傷だと思いますが。 そりゃ論文の捏造を見て善人と評する者はおるまいて
ここの論文がどうかは知らん >>715
何故見てもいないのに捏造だと分かるのか? 715ではありませんが、何故見てないとわかるの?
他人を盗聴盗撮して監視してるんですか?
だとしたらとんでもない悪人じゃないですか。 >>715の「論文の捏造」とはSTAP論文のことだろ よく聞く大学の大先生に難問を「解決」したって論文送ってくるやつ? >>720
どこにも送っていません。
arXivに投稿しようと思いましたができない様子。 ふと物理板を見てきたら、こいつと同じようなのが複数いて驚愕したわ
こっちはこいつだけだからまだマシだな。 >>722
ログインはできるが投稿できない。他の人の承認が必要らしい。
>>723
>>9に投稿した。 まともに数学教育受けてないのに数学できた人ってラマヌジャンくらいだからな
こいつは自分のことをラマヌジャンだと思い込んでるだけ アスペかよ
本人が言った言わないの話ではなくて、こちらがどう感じるかどうかの話だろ >>725
ホントだw
エネルギーは保存しなかったのか! >>725
前提条件にA⇒Bが入っていると
¬A が出てきた時点で矛盾とかいう論法をゴリ押ししてて笑った 証明が私個人でなされたものかどうかは、5chのログを調べればいいだけ。
今日もテレビの番組予約が私が部屋にいなくなっている間に変わっていた。
PCにも何かしらの操作を加えているかもしれませんね。勝手に。
テレビで個人攻撃したり、どちらが厚顔無恥なのか? それから、何度も計算間違いをしましたが、そのうちの一部は勝手に人の仕事を
改竄し、計算結果を変える人間がいたからかもしれませんね。 >>732
それならまだマシ
A⇒Bと¬BからAが矛盾と言ったりAともBとも関係ない¬Cをいきなり持ち出して矛盾と言ったり
とにかくやりたい放題 やっぱ思考盗聴とか集団ストーカーとか、そういうの信じちゃう方ですか? >>739
普通に部屋が盗聴されていてテレビの生放送で私の発言にリアルタイムで反応
されるぐらいだから、完全に盗聴自体はされている。 The word Mrs. Watanabe produced by Yankee Americans is not anything other
than an insult to Japanese. >>741
日本語は読めないのですか?当然学者ではないので正確無比な
英語を書くのは難しい。 >>744
投稿規定読めるぐらいなら大丈夫かなwww >>740
うわ、最悪ですね。
ちなみに何という局の何の番組ですか?もし本当なら普通に犯罪行為なのだ、訴えるべきだと思います。 ・ 英語ができないことの言い訳に「自分はプロではないから」という論法を使おうとするも、
英語はバカでもアホでも書けるという事実により論破される。
・「正確無比な英語」という極端な言い方をすることで、「多少間違っていてもしょうがない」という
逃げ道を用意しようとしているが、こいつの英語のおかしさは多少どころではないので問題外。 ついにちゃんと指摘してくれる人いなくなっちゃったね
可哀想に >>751
どこがおかしいのか書け。国語しかかけなそうなことを書いているが。 まずGoogle翻訳にぶちこめばいいというところから誤り もうさ、どっか適当なとこに投稿しちゃえばー?
ここにはもう反論者も賛同者もはいないよ Y := { (p,a,b) | p,a,b は 完全数 y によって定まる自然数 }
X: = { (p,a,b) | p,a,b は C を満たす実数 } ←木氏は微分法を用いたので実数にしておく
明らかに Y ⊂ X である
氏は X を舞台にして矛盾を導いたということのようだが
X\Y の元で矛盾を導いても仕方なくね? それも死ぬほどやったけど、高木君は早稲田でそんなんやってないみたいだから理解できないよ 書いた当人が理解しなくても構わない
数学をちゃんとやった者なら理解できる 反論者がいなくなったのは、まあ数学的な反論は出尽くしたからだろうな
今は高木くんが指摘された数学的ミスを修正するでもなく放置して、正しいから正しい論を唱えるだけになっちゃったからね
本人も正しいと言ってるのはポーズだけで多分どこに間違いがあるのかは明確に理解してるだろうから無事解決、win-winだろう >>757
>X\Y の元で矛盾を導いた
が分からない。
X の元で矛盾を導いたではないのですか。 >>757
高木氏は、yが完全数という条件の元で奇数であるという仮定をすることと、奇数の完全数を仮定することの区別が理解できてないみたいですよ。 私はpk、qk、nを任意に与え、奇数の完全数yが存在するのであれば
奇素数pが存在すると仮定しています。 前もちょっと思ったんだけど、なんで論文(笑)に書いてあることと、ここで言ってること違うの? そうそう。
ここがかなり大事なところだと思う。
pk,qk,nを任意に与えるということは、yが完全数ではない場合があるということである。
だけど、高木さんはyは完全数である前提で話を進めてる。
これは完全数の定義式から話を進めていることから明らか。
これはyが奇数だと仮定しようがしまいが起こっていることで、
推論に矛盾が生じているから、結論も矛盾したものになる。
というのは理解できる? 理解できてないからドヤ顔で(笑)を公表しておけるんでしょ >>639 昨日、暇があったので、三頁第四段落の
「p>1のとき、2b-a>0であるから…」以降の文章を解読してみましたよ。
この後に5つの不等式が並んでいて、その下に
「式Fの左辺の符号は正になる」とありますが、
これは「式Fの左辺【の∂f/∂bの係数】の符号は正になる」ということが言いたいらしいです。
そしてそれは、5つの不等式の一番上にある「(2b-a)(n+1)p-2bn>0」のことに他ならない。
つまり、証明すべき命題を一番最初に持ち出してるんです。
逆に一番下の不等式が、p>1の下ではほぼ自明な不等式。
結局、自明な式を最初に書いて目標となる式を最初に書くのが普通なのに、
ここでは逆に、目標となる式から自明な式を導いているんです。
普通の感性の人は、下から上に読んでいく必要があります。
一番下の不等式から一番上の不等式を導く際にも、そこで用いている操作の説明が不足しているので、
読者がその正当性を理解するのは容易ではないんですが、
5番目⇒4番目は、高校レベルの数列を知っていれば導けます。残りは簡単な操作です。
尚、第四段落の冒頭の「2b-a>0であるから」は、
本来1番目の不等式と2番目の不等式の間にあるべき説明です。 >>646の意見に高木氏の立場に立って反論すると、
「(2b-a)(n+1)p-2bn=0が成立するのはp=1の場合だから、
p>1であることを前提にする限りは考慮する必要がない」ということになります。
但し、>>688の疑問は解消されていません。
結局、p=1+(a-c)/(2b-a)を一次分数関数のように取り扱った場合に生じた問題点が
多少複雑化したとはいえ、本質的には解消できていないと考えられます。 目標となる式から自明な式を導けても、その逆は... >>768 訂正。
×「結局、自明な式を最初に書いて目標となる式を最初に書くのが普通なのに」
〇「結局、自明な式を最初に書いて目標となる式を最後に書くのが普通なのに」 >>766
だから、yが存在するのであれば、その因数であるこの論文で定式化されている
pが存在しなければならない。だがしかし、p≧5の奇素数は存在しないことが示される。
こんな簡単な内容を理解できないのが意味が分からないし、変な文系は
食って掛かってこなくていいよ。 誰か以外の全員「(こんな簡単な間違いにも気づけないのか)」 >>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の場合分けが必要になります。 >>774
>>ここの範囲に b=9 が入らなければ (引用者注:こことは b>a/2)
a,b の値によっては定義域内に b=9 がないことがあり得る
と質問者は言っているんじゃないか?
>>774はその回答になってる? いや書き方がわかりづらいだけで
p_rとかq_rを任意に与えてからでも議論はできるだろ
問題なのはb=9とか代入するとこであって
できるとこまで批判するとやっぱり本当は正しいんだという中途半端な思い込みをうむ b=9のときp=1+(a-c)/(2b-a)がp>1の範囲に入らないことは有り得る。その場合は>>774の推論は成立しない。
b=9がp>1の範囲に入らない条件というのは18-a<0のことであるが、その18-a<0のときには成立しないような理屈を18-a<0のときに当てはめて矛盾が出た、だから仮定が誤ってる、としているのが間違いである。
…あれ?この説明されたのこのスレで何度目だっけ? >>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の変化を考慮しないと、適切な評価とは言えないと思います。 仮にも早稲田の応用物理学科卒であるらしい>>1が、
この程度の多変数関数の値の増減について、
変数の独立性すら考慮せずに幼稚なミスを繰り返し続けるというお粗末な有様。
もはや整数論の中での間違いですらない。関数の増減で間違えるという大バカ。 卒業したとは言ってないし、GPAウンコかもしれんぞ >>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
卒業して、工学士だと言っているが。 >>779
最後に冗談みたいな内容が書いてありましたが、他の変数の影響を考慮せず
一つの変数による増減を考慮するのが偏微分ではないのですか? >>783
>p>1のときに、p≦1+(a-c)/(18-a)が成立する。
つまりそれこそが間違いです。
これも何度言われたことか。 >>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について単調減少である」を示さなければ不十分である。論文はそれを示していない。 >>786
常に(0<b<+∞)単調減少だから、bの最小値であるb=9のときの値がpの最大値となる。
これ以上の説明はできない。 >>787
b=a/2で不連続な関数がどうして「常に(0<b<+∞)単調減少」と言えるのですか? >>787
あなたの論文のことは置いといて
x ≧ 9 で単調減少でも x = 9 で最大値をとらない関数を挙げることはできる?
その上であなたの論文の関数がこうなってはないということを説明できる? >>788
2b-a>0と書いているから、a/2<b<+∞の誤りでした。
>>789
p(a,b)をbで偏微分しているから。 aとbは独立なの?
都合悪い質問無視すんのやめてくんない? 正整数 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) とでもすればよい(他にもたくさんある) ■ このスレッドは過去ログ倉庫に格納されています