奇数の完全数の有無について [無断転載禁止]©2ch.net
レス数が900を超えています。1000を超えると表示できなくなるよ。
誤りを指摘しても一文の得も無いのに、これだけ居丈高に来られちゃあね。
どこにマルチポストしても末路は同じよ。 すげー、y=6として最初から辿ってみたら矛盾したわ…これは大発見だな >>823
>>811で言われてる通り偶数でも成り立たったよ、だから6は完全数じゃないよ >>824
y=p^nΠ[k=1,r]pk^qk
分からなければ、書かなくていいよ 背理法のタブーを犯していることをわかってないのはお前なんだけどなあ
でも、説明したところで他人を攻撃するだけ理解しようともしないから、書かないでおこう
自分の論理が完璧なんだから、もうここで質問することもないでしょう? 日本語が読めないのか、可哀想に
そっとしておいてあげよう >>829
この問題を背理法で証明したいとき、「yが完全数であるという条件の元」で、yが奇数であることを仮定し、矛盾を導かなければならない。
ところがだ、この人はaとbが定数だと言う仮定を付け加えたわけだ。
このとき、何が起こるか。
aとbが定数だということは、p1^q1〜pr^qrが定数であること同値である。
ところで、yが完全数であるかどうかに関係なく、y=p^n・p1^q1・…・pr^qrが成り立っている。
したがって、p^nが色々な値を取ることになり、yが完全数であったりなかったりする。
これは大変な問題で、勝手に追加した仮定により、そもそもの前提条件が成り立たないかもしれない世界でyを奇数と仮定した背理法により矛盾を導いたところで、証明したとは何ら言えない。
このことはベン図を描くとわかりやすい。
yが完全数となるpをp′と書くことにして、その集合をG(p′)とする。また、奇数の完全数yをy′と書くことにして、その集合をG(y′)とする。
背理法での証明にあたっては、G(p′)∩G(y′)の世界で矛盾を導びく話が、a,bを定数としたことで、単にG(y′)の中で矛盾を導く話にすり替わってるところが問題だ。 タブーが何だかは知らないけど、例の証明は奇数の条件に依存している部分を取り除いても矛盾が導ける構造になってるんだから、結局ダメなんじゃないの? >>830
タブーというか、仮定から正しい推論をして矛盾が出たとき、もとの仮定を否定できるというのが背理法だから、
「奇数の完全数が存在する」と「追加した仮定」のふたつを仮定して矛盾を出したら、否定できるのは「奇数の完全数が存在する、かつ追加した仮定が真」ということになる
これは「奇数の完全数が存在しないか、または追加した仮定が偽」ことを証明したのに過ぎなくて、追加した仮定がいかなる場合にも真であることを言わないので、証明は不十分で終わっている
と、そういうことですよね? >>830
奇数の完全数の非存在を示すのに、完全数yを奇数と仮定した背理法が
何故いけないのか説明になっていない。
>>831
yは奇素数qとq1,q2,…,qm素因数に持つ積だから、当然奇数になる。ひつこい。
>>832
奇数の完全数が存在する場合の定式化を行っている。
以上、完 全 終 了。 >>832
ん〜、たぶん合ってる
うまく伝わるかわからないが、重要なのは、奇数の完全数の存在を仮定することと、完全数が奇数であることは本来、
完全数∩奇数で同じ意味でなければならないのに、
a,bを定数にしたことで、前者の意味が完全数∪奇数にすり替わっちゃったところにあると思うんだよね。 pとは依存しないという点でaとbは定数だというだけ。
すりかわるなどということはなく、何が言いたいのかさっぱり分からない。 >>837
証明が不十分ということよ。
純粋に「奇数の完全数が存在する」という仮定だけから矛盾を示さないと証明は完全とは言えない。よって余計な仮定を持ち込んではいけない。 補足。
恒真な仮定なら持ち込んでも構わないよ。
すべての整数fとpについて「2f<pまたは2f≧p」とかね。 証明の本買ったよ
「その理屈、証明できますか? 正しく命題にたどり着くための手法と思考の学び方」 分からないなら分からないで、そのままリジェクトでございます このスレの流れを見てると、数学に疎い只のバカだった論文()投稿者が大バカからクソバカに進化してってるトコが見どころだな
このままループを繰り返してどこまで進化するのやら 何度目の完全終了か分からないけど無事解決したみたいで良かった良かった >>838
内容を理解できていない人間にとやかく言われる筋合いはない。
奇数の完全数の存在を仮定して矛盾を導いている。 >>846
理解者を待つことだ
いつか来るよ
5chだけでなく他のソーシャルメディアも存分に活用するといい(てかその方がいい) 以前と比べて必死さが半端ない
これを否定されたらもうネタがないと見える >>846
てか、お前さん、二言目には論文読めってなるけど、ちゃんと読んで指摘したって無視するから読む気にならんよ
そんなんじゃ理解者なんか現れるわけがない
文句あるならこれまでの指摘にまともに答えてみなさいな >>846
そっくりそのまま返すようですが、皆の指摘が理解できないんならもう諦めな
twitterとかまた別の島で見てもらうとよい >>848
それはない、前から同じ。
>>849
妥当な指摘にはそれにはレスはしていないのかもしれないが、それに対応して
論文を修正してきた。最後の>>780の内容でレスをしてもらわないと意味がない。 さんざんコメントされても理解できないんでしょ
諦めなさいよ
聞いた場所が悪かったと思えばよくあることじゃない >>852
理解できないんじゃない。それでは、一点でもあげてみろよ。 理解力に劣る人がいるようなので、さらに説明を行うと
式Eが恒等的に成り立つと仮定すると
g=0 -a-g+h=0 c-h=0
となり、a=cとなるから矛盾となる。よって式Eは
任意のpで成立してはならないということになる。
そうなのにも関わらず、以下略。 挙げてみろってw
挙げられたコメントにちゃんと対応してたら、こんな空気にならんかったんやで
もう850も過ぎてるんやから、もうこのうんざりしてる空気読むといいじゃないかな >>855
式6が恒等的に成り立つ仮定が偽の可能性は排除できてますか? 分からないと言ったのは
知ったか>>808のオイラー関数を使った意味不明な内容は
誰も理解できないのではないのかということ 相手をしてもらえるうちが華。
みんなに呆れられて無視されるようになったら人間としてオシマイ。
数学以前の問題。
そのゴミみたいな間違いだらけの論文モドキを
後生大事に抱きかかえながら一生キャンキャン吠えてればいい。
そのうち病状が進行して将来は精神病院だろう。それで困るのはお前だけ。 みんなが理解できてないなのは、しったか背理法だろwww >>856
内容的に突っ込みどころが皆無になって、叩くところがなくなり
意気消沈しましたか、残念でした。
>>857
成り立たない(不定にならない)場合について書いてあるが、それも矛盾する。
>>859
未解決問題を解決したかもしれない人間に対して失礼千万。 >>858
ごめん。808だけど、それオイラー関数じゃなくて普通の関数の文字として使いました。
でもほとんどの人はわかってくれると思うで この>>862、他人には具体的な指摘を強要するくせに、自分はまったく具体的に回答していないよね。 >>1の証明は左ではなくて右のようになっているという指摘に対しての返答はしないのか?
横レスで申し訳ない。
遊んでたらこんな計算結果になったんだけど、
どこで計算ミスしてますか?
http://fast-uploader.com/file/7079010955737/ >>864
私の書いた内容とはズレがあるようにしか思えない。>>813で書いたとおりだ。
>>865
読めば書いてある内容を何故答えなければならない? >>868
p1-1が3の倍数ならば、どの素因数も3でなくても問題はない。
あと、10^8を超えるというのは最大の素因数についての言及なので、素因数に3か含まれることとは矛盾しない。 >>870
p1−1は偶数だから3の倍数の勘定から外したんですが、それが間違ってるということですか? 指摘を受け入れないなら晒さないでください
自分の中だけで証明できたと悦に浸っていればよろしい 笑えるのが、もうもうひとつのスレッドのほうには、
最古の2000年以上前からある未解決問題
「奇数の完全数が存在するのか。」
という問題が解決されたかもしれません。
非常に簡単な証明となっているので、批判、検証、査読、承認を
宜しくお願いいたします。
批判を受け入れるとありますが? (理解できないものを除いて)批判を受け入れるんだろうね >>855
gとhはpに依存するので、このレスは誤りでした。 >>871-873
解決したようで何よりですね。
ちなみに奇数の完全数Nは(存在するならば)N ≡ 1 (mod 12), N ≡ 81 (mod 324), N ≡ 117 (mod 468) のいずれかであるはず、
つまり3の倍数ならば N ≡ 81 (mod 324) または N ≡ 117 (mod 468)、3の倍数でなければ N ≡ 1 (mod 12) ということがいえますが、
これの証明は簡単なので、練習問題としてやってみると面白いかもしれません。 >>882
警察の方、この暴言野郎は塀の中に叩き込んだ方がいいのではないでしょうか?
お前も解決できないくせに調子に乗んなカス。 お前も?
皆さん、ついに解決してないことを認めましたよ。 >>878
p^(n+1)-2b(p-1)p^n=a
この式から、p,nが得られた場合には、その値により2b=gp+hにより
gとhは一意に決定されるため、gとhは定数とみなしてもいい
のではないかと考えられる。 >>885
私が解決したと社会的に認定されているわけではないので >>888
だからその方程式に解が存在したと仮定すればいい、それぐらい分かるでしょ。 Wordでも数式は書けるけどね
それより論文として問題なのは参考文献の少なさ
先人の業績を調べることは一切していない >>897
数学の研究者ではないので、仕方ありません。
>>898
有難うございます。数式が使えました。
>>896
数式を使ったので見やすくなったと思います。
Pdf文書
http://fast-uploader.com/file/7079057192492/ 日本で1番有名私立大学理工学部では、texは使わんのかwww すでに指摘されてるだろうが、
例えば、xの二次方程式ax^2+bx+c=0があって、任意のxで成り立つなら、a=b=c=0が成り立つのかよ?
やってることが無茶苦茶だよ。中学数学からやり直せ。 あ、>>901に併せて、任意のxで成り立つって仮定がどこから来たのかもちゃんと答えろよ >>900
卒業したのはだいぶ前で、使わなくてもWordでOKだった。
>>901
定係数a,b,cに対し、全てのxの値に対して成り立つということは
a=b=c=0
が必要十分条件になる。これは常識だと思うけれど、違うというのなら
反例をどうぞ。 Cはそこまでに考察の対象としたある特別なpに対して成り立つ式なんじゃないの?
Cを立式した後でなんで勝手に「任意のp」にしてるの? >>309
はい、ボロを出しましたね。
xがすべての値を取る→a=b=c=0
は真だが
その逆は真ではない。
なぜなら、この命題の対偶は
a=b=c=0→すべての値を取り得ない
だから。
したがって、必要十分条件ではありません。 >>904
特定のpであっても、それは任意のpのうちの一つだから >>907
任意の p を1つとって(ここでとりあえず p_0 とでもしておくべき)
その p_0 に対して b を設定したんでしょ (これも b_0 とでも書いておくべき)
ということはCは恒等式ではなくて特定の値に対してしか成立しない方程式になるんじゃなくて? >>908
特定の値にしか成り立たない方程式です。 >>903
えっ、ワードなのに巾乗を^{}で書くのが許されていたのかいw >>908
pに対してbが定まるのではなく、与えられたa,bに対してpが求められると仮定しています。 >>912
pdf のどこにそんなことが書いてある?
Cまでにはそのような記述はないようだが >>913
え、添え字は_{}で書くのも許されていたのかいーw >>912
ダウト
>奇数の完全数をy、そのうち一つの素因数をp、pの指数をn、p以外の素因数を…素数p以外の積の組み合わせの合計をaとすると
なので、yとpが与えられてaが決まってる。 >>914
Cまでではありませんが、4ページ目に書いてあります。 >>916
それは逆です。pの存在、非存在を検討しています。 >>918
pdfの記述からはそのようには読めない
そう伝えたいなら文章を書き直すべきだ
俺が指摘した部分についてもだ
章立てをするとかしてもっと読みやすくしてくれ レス数が900を超えています。1000を超えると表示できなくなるよ。