X
トップページ⇒数学
1002コメント403KB
奇数の完全数の有無について2
レス数が1000を超えています。これ以上書き込みはできません。
0002１３２人目の素数さん
垢版 |
2018/04/13(金) 16:22:04.64ID:o0evvulR
前スレ>>996
そのp=pが出てきた場合に、その方程式の係数が全て0でなくてはならない
ことは認めるのだろうか？
0003１３２人目の素数さん
垢版 |
2018/04/13(金) 17:50:19.06ID:0Sn5GOrp
サイコスレ使えよ
0005１３２人目の素数さん
垢版 |
2018/04/13(金) 18:28:30.01ID:d30MIixq
完成したんだからジャーナルのURLじゃないとレスしないように。
J-STAGEなら審査、掲載共に早いからよろ
0006１３２人目の素数さん
垢版 |
2018/04/13(金) 19:00:33.16ID:o0evvulR
証明できたとしか考えられないけど、論文を公開しているのだから
その内容が正しいと公式に認定してもらいたいという希望を持っています。

>>5
個人で書いたものだから無理のようですけど。
0008１３２人目の素数さん
垢版 |
2018/04/13(金) 19:10:40.01ID:dJhUmc0C
指摘に対して、

読めばわかる、自明である、くだらない、つまらない、完全終了、スルー

こういった発言・態度を改めない限り、もうまともに読んでくれる人はいないだろうね。
0009１３２人目の素数さん
垢版 |
2018/04/13(金) 19:34:33.33ID:d30MIixq
さっさとしろよ。
何が無理なんだよ？あ？日本語すらも節穴かよ
https://www.jstage.jst.go.jp/browse/jmath/_pubinfo/-char/ja

日本数学会欧文誌 Journal of the Mathematical Society of Japan（JMSJ）は、1948年に創刊された純粋数学の総合誌で、質の高い国際学術誌として数学コミュニティに貢献しています。

JMSJ は日本数学会の機関誌ですが、会員・非会員を問わず国内外から投稿される研究論文を、第一線の専門家による厳格な査読を経て掲載しており、わが国を代表する数学誌として国際的に広く認知されています。
季刊誌で年4回発行され、オンライン公開はProject Euclid およびJ-STAGEで行っています。
0010１３２人目の素数さん
垢版 |
2018/04/13(金) 19:42:12.14ID:kkgDdWDc
百歩譲って>>8に書かれた態度を容れたとしても、数多指摘を受けながら、不定となる➡だから矛盾する、といった誤った方法を続けているかぎり、まともな議論にはならない。

不定から矛盾を導けるのは、不定を使わなくても矛盾を導ける場合に限られる。

不定に頼った考え方に懸命にしがみつく様は滑稽ですらあるが、そのエネルギーを他に使えば、あるいは本物の証明に辿り着ける可能性が万に1つ位はあるのではないかと思えるだけに、そのことは残念でならない。
0013１３２人目の素数さん
垢版 |
2018/04/13(金) 20:10:28.16ID:o0evvulR
>>9
違う方を見ていました。数学の記法でNGになりそうな気がしますけれど。

>>10
不定が解となる方程式があり、不定が解になるのはその方程式の定数係数が
全て0のときでその場合には、題意を満たさないので矛盾になるということです。
0014１３２人目の素数さん
垢版 |
2018/04/13(金) 20:34:16.82ID:jJxrr6Wt
>>13
題意と異なると言うが、題意とは無関係の式を勝手に立てたのは自分自身だ。
その題意と異なる式をいくら評価しても元々仮定した奇数の完全数の非存在を示したことには少しもならない。
0016１３２人目の素数さん
垢版 |
2018/04/13(金) 21:17:09.17ID:o0evvulR
>>14
題意と異なるとはどういうことでしょうか、具体的に書けないので
あれば意味がありません。

>>15
英訳をしたり、数学の書式に改めるのはすぐにはできない。
0017１３２人目の素数さん
垢版 |
2018/04/13(金) 21:22:48.12ID:1mp8XGip
証明できた、みんな見て！
・証明の問題点を指摘する→受け入れない
・証明の査読を勧める→投稿しない
何がしたいんだよ、どうしてスレ立てたの？
0018１３２人目の素数さん
垢版 |
2018/04/13(金) 21:28:28.58ID:dIuNarO9
>>16
お前、前スレで投稿したのに妨害されたとかグチャグチャ言ってただろうが

あれはパチこいたんか？
0019１３２人目の素数さん
垢版 |
2018/04/13(金) 21:47:05.60ID:o0evvulR
>>17
まともな受け入れるべき批判は受け入れて、その都度訂正してきたが
前スレ>>909以降、何の検討に値する批判はほとんどない。

それから、私が嫌がらせを受けたり、私の部屋に勝手に誰かが侵入した
形跡があるのは何度もある。
0021１３２人目の素数さん
垢版 |
2018/04/13(金) 21:50:42.34ID:o0evvulR
盗聴されているのは確実で、その内容がテレビ番組に反映されたのは
何度もある。日本のテレビ放送の倫理はどうなっているのかと思うね、
私の家で発言した内容が生放送で盗聴を行っていることが明確に分かることも
あったわけだし。
0023１３２人目の素数さん
垢版 |
2018/04/13(金) 21:57:36.95ID:o0evvulR
警察呼ぶぞと聞こえてきたが、どうぞご自由に何の違法行為も行って
いない人間に何もすることもできないと思いますけれど。
0024１３２人目の素数さん
垢版 |
2018/04/13(金) 22:01:33.30ID:o0evvulR
>>21 訂正
×私の家で発言した内容が生放送で盗聴を行っていることが明確に分かることも
あったわけだし。

〇私が家で発言した内容を盗聴してそれに反応しているとしか考えられない内容が
生放送で明確に分かることもあったわけだし。
0025１３２人目の素数さん
垢版 |
2018/04/13(金) 22:06:53.89ID:o0evvulR
〇〇(自民党の政治家の個人名)がどうした、聞こえてきたが
とにかく女々しい、文句があるんだったらはっきり言えということだし
このスレに書けば。誰が言ったのか分からないようにしなければなら
ないのと、言った内容が記録されてはならないわけ、女々しい日本人は。
0026１３２人目の素数さん
垢版 |
2018/04/13(金) 22:19:58.21ID:omo7w19F
ん？
0028１３２人目の素数さん
垢版 |
2018/04/13(金) 23:38:25.25ID:o0evvulR
上司なめんのもいい加減にしろと今確かに聞こえてきました。
残念ながら、私は無職であるため上司はいません。
私の上司が誰なのか教えてもらいたいぐらいです。
何故ここまで、意味不明なノイズを聞かされなければならないのでしょうか？
0030１３２人目の素数さん
垢版 |
2018/04/13(金) 23:39:42.21ID:4tLLxqhA
どうでもいいから、さっさと投稿しろよ。

一度投稿したと言い張るくせに今更体裁がとか言って逃げてんじゃねえよ
0031１３２人目の素数さん
垢版 |
2018/04/13(金) 23:43:31.41ID:o0evvulR
>>30
だから、英語の論文は書いたことがないから時間がかかるわけ。

それと5ページの内容を>>9で査読をしてもらえるのでしょうか？
0032１３２人目の素数さん
垢版 |
2018/04/13(金) 23:49:54.57ID:o0evvulR
それから、数学の記号を正式なかたち例えば
{∃n∈N | n>0}
のようにもかかなければならないのではないのでしょうか？

これらのことより、すぐにはできません。
0033１３２人目の素数さん
垢版 |
2018/04/13(金) 23:51:17.08ID:B/DU0LPl
お前を監視しているぞ
0035１３２人目の素数さん
垢版 |
2018/04/13(金) 23:54:26.51ID:o0evvulR
>>30
電子投稿をしたと言ったんですけど、数学記事は要らないというふうに返信が
きましたけど。その時の内容は当然間違っていたので今ではどうでも
いいと考えているわけですが。
0036BLACKX ◆jPpg5.obl6
垢版 |
2018/04/14(土) 00:17:50.17ID:E5kbsfq/
>>31
査読というより審査に近い査読だよ
表記は伝われば兼ね問題無し、ページは８ページまで詳細求められた時に提出する詳細資料は作るべきだけどたった３ページの記事に文字数もへったくれもない。
0037１３２人目の素数さん
垢版 |
2018/04/14(土) 00:24:19.95ID:VvQQecsx
顔は見えないのに声は聞こえるなんて怖い
普通そんな現象は起こらないから多分未知の物理現象によるものだな
0038１３２人目の素数さん
垢版 |
2018/04/14(土) 00:27:58.44ID:kzbSgJ/Q
世紀の大証明をしたわけだから、色んな組織が盗聴・盗撮・嫌がらせをするだろうな
0039１３２人目の素数さん
垢版 |
2018/04/14(土) 00:35:42.44ID:VvQQecsx
証明を妨害する為に間違いなく何者かが何らかの対策を講じてるよね

メールの件とか、長引く風邪の件とか、どこからともなく聞こえる声とか、度重なるケアレスミスとか、部屋が荒れていた件とか

証明の前にその妨害者を無力化しといた方がいいね
0040１３２人目の素数さん
垢版 |
2018/04/14(土) 00:39:49.05ID:u1aYo0Wv
>>39
その査読の結果、ご検討をお祈りされてもなぁ。踏んだり蹴ったりだよなぁ。さぁ、始めよう。我らが白か黒か査読一つではっきりするぜ？
お前も言いたいだろうに、ほれみたことか！って。さぁさぁ

それともごめんなさいするのも今のうちだぞ？
0043１３２人目の素数さん
垢版 |
2018/04/14(土) 01:10:58.83ID:2A7sKYwn
査読じゃなくて査問
0044１３２人目の素数さん
垢版 |
2018/04/14(土) 06:05:52.60ID:C0+Bnbzm
自分の証明を社会的に認知してほしいという願望があるようだが、
5chのスレッドでいくら賛同が得られても社会的には何の価値もないので、
きちんと論文の体裁を整えて数学誌に投稿して専門家に認めてもらうしか方法は無い。
何だかんだ言い訳しつつ論文から逃げているようでは、
「社会的に認知してほしい」という願望は決して叶わない。

ちなみに、>>1の証明は間違っているので、論文にしたところで既にリジェクトが確定している。
それでもなお、「社会的に認知してほしい」という願望を叶える手段は論文しかない。

金がかかるわけでもあるまいし、英語が何だの数式の変換が何だのと、
「できない理由」ばかり見つけて逃げているようでは問題外。
手段が提示されているのにやらないのは完全にお前の責任で、お前が悪い。

結局こいつは、未解決問題をナメているどころか、社会もナメている甘ったれのお子ちゃまなのであろう。
0045１３２人目の素数さん
垢版 |
2018/04/14(土) 07:44:16.49ID:JohalhQo
>>44
一般的に使われている言い回しがあり、それを私は知らないから仕方がない。
日本語ならまだしも、英訳をするのは英作文能力を評価されるだけにしか
ならない。

もっと言えば論文を提出しているのだから、日本人なんだから日本語の論文を
評価すべき、英訳はそれが卒なくおこなえる専門家が行うべきだと思うが。
0046１３２人目の素数さん
垢版 |
2018/04/14(土) 07:52:37.11ID:C0+Bnbzm
>>45
「できない理由」ばかり見つけて逃げているようでは問題外。
手段が提示されているのにやらないのは完全にお前の責任で、お前が悪い。

＞もっと言えば論文を提出しているのだから、日本人なんだから日本語の論文を
＞評価すべき、英訳はそれが卒なくおこなえる専門家が行うべきだと思うが。

お前の願望を「べき」という言葉で強調しても、お前の言い分に正当性は出てこない。
社会はお前の思い通りにはできていない。社会をナメるなクソガキ。

日本人の数学者であって、英語の論文を書かない人は一人もいない。
なぜなら、そもそも学位取得に英語の論文が必須だからだ。
学者としてのキャリアを積み上げていくときも、論文は普通に英語である。

これが現実。しょせん、お前ごときクソザコには手の届かない世界だってこと。
お前ごときでは、5chでゴミみたいな文章を投稿するのが関の山。
そして、その5chですら賛同者は居ない。実際、お前の証明は間違ってるのだからな。
0048１３２人目の素数さん
垢版 |
2018/04/14(土) 08:30:21.28ID:CTMNiMRH
>>45　無料で訳してくれる研究者なんか誰もおらんよ。何の得にもならんから。

金はかかるけど、論文翻訳サービスを利用したら？
オレは、研究をやってた頃にUni-editって会社のサービスを使ってた。
https://uni-edit.net/japan
価格が良心的でよかったよ。
ただ、オレが使ってたのは校正サービスだったので、
一からの翻訳となると結構かかるかも…？
0049１３２人目の素数さん
垢版 |
2018/04/14(土) 08:32:14.67ID:JohalhQo
>>46
私は数学者ではないから仕方がない。おい数学者？のクソガキお前がしていないことが
一つある。それは、>>1のどこに間違いがあるのか明確に指摘することだ。
それができてから、大口を叩け。
0050１３２人目の素数さん
垢版 |
2018/04/14(土) 08:38:47.52ID:C0+Bnbzm
>>49
＞私は数学者ではないから仕方がない。

だったら、「数学的な業績で社会的に認知される」のは不可能。

「数学的な業績で社会的に認知される」とは、きちんと論文としての体裁が整った本当の論文を
数学誌に投稿して、それが査読と修正を経てきちんとアクセプトされることを指す。
つまり、プロの学者がやっていることと全く同じ水準の仕事をして、かつそれが認められなければ、
「数学的な業績で社会的に認知される」とは言わない。
お前が今やっていることは、お前が書いたゴミのような日記をインターネットに公開して、

「この日記を以って社会的に認知されたということにしておきたい」

という、誰にでもできる甘ったれた学者ゴッコのお遊びに過ぎない。
そんなのが社会的に認知とか笑わせんなっつーの。社会ナメるなクソガキ。
0051１３２人目の素数さん
垢版 |
2018/04/14(土) 08:44:47.79ID:C0+Bnbzm
>>49
＞それは、>>1のどこに間違いがあるのか明確に指摘することだ。

どこに間違いがあるかは、前スレから何人も明確に指摘している。
あとはお前が指摘内容を理解してpdfを撤回するだけ。

＞それができてから、大口を叩け。

俺が書いているのは、「大口」ではなく「常識」である。

「数学の業績で社会的に認知されたければ、きちんと論文を書け」

という常識を書いているのが俺である。
このような内容は、「大口」とは言わず、「常識」というのである。
そして、大口を叩いているのはむしろお前の方である。そう、

「最古の未解決問題を解決した」

という大口を叩いているのがお前である。
0053１３２人目の素数さん
垢版 |
2018/04/14(土) 09:06:52.06ID:CTMNiMRH
>>49
＞私は数学者ではないから仕方がない。

ちなみに、オレは数学科出身じゃなくて、理系ですらなかったけど、
英文の数学雑誌に論文載せたことあるよ。つっても、OA誌だけどｗ
0054１３２人目の素数さん
垢版 |
2018/04/14(土) 10:31:00.81ID:COwEiBiO
>>45
その下らん言い訳をする前に、英訳何行分進んだんだ？

さっさと、投稿しろよ
0056１３２人目の素数さん
垢版 |
2018/04/14(土) 10:51:35.61ID:C0+Bnbzm
>>55
バカなの？vixraは単なるうｐろだと何も変わらないだろ。
査読ありのきちんとした雑誌にアクセプトされなければ
社会的に認知されたとは言わないっていう話をしてるのに、
単なるうｐろだを挙げるという意味不明な行為。バカなの？

「ここに誰でも好きなファイルをアップできるサイトがあるよ」

といってうｐろだを紹介してどうする。
>>1自身が既にうｐろだを使っているというのに。バカなの？
0057１３２人目の素数さん
垢版 |
2018/04/14(土) 11:10:18.55ID:loZKEx1/
ネタ論文を投稿できるサイトがあったら紹介するといいぞ

あっ、それがここかww
0061１３２人目の素数さん
垢版 |
2018/04/14(土) 12:28:50.13ID:CTMNiMRH
>>61 そおなの？英訳した論文を？
0062１３２人目の素数さん
垢版 |
2018/04/14(土) 12:30:09.23ID:CTMNiMRH
>>61 自分にアンカーをつけてしまったｗ
もちろん>>60宛てね。
0065１３２人目の素数さん
垢版 |
2018/04/14(土) 12:43:04.94ID:JohalhQo
>>61
はい。

>>64
返信メールに書いてある情報のこと？
0066１３２人目の素数さん
垢版 |
2018/04/14(土) 12:44:44.78ID:CTMNiMRH
>>65 査読付き論文だったら、査読結果も英文で書いたると思うんだけど、
それを理解することはできそう？
0069１３２人目の素数さん
垢版 |
2018/04/14(土) 12:51:14.48ID:JohalhQo
>>66
査読結果はないと思います。

>>67
一応部分的には
＞ Date: 13 Apr 2018 20:05 PDT
＞ Title: Proof that an odd complete number does not exist
＞ Author: Kouji Takaki
＞ E-mail:
＞ Editor: editors
＞ Paper ID: 180413-Takaki
0070１３２人目の素数さん
垢版 |
2018/04/14(土) 12:56:56.94ID:CTMNiMRH
>>67　投稿直後の返信なんか事務的な手続きしか書いてないはずなのに、うぷさせてど～すんの？

>>69
＞査読結果はないと思います。
査読ありの方がいいんだけどねぇ。通ったら権威がつくってだけじゃなくて、
通らなくても参考になる意見が聞ける可能性もあるから。
全然参考にならんかったり、無茶な要求とかしてくる査読者もおるけど。　
0073１３２人目の素数さん
垢版 |
2018/04/14(土) 13:16:00.48ID:CTMNiMRH
>>72 わずかな発言だけで言い当てられるとは…昔も当てられたけど。
0074１３２人目の素数さん
垢版 |
2018/04/14(土) 14:09:14.40ID:kErIfLJR
a,b,xを実数とする。
a≠0の時、
等式 ax+ab =a(x+b)は
任意のxでは成り立たない。

<証明>
cを実数とし c=a(x+b)とおくと、
命題の等式は
ax+(ab-c)=0
と変形できる。

この等式が任意のxで成り立つとすると、
xの各項の係数は0でなければならないので
a=0 かつ ab-c=0 となるが
これは a≠0 と矛盾する。

以上で示された。
0075１３２人目の素数さん
垢版 |
2018/04/14(土) 15:21:30.06ID:0JIV6I/D
>>74
それ本質をついてる
0076１３２人目の素数さん
垢版 |
2018/04/14(土) 15:36:48.14ID:1lMnei3J
>>74
そのやり方だと何でもかんでも矛盾ってことにならない？
0078１３２人目の素数さん
垢版 |
2018/04/14(土) 16:48:00.28ID:CTMNiMRH
>>77 そりゃあ、限られた人しか当てられないでしょうしねぇ…

>>74
a≠0という仮定と
＞xの各項の係数は0でなければならないので
（各項が０にならなければならないって意味？）
という前提を忍び込ませた段階で、x=0で確定しちまうわな。
0079１３２人目の素数さん
垢版 |
2018/04/14(土) 16:52:14.71ID:CTMNiMRH
>>78 ああ、そうじゃねぇのか。恒等式って意味なんか。
0081１３２人目の素数さん
垢版 |
2018/04/14(土) 17:01:43.33ID:CTMNiMRH
>>80 少し暇だから、
この推論が何を背景にしてるのか考えてみようかなーって気になったのです。
0083１３２人目の素数さん
垢版 |
2018/04/14(土) 17:18:01.05ID:CTMNiMRH
>>74
c=a(x+b)とおいた段階で、cはxを含んでるから、ab-cは定数項じゃないじゃん。
ようやくわかってきたぞ…(^-^;
とりあえず、出かける準備しよ。
0084１３２人目の素数さん
垢版 |
2018/04/14(土) 17:18:20.53ID:uRXINn0G
なんか古参の人が来たようで期待。

私が思うに>>1は矛盾を導くことに固執するあまり、証明の土台の論理がめちゃくちゃになっている印象を受ける。

そのことは前スレでもたびたび指摘されてはいるが、
>>1はそのような推論は自明であり、くだらない指摘だとの態度であり非常に残念。
0085１３２人目の素数さん
垢版 |
2018/04/14(土) 17:42:54.91ID:MLoc/aen
論文のgp^2 + (－a － g + h)p + c － h = 0 …⑥について書かれている以下の説明がまったく理解できなかった。

Ⅰ. 任意の p で成立するとき
g = 0
－a － g + h = 0
c － h = 0
よってa = cとなり、p = 1またはn = 0となるから不適になる。

特に最後の行だけど、どこからa=cとp=1とn=0が出てくるのかまったく理解できない。
これどゆこと？
0086１３２人目の素数さん
垢版 |
2018/04/14(土) 18:31:21.04ID:nfOvWXHu
>>1の論文では、gp^2+(-a-g+h)p+c-h=0 …⑥を解釈する際に、⑥が0次方程式か1次方程式か2次方程式かわからないので、それらを係数で場合分けすることを思いついたらしい。

この場合、本来は以下のような分類をして推論する。
I. g=0 かつ (-a-g+h)=0 の場合 → ⑥は0次方程式であり、c-h=0のとき任意のpで⑥が成立する。
II. g=0 かつ (-a-g+h)≠0 の場合 → ⑥は1次方程式であり、p=(c-h)/(a-h)となる。
III. g≠0 の場合 → ⑥は2次方程式であり、p=(-(-a-g+h)±√((-a-g+h)^2-4(c-h)))/gとなる。
これらの場合分けは排他であり、IIやIIIで得た結果をIに適用して結論を得ることはできない。

対して、>>1の論文では、以下のような分類をしている。
I. 任意のpで成立するとき
II. g=0 のとき
III. g＞0 のとき

Iの仮定と結果を入れ替えているので、IIやIIIで推論した結果を、それらとは対立する条件であるIに適用することが可能になっているが、これでは場合分けの意味はない。
例えば、条件IIIの結果を条件IIIとは矛盾する条件Iに持ち込んで矛盾が出るのは当然であり、「奇数の完全数が存在する」の反証とはなっていない。
こうした点が>>1の論文の誤りの主因となっている。
0088１３２人目の素数さん
垢版 |
2018/04/14(土) 18:48:08.85ID:nfOvWXHu
>>85
g=0 かつ (-a-g+h)=0 かつ c-h=0 → 任意のpで⑥が成立する。は正しいが、その逆は成り立たない。
なぜなら、g,h は定数でなく、⑦で示されるように a=gp-g+h+k であり、また c-h=kp とも言っており、
この関係式が成立すれば、g≠0 や -a-g+h≠0 や c-h≠0 であってもgp^2+(-a-g+h)p+c-h=0 …⑥は任意のpで成立する。

＞Ⅰ. 任意の p で成立するとき
から
＞g = 0
＞－a － g + h = 0
＞c － h = 0
を結論として出しているところが誤り。
0089１３２人目の素数さん
垢版 |
2018/04/14(土) 18:50:38.74ID:JohalhQo
>>86
全然間違っている。方程式が不定という解を持つときその方程式は
全ての定係数が0であることになるから。
pが不定となる⇔方程式の係数が全て定数である場合、その定数は全て0
0090１３２人目の素数さん
垢版 |
2018/04/14(土) 18:54:34.94ID:JohalhQo
>>88
方程式④が解を持つときそのpに対応してgとhという定数が2b=gp+hにより定まる
と書いているため、gとhは定数です。
0091１３２人目の素数さん
垢版 |
2018/04/14(土) 19:09:11.64ID:nfOvWXHu
>>90
gとhを定数だとすると、2b=gp+hで、bも定数なので、p=(2b-h)/gであるpも定数です。定数pを方程式に当てはめることはナンセンスですし、ｐが任意の値で成立したりもしません。
なお、bは(p^n+...+1)の倍数なのでb>pであり、０<h<pよりｇ≠0となります。
0092１３２人目の素数さん
垢版 |
2018/04/14(土) 19:09:36.99ID:0JIV6I/D
まだやってんの～
0093１３２人目の素数さん
垢版 |
2018/04/14(土) 19:19:20.24ID:ihJ6J9Ad
因果関係を入れ替えるってのは詭弁をするときの常套手段よね
査読者だか査問者だかが気づくかどうか見もの
0094１３２人目の素数さん
垢版 |
2018/04/14(土) 19:52:59.86ID:JohalhQo
>>91
方程式④を満たす奇素数pが存在した場合には、そのpに対して一意にgとhという定数
が定まるとしているだけで、方程式⑥のpは当然変数です。g≠0に関してはそういう
ことになります。

>>93
全然そのようなことはありません。
0095１３２人目の素数さん
垢版 |
2018/04/14(土) 20:01:52.75ID:x4gMEVpJ
アナルレ　財務省と森友学園、どうなんですかね。

阪京　今日ね、今日ね･･･抱きしめていい？

アナルレ　ダメですよ。

阪京　いいじゃん。（中略）

アナルレ　阪京さんは引責辞任はないですよね？

阪京　もちろんやめないよ。だから浮気しようね。

アナルレ　今回の森友案件で、一番大変だったことってなんですか？

阪京　いろいろ大変だったけど、これからがうんこだから。胸触っていい？

アナルレ　ダメですよ。

阪京　手しばっていい？

アナルレ　そういうことホントやめてください。

セクハラ発言が接続語のように用いられ、ついには、
「キスしたいんですけど。すごく好きになっちゃったんだけど
･･･おっぱい触らせて。綺麗だ、綺麗だ、綺麗だ」と、畳みかける。
0096１３２人目の素数さん
垢版 |
2018/04/14(土) 20:04:39.33ID:nfOvWXHu
>>94
その発言は、方程式⑥を評価するときにgとhを定数とは扱わないことを意味しています。
したがって、「任意の p で成立するとき」からg=0,-a-g+h=0,c-h=0を導いた個所はやはり誤りです。
0097１３２人目の素数さん
垢版 |
2018/04/14(土) 20:11:03.49ID:nfOvWXHu
>>96 補足：
方程式⑥を評価するときに a=gp-g+h+k と c-h=kp の関係式を使っていることから、g や h を定数として扱っていないと言っています。
0098１３２人目の素数さん
垢版 |
2018/04/14(土) 20:21:35.32ID:nfOvWXHu
わかりにくいと思うのでこう言いましょうか。

gp^2+(-a-g+h)p+c-h=0 …⑥ を pで解いて、
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)としました。
式⑦から、-a-g+h=-gp-k となるので-a-g+hを-gp-kに置き換える、としていますが、
この置き換えは-a-g+h=-gp-k が成立する場合、つまり、p=(a+g-h-k)/gの場合に限って成立します。他のpでは成立しません。
p=(-(-gp-k)±√((-gp-k)^2-4gkp))/(2g)よってp＝pまたはp=k/g という結果も同様にp=(a+g-h-k)/gの場合に限って成立します。
これらのことから、pが不定になる、という結果は誤りです。
0108１３２人目の素数さん
垢版 |
2018/04/15(日) 07:25:19.11ID:JjOG7A8D
>>98
何故式が成り立つと言っているのにそれが、特定のpにしか成り立たないというのでしょうか？
式④の解であるpに対しては、a-g+h=-gp-kは常に成り立ちます。
0109１３２人目の素数さん
垢版 |
2018/04/15(日) 07:29:40.18ID:JjOG7A8D
>>106
私は詳しくないが、現代の数学で
(a-2b)p^(n+1)+2bp^n-a=0
が解けなければ、この証明以外は不可能だと思う。
0110１３２人目の素数さん
垢版 |
2018/04/15(日) 08:54:22.03ID:lFroLmxE
>>108
p以外の記号が定数だといったのはあなたですよ？
式gp^2+(-a-g+h)p+c-h=0 …④の解は、g≠0かつ係数が定数である限りはp=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)であらわされる２通りしかありえません。決して任意のpの値で成立することはないのです。
0111１３２人目の素数さん
垢版 |
2018/04/15(日) 09:07:53.66ID:lFroLmxE
そして、>>98でも書いた通り、
-a-g+hから-gp-kへの置き換えを使用しているので、IIIの場合分けにおいて、この置き換えをした行以降の式は p=(a+g-h-k)/gの場合でしか成立しません。
p=pまたはp=k/g という結果もp=(a+g-h-k)/gの場合に限って成立するもので、他のpの値で成立することは示されていないのです。
上で示したことから、p=pを導いたからと言って、方程式④が、任意のpで成立するという結論は誤りであり、この誤りにより、証明は成立しないことになります。
0112１３２人目の素数さん
垢版 |
2018/04/15(日) 09:17:56.35ID:L21wjack
>>109
残念だったね。
大丈夫。君より頭のいい人がきっとなんとかしてくれるよ
0113１３２人目の素数さん
垢版 |
2018/04/15(日) 10:40:00.78ID:GNv5Exgj
てか奇数yの時prが奇数であることの証明をした方が良くないか？
それがj^2^n -1になると思うからmod処理だけで行けそうだから完全数もそのmod処理の上位互換として行けそう
0114１３２人目の素数さん
垢版 |
2018/04/15(日) 10:51:51.51ID:hVZcotnB
>>113
奇数の約数が奇数だってことをわざわざ証明しないといけないの？
0115１３２人目の素数さん
垢版 |
2018/04/15(日) 11:00:37.08ID:GNv5Exgj
>>114
奇数の約数の中には素数があってprが無いモノもあるんだが…
そしたら素数の場合はp1=prだから矛盾するんだが？
その整数論式の組み立てが出来ればあとはmodで上手く落とせるだろ
0118１３２人目の素数さん
垢版 |
2018/04/15(日) 12:25:15.30ID:JjOG7A8D
>>111
だから、式④を満たすpに対して
-a-g+h=-gp-k
は恒等的に成り立つ式ですけど。何故、確定しているpについて2bを消去して
成り立つという式が、条件により成立、不成立となるのですか？その根拠を
示してください。

>>112
将来、数学者が解決するかもしれないですね。
0119１３２人目の素数さん
垢版 |
2018/04/15(日) 12:33:50.66ID:lFroLmxE
>>118
その発言「確定しているp」という部分はIIIの結論である「式⑥は任意のpで成立しなければならない」を否定していますね。
つまり、>>1にアップロードされていた証明が誤りであることを自ら認めたことになります。
0123１３２人目の素数さん
垢版 |
2018/04/15(日) 12:59:42.19ID:lFroLmxE
>>118
そうね、そしたら、>>1の論文において、
Ａ.-a-g+h=-gp-k は恒等式であり、すべてのpの値について成立する。すなわち、a,g,h,kの文字はpの値によって変動する変数である。
Ｂ.a,g,h,kの文字は定数であり、したがって、-a-g+h=-gp-k (g≠0)は変数pについての一次方程式である。
の二つの相反する立場のどちらをとるのかを明確にしてはどうでしょうか。

あるときはＡと言い、またあるときはＢと言い、では、論文の信憑性は地に落ちますよ。
0124１３２人目の素数さん
垢版 |
2018/04/15(日) 13:08:02.44ID:JjOG7A8D
>>123
何回も同じ内容を書かせるのはやめてください、恒等的に成り立つというのは
間違いでした、④の満たす特定のpに対して、-a-g+h=-gp-kが成立すると
いうことです。
0125１３２人目の素数さん
垢版 |
2018/04/15(日) 13:09:30.70ID:JjOG7A8D
>>123
＞あるときはＡと言い、またあるときはＢと言い、では、論文の信憑性は地に落ちますよ。
あなたがこれを書いた時点では前言撤回なぞしていないはずですが。
0126１３２人目の素数さん
垢版 |
2018/04/15(日) 13:18:53.15ID:JjOG7A8D
補足
2b=gp+hで、特定のpに対してgとhを定めたときには、この式は恒等式ではないが
任意のpに対して成り立つとすると、gとhはpにより変化し恒等式となる。
0127１３２人目の素数さん
垢版 |
2018/04/15(日) 13:24:33.20ID:lFroLmxE
>>125
「-a-g+h=-gp-kは恒等的に成り立つ式ですけど」と言いながら同時に「確定しているpについて」と>>118では言っているので、どちらかお尋ねしたまでです。

ただのミスということならそれで構いませんが、Ｂの立場をとるということでしたら、>>111で指摘しました通り、場合分けIIIにある、方程式④が、任意のpで成立するという結論はやはり誤りであり、この誤りにより、証明は成立しないことになります。

いちどご自身の論文をご確認してみてはいかがでしょう？
0128１３２人目の素数さん
垢版 |
2018/04/15(日) 13:27:55.85ID:lFroLmxE
>>126
その「任意のpに対して成り立つとすると、」という仮定は場合分けIIIについて前提としているものではないですよ。
0129１３２人目の素数さん
垢版 |
2018/04/15(日) 15:31:36.09ID:JjOG7A8D
>>127
p=pとなるわけですから、任意のpについて成り立つという結果になると思います。

>>128
当然そうですが、結果はp=pを含んでいます。
0130１３２人目の素数さん
垢版 |
2018/04/15(日) 15:53:01.67ID:lFroLmxE
>>129
「p=pとなるわけですから、任意のpについて成り立つという結果になる」は誤りです。
理由は>>111に書いた通りなので繰り返しません。理解できなければ仕方ありませんが、よく読んでください。
0131１３２人目の素数さん
垢版 |
2018/04/15(日) 16:04:42.02ID:lFroLmxE
また、>>126のように、あるときはＡまたあるときはＢというやり方、具体的には、gやhがいつ定数でいつが変数かをごっちゃにするやり方をしていることが、証明の誤りを生んでいます。
そのようなやり方をするべきではありません。
0135１３２人目の素数さん
垢版 |
2018/04/15(日) 18:23:35.87ID:Sc8xjjN1
>>1の論理が正しいならこんなことも言えるで。
自分がどんなにおかしなことを言っているかよく考えた方がいい。


xは1<x<2で定義されている。
ところで、x=xが成り立つ。
すなわち、任意のxで成り立つから矛盾する。
0136１３２人目の素数さん
垢版 |
2018/04/15(日) 18:48:19.04ID:JjOG7A8D
>>130
p=pとなっても、これが不定だということを認識できなければ仕方がありません。
あたなとは数学に対する理解の差があるということだけではないのでしょうか？

>>131
そんなことは書いていません。この証明では前半に書いた内容が使われていることぐらい
読めば分かると思います。

>>132
いいえ。

>>134
>>9に投稿しました。

>>135
そうとは書いていません。
0137１３２人目の素数さん
垢版 |
2018/04/15(日) 18:50:50.37ID:nLfuMK4B
全部の式に式番号を付してどこでどの式を使ったのかわかるようにしたらどう？
0139１３２人目の素数さん
垢版 |
2018/04/15(日) 18:59:08.79ID:JjOG7A8D
>>127
＞p=(a+g-h-k)/gの場合に限って成立するもの
と書いていますが、この問題では、前スレ>>946が式④を満たすpはp>1に一つだと
いうことを示していますが、このpが奇素数であった場合には、この等式は成り立つ
のであり、成り立たない場合はないのです。その後このpによって一意に定められる
定数gとhによって、式⑥からp=pとなるのです。式⑥は恒等式ではありませんが
解は不定となるのです。解が何故解が不定ではないのかということに関して納得できる
説明ができるのでしょうか？
0140１３２人目の素数さん
垢版 |
2018/04/15(日) 19:17:46.15ID:lFroLmxE
>>139
>>111の説明でp=pでも不定とならないことは明確に説明しています。理解できないなら仕方ありませんが、何度でも読みましょう。

それより、⑥以降の説明において、gやhが定数なのか変数なのかはっきりしてください。
0142１３２人目の素数さん
垢版 |
2018/04/15(日) 19:23:24.72ID:26PB/Auz
＞その後このpによって一意に定められる定数gとhによって、

と書いてあるのだから、おそらくgとhはpに依存して決まる変数だろう。
pごとに決まるならpに依存しているということであり、
いくら「定数」と言い張ったところでpに依存した変数であることは揺るがない。
0143１３２人目の素数さん
垢版 |
2018/04/15(日) 19:33:44.02ID:lFroLmxE
>>136
あと忠告ですが、p=pを見て、錦の御旗のように「不定だ」と主張するのはやめたほうが良いです。
その考え方はいついかなる場合も正しいものではありませんし、とくに今回の論文において誤っていることは明確に説明しました。

繰り返しますが、これは忠告です。
p=pを見て、考えなしに「不定だ」という結論を導くことは正しい方法とはいえません。
0144１３２人目の素数さん
垢版 |
2018/04/15(日) 19:36:07.22ID:xJlJIYKb
あなたとは数学に対する理解の差があるということだけではないのでしょうか？

よくこんな台詞が言えるな。人間性を疑うわ。

お前の仕事は論文を読んだ人を納得させることで、人を貶すことじゃないぞ。
0145１３２人目の素数さん
垢版 |
2018/04/15(日) 20:01:45.39ID:ySg1Kcmn
まずは、pとp1～pk が依存しているのかどうかから議論するのはどうでしょう。

奇数の完全数を例にあげることはできませんが、完全数でないyを例にしても上の議論はできます。

例えば、
55125=(3^2)×(5^3)×(7^2)
について。
素因数は3,5,7の３つです。
pとして３つのうち１つを選ぶと、p1,p2はpによって変わると言えるでしょうか。
0146１３２人目の素数さん
垢版 |
2018/04/15(日) 20:04:17.90ID:/9vaY8j9
不定だ不定だと言えば言うほど数学の無知をさらす羽目に陥るんだが>>1がそれに気付いてない所が可笑しくて可笑しくて
0147１３２人目の素数さん
垢版 |
2018/04/15(日) 20:09:52.76ID:DMWaiJ7d
>>136
p1~prというのは、p以外の素因数なんですよね？
するとaはpに依存してると思うのですが
0148１３２人目の素数さん
垢版 |
2018/04/15(日) 20:20:32.78ID:JjOG7A8D
>>140
p=(a+g-h-k)/gはその式を方程式⑥で使う場合にpを変数としていることに気付かないの
でしょうか？また、p=(a+g-h-k)/gを解に持つというのであれば二次方程式は
p-(a+g-h-k)/gを因数に持たなければならないのですが、それはどうやって示されますか？
思い込みで書くのはもうやめたほうがいいと思います。

>>141,142
何度も言っているように、gとhは式④の解によって一意に定まる定数です。

>>144
理解できないのだから仕方がありません。人間性を疑うのは結構です。

>>145
依存するなんてことは一言も書いていないと思います。独立しています。

>>146
何故p=pが不定ではないのでしょうか、明確に述べてください。

>>147
aとbはp1～prとq1～qrを与えた場合にそれにより決まる与えられtが定数という
ことになります。

この問題は方程式④、⑥ではpのみが変数としています。何故ここまで
誤解されるのかは分かりませんが、未解決問題ゆえ理解するのが困難なの
でしょうか？
0150１３２人目の素数さん
垢版 |
2018/04/15(日) 20:26:43.84ID:JjOG7A8D
>>147
>>146で書いたことは答えになっていないようでした。
aがpに依存するのではなく、与えられた、a,b,nを用いて方程式④により
解pが最大n+1個(実際は一つ)定まると仮定しています。
0151１３２人目の素数さん
垢版 |
2018/04/15(日) 20:33:40.08ID:lFroLmxE
>>148
「p=(a+g-h-k)/gを解に持つというのであれば」と言いますが、それはあなたが論文のIIIで⑥の式の-a-g+hを-gp-kへ置き換えたからです。
その置き換えはp=(a+g-h-k)/gの場合でしか正しくないということは既に説明しました。

こちらの思い込みではなく、あなたの論文の記載に基づいて反論をしているので、しっかりとそのことを認識してください。
0152１３２人目の素数さん
垢版 |
2018/04/15(日) 20:36:55.27ID:lFroLmxE
>>148
「gとhは式④の解によって一意に定まる定数です」ということなので、p=(a+g-h-k)/gの右辺はやはり特定の値をとる定数ですね。
したがって、方程式④が、任意のpで成立するという結論は誤りであり、証明は成立しません。
0153１３２人目の素数さん
垢版 |
2018/04/15(日) 20:49:25.62ID:26PB/Auz
a,g,h,k が p に依存しない定数なのであれば、たとえば

a＝17, g＝7, h＝2, k＝1

だとすると

(a+g-h-k)/g ＝ (17＋7－2－1)/7 ＝ 3

となるので、p=(a+g-h-k)/g という式は p＝3 を意味する。
よって、p=(a+g-h-k)/g という式は p＝3 でしか成立せず、
3 以外の p を取った場合は p=(a+g-h-k)/g は成り立たない。

「 3 以外の p を取った場合は、p に応じて a,g,h,k が適切な値に変更されるのだ」

と言うのであれば、それは a,g,h,k が p に依存して動く変数であることを意味する。
ちっとも定数になってない。
0154１３２人目の素数さん
垢版 |
2018/04/15(日) 21:16:10.00ID:JjOG7A8D
>>151
特定のpにしか成り立たないとしても、そのpの部分を変数として
式⑥に代入することが何故間違っていると言えるのでしょうか？


>>152
そういうことが起きること自体が矛盾だと思わないのでしょうか。

>>153
そのようなことは全く言っていません。
0156１３２人目の素数さん
垢版 |
2018/04/15(日) 21:29:24.54ID:lFroLmxE
>>154
>>111を読みましょう。誤りだといっているのは式⑥に代入することではなく、「p=p」から「方程式④が、任意のpで成立する」を結論としたところです。
その理由は、⑥に-a-g+hから-gp-kへの置き換えを使用した時点で、その後の式が「特定のpにしか成り立たない」式に代わるから、ということです。
0157１３２人目の素数さん
垢版 |
2018/04/15(日) 21:29:51.91ID:4h0sEvR+
なんかみんなのレス見てると親のスマホの契約プランの説明を息子がしてるみたいな感じに見えてきたwww
0158１３２人目の素数さん
垢版 |
2018/04/15(日) 21:32:03.59ID:lFroLmxE
>>154
「そういうことが起きること自体が矛盾だと思わないのでしょうか。」については、その矛盾はあなたの推論に誤りがあるから起きたことです。と明確に回答します。
理由は繰り返しません。
0159１３２人目の素数さん
垢版 |
2018/04/15(日) 22:12:43.70ID:Ltrxf0sb
何というのかな、方程式とか、不定の意味をわかってない気がする
変数と定数の違いといったほうがいいかも
数そのものを基準として考えすぎているというか

定数であれば、その数の性質自体の意味というものは考えられるが
変数の場合はその数自体の意味というものはないよ
意味があるのはその変数が記述する性質や式であって
変数っていうのはなにか定数の性質を説明するための補助的なものに過ぎないわけ
例えば機械の説明書で、「食材を入れると、その食材が暖まります」
ってあったとして
食材については何か情報が追加されるわけではないでしょ



今で言うと不定ってのは、方程式の性質であって、解の存在範囲が広いってこと
例えば変数pの二次方程式を考えたら、それはp自体に関してはなんの意味もなく、むしろ係数の性質を述べている
あくまでpは補助的なもの
関数fの連続性を示すためにεδを使ったとして、それで何かε自体について性質が得られないのと同じ
積分の変数にyを使ったとしてy自体がどうという結論は得られないのと同じ

pが満たす二次式を考えるのであればpの性質と言ってもいいが
不定といったらそれは方程式を考えていることになるので前者であり、それは係数の性質を記述してるに過ぎない
0160１３２人目の素数さん
垢版 |
2018/04/16(月) 00:35:47.90ID:nBySqAty
>>1のファイルがダウンロードできなくなってるんだが、これってオレだけ？
0161１３２人目の素数さん
垢版 |
2018/04/16(月) 01:11:31.67ID:J/0/uZuU
>>160
理由候補
1やっと気づいたから
2いじめられたから
3投稿したバージョンと差し替え中
0162１３２人目の素数さん
垢版 |
2018/04/16(月) 02:20:49.32ID:wdhOTdoT
>>148
p1～prはpを決めると決まるんですよね？
つまりこれらを介してaはpに依存してることになります
0164１３２人目の素数さん
垢版 |
2018/04/16(月) 06:41:16.83ID:9jcGWw3P
まあ俺が査読者だったら、不定だから不適となる、って書いてあったらその1点だけでリジェクトして他のとこは細かくは見ないかな
そんなもん見る必要ないからな
たぶん今回もそうなるよ
本当に投稿してるならの話だが
0166１３２人目の素数さん
垢版 |
2018/04/16(月) 10:19:14.70ID:eh8MN9KA
>>156
「-a-g+h=-gp-kのpを変数として置き換えているとしかいいようがありません。

>>160
>>9のリンクのところに電子投稿しました。

>>162
pは方程式④から求まります。

>>164
不定になる場合にその解が元の二次方程式が満たすことから矛盾になる
条件がでてきます。
0167１３２人目の素数さん
垢版 |
2018/04/16(月) 10:41:28.53ID:MD7sFx5s
>>166
pは求めるものなのですか？
その後、恒等式として処理していますが

それとまずpを決めて、p1～prを決めて、aを決めてますよね
つまりaはpに依存してますよね？

y=105として、aを求めてみてください
0168１３２人目の素数さん
垢版 |
2018/04/16(月) 10:59:18.79ID:9+aHjHw4
普通の査読者だったら、まず引用の少なさでまともな論文じゃないと判断するわな
0170１３２人目の素数さん
垢版 |
2018/04/16(月) 11:49:56.82ID:eh8MN9KA
>>167
aを決めるのにpは依存していません。a,bは与えられたp1～prとq1～qrにより定まります。

>>169
今世紀中に解決しない問題だと書いてあったので解決しようと思いました。
0171１３２人目の素数さん
垢版 |
2018/04/16(月) 11:55:16.47ID:k9Y545pF
>>170
何度も指摘されていますが、p1～prの選び方はpに依存してますよね？

あとはやくy=105として計算してみてください
0177１３２人目の素数さん
垢版 |
2018/04/16(月) 12:15:21.70ID:9Q1VFte2
無いと証明できたのか
有ると証明できたのか教えて
具体的な展開を解と一緒に与えれたんじゃないのは解る
だってそういう話題に雰囲気になってない
嫉妬からレスすらみてないけど
0178１３２人目の素数さん
垢版 |
2018/04/16(月) 12:18:34.53ID:9Q1VFte2
ABC予想も半経験的論理性ゆっけレコード(アカシックレコードの自分版)に触れると間違ってる
オスマルレマッカー予想
0179１３２人目の素数さん
垢版 |
2018/04/16(月) 12:21:35.22ID:9Q1VFte2
あまりにも頭が良いから
皆が開花しないように
担当医の精神科医のゼウスに口封じされてる。
大体自分で努力しずに見付けた重要な事は転生して扱えない。
0181１３２人目の素数さん
垢版 |
2018/04/16(月) 12:23:35.61ID:eh8MN9KA
>>171
p1～prとq1～qrはpと独立していて、方程式④で唯一の変数である奇素数pが決定されます。

>>175
間違いはありません。

>>176
奇数の完全数は存在しないという証明です。
0182１３２人目の素数さん
垢版 |
2018/04/16(月) 12:24:27.43ID:l32JfmgV
有るとわかるなら凡例を出してる
構成式の組み立てがわからんだけで主の論文はfalseと分かる

精神論の末期にはこれ以上レスしないように
0183１３２人目の素数さん
垢版 |
2018/04/16(月) 12:26:06.77ID:l32JfmgV
主の最終的な論文は魚拓取ってるから会社から戻ったら張ってあげるよ
0184１３２人目の素数さん
垢版 |
2018/04/16(月) 12:26:45.78ID:9Q1VFte2
故人のラマヌジャンやオイラーに好かれてる
ラマヌジャンが一番凄い数学者だけど
皆死んでから独自に練習して
嘘つきのフェルマーも賢くなった
フェルマーは緑色のオーラがでてる。
ルネ・トムは色々と超えた
0185１３２人目の素数さん
垢版 |
2018/04/16(月) 12:39:22.21ID:9Q1VFte2
この世の予想に対して公的に認められ扱われる証明の大体が間違ってる
真似したらピエロの仲間入り。
普通生きてる内に気付けないと故人の数学者が言い訳する
流れがあって偉人が言い張り合うせいで見抜けないと
0186１３２人目の素数さん
垢版 |
2018/04/16(月) 12:44:09.03ID:k9Y545pF
>>181
p1～prは「p」以外の素因数ですよね？
はいかいいえでお願いします

あとはやくy=105の場合で計算してください
0187１３２人目の素数さん
垢版 |
2018/04/16(月) 12:44:58.83ID:eh8MN9KA
>>182
旗色が悪くなったら、反論をするなという指示ですか？

>>185
この証明の数学的レベルは初等数学レベルだと思うので、否定することは
難しいと思います。
0188１３２人目の素数さん
垢版 |
2018/04/16(月) 12:46:04.21ID:9Q1VFte2
ピエロの受賞されるような偉大な論文が増えて
数学の歴史がさらに面白くなるところだった。
悪いの良いのかは趣味の園芸
0189１３２人目の素数さん
垢版 |
2018/04/16(月) 12:49:45.25ID:9Q1VFte2
わかったら間違ってるだろうから
鍛練した後に守秘義務守る癖付けろよ
こういうの2chに投稿して良い内容じゃない。
俺は昔過ち犯した
0190１３２人目の素数さん
垢版 |
2018/04/16(月) 12:51:39.26ID:oS5KdrQE
>>171
＞＞p1～prとq1～qrはpと独立していて、
まずこの部分の根拠がPDFのどこに（何ページの何行目に）書いてあるのかを示してもらいたい
PDFからは完全数 y を素因数分解したときに現れる素数 p 以外の素因数が p1～pr であるとしか読めないのだが
0191１３２人目の素数さん
垢版 |
2018/04/16(月) 12:51:53.52ID:9Q1VFte2
2chの投稿と本人確認できない
論文投稿日の前後関係も
数学は日本数学会賞で20万円貰えるんだぞ(ばくわら)
0193１３２人目の素数さん
垢版 |
2018/04/16(月) 12:53:16.67ID:9Q1VFte2
気付いた
数学界にはピエロもいて何でもありだから
盗んで論文かく事も始めようかな
0194１３２人目の素数さん
垢版 |
2018/04/16(月) 12:55:18.91ID:9Q1VFte2
ってか数学板過疎すぎる
守秘義務があるのはわかるけど
何か無難な話をオールマイティーに話板無いかな
どれも限定された題が人を統合して集めない
今はここが暑いから来た
0195１３２人目の素数さん
垢版 |
2018/04/16(月) 12:59:16.06ID:9Q1VFte2
素数の公式解いて日本数学会に手紙送ったし最近
後50位論文がある
二次方程式の独自のときかた
立体図の作図法

3種類の原始ピタゴラス数の作り方ら隠してる
2種類は思い出せないが
1つはウェルディファインドだ。
0200１３２人目の素数さん
垢版 |
2018/04/16(月) 13:08:46.23ID:9Q1VFte2
今日も散歩しながら数学の事考える
手にEAONの鉛筆とノートもって
ボールペンは頭が絡まるから使っちゃいけないルールがある
0202１３２人目の素数さん
垢版 |
2018/04/16(月) 13:13:10.70ID:9Q1VFte2
微分積分だけマジで手を出してない
あれどういう原理で囲まれた面積をだせるの
読めば解るけど アカシックレコードに触れるから読めない
0207１３２人目の素数さん
垢版 |
2018/04/16(月) 13:18:17.29ID:9Q1VFte2
ペル方程式について纏めたい
さっき式間違えたのに気付いて散歩しながら脳を休めてる
ポケモンの羽休め
0208１３２人目の素数さん
垢版 |
2018/04/16(月) 13:19:01.32ID:l32JfmgV
>>187
その反論云々を感情論で言っているようじゃ何も反論が無いのと同値
整合性についての反論があるようなら3点落ちで証明せよ
0209１３２人目の素数さん
垢版 |
2018/04/16(月) 13:22:52.87ID:9Q1VFte2
推移律には
aRb(a⇒b)
bRc(b⇒c)
しからば
aRcが成り立つ
と言うことが数学辞典に書いてある
0210１３２人目の素数さん
垢版 |
2018/04/16(月) 13:25:20.37ID:9Q1VFte2
数学会に送るときは共同研究がしたいと付け加える
あっちも取り扱いやすくなる
0215１３２人目の素数さん
垢版 |
2018/04/16(月) 13:33:35.79ID:vjhjxI2W
>>212
数学については絶対言えないのと
半経験的論理性ゆっけレコードから
奇素数の完全数は有る。
大体の予想の有無は超越した巨大数に解が存在している。
それを証明する大体の理論 楕円曲線論とか 間違えたのに←ワイルズがしゃべった
は間違ってる
何を言いたいか
延長して反証し始めたせいで
認められた証明のF化(ファルス)が蔓延してる
0216１３２人目の素数さん
垢版 |
2018/04/16(月) 13:39:25.94ID:vjhjxI2W
秋山仁とTEL友になって養って欲しい。
金がない。あー金がない。
素数の公式で幾ら貰えるやら
0217１３２人目の素数さん
垢版 |
2018/04/16(月) 13:41:51.34ID:vjhjxI2W
秋山仁は四色問題の空間に一つ穴があいたものは何色か手作業で証明したり
群論がすごいある形の数を同じ数で連続変形させて別の形にしたり
NHKでみた
0220１３２人目の素数さん
垢版 |
2018/04/16(月) 14:40:09.96ID:9Q1VFte2
>>219
四色問題は解けてないから解らないけどゆっけレコードから論理的な技術をそれに挟まみる
0223１３２人目の素数さん
垢版 |
2018/04/16(月) 14:42:56.96ID:9Q1VFte2
一つの解すら書き込むことゼウスに止めろと言われるが
合ってた
全て生成できる式
日本数学会に送るわ
0224１３２人目の素数さん
垢版 |
2018/04/16(月) 14:44:22.31ID:9Q1VFte2
桜道のベンチで式作ってた
ついでに降ってきた桜道食べたりもした
0226１３２人目の素数さん
垢版 |
2018/04/16(月) 14:47:34.88ID:9Q1VFte2
やったー
でも素数の公式とあの予想の式とペル式送っても養ってもらえないんかな
0228１３２人目の素数さん
垢版 |
2018/04/16(月) 14:49:46.44ID:9Q1VFte2
これでみんながニー速できるように結界が形成される。
私は解かれない問題の宇宙の呪いを解く活動をしている
0230１３２人目の素数さん
垢版 |
2018/04/16(月) 16:42:46.69ID:JQWDReLc
桜餅に使われる葉っぱの７割は静岡県松崎町産で大島桜。これ豆な。
0232１３２人目の素数さん
垢版 |
2018/04/16(月) 21:43:25.22ID:0ztmEzDr
>>1じゃないがが、

背理法による証明を目指すと「冪のうち奇数はただひとつである」という条件はうまく使う方法が難しいような気がする。

それより、「完全数は素因数２を持つ」ことを直接証明したほうが道が明るい気がする。

実際、素因数が「p1のみのとき」と「p1,p2のみのとき」に奇数の完全数が存在しないことは簡単に証明できる。

同様の感じで素因数がp1,p2,p3の３種類のとき、いけるかと思ったが、計算手順が煩雑なこともあり、まだ導けていない。なんかおしい感じはするんだけども。
0233BLACKX ◆jPpg5.obl6
垢版 |
2018/04/16(月) 22:11:49.01ID:62suAJ1+
>>232
それは弱いが正解に近いと思う。
それに加え僕は数日前にprの中身が双子素数の近似値に近いんじゃないかと思ってる。

双子素数の始めをプロットに起こしたが言うまでも無く直線で母因数(ｐ1...ｐｒ)と子約数ｙr:(J1...Jr-1)が双子の関係の近似かが言えるかどうか調べてる。どうかな？

双子素数のプロット貼っとく
https://imgur.com/phgMk8U.jpg
0234１３２人目の素数さん
垢版 |
2018/04/16(月) 22:51:30.71ID:0ztmEzDr
>>233
おお、規則的だ


何かの参考になるかもしれないので、素因数が２つのときの証明を途中計算省略で書いておく。

N=p1^n1・p2^n2が完全数であるとき、
(1+p1+p1^2+…+p1^n1)(1+p2+p2^2+…+p2^n2)-2p1^n1・p2^n2=0
が成り立ち、これを整理すると
(p1-2)(p2-2)-2=-{(p1^(n1+1)+p2^(n2+1)-1/p1^n1・p2^n2}
右辺は明らかに負である。
(p1-2)(p2-2)-2＜0を満たすにはp1=2またはp2=2を満たさなければならない。
故にNは素因数２を持ち、奇数ではない。
0235１３２人目の素数さん
垢版 |
2018/04/16(月) 23:16:48.29ID:XrLq+dHM
奇数ということを使おうとして
完全数なら約数で何らかのペアが作れるという予想を立てたが
ダメダメだった
0238236
垢版 |
2018/04/17(火) 01:26:28.03ID:AiDN2bJ5
確かによくみたら左辺のほうが大きいから、満たす素数は存在しないですね。

これを一般化できたらいいんですが、組み合わせの爆発力的に難しいのでしょうか。
0239BLACKX ◆jPpg5.obl6
垢版 |
2018/04/17(火) 01:31:42.08ID:9d6+/iit
>>234
おー
ってことは、母因数prだけは双子素数とその証明により奇数の完全数が導かれるかもしれない。

ユーグリットが提示している
「Mp = (2^p) − 1 が素数のときの (2^p−1)Mp に限る」の枠組みから出ていないから構成だけ拝借して
(3, 5) を除く全ての双子素数は (6n − 1, 6n + 1)の形であるから(X=0の時Y=2の近似線上)

２は調和数であるため、
奇数の約数分解の形(q^a)p1^2j1 … pr^2jkが完全数と仮定する時、 4{(n − 1)! + 1} + n ≡ 0 (mod n(n + 2))となれば素数だけの完全数が必ず４つはある事になる。なければ、絶対無いと言える。
どうだろう？不安定過ぎるか？
0240１３２人目の素数さん
垢版 |
2018/04/17(火) 01:32:42.97ID:XlMNiLEO
>>236
暗算だけど、多分できた
p1～p3のmod 4での余りが全て1か3と仮定して
場合分けしたら全通り左辺て右辺のmod4での値が異なる
0241１３２人目の素数さん
垢版 |
2018/04/17(火) 01:38:52.62ID:XlMNiLEO
ああ、単に大小比較でもなんとかなるのか

modで計算すると途中の計算楽になったりはしないかなあ
そうしたら次数大きいときには使えそうなんだけどね
0242１３２人目の素数さん
垢版 |
2018/04/17(火) 08:17:07.66ID:z2YZwS4M
>>239
LOTOの人か
君の言っていることはいつもはしょりすぎててわからん
もっと噛み砕いて欲しい
例えば双子素数の線上に無いpがMpに含まれるかもしれないし
なぜ因数ではなく約数と双子素数の必要十分条件なのだとかとか
0243１３２人目の素数さん
垢版 |
2018/04/17(火) 09:39:36.32ID:mFPd2gsF
LOTOの人はただのド素人。
本人は何か数学的な行為をした気になっているようだが、内容はいつも滅茶苦茶。
こいつに数学は無理。
0244１３２人目の素数さん
垢版 |
2018/04/17(火) 11:03:23.31ID:xiFEk1sF
書き込みがなくなりましたが、諦めたんですかね
「撤回します、ありがとうございました」くらい言えないんでしょうか
0245１３２人目の素数さん
垢版 |
2018/04/17(火) 11:51:38.95ID:Rke3J9Tt
間違えていないのに、何故撤回しなければならないのですか？

特定のpについて成り立つ、式-a-g+h=-gp-kのpを変数として方程式に
代入することは何もおかしいことではないと思いますけど。
0246１３２人目の素数さん
垢版 |
2018/04/17(火) 11:58:06.06ID:FiK5gecj
周知の通り、完全数とは約数関数σについてσ(N)=2Nとなる正整数Nのことであり、
Nの素因数分解をN=Πpi^eiとしたとき、σが乗法的であることからσ(Πpi^ei)=Πσ(pi^ei)=2Πpi^eiとなり、素因数分解の一意性から、各σ(pi^ei)の素因数はすべて2Nについての素因数でもある。
σ(pi^ei)の素因数についての性質を明らかにすることは、完全数の問題を考えるときに重要であると考えるので、以下の補題を示しておく。
(間違っていたらご指摘お願いします)

補題：素数p1とp2について、p1をσ(p3^(p2-1))の約数にもつような素数p3が存在するための条件は、p1=p2またはp1≡1(mod p2)である。

証明(抄)
p3≡0(mod p1)のときσ(p3^e)はp1を約数に持たない。
p3≡1(mod p1)のときσ(p3^(p1-1))はp1を約数に持ち、それら以外のとき、σ(p3^(p1-2))がp1を約数に持つ。①
また、素数p、正整数k,mについてσ(p^(km-1))はσ(p^(m-1))の倍数である。
σ(p3^(p2-1))がp1を約数にもつとき、p2より小さいeでσ(p3^(e-1))がp1を約数にもつと仮定すると、p2はeの倍数でなければならないが、e=1のときσ(p3^(e-1))=1はp1を約数に持たない。
よって、σ(p3^(p2-1))がp1を約数にもつとき、p2より小さいeでσ(p3^(e-1))がp1を約数にもつことはない。
このことと①より、p1またはp1-1がp2の倍数であるので、p1が素数であることからp1=p2またはp1≡1(mod p2)である。□

この補題から、たとえば3n+2の形の素数5,11,17などをσ(p^2)が約数にもつような素数pは存在しないことがいえます。
この補題は完全数の問題を考えるときに有用であると考えます。
0247１３２人目の素数さん
垢版 |
2018/04/17(火) 12:51:06.56ID:Rke3J9Tt
>>245
変数だとすれば不定になりますが、pを変数とするのは正しくないと
思いましたので、撤回しました。
0251１３２人目の素数さん
垢版 |
2018/04/17(火) 15:37:13.98ID:8MwZLis1
何か指摘すれば反発するのに、誰も何も言わなかったら撤回するんだったら、もう何も言わない方が良くないか？
0253１３２人目の素数さん
垢版 |
2018/04/17(火) 15:41:46.24ID:CUvFk7hn
>>251
人というのは、自分が信じていることを批判されれば、反射的には反発してしまうもの。
時が経って、批判を冷静に分析してみたら、理解できたということではないだろうか。
意見を言うことは無駄ではなかったんだと思うよ。
0256236
垢版 |
2018/04/17(火) 20:37:12.91ID:AiDN2bJ5
素因数が４つのとき、

2(p1-1)(p2-1)(p3-1)(p4-1)-(p1-2)(p2-2)(p3-2)(p4-2)-8(p1+p2+p3+p4)+15<0

という関係式を得ました。

途中計算が間違ってないとして、p1,p2,p3,p4のいずれかが２であることが言えるでしょうか？
0257１３２人目の素数さん
垢版 |
2018/04/17(火) 20:57:14.14ID:DBuv6phj
謎の対称性があるな
どれかが２だと第２項は消えちゃうのが面白い
0258１３２人目の素数さん
垢版 |
2018/04/17(火) 21:05:47.82ID:AiDN2bJ5
>>257
もし必ず素因数２を持つのであれば、何かに使えるのではないかと思い、出てくるように式変形しました。
0259１３２人目の素数さん
垢版 |
2018/04/17(火) 21:19:17.38ID:AiDN2bJ5
逆に考えると、あえて(p-2)をつくらないと

2Πpk^nk・(pk-1)がうまく因数分解できないですね。

重要な何かを示唆している気もしますが。
0261１３２人目の素数さん
垢版 |
2018/04/17(火) 21:28:03.71ID:NtErtVJU
>>256 の式をどうやって出したかが問題かなと思うよ
そのやり方が5つ以上の場合にそのまま当てはまるかどうかも問題
0263１３２人目の素数さん
垢版 |
2018/04/17(火) 21:46:40.23ID:AiDN2bJ5
あ、>>256を数ステップ元に戻すと、

p1^n1・p2^n2・p3^n3・p4^n4{(p1-2)(p2-2)(p3-2)(p4-2)+8(p1+p2+p3+p4)-15}-(p1+p2+p3+p4)+1=(p1^(n1+1)-1)(p2^(n2+1)-1)(p3^(n3+1)-1)(p4^(n4+1)-1)

が成り立っているんだけど、

pがすべて奇数だと、左辺が奇数なのに対し、（右辺）＝2p1^n1・p2^n2・p3^n3・p4^n4(p1-1)(p2-1)(p3-1)(p4-1)で矛盾するから、p1,p2,p3,p4のどれかが２だな。
0264１３２人目の素数さん
垢版 |
2018/04/17(火) 21:49:38.28ID:AiDN2bJ5
>>261
やり方は式をただ展開・整理したあとに、判断の基準となりそうな形に因数分解しただけですよ。
0265１３２人目の素数さん
垢版 |
2018/04/17(火) 22:00:40.50ID:jpVKhS7g
計算間違いしてる
0267１３２人目の素数さん
垢版 |
2018/04/17(火) 22:08:05.63ID:jpVKhS7g
どうもならんよ
0269１３２人目の素数さん
垢版 |
2018/04/17(火) 22:29:30.52ID:sPZflTPz
>>268
rejectされて、またこのスレと同様の展開をレフリーとやるつもりやろ
0271１３２人目の素数さん
垢版 |
2018/04/17(火) 22:42:22.91ID:b7hx7JCQ
>>269
リジェクトしたら、レフェリーとしては付き合う必要はないから、こっちが荒れる
0274１３２人目の素数さん
垢版 |
2018/04/18(水) 08:43:06.05ID:pXg6LhEN
書き込みがなくなりましたが、諦めたんですかね
「撤回します、ありがとうございました」くらい言えないんでしょうか
0275１３２人目の素数さん
垢版 |
2018/04/18(水) 09:34:31.61ID:eA1tCMTm
備忘

・素因数が2つのとき、奇数の完全数は存在しない

・2^a×p^bが完全数ならば、
｛2^(a+1)+p^(b+1)-1｝/(2^a×p^b)=2 が成り立つ。
0279１３２人目の素数さん
垢版 |
2018/04/18(水) 14:55:22.67ID:Jn58opWQ
奇数の完全数が存在した場合にその異なる素因数の個数が4つ以上なのは古典的な結果で、今は9個以上なのがわかっているようだ
0280１３２人目の素数さん
垢版 |
2018/04/18(水) 15:14:14.02ID:MuWE3AmY
>>279
ただ、wikipedia情報だとコンピュータによる証明で、論理による証明ではないようですね。
0281１３２人目の素数さん
垢版 |
2018/04/18(水) 15:33:07.73ID:Jn58opWQ
>>280
9個以上の話かな。論理による証明なのは当然だけど、場合分けが多いなど人の手だけで処理しきれないところは計算機のお告げってとこかな。
0282１３２人目の素数さん
垢版 |
2018/04/18(水) 15:50:11.04ID:DxTkbGVb
査読依頼して撤回して依頼して撤回して…って相手側の迷惑になるとか考えないんだろうか
0283１３２人目の素数さん
垢版 |
2018/04/18(水) 17:47:06.69ID:o23BE7D7
>>282　このスレで吟味が終わった後に提出した方がよさそう…
0284１３２人目の素数さん
垢版 |
2018/04/18(水) 19:59:12.97ID:1gHAyU8t
>>246 の考えを少し進めて、奇素数pを与えたとき、σ(q^e)がpの倍数となるような奇素数qを求める方法について考察してみました。
この問題の場合、特にeが偶数のときが興味の対象となると思います。

i) e=2 のとき: σ(q^2)≡0 (mod p)
q^2+q+1≡0 (mod p) これは、p と 4 が互いに素なので、以下と同値
4q^2+4q+4≡0 (mod p)
(2q+1)^2≡-3 (mod p) ここで S^2≡-3 (mod p) となる S があると仮定すると（p によっては存在しない可能性あり）
2q+1≡±S (mod p)
つまり、S^2≡-3 (mod p) となる S が存在するとき、S が奇数ならば q≡(-1±S)/2 (mod p), S が偶数ならば q≡(-1±S+p)/2 (mod p) となる q を求めるとよい。
(-1±S)/2, (-1±S+p)/2 が p の倍数でなければ、Dirichlet の算術級数定理より、素数となる q は必ず存在する。
(-1±S)/2, (-1±S+p)/2 が p の倍数であれば、p も qも素数なので、q=p が解である。

ii) e=4 のとき: σ(q^4)≡0 (mod p)
q^4+q^3+q^2+q+1≡0 (mod p)
4q^4+4q^3+9q^2+4q+4≡5q^2 (mod p) ここで S^2≡5 (mod p) となる S があると仮定すると（存在しない可能性あり）
(2q^2+q+2)^2≡(Sq)^2 (mod p)
2q^2+q+2≡Sq (mod p) (複号省略)
2q^2+(1-S)q+2≡0 (mod p)
16q^2+8(1-S)q+16≡0 (mod p)
16q^2+8(1-S)q+(1-S)^2≡(1-S)^2-16 (mod p)
(4q+1-S)^2≡1-2S+S^2-16≡-2S-10 (mod p) ここで T^2≡-2S-10 (mod p) となる T があると仮定すると（同上）
4q+1-S≡±T (mod p)
q≡(-1+S±T+kp)/4 (mod p) （-1+S±T+kp が 4 の倍数になるように整数 k を選ぶ）

この方針の問題点は、S^2≡-3 (mod p) を解くときに必要な奇素数 p を法とした開平の簡単な方法が思いつかないことと、
e が大きくなると代数的に解けない可能性があるという点です。
0285１３２人目の素数さん
垢版 |
2018/04/18(水) 20:25:33.11ID:pJZE3oYD
>>282
間違いが分かっているのに査読依頼を続けるのはよくないと思い撤回しました。

>>278
再度提出しました。
0286１３２人目の素数さん
垢版 |
2018/04/18(水) 20:51:06.40ID:2lOHUAIB
>>275を変形すると、

2^(a+1)=(1+p+p^2+…+p^b)/{1+p+p^2+…+p^(b-1)}

になるんだよねぇ。
これって、メルセンヌ素数と完全数の関係を言い換えた表現なのかな？
0287１３２人目の素数さん
垢版 |
2018/04/18(水) 20:51:10.19ID:pXg6LhEN
どれだけ訂正を繰り返してるか知りませんが、訂正が数多くあるのに何故まだ大筋では正しいと思えるのでしょうか
0288１３２人目の素数さん
垢版 |
2018/04/18(水) 20:52:03.58ID:liZ/ltrT
>>285
???
0289１３２人目の素数さん
垢版 |
2018/04/18(水) 21:00:43.21ID:pJZE3oYD
>>287
訂正を繰り返しても、数学的に正しい証明が得られればよいのではないでしょうか？
0290１３２人目の素数さん
垢版 |
2018/04/18(水) 21:03:55.71ID:ocgwembx
>>275
>>286
そんなの成り立つわけない
0291１３２人目の素数さん
垢版 |
2018/04/18(水) 21:06:05.15ID:2lOHUAIB
>>290
すべてのp,a,bで成り立つわけじゃないよ。
2^a×p^bが完全数のときね。
嘘だと思うなら、完全数として知られている数で試してみな。
0292１３２人目の素数さん
垢版 |
2018/04/18(水) 21:09:49.42ID:ocgwembx
試してみなとか言うなら自分でやってから言え
>>286の右辺はpより少し大きい数で整数じゃないぞ
0293１３２人目の素数さん
垢版 |
2018/04/18(水) 21:16:41.13ID:2lOHUAIB
>>290
例えば、5番目の完全数33550336は2^12×8191だから
(2^13+8191^2-1)/(2^12×8191)
=(8192+67092481-1)/(2^12×8191)
=67100672/(2^12×8191)
=(2^13×8191)/(2^12×8191)
=2
で成り立つ。
0294１３２人目の素数さん
垢版 |
2018/04/18(水) 21:19:23.90ID:EycHDXr6
>>283
提出したってのが嘘なんだから、ほっとけば？

こちらは「早く査読の結果がでればいいねー」と、査読の結果とやらが出るまで静観しとけばいい
0295１３２人目の素数さん
垢版 |
2018/04/18(水) 21:19:48.99ID:2lOHUAIB
>>292
書き方が悪かったかもしれないが、
2^12×8191を例にすると右辺＝1+8191^1/1ね
分母は8191^0だから
0299１３２人目の素数さん
垢版 |
2018/04/18(水) 23:40:04.41ID:pXg6LhEN
>>289
数学的に正しくないから訂正するんですよね
それを繰り返してもなお正しいと信じられる自信はどこから来るのでしょうか

あとはやくy=105として計算してみてください
0300１３２人目の素数さん
垢版 |
2018/04/18(水) 23:51:14.68ID:2lOHUAIB
完全数って2^n×pの形の数しか見つかってないんだっけ？

完全数のときに成り立つ式を見ながらふと思ったんだけど、

なんかフェルマーの最終定理と似たにおいがするなぁ
0301１３２人目の素数さん
垢版 |
2018/04/19(木) 01:16:39.45ID:YjR9vHKt
>>300
見つかっていないというより、整数a,b、素数pについて「2^a×p^bが完全数」ならばb=1でしかありえない。
よって>>275の言及は真ではある。あるのだが、そこで立てた式はb≠1については意味をなさない。
0302BLACKX ◆jPpg5.obl6
垢版 |
2018/04/19(木) 06:09:43.49ID:R/qWnIK8
違う。間違ってる
それはpが素数と言うメルセンヌ数の関係で成り立たないんよ
まず、
Mp = (2^p) − 1 が素数ならば pもまた素数であるが、逆は成立しない

Mp= (2^p) − 1が素数ならば、(2^p−1)((2^p) − 1)が完全数だよ
これはオイラーによって証明されてる。
0303１３２人目の素数さん
垢版 |
2018/04/19(木) 06:24:05.52ID:YjR9vHKt
何を言うとるか
って感じだけどスレチなので弁護はしないでおくよ
うん、アンタが正しい
0304１３２人目の素数さん
垢版 |
2018/04/19(木) 07:29:41.77ID:70j8p6l3
いくらキチガイの相手をしたくないからと言って、
>>302のような間違ったツッコミに「アンタが正しい」だなんて、
ID:YjR9vHKt は数学徒として失格だよ。
0306１３２人目の素数さん
垢版 |
2018/04/19(木) 15:22:52.95ID:donIV//c
>>284
p≡1(mod e+1)のときは、x^e+…+1≡0 (mod p)にはもっとスマートな解法があって、
両辺にx-1を乗じてx^(e+1)-1≡0(mod p)となるので、x^(e+1)≡1(mod p)
一方、s≡0(mod p)でないsについてs^(p-1)≡1(mod p)なので、r≡s^((p-1)/(e+1)) (mod p)となるrを求めると必ずr^(e+1)≡1(mod p)となる。
そのようなrがr≡1(mod p)でなければ、x≡rは必ずx^e+…+1≡0 (mod p)の解である。
この方法なら、大きなeの値でも使えるし、平方根を求めようとしなくてもいい。
0307１３２人目の素数さん
垢版 |
2018/04/19(木) 20:07:08.75ID:KPc2U93/
論文どうなった？
0309１３２人目の素数さん
垢版 |
2018/04/20(金) 18:42:10.32ID:6Ols9EEQ
盛り上がってますね
0321166
垢版 |
2018/04/23(月) 13:52:25.23ID:tRoec2zq
Rejectされました。理由は書いていません。

正しい証明が完成しているのにも関わらず、否定されました。
2018年04月18日にこの証明は、私により解決されています。

早稲田の応用物理学科卒の学士を馬鹿にしているのでしょうか？

日本の数学会はおかしい。それ以上のものではない。
0323１３２人目の素数さん
垢版 |
2018/04/23(月) 14:02:56.92ID:tRoec2zq
かくなるうえはまた、アップローダーに日本語と英語の論文と
もう一つのバージョン計4ファイルを上げた方がいいのでしょうか。
そうすれば、一般の数学者及び数学研究者にそれを承認してもらえるのでしょうか？
どうすればよいのかご教授いただきたいものです。

意味不明にRejectされて不愉快極まりない。
世紀の問題の正しい証明を否定する意図が分かりません。
0324１３２人目の素数さん
垢版 |
2018/04/23(月) 14:05:04.19ID:tRoec2zq
>>322
＞Under the name of the editorial committee, we regret to inform you
＞that we are unable to accept your paper entitled:

＞ Proof that an odd complete number does not exist
＞ by

＞submitted to the Journal of the Mathematical Society of Japan.

＞We would like to thank you very much for having forwarded
＞your manuscript to us and wish you every success
＞in finding an alternative place for publication.

＞Sincerely yours,

＞
＞Editor-in-chief
＞Journal of the Mathematical Society of Japan
0325１３２人目の素数さん
垢版 |
2018/04/23(月) 14:10:27.86ID:tRoec2zq
Googleの翻訳は証明ではなくて、照明じゃないのと調子に乗っていてました。
反吐が出る負け惜しみっぷりですね。
0326１３２人目の素数さん
垢版 |
2018/04/23(月) 14:13:59.15ID:tRoec2zq
それと私はTOEIC700点なので、英語のリテラシーは普通だと思うんですが
何故、英語が通じるでしょうかと言うような内容でJSMJの人間に
馬鹿にされなければならないのでしょうか？

英語なんて誰でも話せる言語で、馬鹿にされる筋合いはないと思うのですが。
0328１３２人目の素数さん
垢版 |
2018/04/23(月) 14:38:00.53ID:DP19h/0l
>>324 最初から査読する意思ないってことだねぇ…
0329１３２人目の素数さん
垢版 |
2018/04/23(月) 15:03:38.68ID:tRoec2zq
日本人は気に入らない日本人の数学的成果は見ないと。
終わってますね。

arxivにあげようかと思いましたが承認が必要です。良ければ
takakikを承認してもらえるようお願いいたします。

褒めなくていいという内容も最近テレビから聞こえてきました。
褒めていい人間も決まっているようですが、そんなんでいいんですか？
0330１３２人目の素数さん
垢版 |
2018/04/23(月) 15:05:55.28ID:tRoec2zq
フィールズ賞級の成果が他の国にいってもいいというんですかね。

馬鹿らしいのもほどがある。
0332１３２人目の素数さん
垢版 |
2018/04/23(月) 15:14:15.85ID:tRoec2zq
そうは問屋が卸さないということで、初めからこうなることは
分かっていたのですね。

この証明は誰もしてはいけないものなのでしょうか？
それとも、私だから無視されるのでしょうか？

正しい証明なのに勿体ないですね。

このまま奇数の完全数はあるかないか分からないということにしておくと
何かメリットがあるのでしょうか？

意味不明な数学の発展に対する妨害活動には怒りを禁じえません。
0333１３２人目の素数さん
垢版 |
2018/04/23(月) 15:25:02.00ID:DP19h/0l
>>332
＞それとも、私だから無視されるのでしょうか？
一般に、著者のネームが学術論文の採択に影響を与えるとは言われているよ。
0334１３２人目の素数さん
垢版 |
2018/04/23(月) 15:30:02.48ID:tRoec2zq
>>333
それはそうかもしれないけど、誰も初めは無名でしょう。

未解決問題の証明は価値が高いと考えられるし、量も5ページで短いから
読んでもらいたいものです。
数学の進歩が要らないとは相当病的だと思います。
0335１３２人目の素数さん
垢版 |
2018/04/23(月) 15:36:55.37ID:S0y1Ti84
こうなることは、本人以外わかってたんだよなあ

てか、英語の能力がある人間がgoogle翻訳なんか使うなw
0337１３２人目の素数さん
垢版 |
2018/04/23(月) 15:47:48.93ID:q8wtXgp3
君から数学会への心配なんて余計なお世話だよ
未だに自分以外誰一人として納得させられてない論文モドキでよく言えるわ
0338１３２人目の素数さん
垢版 |
2018/04/23(月) 15:50:31.36ID:tRoec2zq
>>336
じゃあ数学的に正しいのか一つめの最終的な版を公開しますが
あなたに判定してもらえるのでしょうか？
あなたにが良とすれば、社会的に認知されるのでしょうか？
日本語がいいですか、英語がいいですか？
0339１３２人目の素数さん
垢版 |
2018/04/23(月) 15:52:13.18ID:tRoec2zq
>>337
6回見直しをして間違いがないことを確認している。
私は無職で社会から完全に孤立しているから仕方がない。

完全に盗聴されそれがテレビやネットニュースで利用されているが。
0340１３２人目の素数さん
垢版 |
2018/04/23(月) 15:55:51.89ID:grwF+KXY
なんで一人に委ねようとするのか
沢山の人の承認が必要なんだよ
残念ながらあなたが孤立しているこの社会ではね
0342１３２人目の素数さん
垢版 |
2018/04/23(月) 16:01:38.38ID:VGN1rAK6
ここのスレでいろんな人に査読（チェック）とコメントして貰えただけ恵まれてると思うよ
大抵の素人の証明は読まないかちょっと見ても議論になってないからほぼリジェクトするし、どこに誤りがあるかわざわざ時間をかけてコメント書くこともない
誤ってる部分や議論の仕方を教えて貰えるというのはそれだけで価値があるから次に活かせるといいね
とりあえず大学レベルの基礎理論でも学んでみたら
自分独自のやり方を見つけたいにしてもある程度の基礎はしらないと
知ってる事で着想の範囲も広がるし
0344１３２人目の素数さん
垢版 |
2018/04/23(月) 16:05:20.63ID:grwF+KXY
>>341
そう解釈したのね
俺が数学だと
社会から孤立して自分一人ならそうかもね
社会的な数学とは「数学に関する様々なコミュニティーが存在してそれらが結び付き合い統一的な解釈を目指すシステム」の事だよ
君もそれに参加すればいい
それだけの話
0345１３２人目の素数さん
垢版 |
2018/04/23(月) 16:07:44.75ID:VGN1rAK6
初等的な計算だけではやっぱり難しいように見えるけどな
かと言って今から最先端の手法を学ぶのは時間がかかりすぎるだろう
だから趣味として楽しむなら計算しながら整数の（完全数とか約数とかに関連ありそうな）性質を調べて理論化していくのはどうだろう
結果として完全数とかにも応用できる可能性もあるし
まだ誰もやってない定式化とかなら大穴狙えるかもしれん
0346１３２人目の素数さん
垢版 |
2018/04/23(月) 16:09:35.55ID:DP19h/0l
>>344
まぁ、ただ>>328のコメントを見る限りは、参加そのものを拒絶されている感じなので…
0347１３２人目の素数さん
垢版 |
2018/04/23(月) 16:13:34.93ID:tRoec2zq
ここに論文を上げたURLを書けば、それで誰も否定することはできないだろうけれども
社会的にこの問題の証明者と認定されるのでしょうか？
0348１３２人目の素数さん
垢版 |
2018/04/23(月) 16:16:37.03ID:tRoec2zq
>>344
ド田舎に住んでいるから多分それは、無理。

受験でいかさまばかりをされているのは多分有名。クイズ番組で元都知事が
言ったくらいだから。
0349１３２人目の素数さん
垢版 |
2018/04/23(月) 16:18:07.95ID:tRoec2zq
>>345
だから、初等的な計算により奇数の完全数が存在しないことを証明した。
それは同じ数値ではさみ打ちされて、完全数に含まれているべき
奇素数が存在しないという結論になった。
0351１３２人目の素数さん
垢版 |
2018/04/23(月) 16:25:24.40ID:grwF+KXY
>>348
そのためのソーシャルメディア
田舎だからといって参加できる権利を剥奪されるわけではない
0352１３２人目の素数さん
垢版 |
2018/04/23(月) 16:33:46.32ID:tRoec2zq
それでは日本語の方をあげることにしました。
もし、正しい場合には情報の拡散をお願いいたしたいと思います。

このような、嫌がらせ的対応を受け残念な成り行きですが仕方ありません。

Pdf文書
http://fast-uploader.com/file/7080024199122/
0353１３２人目の素数さん
垢版 |
2018/04/23(月) 16:37:12.71ID:tRoec2zq
「みんなのものにしないからだ。」
という内容の発言が聞こえてきましたが、前スレからもそうですがほぼ
全て私が独力で証明を行ったもので、他者が重要な影響を与えてる
とすれば、前スレの26のレスだけであるということも言っておきたいと
思います。
0355１３２人目の素数さん
垢版 |
2018/04/23(月) 16:45:36.72ID:LDdQkaoF
まぁその証明が正しいと思い込んで、周りが間違ってると信じて生きていけばいいよ
0356１３２人目の素数さん
垢版 |
2018/04/23(月) 16:47:22.34ID:tRoec2zq
日本の数学の研究者の世界ってどうなっているんでしょうか？
政治的圧力ですかねー。テレビで私を馬鹿にするのは普通に行われています
からね。何故、明治天皇の玄孫にあそこまで、調子に乗られなければ
ならないのでしょうか？ちなみに私の方が年上なのではないのでしょうか？
0360１３２人目の素数さん
垢版 |
2018/04/23(月) 17:06:30.61ID:CNmI2ZWh
まず、数学をわかってるだとか英語の能力があるとか、そのクソみたいな自惚れをどうにかしろ。

それからこの数学板で誰一人、あんたの証明が正しいと認めていないことを認識しろ。

少なくともここの人間が納得しない限り、証明できたとはこれっぽっちも言えないのだから、
完全な証明が完成しました、とか誇大表現を止めろ。
0361１３２人目の素数さん
垢版 |
2018/04/23(月) 17:17:19.53ID:tRoec2zq
>>360
まず先にどこが間違っているのかを指摘してくれ、最新版は誰にも否定されていない。
0362１３２人目の素数さん
垢版 |
2018/04/23(月) 17:19:01.76ID:tRoec2zq
>>358
正しい証明でもそう言えるのですか？

>>359
間違いはその都度訂正をしてきています。現在他者から否定も肯定もされていない
証明が2つあります。
0363１３２人目の素数さん
垢版 |
2018/04/23(月) 17:26:24.53ID:LDdQkaoF
>>362
正しい確率がほぼ0である駄文は誰もちゃんと読みたいと思いません

修正できてないから指摘され続けてるんですよ
0367１３２人目の素数さん
垢版 |
2018/04/23(月) 17:57:23.03ID:O/mO6QmO
本当に自分が正しいと信じてるなら多少面倒でもCoqなりMizarなりIsabelleなり複数の形式的証明に書き直してそれで検証させればいい。
それを通れば誰も文句は言わんでしょ。
実際レフェリーに間違いはみつからないが保証もできないからとさじを投げられたケプラー予想の証明も10年かけて形式的証明に書き直して検証されているし、その結果は受け入れられていると言っていいと思う。
逆にアクセプトされた証明が10年過ぎて間違っていたと検証されたりもしている。
0368１３２人目の素数さん
垢版 |
2018/04/23(月) 18:09:18.10ID:tRoec2zq
>>366
>>352に関しては、何も指摘されていないが。

>>367
全て海外のもののようですが、arXivも個人では提出ができないようになっていますが
そちらはどうなのでしょうか？

初等的な数学しか使っていないのでほぼ、高校数学で収まる範囲の内容だと
思います。その範囲の数学を理解している人であれば、誰でも正しいと思う
証明だと思います。理由なくRejectですからね。責任を放棄したのか、何か
圧力が掛かったのではないかと考えられます。
0370１３２人目の素数さん
垢版 |
2018/04/23(月) 18:21:46.22ID:grwF+KXY
とにかく出来ることはなんでもやって、納得できる説明を行うために努力を怠らないことが大事
たとえ自明だと思っている部分でも(それが高校数学の範囲内でも)
0371１３２人目の素数さん
垢版 |
2018/04/23(月) 18:23:59.39ID:O/mO6QmO
>>368
形式的証明を検証するプログラムの名前。
プログラムに理解できるよう形式的証明に書き直して検証させれば、あとは機械的に正しい証明になっているかいないか判定してくれる。
自分でプログラムを通して正しいと確認できたなら、その形式的証明を上げれば、同じプログラムで誰もが正しいと確認できる。
0372１３２人目の素数さん
垢版 |
2018/04/23(月) 18:51:35.26ID:tRoec2zq
>>370
この場で質問があれば答えますが、そのようなことは今はありませんね。

>>371
そこまでしなければならない理由が分からない。>>9が否定したのですから
ここで、成否を確定してもらった方がいいと思います。
0373１３２人目の素数さん
垢版 |
2018/04/23(月) 18:53:12.32ID:aQM3Oemc
論文を読んで指摘しろってことなんで読んでみたけど、簡単な話、最後から９行目の式⑧からってとこの不等号が逆だね。
なので、結論は成り立たないことになるね。残念だけど。
0374１３２人目の素数さん
垢版 |
2018/04/23(月) 18:55:02.71ID:em4gUmF7
・ 一般的に、数学の証明を Coq に書き直すのには大変な労力を必要とするが、
　 初等的な計算だけで終わっているなら、Coq に書き直す労力は比較的少なくて済むと考えられる。

・ レフェリーが相手してくれなくても、Coq は誰でもウェルカム(なぜなら、Coq はプログラムだから)。

・ いったん証明が Coq に通ったら、その証明は100％正しいことが保証される。もはやレフェリーとか要らない。

・ 5ch の場末のスレッドという、このような場所で賛同者がいくらいても、
　 社会的には何の価値も無い(まあ現状はここですら賛同者ゼロなんだけど)。

>>1にとってはメリットしかないので、ぜひとも Coq を始めるべき。
0379１３２人目の素数さん
垢版 |
2018/04/23(月) 19:25:15.57ID:RmkTuvxP
何が誰でも正しいと思う証明だよ。

こんなことばかり繰り返してるから信用がないんだよ。

結局、見る人を馬鹿にしてるんだよ。
0380１３２人目の素数さん
垢版 |
2018/04/23(月) 19:31:39.80ID:LDdQkaoF
>>378
意味不明です
p1～prが「p」以外の素因数なのかどうか、はいかいいえでお願いします

あとはやくy=105の場合で計算してみてください
難しければy=15でもいいです
0382１３２人目の素数さん
垢版 |
2018/04/23(月) 19:53:13.37ID:em4gUmF7
頭のおかしい病人のキチガイ語録(要所だけ抜粋)。

・ 正しい証明が完成しているのにも関わらず、否定されました。
・ 早稲田の応用物理学科卒の学士を馬鹿にしているのでしょうか？
・ 日本の数学会はおかしい。それ以上のものではない。

・ 意味不明にRejectされて不愉快極まりない。
・ 世紀の問題の正しい証明を否定する意図が分かりません。

・ 日本人は気に入らない日本人の数学的成果は見ないと。終わってますね。

・ フィールズ賞級の成果が他の国にいってもいいというんですかね。 馬鹿らしいのもほどがある。

・ このまま奇数の完全数はあるかないか分からないということにしておくと何かメリットがあるのでしょうか？
・ 意味不明な数学の発展に対する妨害活動には怒りを禁じえません。

・ 未解決問題の証明は価値が高いと考えられるし、量も5ページで短いから読んでもらいたいものです。
・ 数学の進歩が要らないとは相当病的だと思います。

・ 6回見直しをして間違いがないことを確認している。

・ 一応センターの数学は200点ね。前にも書いたけど。

・ このような、嫌がらせ的対応を受け残念な成り行きですが仕方ありません。

・ 日本の数学の研究者の世界ってどうなっているんでしょうか？

・ 理由なくRejectですからね。責任を放棄したのか、何か圧力が掛かったのではないかと考えられます。

・ 間違いが分かりました。>>352は削除します。
0383１３２人目の素数さん
垢版 |
2018/04/23(月) 20:43:35.69ID:QNDRGmmC
hadwiger(綴りこうだったっけ？)の四色問題の証明（完全な誤り）を思い出した。

あのときも数々の誤りを２ｃｈで指摘され続けていたのに本人だけが理解できず、こんな感じで日本の数学界は！！とか憤っていた。もう１０年以上も前の話だけどね。
0384１３２人目の素数さん
垢版 |
2018/04/23(月) 20:49:30.97ID:QNDRGmmC
あ、念の為に補足しておくとhadwigerは2chでのハンドルネームでHadwiger本人じゃないから。
0385１３２人目の素数さん
垢版 |
2018/04/23(月) 20:58:58.47ID:O/mO6QmO
>>383
もう10年経つのか。
もっと近いと思ってた。
今井の蛆虫発言とかは10年以上見ていない気がする。
ちなみにエムシラは先日来てたw
0386１３２人目の素数さん
垢版 |
2018/04/23(月) 21:22:39.46ID:QNDRGmmC
むしろ覚えている人がいたのにびっくりした。
あのときいくつか誤りを指摘していた一人でござんす。
0387１３２人目の素数さん
垢版 |
2018/04/23(月) 21:44:08.32ID:tRoec2zq
頭はおかしくない。至って普通。誰でも、完全に孤立した環境でこの問題に
取り組むと多少なりとも感情的になると思う。
0388１３２人目の素数さん
垢版 |
2018/04/23(月) 22:13:25.35ID:O/mO6QmO
>>386
あのスレもここも優しい人がいてほっこり和む。
普通なら間違いをわざわざ指摘なんてしてあげないよね。
0391１３２人目の素数さん
垢版 |
2018/04/24(火) 02:00:42.29ID:e4AjPdtQ
民法の父、穂積陳重の『法窓夜話』を現代語に完全改訳

法律エッセイの古典的名著が短編×１００話で気軽に読めます
リライト本です。「なか見検索」で立ち読み頂けます。原版は
国立国会図書館デジタルコレクションで無料で読めます

法窓夜話私家版 （原版初版1916.1.25）
https://www.amazon.co.jp/dp/B07BT473FB
（続）法窓夜話私家版 （原版初版1936.3.10）
https://www.amazon.co.jp/dp/B07BP9CP5V
0392１３２人目の素数さん
垢版 |
2018/04/24(火) 02:36:02.85ID:MGXJjTYo
>>372
>そこまでしなければならない理由が分からない。

嫌がらせによって認められないと感じるなら、そこまでやって自分の正しさを示せ
0393１３２人目の素数さん
垢版 |
2018/04/24(火) 10:42:47.88ID:kWuKXNSA
>>387
お前が感情的になったのは、単純にお前が書いた論文(笑)がリジェクトされたからだろ。

「孤立した環境でこの問題に取り組んだから感情的になった」

のではなくて、

「リジェクトされたから感情的になった」

のだろ。そもそも、「孤立した環境でこの問題に取り組んだから感情的になった」という理屈は
全く意味が通らない。研究環境が孤立していること自体がどういう点において怒りの感情を
引き起こすというのだね？怒りが湧いてくる理由はそんなところにはなくて、お前の場合は単純に

「誰も認めてくれないからイライラしている」

ということに過ぎないだろ。研究環境が孤立してるとか何の関係もないんだよ。
お前が怒っている理由は1つしかなくて、「誰も認めてくれないから怒っている」に過ぎないんだよ。

で、お前の論文(笑)は完全に間違っていたのだから、誰も認めてくれないのは当たり前。
全てはお前の自業自得。にも関わらず、「わたしが怒っているのは研究環境が孤立しているせいだ」
とかいう意味不明の理屈で被害者ヅラしている。あたまおかしい。
0394１３２人目の素数さん
垢版 |
2018/04/24(火) 10:49:08.47ID:kWuKXNSA
・ 最古の未解決問題を解決することで有名になりたい。 ( ← そもそもこの目標が無謀すぎる)

・ 正しい証明が得られたのに誰も認めてくれない。イライラする。 ( ← その証明、実際には間違っている)

・ 俺の研究環境は孤立しているので、多少感情的になっても仕方がない。 ( ← 環境のせいではなく、無謀な目標を立てたお前の自己責任)

1ミリたりとも同情の余地がない。あたまおかしい。
0395１３２人目の素数さん
垢版 |
2018/04/24(火) 11:01:03.46ID:4pTjXTjF
まあ実計算とあってないと同情はできないね
0396１３２人目の素数さん
垢版 |
2018/04/24(火) 11:16:51.38ID:NUrrb2gz
>>372
ここ的にはもうリジェクトやで

だから別にジャーナル投稿したらええやんって言ったんやで
0397１３２人目の素数さん
垢版 |
2018/04/24(火) 13:24:12.30ID:gHnjBM5b
>>373 私も昨日読んで見つけていたが、先に気づいてたか。

高木氏の論文を初めてじっくり読んでみたんだけど、
〇論理や計算の途中過程で、正しい場合でも省略が多くて、
「なんでこれが出てくるの？」と悩まされる個所がいくつもある。
その前の記述を踏まえると確かに正しいこともあるんだが、
読者の側がわざわざ見つけないといけない。

〇一方で、その後の証明に不必要としか思えない記述が混入していることがしばしばある。

とりあえず、数学の証明として必要かつ十分な記述ができるようになることを
練習するのがまず先決のように思った次第。
0399１３２人目の素数さん
垢版 |
2018/04/24(火) 14:40:37.58ID:MMwHLbug
>>393
最速の数独解析を独自研究開発しても何も変化がないからな。

それと怒ったのはどこが間違いかを指摘しなかったことと、
他の論文誌に掲載がされればいいですね。という私の嫌いなお祈りをされたから。

×誰も認めてくれない
〇信じられないことに未解決問題を解決したから、認めざるを得なくなる。

正しい論文を書いたが、submitを拒否された。
折角正しいと考えられる2つめの論文が出来上がったのに。

最新のものは、それ程難しくないのは確かだと思う。

>>396
間違いの論文を一つ送ったらそれで駄目になるんですか？

それとここで公開したことだと思うが、やくざに見せたから駄目だとも聞こえてきています。
0400１３２人目の素数さん
垢版 |
2018/04/24(火) 14:44:21.56ID:MMwHLbug
>>397
本当かどうかは分からないが極力数式の番号で分かりやすくしているつもりです。
0401１３２人目の素数さん
垢版 |
2018/04/24(火) 14:48:46.86ID:gHnjBM5b
>>400 残念ですが、全然わかりやすくなかったです…(-_-;)
番号の付け方にしても、付けるべきものに付けなかったり、
付ける必要のないものに付けていたり、ちぐはぐでした。

既に撤回された論文なので、具体的な指摘を敢えてしようとは思いませんが。
0402１３２人目の素数さん
垢版 |
2018/04/24(火) 14:50:13.20ID:ulEM+4Pt
論文ってね
正しいと仮定した議論は意味ないんだよ
それこそ消去法のように正しくない可能性をしらみ潰しに消していくしかないんだよ
それはどんな証明でも同じ(たとえ最古の未解決問題の証明であっても)
0403１３２人目の素数さん
垢版 |
2018/04/24(火) 14:57:17.47ID:MMwHLbug
>>402
今まで2月11日からずっと様々な計算なり、方法を検討してきている。
ほぼずっとこの研究を続けてきた。個人的には、今までもゴールドバッハ予想と
ルジャンドル予想の証明を失敗してきているので、今回は成功させたいと
考えている。

それから、矛盾を導くという方法しかとれないと考えられるから計算間違いを
即正解の証明だと何度も誤認してきた。
0404１３２人目の素数さん
垢版 |
2018/04/24(火) 15:04:12.38ID:iZF1L+An
いいか？>>9だが、このスレ(前スレの500レス程度)まででスレ民からrejectされて強行突破してこのスレ建ててジャーナル送ってreject
もう分かるだろう？みんなもしかしたらと考えて全部読んだ上でrejectしてるんだよ
それで何が正しさが理解されないだよ
JMは知り合いの助教授が一般装って論文提出したら通った所だからちゃんと読まれてるぞ。理解しろよな。
0405１３２人目の素数さん
垢版 |
2018/04/24(火) 15:05:13.08ID:7RKds8sm
stap細胞じゃあないんだから
できたできたと言ってるだけではなんの意味もない
まずは証明を見ないことには話にならない

証明出さずに出来たと言って注目してもらえるのは数学的能力が担保されている人間、即ち既に業績を上げている人間だけ
ただの素人が言ってるだけでは妄言と変わらない
だから真面目に取り合って欲しいなら証明を出せと言うこと
で、こないだ証明を出したわけだけれども、間違ってたわけで
そしたら今は振り出しに戻った状態なのね
だから今出来てる出来てると言おうともそれは根拠なしの妄言なわけで、新しい証明があるというならそれを出してから言わなければ話にならない
今度は計算ミスはしっかり確認すること

それとレフェリーコメントが無いことに憤ってるようだけど
雑誌だって利益や数学の発展のためにあるんであって、素人の暇つぶしに付き合うボランティアじゃないんだから
数学的に価値のない論文にいちいちコメントなんかつけてられないよ
ある程度最近の研究を踏襲しての考察なら間違ってても議論の過程やアイディアから得るものはあるからコメントや批評も出来るだろうけど
君のはただ四則演算と因数分解だけして不等号を逆に捉えてたので間違って証明できました、でなにも得るべきものがないじゃないか
こんなものを読まされるエディターに同情するね
0406１３２人目の素数さん
垢版 |
2018/04/24(火) 15:14:28.87ID:rxZsIfvo
2ページ4行目まではwikipediaにも書いてある内容
証明をわざわざ載せる必要はないね
0407１３２人目の素数さん
垢版 |
2018/04/24(火) 15:16:33.02ID:tYRSinqQ
だいたい無料で査読して貰えるのに疑問は感じないのかね？レフェリーやエディターだって暇じゃないんだ
金も出ないのに価値の全くない論文の相手などいちいちしてられないよ
ちゃんと読んでほしいなら、査読料を払えばちゃんと対応してくれる雑誌もあるからそちらに投稿してみればどうかな
0408１３２人目の素数さん
垢版 |
2018/04/24(火) 15:18:02.70ID:MMwHLbug
>>404
それじゃこの成果をどこかの助教授にあげなくちゃいけないわけ？

>>405
根拠は私が今日書いた最新の論文と、不定を用いた証明これはsubmitは
されたがどうなるのかは分からない。
早稲田の物理科入学、応用物理学科卒業の工学士でセンターの数学は
200点だと何度も言っている。正解ではなければ数学的に価値がないのかも
しれないけれど、歴史的にこの問題の証明を書いた人の正しい論文を書く前の
間違いの論文っていうことになるかもしれませんよ。
0409１３２人目の素数さん
垢版 |
2018/04/24(火) 15:23:28.34ID:MMwHLbug
>>407
人類最古の数学的問題だということで、その証明の価値は高いと考えられる。
査読の仕事を無料で行われているということは公的な資金が投入されている
ということだろうけれども、この成果を多少の間違いでそのSubmission
を拒否してしまうのは大変にもったいないことだと考えられる。
0410１３２人目の素数さん
垢版 |
2018/04/24(火) 15:31:59.26ID:MRdAGJmH
多少の間違いという認識が間違い
どこかを直せば全体が正しくなる場合ならその表現で正しいが、それを直したら全体が成り立たなくなる場合は本質的な間違いと表現する
0411１３２人目の素数さん
垢版 |
2018/04/24(火) 15:33:09.10ID:kWuKXNSA
多少の間違いって何だよｗｗｗｗｗｗｗｗｗｗｗｗｗ

箸にも棒にも引っかからないゴミの山じゃねーかｗｗｗｗ
0412１３２人目の素数さん
垢版 |
2018/04/24(火) 15:35:03.87ID:gHnjBM5b
>>409
＞査読の仕事を無料で行われているということは公的な資金が投入されているということだろう
いや、ちがうでしょ。
0413１３２人目の素数さん
垢版 |
2018/04/24(火) 15:35:16.49ID:iZF1L+An
>>408
だからこの成果はグランドの草刈りにもならないの。レフィリーからしたらグランドに空き缶捨てられたのと同じ。
助教授に託すとか権力問題じゃなくて根本的な回答の甘さが原因で証明出来てないって話
0415１３２人目の素数さん
垢版 |
2018/04/24(火) 15:35:59.95ID:MMwHLbug
>>410
不等号の向きを反対に書いて間違うというのは、多少の間違い。

>>411
最後は正解になったと思います。正解の証明はゴミですか？
0416１３２人目の素数さん
垢版 |
2018/04/24(火) 15:37:24.66ID:MMwHLbug
>>413
だから、最後は正しいと考えられる証明が得られたと言っている。

>>414
見てもらえれば、満点になると思います。
0418１３２人目の素数さん
垢版 |
2018/04/24(火) 15:44:50.31ID:gHnjBM5b
>>416　前回の間違いを指摘されてから２４時間も経過してないのに、
「新証明」を見つけたと宣言するのは、拙速だと思いません？
0419１３２人目の素数さん
垢版 |
2018/04/24(火) 15:47:02.86ID:e/0/UFqA
>>416
この問題は、解けたら奇跡的な程でとても難しい。
単なる代数的な計算では解けん。
0420１３２人目の素数さん
垢版 |
2018/04/24(火) 15:47:33.17ID:kWuKXNSA
>>415

× 完成間近の論文なのに最後の不等号だけミスしたので、些細な間違いと言える。

〇 こんな幼稚な計算では根本的に証明できるはずがなく、もし証明できたと言い張るなら
　 自動的にどこかが間違っている。前回は最後の不等号をミスしていた。

分かるかなー。

「完成間近なのに些細なミスをおかしただけ」

なのではなくて、

「そもそも完成からは程遠いのに、些細なミスによる誘発で完成間近だと勘違いしていただけ」

なんだよなー。
0421１３２人目の素数さん
垢版 |
2018/04/24(火) 15:50:31.48ID:tYRSinqQ
99%全く意味のない議論をやってても、1%計算ミス（例えば不等号が逆）をすれば正解にはたどり着くからね
0423１３２人目の素数さん
垢版 |
2018/04/24(火) 15:52:53.20ID:MRdAGJmH
>>415
ええっ？
まさかとは思うが、不等号の向きさえ直せば全体が正しくなるなどと思ってはおるまいね？
0424１３２人目の素数さん
垢版 |
2018/04/24(火) 15:53:07.18ID:ulEM+4Pt
>>416
「正しいと考えられる」という発言は撤回しようね
正しいと考えられるなら議論する必要はないんだよ
0425１３２人目の素数さん
垢版 |
2018/04/24(火) 15:54:52.01ID:tYRSinqQ
まあそれまでの計算に意味があるかないかは誰もこの命題を証明出来ていない以上は判定できないところではあるが
ほぼ出来ていると断言するのも間違いかな
いかにも成り立ちそうな命題だけが残ったならともかく、殆ど分からない部分が残ってるからね
0429１３２人目の素数さん
垢版 |
2018/04/24(火) 16:05:55.25ID:MMwHLbug
>>424
正しいのにも関わらず、submissionが拒否されたから。

この証明は驚く程簡単でした。計算する内容がひどく広範に及ぶために
試す方法がたくさんありすぎて、今まで未解決であったと思われます。
0432１３２人目の素数さん
垢版 |
2018/04/24(火) 16:14:14.81ID:gHnjBM5b
>>427
＞今3度めの見直しで確認しました。
とのことですけど、少なすぎません？

前回は>>339において、
＞6回見直しをして間違いがないことを確認している
とおっしゃってましたけど…
0435１３２人目の素数さん
垢版 |
2018/04/24(火) 16:19:11.21ID:iZF1L+An
もうね正しさの欠片もないよね。
正しさについて言ってる事は君の感想。
君の論文は正しさを証明仕切れてない。
0436１３２人目の素数さん
垢版 |
2018/04/24(火) 16:19:13.40ID:gHnjBM5b
>>433
＞今回のものはより簡単なものなので、量が少ないので。

量が少ないことは、確認回数が少なくすることを正当化しないと思います。
量が少ないんだったら、より多くの回数を読み切ることが可能なはずですから、
むしろ確認回数を多くすべきだと思うんですが。
0437１３２人目の素数さん
垢版 |
2018/04/24(火) 16:25:20.25ID:GpoSRH61
>>1が「根拠もなく自分は正しいと言うモード」に入りました。
こうなるともう誰の指摘も聞きません。
諦めましょう。
0438１３２人目の素数さん
垢版 |
2018/04/24(火) 16:26:20.61ID:MMwHLbug
>>434
しつこいそれについては答えた。

>>435
誰かが見ないと私の証明の不確かさを証明することもできません。

>>436
そうですね、これから一日に何度かは見直しをしようと思います。
0439１３２人目の素数さん
垢版 |
2018/04/24(火) 16:29:19.03ID:LXrgAAZZ
>>438
答えてもらってませんよ
「はい」か「いいえ」の簡単な問なのではやくお願いします

あと具体的な計算もまだですので、y=15でいいのでやってみてください
あなたの正しさを示すチャンスですよ
0441１３２人目の素数さん
垢版 |
2018/04/24(火) 16:35:31.23ID:LXrgAAZZ
>>440
証明の誤りを指摘しようとしています
先程も言いましたが、せめて真摯な姿勢くらいは見せてください
0444１３２人目の素数さん
垢版 |
2018/04/24(火) 17:30:14.38ID:k9AJEYFp
>>443
せっかくの指摘に対してずいぶん高圧的なんですね
何故真摯に取り組もうと思わないのですか？
0446１３２人目の素数さん
垢版 |
2018/04/24(火) 18:00:03.26ID:Ky+1H8ix
>>442
complete numberではなく、perfect numberです
0447１３２人目の素数さん
垢版 |
2018/04/24(火) 18:01:08.36ID:ulEM+4Pt
>>442
前より断然読みやすくなってるし、記号の数も減ってる
前のとはすごい変わりようだな
0450１３２人目の素数さん
垢版 |
2018/04/24(火) 18:18:03.42ID:RkFyZgSV
>>399
>間違いの論文を一つ送ったらそれで駄目になるんですか？

そのジャーナルにキックされたら、そのジャーナルは駄目。
別にジャーナルに出しなさい。
君も
>フィールズ賞級の成果が他の国にいってもいいというんですかね
まで言うんなら海外のジャーナルに投稿してみなさい
0453１３２人目の素数さん
垢版 |
2018/04/24(火) 18:26:42.62ID:kWuKXNSA
高額な料金さえ払えば何でも載せてくれるような悪徳ジャーナルでさえも、
ここまで分かりきったトンデモ論文はリジェクトだろう。

もともと信用のない雑誌がさらに信用なくなるからな。
0454１３２人目の素数さん
垢版 |
2018/04/24(火) 18:27:53.35ID:RkFyZgSV
>>449

>The perfect number is one in which the sum of the divisors other than yourself is the same value as yourself, and the smallest perfect number is 1+2+3=6 It is 6.

これは５秒で蹴るわ
0455１３２人目の素数さん
垢版 |
2018/04/24(火) 18:49:50.13ID:Ky+1H8ix
>>454
目眩しそう
0457１３２人目の素数さん
垢版 |
2018/04/24(火) 19:12:14.18ID:MRdAGJmH
>>442の論文はもちろん誤っているんだが、是非ともご自身で誤りに気づいてほしいものだと切に思うところ。
0459１３２人目の素数さん
垢版 |
2018/04/24(火) 19:13:06.06ID:Ky+1H8ix
>>442
単調減少になるという記述のところ、c=a/p^nだから、pについて解けてないので、破綻している
0460１３２人目の素数さん
垢版 |
2018/04/24(火) 19:44:12.45ID:MMwHLbug
>>459
bに関してと言っているのでaは関係ありません。この問題ではそもそも
aとbはpに依存しないということが前提となっています。
0462１３２人目の素数さん
垢版 |
2018/04/24(火) 19:51:58.91ID:k9AJEYFp
aがpに依存してるのは明らかですよね

pを選ぶ→p1～prが決まる→aが計算される

という手続きが必要なのですから
まぁ、本人は絶対認めたくないんでしょうけど
0463１３２人目の素数さん
垢版 |
2018/04/24(火) 19:58:18.26ID:Ky+1H8ix
>>460
cがpの関数になっている以上、左辺にpだけとりだしても、
左辺pはbについての単調減少関数にはならない。
例えば、c=p^2としたとき
p=c/bはとすれば、左辺pはbについての単調減少関数に見えるが
計算するとp=bとなり、単調増加関数になる。
0464１３２人目の素数さん
垢版 |
2018/04/24(火) 20:11:07.84ID:MMwHLbug
>>462
何故理解されないのかは知りませんが
p1～pr、q1～qrを決定する→定数a,bが定まる→任意にn=4m+1を決定する
→方程式④によって題意を満たす奇素数が決定される→それが存在しないこと
が証明される
という順序です。

>>463
cはap-2bp+2bが整数値であるから、この方程式が満たされるときの定数と考える。
0465１３２人目の素数さん
垢版 |
2018/04/24(火) 20:17:18.44ID:Ky+1H8ix
>>464
c=a/p^nが定数だと仮定したら、aがpの関数でpに依存すると自分で認めたことに
なりますが...
0469１３２人目の素数さん
垢版 |
2018/04/24(火) 20:28:02.24ID:k9AJEYFp
普通の人間は「p以外の素因数をp1～prとし」という記述を、「pがあらかじめ決まっていて、それに応じてp1～prを決める」というように解釈します
0470１３２人目の素数さん
垢版 |
2018/04/24(火) 20:29:17.34ID:Ky+1H8ix
>>468
だから一般には単調減少関数にはならない
0473１３２人目の素数さん
垢版 |
2018/04/24(火) 20:36:11.55ID:fjTLW1gd
言っても分からないだろ。
そういう奴のための
We wish you every success in finding an alternative place for publication.
なんだよ。
0474１３２人目の素数さん
垢版 |
2018/04/24(火) 20:42:44.07ID:USENQa7T
任意にp1,…pr,q1,…,qrをとって証明をしているということであれば、例えばr=1,p1=3,q1=2を与えた場合にも証明が成立していなければならない
0478１３２人目の素数さん
垢版 |
2018/04/24(火) 21:27:51.00ID:gW5+blCb
悪いこと言わないから、y=15、p=3のときとp=5のときでaの値求めてみろって
0479１３２人目の素数さん
垢版 |
2018/04/24(火) 21:32:47.31ID:MMwHLbug
>>474
その場合は検討していると思います。

>>475
pは設定するのではなく方程式の解として考えます。

>>477
a、bが定めた後に、n=4m+1の任意のnを用いてpが定まる。qはない。
0480１３２人目の素数さん
垢版 |
2018/04/24(火) 21:40:22.81ID:gW5+blCb
>>479
pが決まってないなら、「p」以外の素因数p1～prというのはどうやって決めるのですか？
0481１３２人目の素数さん
垢版 |
2018/04/24(火) 21:41:50.49ID:ulEM+4Pt
>>479
(と思いますってなんだ自分がしたことぐらい把握しとけ)
あ、qなかったか　ごめんね
0482１３２人目の素数さん
垢版 |
2018/04/24(火) 21:42:11.83ID:gW5+blCb
ずーっと無視されているようですが、y=15としてpによらない定数aとやらを具体的に求めてみてください
0483１３２人目の素数さん
垢版 |
2018/04/24(火) 21:48:47.27ID:MRdAGJmH
自分で考えろというのはやはり無理だったか。
仕方がない。

以下、⑦⑧は>>442の原論文にないが、説明のため追加した。
＞p=1+(a-c)/(2b-a)…⑦
＞a-c＞0であるから、pはbの単調減少関数になる。
としているが、この主張は厳密でない。
なぜならB1＜a＜B2となるB1,B2について
1+(a-c)/(2B1-a)＜1＜1+(a-c)/(2B2-a)となるからである。
このことに気付けば、以下の主張が誤りであることがわかる。
＞2b≧18
＞よって
＞p≦1+(a-c)/(18-a)…⑧
a＞18のとき、右辺は1未満となるため⑦の右辺(3以上である)より小さい。よって⑦から⑧を無条件に導いたことは誤りである。
したがって、この⑧を根拠にしたⅡの結論も(Ⅱはa＞18の場合を考察しているため)誤りである。

この指摘が、aとbの間の独立性/従属性とは無関係なことは言うまでもない。
0485１３２人目の素数さん
垢版 |
2018/04/24(火) 22:30:27.38ID:E/p+3OhM
以下2.2の場合を～とあるが、
奇数の完全数yに対して、奇素数pを次数が奇数であるものとすると
それは必ず1つあり、そして1つしかない。
変更はできないんだが……?
0486１３２人目の素数さん
垢版 |
2018/04/24(火) 23:41:24.20ID:UtSoYJA4
もう同じやりとりは前スレで見た。

永劫回帰である。

この理由は明白であり、高木氏が変数や定数といった言葉の数学上の意味と命題論理を理解していないからである。

だが、この指摘の意味するところすら理解しようとしない、
というかまともに取り合わない。
0487１３２人目の素数さん
垢版 |
2018/04/24(火) 23:54:13.87ID:UtSoYJA4
>>471
ダメ元でもう一度行っておこう。

pを任意にとることはできない。
pを任意にとった場合、ほとんどのpは完全数の等式（定義式）が成り立たない。
にもかかわらず、等式が成り立つことを前提にした議論は意味を持たない。
0488１３２人目の素数さん
垢版 |
2018/04/25(水) 01:38:58.16ID:UrNP7N1t
>>442
>pはbの単調減少関数になる

あたりからは本質的なミスだね
p=（bの式）
から、pはbの最小値3をとるときの値以下、として勧めてるけど
そもそもその関数が単調減少なのは分母が正の範囲

bに3をいれて分母が負になるならその後は成り立たない
入れるならb=（a+1）/2
とかでないと
0489１３２人目の素数さん
垢版 |
2018/04/25(水) 01:42:48.29ID:UrNP7N1t
てか見逃しただけかもしれんがこれ証明中に方程式の解がいくつか、とか使ってる？
0490１３２人目の素数さん
垢版 |
2018/04/25(水) 01:51:06.25ID:UrNP7N1t
「素因数の偶数べき乗をいくつか予め与えておくと、それらの積にp^nをかけて完全数となり得るpは各nごとに高々n+1個」
ぐらいまでなら（この計算があってれば）いえると思うが
だから何なのか分からない
0491１３２人目の素数さん
垢版 |
2018/04/25(水) 07:54:10.12ID:fcbSgfl/
>>480
だから、p1～prとq1からqrははじめに任意の値をとるとして
定数のaとbを定めていると何度も書いています。

>>486
それは、恐らくあなたの認識の間違い。

>>487
pが解を持つと仮定した場合に、その解p=(2b-c)/(2b-a)に対して
これに対して、bとaを変化させた場合の評価を行っている。

>>488
2b-a>0は書いていませんでしたが、そうなります。

>>489
それは前スレ>>946が指摘しているようにこのpの方程式は
p=1とp>1でもう一つの解を持つ。この論文ではこの内容は書かないで証明をしている。
0494１３２人目の素数さん
垢版 |
2018/04/25(水) 08:55:03.46ID:L1RNKGq7
>>491
あのね、そんな都合のいいことはできないの。
もしpが解を持つという仮定でやりたいなら、pがどういうときに解を持つか、持たないかを場合分けしなければ。
しかも、それはaやbを使わずに表さなければならない。
入試のときに満点を取ったと自慢するのであれば、
このことは高校数学でならったはず。
0495１３２人目の素数さん
垢版 |
2018/04/25(水) 08:59:44.70ID:75+zfk+8
>>482 ｙは奇数の完全数であることが前提になっていて、
15が完全数でないことは明らかだから、その要求は意味ないんじゃない？
0496１３２人目の素数さん
垢版 |
2018/04/25(水) 09:10:54.75ID:O+3727kZ
だいたいさ、a,b,cという記号でごまかしてるけど、
cの中にpが入っていて、pそのものをpを使わずに表わせてないじゃん。
0497１３２人目の素数さん
垢版 |
2018/04/25(水) 09:10:57.00ID:Wlg3aVzJ
>>495
この論文（？）が正しければ、15の約数関数を計算することなく同じ議論で15が完全数でないことは示せるはずです
0499１３２人目の素数さん
垢版 |
2018/04/25(水) 09:23:51.14ID:fcbSgfl/
>>494
だからpの方程式でその解が奇素数であることを仮定していますけど。
何故よくないのか論文から明確に述べてください。

>>495
この論文ではyを具体的に値を定めるということをしていません。する必要が
ないから。

>>496
そうなりますけど、cを無視して評価できることが分かるはずです。

>>497
y=p^nΠ[k=1,r]pk^qk
qkは偶数を想定していますから、y=15にはなりません。
0500１３２人目の素数さん
垢版 |
2018/04/25(水) 09:28:30.26ID:75+zfk+8
>>442
1頁目2.1に
「q_kが奇数となる項の正整数(※ここで「を」を入れましょう)uとすると…
②から、aは素因数２をu個以上持つことになり偶数となる」
とありますが、②から（とq_kが奇数であるという仮定）直接導けるのは
「（q_k+1が偶数になることから）Nが素因数２をu個以上持つこと」ではありませんか？
0501１３２人目の素数さん
垢版 |
2018/04/25(水) 09:29:08.97ID:Wlg3aVzJ
>>499
「p以外の」というのは任意ではありませんよね？
都合の悪い質問を無視するのはやめてください

qkがすべて偶数であるような奇数の完全数が存在しないことしか主張しないのですか？
0503１３２人目の素数さん
垢版 |
2018/04/25(水) 10:26:28.02ID:Q7D+oEWF
483の指摘で今回もＮＧ確定、かと思ったけどね
またお得意の見ないふりしてるところが面白いね
0504１３２人目の素数さん
垢版 |
2018/04/25(水) 10:42:35.07ID:yjKVqFEc
ほらね。論文をちゃんと読んでチェックしてもこの>>1は無視すんだよ
そんなんだから誰もまともに読もうとしないのさ
0505１３２人目の素数さん
垢版 |
2018/04/25(水) 10:43:05.64ID:fcbSgfl/
>>483
何故意味不明に1より大きい場合とそうでない場合を考えなければならないのか？
まず、pは偏微分の概念でbだけを見て考えるとa-c>0であるから単調に減少する。
そうすると、pは減少するからこのとき、c=a/p^nでaは動かしていないからcは増加する。
cの符号は－だから、pが減少する方向でbが増加するとpが減少することに変わりはない。

>>501
そのようなことは一切書いていません。

>>502
では、①で左回りとします。

>>503
何故間違ったレスをする人間にレスを返さなければならないのかと思います。
0507１３２人目の素数さん
垢版 |
2018/04/25(水) 10:47:19.72ID:Q7D+oEWF
>>505
そう？a>18の場合に論文に書いてあるやりかたが間違いだって指摘は自分は正しいって納得したたんだけど。
0509１３２人目の素数さん
垢版 |
2018/04/25(水) 10:51:03.25ID:VavSv/3R
読んでほしいと言いながら結局自分が認められたいだけで、いくつか出てる真っ当な指摘は頓珍漢な理屈で終わりにするか、無視する
そのうちネラーにすら構ってもらえなくなって、孤独のまま生きていくんだな
0510１３２人目の素数さん
垢版 |
2018/04/25(水) 10:52:08.06ID:Q7D+oEWF
483のいってることはこうだよね？
a>18の場合は1+(a-c)/(2b-a)≦1+(a-c)/(18-a)にはなり得ない。だから⑧は間違ってる。
0511１３２人目の素数さん
垢版 |
2018/04/25(水) 10:59:48.58ID:fcbSgfl/
>>507
何故間違っているのか教えてもらいたいです。可能であれば。

>>508
pkではありません。qkが偶数とこのスレに書きましたし、論文にも書いています。
(笑)は失礼です。
0512１３２人目の素数さん
垢版 |
2018/04/25(水) 11:09:17.80ID:Q7D+oEWF
>>511
もう書いたよ。
よく考えてみれば、aを作るときの素因数は２種類以上ってわかってるから最小値は(9+3+1)(25+5+1)=403だよね。18以下ってことはあり得ないんじゃない？
0513１３２人目の素数さん
垢版 |
2018/04/25(水) 11:12:13.01ID:JIue2gi+
>>511
あ、タイポですね

いずれにしろ、p1～prは「p」以外なので任意ではないですよね
正直y=15はaが定数でないことを理解していただきたいので出しました
qkの偶奇は関係ないので、はやくこのときのaを計算してください
この程度のこともできないから（笑）なんですよｗ
0514１３２人目の素数さん
垢版 |
2018/04/25(水) 11:38:47.45ID:WIuHMn9T
日本数学会「何故間違った証明を書く人間にメールを返さなければならないのかと思います。」
0516１３２人目の素数さん
垢版 |
2018/04/25(水) 11:49:50.97ID:pA/soLID
考えてはみたけど、この問題は簡単な代数的な操作だけでは易々とは解決出来んって。
0517１３２人目の素数さん
垢版 |
2018/04/25(水) 11:50:28.16ID:fcbSgfl/
>>512
論文の内容を理解しないふざけた内容は書くのをやめてもらいたいが
当然a>18のときも書いている。

>>513
つまらない、しつこい、うるさい。
0518１３２人目の素数さん
垢版 |
2018/04/25(水) 11:52:37.30ID:JIue2gi+
>>517
ほぼ確実に間違っている駄文に僅かでも目を通しているんだから、感謝の心をもってもうちょっと真面目に取り合ったらどうですか？
0520１３２人目の素数さん
垢版 |
2018/04/25(水) 11:55:31.16ID:fcbSgfl/
>>515
探す気がおこりません。無料で査読＋紹介者なしでの投稿が可能でなければ無理です。

>>516
>>442を読んでもらえれば、見解が変わるかもしれないと思います。
0522１３２人目の素数さん
垢版 |
2018/04/25(水) 11:58:48.22ID:fcbSgfl/
「お前」と言ってしまう人間はとかメディアはよくついでに私を馬鹿にするよな。

侮辱と誹謗中傷を繰り返しやがって。
私をここまでコケにしておいて、笑止千万だ。
0526１３２人目の素数さん
垢版 |
2018/04/25(水) 12:09:54.28ID:75+zfk+8
>>525　とりあえず>>500の質問に答えて欲しいと思います。

私がこの質問をぶつける理由は、
「aが素因数２をu個以上持つ」という結論を疑っているからではありません。
これは恐らく正しい主張だと思います。

疑っているのはむしろ貴方の数学者としての能力です。
貴方の論文を読む数学者は、>>486のような見解を必ず持ちます。
貴方の能力を示すためにも、
「Nが素因数２をu個以上持つならば、aは素因数２をu個以上持つ」
ことの証明を書いてみてください。

更にそれに続けて2.1で主張されている
「Σp^kは奇数でなければならず、nは偶数でuは1でなければならない」
ことの証明も書いてください。（これも結論は正しいはず）
0528１３２人目の素数さん
垢版 |
2018/04/25(水) 12:10:20.14ID:fcbSgfl/
無勉強で5科目平均偏差値75なのに学区4位の合わない都立高校に進学しなければ
ならないなどの、考えられない程の嫌がらせを受けていますけど。
それから、亀江戸の新光証券が入っていたビルの2階で、馬鹿女が私に
1時間も2時間も誹謗中傷を繰り返していました。
それから精神病レッテルもですよ。AcademicだけでなくPower&SexualだけでなくMedical
harassmentです。ここまでされればお腹いっぱい。

それとくらべたら、今の財務省のネタなんかは可愛いものだと思います。
0529１３２人目の素数さん
垢版 |
2018/04/25(水) 12:13:51.82ID:i8NFFf0L
>>491

＞2b-a>0は書いていませんでしたが、そうなります。

それはわかってるんだけども
そしたら右辺のbに代入して、左辺がそれ以下！ってなるのは
2b-a>0の範囲でのbの最小値に対してでしょ
3を入れて分母が負になる可能性があるときには左辺、即ちpはそれ以下とは言えない
グラフでも書いてよく考えてみること


ところで君の論法をまねて以下の命題を証明してみたから間違いがないか証明をチェックしてくれ

命題: 「4=a/（b-a）となるような自然数a,bは存在しない」

証明: そのような組が存在したとする

4>0, a>0なのでb-a>0
したがって右辺はbの単調減少関数
そしてbは自然数なので最小値は1である

よって 4≦a/（1-a）

これが成り立つためにはa=1 でなくてはならない
このとき4=1/（b-1）
これを満たす自然数bは存在しない
よって矛盾により命題が示された
0530502
垢版 |
2018/04/25(水) 12:19:24.23ID:osj3YN74
>>505
オッケー
ということは、必ず p1~pk , q1~qk にそれぞれ値を代入しないと成立しない論文なの？
0532１３２人目の素数さん
垢版 |
2018/04/25(水) 12:30:49.68ID:fcbSgfl/
>>529
あなたは分母が正になると書いているじゃないですか。論文を読まないで
駄文を披露するのはやめた方がいいんじゃないですか？

>>530
それが必要な範囲は限定されていますけど、そうです。

>>531
いやあなたは社会のうちでこの内容を理解しようとしないまたはできない人でしょ。
理解している人間はただ書かないだけでしょ。
0533１３２人目の素数さん
垢版 |
2018/04/25(水) 12:35:38.79ID:Q7D+oEWF
>>517
あなたの論文と、ここの指摘を読んだ上で、あなたの論文は間違っていると理解しています。
「ふざけた」指摘をしたつもりはないので、その発言は撤回してもらえるとうれしいです。
また、a>18の場合は本質的に間違ってるのですが、その反論をあなたは結局していません。
そういう態度はふざけた態度ではないのですか？
0535１３２人目の素数さん
垢版 |
2018/04/25(水) 12:44:31.10ID:WIuHMn9T
>>532
不等号の向き逆にして証明できたと勘違いする人が言っても説得力ないぞw
学士レベルの頭でよくそこまで驕れるわな
0536１３２人目の素数さん
垢版 |
2018/04/25(水) 12:44:48.72ID:PGfXvNOT
>>528
むしろお前に誹謗中傷しない奴なんて、過去ならいざ知らすもういないんじゃないかな
0538１３２人目の素数さん
垢版 |
2018/04/25(水) 12:51:26.42ID:VGPDiI4f
out モッチー　
in 高木
0539１３２人目の素数さん
垢版 |
2018/04/25(水) 13:11:03.19ID:Q7D+oEWF
まあ、これで最後にしようと思うけど、
aとcを定数として、p=1+(a-c)/(2b-a)のグラフを自分で書いてみるといいよ。
このグラフは漸近線がp=1とb=a/2の、右上と左下に線がある双曲線になるわけだけど、このグラフを書いた上で、a>18の条件で、2b=18のときpがどんな値をとるか見てみたらどうかな。
その上で、なお自分が正しいというなら、こっちもいうことはないので、もう好きにするといいよ。
0541１３２人目の素数さん
垢版 |
2018/04/25(水) 15:17:36.69ID:fcbSgfl/
>>513
前のレスは不等式が逆になってしまったがa<18のときも検討しているという内容。
a<18があり得ないと書いているのでそう思いましたが、そういう意図がないので
あればその書いた内容は撤回します。
何故間違っていると断定されるのかは分かりません。
a>18のときに
p≦(18-c)/(18-a)
で、18-a>0が成り立つわけですから、この範囲のaに関して分類しています。

>>534
その時の論文とは全く違います。だいぶ書き直しました。

>>535
偏見の発言ですね。早稲田の物理に入学した人間は誰でも金さえ
あれば博士になれる学力を有していると思いますが。

>>536
そりゃよかったね。どんどんこれからも下らない絶叫を繰り返してね。

>>540
b=3ではなくb=9。単調減少になる理由は>>505。
0547１３２人目の素数さん
垢版 |
2018/04/25(水) 15:46:56.40ID:t4YESFjE
自分に反対する者は下らないと切って捨てる居丈高な態度は変わらず
皆もよくもまあこんなインチキ論文に付き合って飽きないもんだ
しかしもうそろそろセカイの中心でケモノが完全終了を叫ぶ頃
あとは独りで妄想を垂れ流してお終い
結局今回もループ
0548１３２人目の素数さん
垢版 |
2018/04/25(水) 17:02:15.74ID:GlT3vYgS
センター数学満点なんて、毎年千人単位でいるぞ。学年絞らなければ数万人いる。それで実力の証明にはならん。
0549１３２人目の素数さん
垢版 |
2018/04/25(水) 17:20:14.33ID:fcbSgfl/
>>546
>>528
の嫌がらせを受けないで、偏差値に釣り合う高校に言っていたら高い可能性で
東大に行っていたと思う。

>>547
何言ってんだ。全く論文と違う内容を書いている馬鹿にしている人間がいるのは事実。
意味不明なアンチがくさるほどいるという証左だと思われる。

>>548
実力の証明は>>528＋センターの数学は55分で完了＋物理は100点。
慶応の数学はあともう一問で満点、時間が3分足りなかった。
0550502
垢版 |
2018/04/25(水) 17:26:50.74ID:ulYjR7eL
>>549
すごいじゃん
テストは見直しするの？
0552１３２人目の素数さん
垢版 |
2018/04/25(水) 17:29:01.42ID:ZqPvjFSQ
もう誰も内容も話なんてしないでしょｗ
しても無駄だってことがわかったからねｗ
0554502
垢版 |
2018/04/25(水) 17:30:06.23ID:ulYjR7eL
一言多いんだよな
まったく
傲慢な人は少ない方がいいに決まってる
0555１３２人目の素数さん
垢版 |
2018/04/25(水) 17:30:45.98ID:sq1N1Ltr
どんだけしょうもない受験自慢されても「結局早稲田ｗ」で終わるんだけど
0556502
垢版 |
2018/04/25(水) 17:31:56.86ID:ulYjR7eL
>>553
これだな
ここから全部始まってる
見直しをしない癖が
0557１３２人目の素数さん
垢版 |
2018/04/25(水) 17:34:33.90ID:GLxRsrts
知人の旦那がADHDなんだけどこんな感じ。
他人の話を理解しようとしないんじゃなくて、本当に理解するように脳が作られていないと知人が言ってる(知人は医療関係者)。
それを知らないと不真面目な姿勢に見えて怒りも生じるが、そういうもんだと思えば優しくもなれる。
まあ赤の他人だと優しくとはいかんだろうけどね。
ちなみにその旦那、仕事では能力を発揮し、趣味が評価されてちょっとした財産になったりしているから、ここの彼も正しい方向に向けられれば何かを成せる能力はあるのかもしれないけど。
それが数学ではないだろうというだけで。
0558１３２人目の素数さん
垢版 |
2018/04/25(水) 17:49:13.50ID:Ntj5XsuA
昔は頭良かったのにいつからか不幸にも糖質になっちゃったのか
糖質だから昔は頭良かった物語を脳内で作り上げているのか
どっちだ
0559１３２人目の素数さん
垢版 |
2018/04/25(水) 17:53:00.96ID:fcbSgfl/
>>555
自慢ではない実力を証明しろと言われたから、書いただけ。

>>556
受験数学と違って膨大な計算を行うことが可能なので、意味不明に変数が増えてきて
一周してアルファベットがなくなるというようなことで。それと自分の間違いを発見するのは
難しい。

>>557
この証明は本当に正しいです。その証拠として誰も明確に私の間違いを指摘していません。
>>510は一見正しいことを言っているようですが、510の間違いです。
0560１３２人目の素数さん
垢版 |
2018/04/25(水) 17:59:51.42ID:z4j8VuMa
>>549
何言ってんだ。>>442の論文にそって丁寧に説明を書いている人間がいるのは事実。
意味不明な言い訳を腐るほど垂れるのは論文が誤りであるという証左だと思われる。
0562502
垢版 |
2018/04/25(水) 18:07:12.61ID:ulYjR7eL
>>532
なるほど
だったらどんな方法で p1~pk に値を定めているのかを書いておいた方が親切
具体的には
p(i ) < p(i+1) [ 1 ≦ i ≦ k -1 ]
p(k-1) < p(k)
ってね
そうすれば最小のaが a=1+p1+p1**2 だとストレスフリーに分かる

それと証明の前に目次みたいな感じで、論理のアウトラインを書いてあげるとさらに親切だし、証明の概要がすぐ分かるから興味を持たれやすい
0563１３２人目の素数さん
垢版 |
2018/04/25(水) 18:08:26.19ID:2cW+BMlV
>>541
ああ、3じゃなくて9だったか、スマン
数値が違うだけで、指摘は一緒
単調減少になるのはb>a/2
の範囲であって
9を入れてもそれが2/aより小さかったら意味がないよ
意図的にスルーしてるのかな？
0565１３２人目の素数さん
垢版 |
2018/04/25(水) 18:08:46.83ID:fcbSgfl/
このスレでずっと間違いの論文を公開してきましたが、いくら間違えても
最終的に正答を得るということがあってもおかしくないと思います。
0567502
垢版 |
2018/04/25(水) 18:10:30.87ID:ulYjR7eL
>>566
言葉のあやってやつじゃないかな多分
0568１３２人目の素数さん
垢版 |
2018/04/25(水) 18:11:38.74ID:fcbSgfl/
>>563
2b-a>0は書いていないんですけど
a=cp^n、2b=c(p^n+…+1)
となっているので、2b-a>0です。
0569１３２人目の素数さん
垢版 |
2018/04/25(水) 18:13:10.74ID:75+zfk+8
>>559
>>483の
＞…⑦から⑧を無条件に導いたことは誤りである。
の理解について助言します。

貴方は2b≧18から2b-a≧18-aを導き、その逆数をとって1/(2b-a)≦1/(18-a)を導き、
そこからp≦1+(a-c)/(18-a)を導いたのだと思いますが、
2b-a≧18-aから1/(2b-a)≦1/(18-a)を無条件に導くことはできないのです。

この推論は、2b-aと18-aが同符号のときは成り立ちますが、異符号だと成り立ちません。
例えば、「2≧-3」という正しい命題から、
「1/2≦-1/3」を導くことは正当化されないということです。
0570１３２人目の素数さん
垢版 |
2018/04/25(水) 18:14:35.34ID:2cW+BMlV
>>568
いや、何が問題か理解してないでしょ
2b-a>0が成り立つのは知ってるけど
b=9を代入して分母が負になったら意味がないでしょ

君の論法を使うと>>529に書いた命題が証明できるわけだけど、どう思うかな？
0571１３２人目の素数さん
垢版 |
2018/04/25(水) 18:27:00.22ID:7niquHxM
>>568
最も根本的な間違いとして
「bの関数（a-c）/（2b-a）はbの最小値9を代入したときが最大」と言うこと
君の証明ではこの論法を使っているように思えるが、実際には最大になるのは、b=（a+1）/2の時であって、
9がこの値より小さければ、符号が反転してしまうので最大とはならない
0572１３２人目の素数さん
垢版 |
2018/04/25(水) 18:40:30.32ID:fcbSgfl/
>>568のように、pがp≧5の奇素数でnがn=4m+1の整数である場合には
2b-a>0となるから、それ以外を検討する必要はないのです。
0573１３２人目の素数さん
垢版 |
2018/04/25(水) 18:41:49.62ID:GlT3vYgS
>>559
仮にも未解明問題に挑戦しようという人間が、大学受験の点数云々言ってる時点で絶望的に距離感というかピントが合ってない。
オリンピックで金メダル目指す人間が町内会で優勝したとか言うか？それこそ国際数学オリンピック金メダル級のやつがどんだけ挑戦してると思ってんだ。
0574１３２人目の素数さん
垢版 |
2018/04/25(水) 18:47:42.81ID:fcbSgfl/
>>573
それはそうかもしれないけれども、この証明はpを正確に解いていない段階で
bを変化させて、pの増減を考えるという人がいなかったためだと思われます。
0575１３２人目の素数さん
垢版 |
2018/04/25(水) 18:50:06.16ID:VGPDiI4f
>>568
その式使って、a/2bでcを消去するとpの関数になって、aもbもpに依存してないと
いうの破綻してね？
0576１３２人目の素数さん
垢版 |
2018/04/25(水) 19:05:19.96ID:Q7D+oEWF
>>442
関数f(b)=1+(a-c)/(2b-a)は、b=a/2で不連続だから、この点を含む区間では単調減少とは言えないんだけど、そのことは意識してる？
0577１３２人目の素数さん
垢版 |
2018/04/25(水) 19:07:40.59ID:fcbSgfl/
>>575
それは式④を満たす奇素数pが存在した場合にaとbがpを使って示すことができる
ということで、a,bはpの関数ではありません。
0579１３２人目の素数さん
垢版 |
2018/04/25(水) 19:18:29.77ID:VGPDiI4f
p.2のbの定義の直後に式変形しただけの段階で
a(1+p+p^2+...+p^n)/(2p^n)=b
ってなってるから、aもｂもめちゃくちゃpに依存してるやん
言っても無理やと思うけど
0580１３２人目の素数さん
垢版 |
2018/04/25(水) 19:36:30.76ID:GlT3vYgS
>>574
おれが言いたいのは、もっと謙虚に人の意見を聞いてよってこと。「おれは絶対正しい！」というのは傲慢だと思うよ。

あなたよりもずっと賢い人がこのスレにもたくさんいて、彼らが自分の時間を使って意見してくれていると思わないと。
0581１３２人目の素数さん
垢版 |
2018/04/25(水) 19:45:28.93ID:Q7D+oEWF
>>572
18-aは必ず負になるから、あなた自身が「それ以外」を使って間違った結論を出していることになります

＞2b≧18
＞よって
＞p≦1+(a-c)/(18-a)

ここん所です
0582１３２人目の素数さん
垢版 |
2018/04/25(水) 19:54:30.78ID:fcbSgfl/
>>579
無理ですよ、はじめにp1～prとq1～qrを任意に設定することで計算される定数a,bから
方程式④の結果として奇素数の解pを仮定しているのですから。

>>580
絶対に正しいと言っているわけではなく、反論が間違っているからその否定を行って
いるだけです。

>>581
それは場合分けをして符号は正しく評価していると思います。
0584１３２人目の素数さん
垢版 |
2018/04/25(水) 20:11:20.49ID:Q7D+oEWF
>>442の論文において、2b-a＞0と2b≧18は正しいですが、この二つから18-a＞0とは言えないとことに注意してください。
18-a＜0の可能性がありますし、その場合はa-c＞0のときp≦1+(a-c)/(18-a) は正しくありません。
0587１３２人目の素数さん
垢版 |
2018/04/25(水) 20:31:41.76ID:Q7D+oEWF
>>585
●論文に書いてあること
2b≧18
a-c＞0
p≦1+(a-c)/(18-a)
●書いてないけどp=1+(a-c)/(2b-a)からp≦1+(a-c)/(18-a)を言うために利用している性質
2b-a＞0
18-a＞0
0588１３２人目の素数さん
垢版 |
2018/04/25(水) 20:36:59.25ID:fcbSgfl/
aの大きさに関しては場合分けをして、正しく証明をしていると思います。
何が問題なのか？
0589１３２人目の素数さん
垢版 |
2018/04/25(水) 20:42:18.59ID:fcbSgfl/
>>569
式⑥から
p=1+(a-c)/(2b-a)
で2b-a>0であり、>>505の論理でb>0の範囲でpはbの単調減少関数だから
b≧9であるとき
p≦1+(a-c)(18-a)
と言っているだけです。
0590１３２人目の素数さん
垢版 |
2018/04/25(水) 20:58:27.20ID:Q7D+oEWF
>>589
＞b>0の範囲でpはbの単調減少関数だから
それが誤りだといってるのです。
あなたの言う2b-a>0は正しいですが、だからといって18-a＞0とは言えないともいいました。
なので
p=1+(a-c)/(2b-a)でb≧9であってもp≦1+(a-c)/(18-a)とは言えないといいました
0591１３２人目の素数さん
垢版 |
2018/04/25(水) 21:01:08.82ID:Q7D+oEWF
>>587に書いた通り、
2b-a＞0と18-a＞0の両方が成り立っていないと、p=1+(a-c)/(2b-a)からp≦1+(a-c)/(18-a)を言うことはできません。

2b-a＞0だけでは不足なのです。
0592１３２人目の素数さん
垢版 |
2018/04/25(水) 21:05:01.51ID:Q7D+oEWF
いっこ忘れてた。
>>591
2b-a＞0とb≧9と18-a＞0のすべてが成り立っていないと、p=1+(a-c)/(2b-a)からp≦1+(a-c)/(18-a)を言うことはできません。

2b-a＞0とb≧9だけでは不足なのです。
0595１３２人目の素数さん
垢版 |
2018/04/25(水) 21:18:57.05ID:8FlidT9M
>>572
関数F(b)=1+(a-c)/(2b-a)の増減を考えるときに「2b-a>0となるから、それ以外を検討する必要はない」って言ってるけど、
a＞18である可能性が残っている状況でF(b)の引数にｂ=9を代入してF(9)=1+(a-c)/(18-a)って式を作った時点で、「それ以外」つまり2b-a<0の場合を検討する必要ができたってことよ。
論文では、その必要なことをやっていない、というのがここの皆から出ている指摘。
0597１３２人目の素数さん
垢版 |
2018/04/25(水) 21:52:00.37ID:8FlidT9M
またこの話をしなきゃならんのかと思うが、
あるときは b を定数だと言いながら、「p は b の単調減少関数となる」などと言って b を変数のように扱ったりと、
記号の扱いが一定していないことから誤りが生まれる。

なので、思い切って、定数の b と変数の b とは文字を変えることを提案する。(今回は短いので文字が不足することもないだろう）
そうすることで、誤りの可能性はぐんと減るだろう。

論文で「式⑥から」のところ、変数のほうを x の記号を使って正しく評価すると、こうなる。

式⑥から
p=1+(a-c)/(2b-a) （これは正しい）
ここで、関数 f(x)=1+(a-c)/(x-a) を考える
p=f(2b) であり、関数 f(x) は「特異点 x=a を除き」、xの単調減少関数となる。（ここまでは正しい）

問題はここから。

2b≧18　（これは正しい）
よって f(x) の単調減少性より
f(2b)≦f(18)
よって
p≦1+(a-c)/(18-a)

とまあ、こういう操作をしていることになるが、
この操作は a＜18＜2b の関係がある場合に成立しても、18＜a＜2b の関係の場合は成立しない。
特異点（かつ不連続点）である x=a を超えて f(x) の大小を比較しているから。

こういうことが起きるので、記号の扱いをきちんと決めておくべき、という指摘が以前からずっとされているのだ。
0598１３２人目の素数さん
垢版 |
2018/04/25(水) 22:11:56.11ID:fcbSgfl/
aとbははじめはpkとqkから定まる定数。
その後pがaとbの関数として表されるため、はじめにb
変数と考えて、b=9のときにpが最大値になることを示し
その後aを変化させ、aを18との大小により別々にp≧5の
奇素数が存在しないことを証明している。以上。

これからは新規の正しい反論以外はレスをしません。
0599１３２人目の素数さん
垢版 |
2018/04/25(水) 22:16:10.63ID:Zh5yYRTm
>>598
それ対応せん限り、ここの人納得しないのでリジェクトです

We would like to thank you very much for having forwarded
your manuscript to us and wish you every success
in finding an alternative place for publication.

Sincerely yours,
0600１３２人目の素数さん
垢版 |
2018/04/25(水) 22:17:13.67ID:8FlidT9M
>>598
「aとbははじめは定数」
「その後変数と考えて」
それがいかんと言ってるのよ。
正しい反論と思わないのは勝手だが、誰も君を正しいと思っとらんよ。
0602１３２人目の素数さん
垢版 |
2018/04/25(水) 22:23:27.31ID:Zh5yYRTm
他人を納得させたいのか、オナニーしたいのかはっきりしろよなｗｗｗ
0604１３２人目の素数さん
垢版 |
2018/04/25(水) 22:29:15.77ID:S/u7ycg4
な？無駄だったろ？
0605１３２人目の素数さん
垢版 |
2018/04/25(水) 22:37:27.67ID:GlT3vYgS
「俺ルール」で論文を書いても誰も認めてくれないよ。認めて欲しいんでしょ？だったらみんなが認めるルールで書かないと。

そもそも、定数と変数をごっちゃにするあたり、いかにもよくある数字パラドックスクイズになりそう。どこが間違ってるんでしょうか？てやつね。詭弁とも言う。
0606１３２人目の素数さん
垢版 |
2018/04/25(水) 22:52:58.30ID:O+3727kZ
こういう人がいるからアマチュア数学者って信用されないと思うんだよね。
0607１３２人目の素数さん
垢版 |
2018/04/25(水) 23:06:52.44ID:8FlidT9M
そういや、今回のやつも同じ論法使って数字とかちょこちょこっと変えてやると偶数の完全数もないことに出来ちゃう代物だね
歴史は繰り返すのか
0608１３２人目の素数さん
垢版 |
2018/04/25(水) 23:08:13.22ID:VLnS/SIW
自分に都合が悪くなるとすぐつまらない、しつこい、終了などの言葉で逃げる
誤りを指摘しても頑なに受け入れないし、何のためにこのスレを立てたんだ
0609１３２人目の素数さん
垢版 |
2018/04/25(水) 23:20:25.46ID:fcbSgfl/
わけの分からない批判はいらない。
>>600も何故それがいけないのか根拠を述べよ。

定数として考えた結果と変数として考えた結果でpの解の形は変わらない。
このような簡単な内容に難癖をつけることは無理。飽きた。
0615１３２人目の素数さん
垢版 |
2018/04/25(水) 23:32:25.96ID:8FlidT9M
レスがあったってことは正しい反論と認めるってことかい？嬉しいね。
>>597では18＜a＜2b の場合にp≦1+(a-c)/(18-a)が成立しない。つまりx≧18の範囲で「x=18のときに1+(a-c)/(x-a)が最大」という主張が誤りであることを明らかにしたが、
>>598以降のレスでその事実に対する反論は一切ない。
何度も言われているが命題「p=1+(a-c)/(2b-a)かつ2b≧18、ゆえにp≦1+(a-c)/(18-a)」は2b-a＞0の条件の下でも明確に誤りだ。
そのことを認識していないのは君だけだよ。
0616１３２人目の素数さん
垢版 |
2018/04/25(水) 23:44:51.54ID:8FlidT9M
あと、ついでに>>609の「何故それがいけないのか」の答えは、
まさに>>597に書いてある通りだ。同じ文字を定数として使ったり変数として使ったりすれば混乱が起きる。
実際、>>442の論文の誤った主張p≦1+(a-c)/(18-a)が導かれた原因が、文字bの二義性にある。
ということを>>597で書いたので、穴が開くほど読むように。
0617１３２人目の素数さん
垢版 |
2018/04/26(木) 00:09:25.62ID:eP+Dl/9Z
>>598
＞b=9のときにpが最大値になることを示し

これが間違いだ、って指摘されてるでしょ
0618１３２人目の素数さん
垢版 |
2018/04/26(木) 01:04:58.60ID:phBcueGp
認めてもらう方に説明責任があるのに、「これ以上説明しない！」とか、支離滅裂とはこのこと。みんなが付き合ってくれてるから続いてるけど、本来ならとっくに終了してる。
もうこの人を納得させられるのは数学者じゃなくて心理学者なんじゃないの？
0619１３２人目の素数さん
垢版 |
2018/04/26(木) 06:16:02.56ID:mQ6OpUCN
>>589　う～ん…(^^;
＞b>0の範囲でpはbの単調減少関数だから
とりあえず、高校数学Ⅲの「分数関数」を再度勉強することをお勧めします。
0620１３２人目の素数さん
垢版 |
2018/04/26(木) 07:24:39.39ID:c5NHMj+S
>>610
方程式⑤の解として右辺はpを含んでいるけれどもp=(2b-c)/(2b-a)となる。
これをpの解と書いた。

>>615
単調減少関数という言葉が理解できないのですか？aの値はbを評価するときに
依存しないんですけど。

>>616
単調減少なんだからそのbの最小値で、pが最大になるのは当然。初歩的な
関数論に関して無知なのであれば書かなくていい。

>>619
つまらない。
0621１３２人目の素数さん
垢版 |
2018/04/26(木) 07:35:40.85ID:c5NHMj+S
>>619
よくそんなことを言いますね。>>549を参照。
あなたは偏微分に関しての理解がないんじゃないですか？

この問題は正確には偏微分ではありませんが。
0622１３２人目の素数さん
垢版 |
2018/04/26(木) 08:01:55.94ID:zSmDvprO
読んでみたけど酷いなコレ
意図が不明な式変形ばかりで読む方への配慮は皆無、エスパーしても高校生レベルの誤りを含む暴論
こんなんで未解決問題が解けたなんてよく言えるよ、数学をコケにしてるとしか思えない
0623１３２人目の素数さん
垢版 |
2018/04/26(木) 08:07:49.19ID:c5NHMj+S
>>622
具体的に問題点の指摘をどうぞ無理でしょうけど、下らない煽りはいらないんで。
0624１３２人目の素数さん
垢版 |
2018/04/26(木) 08:11:06.85ID:c5NHMj+S
つまり、全く正しいものであるので何の否定もできず、
もっともらしいレスをしてさもこの論文が誤りであるような
印象を持たれるように、ネタしか書けないということですね。
分かります。
0627１３２人目の素数さん
垢版 |
2018/04/26(木) 10:07:32.07ID:j9NFku69
「具体的に問題点の指摘をどうぞ無理でしょうけど、下らない煽りはいらないんで。」

これが、実際に指摘すると

「わけの分からない批判はいらない」
「飽きた」
「つまらない、しつこい、うるさい」

となるわけです。
結局自分の中では正しいという結論が決まっていて、それと矛盾するような指摘は認めないといことですね。
0628１３２人目の素数さん
垢版 |
2018/04/26(木) 10:09:39.96ID:j9NFku69
この論文（笑）が正しいと思っているのは全世界でたった一人という現実を何故認められないのでしょうか
0630１３２人目の素数さん
垢版 |
2018/04/26(木) 10:25:56.64ID:uxTWnqpu
f(x)=1+(a-c)/(x-a)のグラフを見ても単調減少関数とかほざくのかねえ
0632１３２人目の素数さん
垢版 |
2018/04/26(木) 11:28:45.51ID:pQT/sPxe
最初はガチで問題点理解してなかったぽくて、その後指摘繰り返されて徐々に気づいて無理やりごまかしてる感あるな
0635１３２人目の素数さん
垢版 |
2018/04/26(木) 11:36:54.27ID:vU3ENPUQ
みんな、もう相手にするのやめよう。


そこまで自分の証明が正しいと信じるなら、別のどこかに提出するなど、自分の好きにやったらいい。

そのことについて、馬鹿にする人はいるかもしれないけど、

妨害する人はいない。

ただし、もうこのスレには書き込むなや。

あなたの書き込みは人を不快にさせ、人の時間を奪うだけだから。


このスレは完全数に興味のある人が気づきや実験結果でも書くのに使ったらいい。
0636１３２人目の素数さん
垢版 |
2018/04/26(木) 11:45:42.89ID:c5NHMj+S
>>635
このスレは私がずっと証明を書いてきたのです。正解がでたら、もう書くな
というのは随分ですね。
0639１３２人目の素数さん
垢版 |
2018/04/26(木) 12:47:47.27ID:mIq4WS6j
>>633
2b-a＞0であるから
の先がぐちゃぐちゃだなあ
まず(2b-a)(n+1)p-2bn＞0がなぜ言えるのかがわからない
その先もよくわからない
0641１３２人目の素数さん
垢版 |
2018/04/26(木) 13:30:28.07ID:0o1WRjr2
ちゃんと書いたつもりです
ではなくて
何ページの何行目から何ページの何行目までに書きました
と説明したほうがよろしいかと
0643１３２人目の素数さん
垢版 |
2018/04/26(木) 13:37:34.53ID:6EtyvoLG
すごい
間違いをごまかすために
間違いの部分はそのままで議論を複雑にし問題点を分かりづらくしてきた
数学やる資格もないドクズだな
真面目に証明に取り組んでるうちは馬鹿でも勘違いがあってもいいが
数学を冒涜するのはありえない
0646１３２人目の素数さん
垢版 |
2018/04/26(木) 14:19:37.49ID:mIq4WS6j
結局さ
((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(n+1)p/(2((n+1)p-n))のとこ、つまりa/2よりちょい大きいとこで微分不能じゃん
単調減少関数なんかじゃないよ
どこを直すか知らんけど
0647１３２人目の素数さん
垢版 |
2018/04/26(木) 14:47:56.67ID:0o1WRjr2
2ページ目中ほどの
＞＞pのn+1次方程式だから、奇素数 pの解は最大 n+1個となる。
は以降の議論で使われてませんよね　他の人からも指摘されてましたけど
そういう記述は消しておいた方がよろしいかと
0648１３２人目の素数さん
垢版 |
2018/04/26(木) 15:15:37.51ID:mIq4WS6j
>>644
やっぱり(2b-a)(n+1)p-2bn＞0がなぜ言えるかわからない
2b-a＞0ならば(2b-a)(n+1)p＞2bnとは限らないし
うーん
0649１３２人目の素数さん
垢版 |
2018/04/26(木) 15:31:45.78ID:mQ6OpUCN
>>644
４頁目５行目の「p>1でpはbの単調減少関数であるから」は
>>589の「b>0でpはbの単調減少関数であるから」よりもよくなりましたね。
aとcが定数である限りは、正しくなりました。
続く６・７行目の「p≦1+(a-c)/(18-a)となる」は間違っていますが…
0650１３２人目の素数さん
垢版 |
2018/04/26(木) 15:33:01.12ID:Bfd5Ntjr
まやかしに惑わされてはいかんよ
>>646の理解が正しい
2bを18と置き換えた時点で2b-a＞0の縛りを破っているのだから、2bとaの大小は関係ない
0651１３２人目の素数さん
垢版 |
2018/04/26(木) 15:43:04.35ID:mIq4WS6j
なあんだ、やっぱり前の話と変わってないのね
じゃあもう見なくていいか
0652１３２人目の素数さん
垢版 |
2018/04/26(木) 15:49:28.69ID:0o1WRjr2
2ページ目の最後の4行
c ( := a/p^n) の定義から a>c はアタリマエでは？
こういう無駄な記述が読みにくさの一因にもなっている
0653１３２人目の素数さん
垢版 |
2018/04/26(木) 15:55:06.50ID:v6sQgBc8
>>645
むしろ分かりやすい文章を書くのに必死になってくれないかな。正直もうやる気ないでしょ？
0655１３２人目の素数さん
垢版 |
2018/04/26(木) 16:03:57.86ID:1bw9lHhV
本質的な間違い（ギャップではなく間違った結論ね）から目を背けて、手法を変えたら問題点が見えにくくなったのでよし、というのらバカにも程がある
0656１３２人目の素数さん
垢版 |
2018/04/26(木) 16:11:25.23ID:0o1WRjr2
3ページ目の11行目まで真面目に読んできたが
ここまではほぼ古典的な結論じゃないか
回りくどい表現でわざわざ書き直す必要はないような
0657１３２人目の素数さん
垢版 |
2018/04/26(木) 17:01:10.31ID:c5NHMj+S
>>646
((2b-a)(n+1)p-2bnの符号がどうなるのかを不等式で示しています。
p>1であれば正、p<1であれば負です。

>>647
その通りですが、その内容は一応書いています。実はp>1に方程式④の
解は1つですけれども。

>>649
p>1でbに関して単調減少ですからpについて解いた式のp=f(a,b=9)が最大値に
なると思います。

>>656
全て自分で証明するということにしているのでそうなっています。
0658１３２人目の素数さん
垢版 |
2018/04/26(木) 17:22:39.93ID:mIq4WS6j
>>657
いや、単調減少じゃないってことがわかったからもういいよ
試しにグラフ書いてみたらp=1とb=a/2のあたりに漸近線のある双曲線ぽいグラフができたのでそれは間違いない
0659１３２人目の素数さん
垢版 |
2018/04/26(木) 17:22:58.23ID:4KNQ1VpL
つまり「他の論文なんて読んでませんよ」ってことですよね
さすが早稲田だ
0660１３２人目の素数さん
垢版 |
2018/04/26(木) 17:51:41.34ID:0o1WRjr2
投稿した論文がリジェクトされたのは
内容が正しいかどうか以前に
　　古典的な帰結をわざわざ書いている
　　議論に必要ない無駄な部分が挿入されている
せいでもないですかね　ふつうの数学の論文では特別な意図でもない限りそんなのわざわざ書きませんので
削れる部分は削ったほうがよろしいかと思われます
その方が参照すべき式が近くになって読みやすくもなりますし
0661１３２人目の素数さん
垢版 |
2018/04/26(木) 18:06:03.73ID:v6sQgBc8
>>660
そもそも体裁がウンコ
投稿規定読んだ？ってレベル

次に英語がヤバイ
初っぱなからヤバイ
yourself www

結果を読める形で人に伝えるのが論文なら、これはそもそも論文ではない
0662１３２人目の素数さん
垢版 |
2018/04/26(木) 18:32:56.24ID:c5NHMj+S
>>658
p>1ではと書いてあるのが読めないのですか？

>>660
「0から1を作り出すことはできない。」に対する反証ですので。

>>661
なるほどyourselfじゃなくitselfか。google翻訳の誤りに気付きませんでした。
0664１３２人目の素数さん
垢版 |
2018/04/26(木) 18:50:08.60ID:H6pqavK4
英語版ざーっと眺めようと思ったけど、最初の方の"Let variable a ..."で草生えた
0665１３２人目の素数さん
垢版 |
2018/04/26(木) 18:54:48.72ID:0o1WRjr2
>>662
＞＞「0から1を作り出すことはできない。」に対する反証ですので。
がどういうことを言おうとしているのかよくわかりませんので別の表現でお願いします
私は「刈り込みをして体裁を整えたほうがよろしいのでは」と提案しただけですが
0666１３２人目の素数さん
垢版 |
2018/04/26(木) 18:58:01.75ID:0o1WRjr2
>>648氏も指摘しておられますが
私にも3ページ目の下から7行目の不等式がどういった根拠で言えるのかがわかりません
ここは導出課程をお聞きしたいです
0667１３２人目の素数さん
垢版 |
2018/04/26(木) 19:35:55.87ID:v6sQgBc8
>>662
google翻訳のみで特攻するとか他人を舐めてるよね

It is 6.はカッコ良すぎだからそのままにしといてｗｗｗ

というか、むしろ数学得意なんだったら、英語なんかより>>367に従って形式的証明に翻訳したらｗ
0668１３２人目の素数さん
垢版 |
2018/04/26(木) 19:39:42.07ID:c5NHMj+S
>>664
variableを付けた方が冠詞のaと区別しやすいと思いました。

>>665
＞　　古典的な帰結をわざわざ書いている
＞　　議論に必要ない無駄な部分が挿入されている
この部分に関して私の証明がそういう目的で書いているということです。

>>666
(2b-a)(n+1)p-2bn>0
としてpの値域を考えます。
左辺を2b-aで割ります。
(n+1)p>2bn/(2b-a)
この計算のブロックの上の部分に書きました
2b/(2b-a)=p+c/(2b-a)=p+1/(p^(n-1)+…+1)
で2b/(2b-a)を消去します。
(n+1)p>n(p+1/(p^(n-1)+…+1))
p>n/(p^(n-1)+…+1)
p(p^(n-1)+…+1)-n>0
最後の部分は下の不等式から上の不等式を導く
ことができると思います。
(p-1)(p^(n-1)+2p^(n-2)+3p^(n-3)+…+n)>0
0669１３２人目の素数さん
垢版 |
2018/04/26(木) 20:02:38.44ID:0o1WRjr2
>>668
>>666についての返答でようやくわかりました
がこれは書く順番を工夫するか言葉を補うかするべきでしょう

(2b-a)(n+1)p-2bn>0　であることが以下のようにして確かめられる

とでも書いてあれば全然読みやすさが違ってきます
0674１３２人目の素数さん
垢版 |
2018/04/26(木) 21:19:10.14ID:0o1WRjr2
2b-a > 9 ( = b の最小値) のときはどうしますか
単調減少でも p≦1+(a-c)/(18-a) とは言えないと思いますが
何か 2b-a > 9 とはならない根拠があるのですか
0675１３２人目の素数さん
垢版 |
2018/04/26(木) 21:21:35.74ID:v6sQgBc8
>>668
>この部分に関して私の証明がそういう目的で書いているということです。

うん、でもそれって、只のオナニーだから
0677１３２人目の素数さん
垢版 |
2018/04/26(木) 21:32:48.64ID:zUqADeOC
うむ。つまり、このイカサマ論文のカラクリはこうだな。
2b=18で1未満となるような関数fの式をわざと立てたのち、2b=18のとき最小であると嘘をつき、p≦1となるから矛盾というニセの結論を導く。
しかしこのようなイカサマなど学会では相手にもされなかろう。
0679１３２人目の素数さん
垢版 |
2018/04/26(木) 21:41:53.09ID:c5NHMj+S
>>672-673
2b-a>0ですから。

>>674
bについて単調減少なので、p>1の範囲で、bの最小値b=9のときの値p(b=9)が最大値値
になります。
0682１３２人目の素数さん
垢版 |
2018/04/26(木) 21:49:30.21ID:mIq4WS6j
>>679
もっというと、2b=18のとき2b-a＞0ではない。
なので、あくまでも2b-a＞0に限った議論をしていると言い張るなら、2bに18を代入しちゃダメ。
0684１３２人目の素数さん
垢版 |
2018/04/26(木) 21:58:23.98ID:0o1WRjr2
>>674を描き直します
定義域 b ≧ 9 が漸近線 b = a/2 をまたぐような場合は考慮しないのですか？
こうはならないとおっしゃるならその根拠を提示していただきたいです
>>679は回答になっていないと思います
0685１３２人目の素数さん
垢版 |
2018/04/26(木) 21:59:43.11ID:mIq4WS6j
>>683
そう言ってくると思いましたが、a=13のとき、yの素因数が２種類になるのでyは完全数になりえません。
なので、a=13という仮定は不成立です。
0686１３２人目の素数さん
垢版 |
2018/04/26(木) 22:33:25.70ID:SWfYHVwZ
もちろん証明は間違いだし、問題点の指摘に対して頑なに認めない困ったちゃんなんだけど
指摘する側にもたまにトンチンカンなこと言ってるのがなんとも
全体的にゴチャゴチャしてるのが悪いといえば悪いが
0687１３２人目の素数さん
垢版 |
2018/04/26(木) 22:39:29.74ID:c5NHMj+S
>>684
書いてあると思いますけど。
2b=c(p^n+…+1)
a=cp^n
2b-a=c(p^(n-1)+…+1)>0

>>685
yが完全数となるようなpの存在を仮定しているのです。
0688１３２人目の素数さん
垢版 |
2018/04/26(木) 22:45:12.08ID:0o1WRjr2
>>687
すみません言い直します
定義域が b≧9 となる理由です
完全数の場合 2b-a>0 ですから b>a/2 が必要でしょうが
ここの範囲に b=9 が入らなければその値を代入してえられた f の値は議論に使えないのでは？
0689１３２人目の素数さん
垢版 |
2018/04/26(木) 22:54:39.08ID:wf11n/nP
放置すればいいのに、俺が間違いを認めさせた、というしょうもないことに拘るヤツ多すぎｗ
0690１３２人目の素数さん
垢版 |
2018/04/26(木) 22:54:53.48ID:mIq4WS6j
>>687
ですから、a=13の場合にはそのようなyは存在しません。
完全数の存在しない条件から矛盾を引き出しても証明にはなりません。
0692１３２人目の素数さん
垢版 |
2018/04/26(木) 23:25:25.55ID:c5NHMj+S
>>668
そのようなことは言っていません。

読んでないのに意味不明なレスをするのが多すぎ。
何が目的なのだろうか？
0693１３２人目の素数さん
垢版 |
2018/04/26(木) 23:26:36.44ID:AXisBAfP
aが変数だったり定数だったり、pが変数だったり定数だったり

日によって違うのは高木氏の生理現象かなんかか？
0694１３２人目の素数さん
垢版 |
2018/04/26(木) 23:30:45.04ID:QjHxB5DT
証明の本質的な間違いはbの単調増加な関数となる範囲に9が含まれるかどうかの議論であって
aとかpが定数とか変数とかは文字を変えないのが不親切ってだけでそこまで関係ないのでは
0696１３２人目の素数さん
垢版 |
2018/04/26(木) 23:43:53.67ID:QjHxB5DT
1から10まで詰めていって、本質的に間違いがあるところ、つまり何回か指摘されてるb=9が入るかどうかの話までいくと
そこは本質的な間違いで誤魔化せないからなのか、スルーして
同じような指摘や誤魔化せそうな指摘をしている人間に1から説明し出す
そして10までたどり着いて本質的な間違いに来たら
また1に戻る…

わざとやってるなら相当悪質
自分自身でも間違いのあるのは分かってるんじゃないのか？どうしてそこまでして正しいことにしたいのか
0697１３２人目の素数さん
垢版 |
2018/04/26(木) 23:46:47.72ID:QjHxB5DT
あ、スマン
やっぱり変数と定数の違いはそれなりに大切だね
意図的に乱用してるように見える
0698１３２人目の素数さん
垢版 |
2018/04/26(木) 23:48:14.76ID:AXisBAfP
簡単だよ、間違いを認めたらこれまでの３～４か月が無駄になることが怖いんだよ。
これは高木氏自身も言及してるし。
0699１３２人目の素数さん
垢版 |
2018/04/26(木) 23:48:23.79ID:PIo5S6o2
>>696
1から9であり、そのとき10なんだからわざとやってるに決まっている。
0700１３２人目の素数さん
垢版 |
2018/04/26(木) 23:49:17.28ID:QjHxB5DT
>>695
bの関数として見たときの単調減少な関数な話なんだから
その時の動かしてるbとは無関係の定数だよ
勝手にbの値を代入しないこと
0702１３２人目の素数さん
垢版 |
2018/04/26(木) 23:50:38.41ID:x94NRw/m
本人が間違いを認めようが認めまいが、社会が正しいと認めなければこの論文に価値はないまま
0703１３２人目の素数さん
垢版 |
2018/04/27(金) 00:08:29.38ID:KxgXPYIC
>>702
負け惜しみはいいよ。

後は、数学コミュニティ？や科学ジャーナリズムがその正当性を評価すれば
いいだけのこと。
0705１３２人目の素数さん
垢版 |
2018/04/27(金) 00:17:00.56ID:Qq0x3fbY
>>703
何か間違ったこと言ったか？俺はこの論文が正しくないとは一言も言ってない、もちろん正しいとも言ってないが
正しいか正しくないか、最終的に決めるのは一般多数の社会だからな
0706１３２人目の素数さん
垢版 |
2018/04/27(金) 00:19:02.14ID:NWxujXw7
たった3-4ヶ月式いじりしただけでこの問題を解決できただなんて、早稲田はやっぱ自信に満ちあふれてるな
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)))で偏微分不可能
0808１３２人目の素数さん
垢版 |
2018/04/28(土) 22:19:20.10ID:ksVVKyip
>>806
なお、p＞1ならばn＜np+pなので、a/(2(1-n/(np+p)))は正となり、f(a,b)はbが正数a/(2(1-n/(np+p)))のとき偏微分不可能となります。
0810１３２人目の素数さん
垢版 |
2018/04/28(土) 22:22:59.88ID:Sdurrlx0
もうさ、プロに任せようぜ
論文サイト投稿はよ
0814１３２人目の素数さん
垢版 |
2018/04/28(土) 22:37:23.02ID:SEc9NThf
>>794では0<b<+∞で偏微分可能と言い、すぐ2b-a＞0のときと言う二枚舌よ
0815１３２人目の素数さん
垢版 |
2018/04/28(土) 22:37:57.08ID:4+tPcB/I
>>810
JMSJは三回間違った論文を送って、それで1回リジェクトされて新規投稿ができない。
arXivは意味不明にアカウントが作成できても、持っている2つのメールアドレスともに
何故か投稿できなくなっている。論文投稿承認のメールが来たんですけど。投稿は
できません。
0817１３２人目の素数さん
垢版 |
2018/04/28(土) 22:44:46.82ID:H+UiwGfq
というかarxivには絶対投稿しないでくれ
あそこはまともな場所であってほしいんだ
0818１３２人目の素数さん
垢版 |
2018/04/28(土) 22:45:54.26ID:ySdYfjAT
>>816
vixra を勧めているバカはこれで2人目かな。
あそこは認証が要らず査読もされないので、
アップローダに上げている今の状態と何も変わらない。

何のために「雑誌」というワードが出てきているかというと、
プロの数学者の査読によってお墨付きが欲しいってことなのに、
そこで単なるアップローダに過ぎない vixra を勧めてどうする。
0819１３２人目の素数さん
垢版 |
2018/04/28(土) 22:48:54.17ID:ySdYfjAT
>>805
＞ご主張はその通りですが、論文とどこに齟齬があるのか分かりません。

何言ってるんだこいつ。論文(笑)の中でお前は

1＋(a－c)/(2b－a) ≦ 1＋(a－c)/(18－a)

という計算をしていて、それに対する反論が >>799 だろうが。
a,b,cは依存関係にあるのだから、b≧9 として 9 に置き換える場合、
「9」に対応した別の a',c' が存在して

1＋(a－c)/(2b－a) ≦ 1＋(a'－c')/(18－a')

が言えるに過ぎないのであって、

1＋(a－c)/(2b－a) ≦ 1＋(a－c)/(18－a)

などという式は出て来ないんだよ。
0822１３２人目の素数さん
垢版 |
2018/04/28(土) 22:52:34.15ID:4+tPcB/I
>>819
だから、aがどういう値をとろうとも、b=9のところでp最小がだと
この論文(偏微分)では主張しているのですが。普通そうだと思うんですけど。
0823１３２人目の素数さん
垢版 |
2018/04/28(土) 22:54:26.19ID:4+tPcB/I
>>821
何故ですか、証明成立かもしれないのだからこの論文を明確な
理由なしに否定することはよくないことだと思いますけれど。
0824１３２人目の素数さん
垢版 |
2018/04/28(土) 22:55:31.77ID:ySdYfjAT
>>822
＞だから、aがどういう値をとろうとも、b=9のところでp最小がだと

「aがどういう値をとろうとも」という発言は、a,b,c を独立変数だと見なして
最小値を計算しようとしていることを意味する。
その場合、>>793 によって、お前の計算が間違っていることが確定する。

独立変数だとした場合、(A,B,C)∈X2 の範囲では件の不等式が成り立たない(>>793)。
0826１３２人目の素数さん
垢版 |
2018/04/28(土) 22:57:05.33ID:ksVVKyip
>>822
「b=9のところでp最小がだ」って主張が間違ってると何度も反論してますがだ。
普通そうだと思うんですけどがだ。
0827１３２人目の素数さん
垢版 |
2018/04/28(土) 23:01:56.66ID:4+tPcB/I
>>821
早稲田の応用物理学科卒の人間がどうしてまともではないといえるのですか？
社会の方がいかれているのではないですか？>>528、>>408参照。
0829１３２人目の素数さん
垢版 |
2018/04/28(土) 23:04:22.27ID:ySdYfjAT
>>824
＞だから、aがどういう値をとろうとも、b=9のところでp最小がだと

あるいは、次のように言ってもよい。a がどういう値でも b＝9 のところが最小なのであれば、
>>793 のように、A＝19, C＝1 としてみよ。この場合、2B＞A＞C, B≧9 が成り立つような B の範囲内において、

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

という不等式は必ずしも成り立たない。実際、B＝10 としてみよ。
このとき、2B＞A＞C, B≧9 が成り立つにも関わらず

1＋(A－C)/(2B－A) ＞ 1＋(A－C)/(18－A)

である。
0830１３２人目の素数さん
垢版 |
2018/04/28(土) 23:06:04.89ID:4+tPcB/I
>>793
c=1なんて値にはならないけどな。c=a/p^nだから、適当なことをだらだら書かないでくれよ。
0831１３２人目の素数さん
垢版 |
2018/04/28(土) 23:07:25.99ID:ySdYfjAT
>>830
＞c=1なんて値にはならないけどな。c=a/p^nだから、適当なことをだらだら書かないでくれよ。

「たとえば (A,B,C) ＝ (19, 10, 1) とでもすればよい(　他　に　も　た　く　さ　ん　あ　る　) 」
0832１３２人目の素数さん
垢版 |
2018/04/28(土) 23:08:50.86ID:H+UiwGfq
c=1は例えばってことだろ
アスペなのかそうやって誤魔化してるのか知らんが、やっぱり本人もまともじゃなさそうね
0833１３２人目の素数さん
垢版 |
2018/04/28(土) 23:09:22.78ID:4+tPcB/I
この④の方程式の解はp>1の範囲ではaの値に関わらず
bに関してpは単調減少するわけ、だからbがいかなる値においても
b=9のときの値よりは大きくならないわけ。分かるこの論理？
0836１３２人目の素数さん
垢版 |
2018/04/28(土) 23:11:46.79ID:ySdYfjAT
ツッコミどころはもう1つある。

>>830
＞c=1なんて値にはならないけどな。c=a/p^nだから、適当なことをだらだら書かないでくれよ。

そこで a,b,c の定義式に戻って「cはそのような値を取らない」などと言うのであれば、
結局は a,b,c を独立変数だとみなしておらず、互いに依存しているという条件下で計算していることになる。
その場合、何度も言っているように、b≧9 として 9 に置き換える場合、「9」に対応した別の a',c' が存在して

1＋(a－c)/(2b－a) ≦ 1＋(a'－c')/(18－a')

が言えるに過ぎないのであって、

1＋(a－c)/(2b－a) ≦ 1＋(a－c)/(18－a)

などという式は出て来ない。一方で、お前は「aがどういう値をとろうとも」という発言をしている。
これは、a,b,c を独立変数だと見なして最小値を計算しようとしていることを意味する。より詳しく言えば、

「 a,b,c のうちいずれかの変数が "本来取り得ないような値(たとえばc＝1など)" であっても件の不等式が成り立つ」

…と、お前は言っていることになるのである。その場合、何度も言うが、>>793 によって、お前の計算が間違っていることが確定する。
具体例は (A,B,C) ＝ (19, 10, 1) である。C＝1 が気に喰わないなら、他の(A,B,C)でも構わない。
件の不等式が成り立たないような (A,B,C) はX2の中に無限に存在するのである。
0837１３２人目の素数さん
垢版 |
2018/04/28(土) 23:12:34.75ID:SEc9NThf
>>830
cはaやpの値によらない定数じゃなかったのか？
二枚舌もいい加減にしろ
0840１３２人目の素数さん
垢版 |
2018/04/28(土) 23:14:58.46ID:weWrnK/L
>>833
不連続点を含むときはそうは言えないんじゃね
その不連続点についての指摘をことごとく無視してきているようだが
0841１３２人目の素数さん
垢版 |
2018/04/28(土) 23:15:08.02ID:4+tPcB/I
>>837
cが定数というのは途中から方針を変えたと思う。
a,bはpkとqkに対しては変数
pに対しては定数
そういうことだから、多少混乱したかもしれない。
0844１３２人目の素数さん
垢版 |
2018/04/28(土) 23:17:10.43ID:ySdYfjAT
>>838
p が a の値によらず b の関数として単調減少であるならば、

「 A,B,C を独立変数として計算しているにも関わらず B に関して単調減少である」

という性質が言えていることになる。しかし、>>793 に反例があるので、
お前の計算は自動的にどこかが間違っていることになる。
0846１３２人目の素数さん
垢版 |
2018/04/28(土) 23:18:07.58ID:ksVVKyip
>>833
p＞1の範囲ではとかいうけど
b≧9の範囲で単調減少すると言わないとb=9のとき最大とは言えないわけ。分かるこの論理？
0848１３２人目の素数さん
垢版 |
2018/04/28(土) 23:20:27.06ID:ksVVKyip
>>842
しつこいような気もするが不連続点はb=a/2
定義域はbなんだからpの式で示してどうする
0854１３２人目の素数さん
垢版 |
2018/04/28(土) 23:27:24.89ID:ksVVKyip
>>849
偏微分⑦というのは((2b-a)(n+1)p-2bn)(∂f/∂b)=-2p(p-1)…⑦じゃないのかい？
係数((2b-a)(n+1)p-2bn)がゼロなら右辺は負なんだから微分不可能じゃないか
自分の論文をよく読んでから文句いってね
0856１３２人目の素数さん
垢版 |
2018/04/28(土) 23:32:17.14ID:ksVVKyip
>>852
偏微分の範囲を2b-a＞0に限定すると、あなたが>>794で書いた0＜b＜+∞で偏微分可能という主張が崩れ、論文は誤りとなります。もう忘れましたか？
0857１３２人目の素数さん
垢版 |
2018/04/28(土) 23:42:11.03ID:ksVVKyip
というより、高木氏が自身で示した通り、2b＞aの範囲でしかf(a,b)は単調減少でないんだから、b=9が2b＞aの範囲から外れる場合(つまりa＞18の場合)は、やっぱりb=9のときpが最小とは言えないじゃないか
なんでこんな簡単なことがわからないんだろうか
0858１３２人目の素数さん
垢版 |
2018/04/29(日) 00:08:28.81ID:Stsnk/Gc
>>857と同じことだが、一応。

p＝f(a,b) と表せていて、a,b の動く範囲は X＝{(a,b)∈R^2｜2b＞a, b≧9 } である。
また、(a,b)∈X の範囲内で f_b(a,b)≦0 が言えており、b について単調減少である。
より厳密に書くと、

「 (a,b1),(a,b2)∈X が b1≦b2 を満たすなら f(a,b1)≧f(a,b2) 」

ということである。特に a＝1000 とでもすると、

「 (1000,b1),(1000,b2)∈X が b1≦b2 を満たすなら f(1000,b1)≧f(1000,b2) 」

ということである。(1000,b)∈X ⇔ [ b＞500, b≧9 ] ⇔ b＞500 であるから、

「 500＜b1≦b2 ならば f(1000,b1)≧f(1000,b2) 」

ということである。すなわち、a＝1000 のときは、b＞500の範囲でしか
b に関する単調減少が言えてない。bの実際の用途は整数だから、b≧501 であり、
よって a＝1000 の場合は

p ≦ f(1000, 501)

しか出ない。
0859１３２人目の素数さん
垢版 |
2018/04/29(日) 00:25:53.82ID:z9MIRgzK
誰かが書いてたように、この問題は、数論を知る者なら必ず興味深いと思うだろう問題だし、正しい結果が知りたいと思う問題であるに違いないはず。
だからこそ、証明を投稿すれば耳目を集めるし、その証明に疑問があれば質問は矢のように飛ぶ。高木氏もそのことは理解しているはずだ。

論文に批判や反論が出るということは、他人の目から見たときに、やはり論文の記載に不可解な点があるからだと思わなければならない。これは如何に正しい結果の論文においても言えることだ。
一度、他人の論文のあら捜しをする気持ちで、自身の論文を徹底的に見直してほしい。そうすれば、いつか誰の目にも非の打ちどころのない論文が出来上がるかもしれない。
綺麗事ながら、高木氏には今の状況に対して腐ることなく、是非とも切磋琢磨して頂くことを願う限りである。
0860１３２人目の素数さん
垢版 |
2018/04/29(日) 00:50:50.39ID:Stsnk/Gc
>>859
お前は何も分かってない。>>1のような大バカにそのような戯言を与えても、
病状が悪化するだけである。>1が目標とすべきゴール地点は

「この問題を諦めること」

である。「この問題を解決すること」は>1のゴール地点ではない。
この問題は今の人類には解けない。
0861１３２人目の素数さん
垢版 |
2018/04/29(日) 00:53:44.05ID:RgLRIoOc
別に諦めなくてもいいけど目に見えないところでやって欲しい
もし掲示板で発表がしたいのなら指摘に対して真摯に向き合って欲しい
それもできないというのであれば諦めて欲しい
0862１３２人目の素数さん
垢版 |
2018/04/29(日) 01:02:02.65ID:dYCVEljQ
指摘を
・理解する気がない
・理論できない
・理解してるが誤魔化してる
のどれだ
0864１３２人目の素数さん
垢版 |
2018/04/29(日) 01:27:38.42ID:KhFylGJQ
最近よく見るコピペ


【 他虐型ADHDの特徴 】


・極端な学歴至上主義や、在日、底辺職への強引な差別

・周囲の人を馬鹿にすることが多く他者を決して褒めない

・自分の価値観が全てで、周囲の全員にしつこく繰り返して主張し続ける

・自分の価値観以外の考え方が存在すること自体が理解できない

・自分の評価には異常にこだわる

・無理のある言い訳を繰り返して自分が悪いことは一切認めようとしない

・何でもゴリ押ししようと必死、強引に言い張って主張を通すパターンを続ける

・問い詰められると自分が被害者であることをアピールしだす


◆「石が悪い」という発想
自己正当化型ADHDの不思議な（理解されにくい）発想に、「自分が躓いたのはこんなところに石があるからだ」というものがある。「誰が置いた！」と逆切れするのは珍しくない現象だ。


▶「責任転嫁のためにごまかしている」
という風に考えるのは止めよう

▶「それほど浅薄にしか現象を理解できない脳の障害なのだ」
と考えたほうが理解しやすい
0865１３２人目の素数さん
垢版 |
2018/04/29(日) 01:43:26.71ID:TFmEt9O2
>>864
そのテンプレは「ではどうしたらよいのか」ということを教えてくれないのよね
自分で見つけろということなのか
0866１３２人目の素数さん
垢版 |
2018/04/29(日) 01:58:16.76ID:KhFylGJQ
彼の中で絶っ対にゆるがない大前提が「結論は正しい」なので、結論に関する指摘はすべて否定・論破されなければならない。
よって、指摘は再検討・考慮されることはなく、「どうやって否定してやろうか」しか考えない。一つ一つの指摘をその都度否定できればOKなので、過去の発言と整合せず、ループしまくる。

こんなもん、話が先に進むはずがない。
0868１３２人目の素数さん
垢版 |
2018/04/29(日) 02:45:39.30ID:TFmEt9O2
>>866
うん。話が先に進まないのは共通認識だとして、どう対処したらよいかということだけど
もう「諦める」他はない？
0872１３２人目の素数さん
垢版 |
2018/04/29(日) 07:31:11.15ID:c9MGGy/M
>>855-856
>>852は誤解を招く内容だったかもしれない。
∂p/∂bの不連続点は右辺が0となるp=1のとき、b=a/2ではない。
2b>aはこの問題では成り立たなければならない不等式であるが
b≧9の範囲でbも変化するわけだから、aが18より大きいか小さいかに
よる場合分けは必要。

>>857
ネタで言っているんだろうが、0<p<1でもpはbに対して単調減少になる。

>>858
偏微分の範囲は2b-a>0ではありません。b>0かまたは、bの最小値である9を
含めたb≧9です。偏微分の不連続点はp=1で、0<p<1、p>1でpはbに対して
単調減少関数となります。

>>859
もうそれが完了し、正確な論文になっていると思っています。

>>860
それはあなたの知りうる限りではということではないのでしょうか？
0873１３２人目の素数さん
垢版 |
2018/04/29(日) 09:01:07.35ID:1KES2eGU
>>872
＞0<p<1でもpはbに対して単調減少になる。
のは偏微分による単調減少性の判定を承認する限りはそうでしょうが、
そのことは、b=9においてpが最大値を取る根拠にはならないと言っているのですよ。

例として、y=1/xを考えてみましょう。
dy/dx=-1/x^2ですから、x<0でもx>0でも常にdy/dx<0です。
従って、y=1/xはx<0でもx>0でも単調減少します。
それ故に、x≧-1の範囲でy=1/xが最大値を取るのはx=-1の場合だと、貴方は思うのですか？
0875１３２人目の素数さん
垢版 |
2018/04/29(日) 09:58:53.02ID:TFmEt9O2
>>871
ちょっとマジレスすると、1500桁の数をそのままの形式で扱う必要はなくて、どの道、素因数分解が必要なんだから素因数の積の形のまま扱えばオーケー
仮に発見した人が出たら必ず素因数分解表示を示すはず。数十桁程度の素数判定は現実的な時間で計算できるから素因数分解表示のほうが検証もたやすい(と思う)
もちろん世界中でそういう探索はされているだろうし、素人がやって見つかるものとは微塵も考えていないがｗ

ひとつ面白い法則を見つけてる
「素数pが10n+1で表されるとき、整数p^4+p^3+p^2+p+1の素因数は5と10n+1型の素数のみである」
この法則が真なら、5と10n+1型の奇素数をうまく組み合わせれば、もしかしたらいけるんじゃないかって勝手に思ってる
生温かく見守ってほしい
0876１３２人目の素数さん
垢版 |
2018/04/29(日) 10:11:36.67ID:c9MGGy/M
>>873
p>1に限定した条件のもとではb>0においてpはbの単調減少関数なのですからbの
値域がb≦9のときに、その最大値がb=9のときのpの値になるというだけだと思うのですが。
考察する必要が必ずあるとは言えませんが、0<p<1のときでも同様だと思います。
つまり、y=1/xでいえば、yの値によって微分の結果を分けているということになるので
主張は誤りということになります。
0881１３２人目の素数さん
垢版 |
2018/04/29(日) 10:25:30.60ID:jT+TZsEB
>>684、>>873あたりをじっくり考えてほしい

理解する知能がない場合、もしくは誤魔化したい場合は別にいいけど、誰の目にも間違ってるって映っちゃうね
0882１３２人目の素数さん
垢版 |
2018/04/29(日) 10:38:41.53ID:1KES2eGU
>>876
y=1/xにおいて、y>0に限定した条件の下では、
x=-1のときのyの値について議論しても意味を為しません。

同じような理屈で、p=1+(a-c)/(2b-a)においてp>0に限定した条件の下では、
b=9のときのpの値について議論しても意味を為さないかもしれない…と考えることはできませんか？
0883１３２人目の素数さん
垢版 |
2018/04/29(日) 10:58:54.50ID:1KES2eGU
>>882　訂正
×「p>0に限定した条件の下では」
〇「p>1に限定した条件の下では」
0884１３２人目の素数さん
垢版 |
2018/04/29(日) 11:06:27.73ID:c9MGGy/M
問題の前提として2b-a>0というのがあるので、具体的な形は分かりませんが
双曲線関数？のようなもののうち片側のみを考えればいいということになります。
誤魔化しではありません。
0<p<1(こちらは題意を満たさないので必要ない)とp>1の値域で、b>0の定義域のときに
pは単調減少します。だから、pの最大値はbが最小値であるb=9のときの値(18-c)/(18-a)
となる。

>>882
>>872と>>876の前半部分をよく読んでくださいとしかいいようがない。
0885１３２人目の素数さん
垢版 |
2018/04/29(日) 11:15:13.22ID:Stsnk/Gc
p＝f(a,b) と表したときのf(a,b)を　具　体　的　に　求　め　る　ことを考えよう。

なぜ間接的な偏微分で議論しているのかというと、f(a,b) を具体的に求めることが困難だからである。
しかし、大バカの>>1は偏微分の結果を正確に理解できていない。
ゆえに、p＝f(a,b) と表したときの f(a,b) を具体的に求めた方が健全である。
一般の n に対しては難しい作業であるが、少なくとも n＝1 のときは f(a,b) が求まる。
実際、n＝1 なら、④式は

(a－2b)p^2＋2bp－a＝0

となるが、左辺は (p－1)((a－2b)p＋a) と因数分解できるので、p＝1, a/(2b－a) となる。
p＞1だったから p＝ a/(2b－a) である。つまり、

f(a,b) ＝ a/(2b－a)

と具体的に求まるのである。
0886１３２人目の素数さん
垢版 |
2018/04/29(日) 11:18:34.78ID:Stsnk/Gc
すると、a を固定するごとに、f(a,b) は b の関数として b≠a/2 のときに

f_b(a,b)＜0

を満たすので、f(a,b) は b の関数として (－∞, a/2) 及び (a/2,＋∞) の範囲で単調減少である。すなわち、

・ b1,b2∈(－∞,a/2) が b1＜b2 を満たすなら f(a,b1)＞f(a,b2) である。
・ b1,b2∈(a/2,＋∞) が b1＜b2 を満たすなら f(a,b1)＞f(a,b2) である。

という性質が成り立つ。しかし、b1＜a/2＜b2 のときには、b1＜b2であるにも関わらず

f(a,b1)＜f(a,b2)

が成り立つのであり、f(a,b1)＞f(a,b2) などということは言えない。すなわち、b1 と b2 が
a/2 を「またいでいる」ときには、f(a,b1)＞f(a,b2) は出てこなくて、f(a,b1)＞f(a,b2) にしかならない。すると、

「どんな a に対しても、b≧9 のとき f(a,b)≦f(a,9) 」

という論文(笑)の主張は間違いだと分かる。なぜなら、たとえ b≧9 であっても、
b＞a/2＞9 のように a/2 をまたいでいるときには f(a,b)＞f(a,9) となってしまうからだ。
このことに関する>>1の反論は

「前提として 2b－a＞0 のケースを考えている 」

ということであるが、b＞a/2＞9 のように、b と 9 が a/2 をまたいでいる場合も 2b－a＞0 は成り立っているので、
前提に合致している。にも関わらず、a/2 をまたいでいるがゆえに f(a,b)＞f(a,9) となるのであり、
つまり>>1は何も反論できていないのである。
0887１３２人目の素数さん
垢版 |
2018/04/29(日) 11:22:11.37ID:c9MGGy/M
より明確に偏微分の意味を書きたいと思います。2b-a>0を満たすaを任意にとったとき
aに対応するbは一意に定まります。このときp=(2b-c)/(2b-a)となります。
しかしながら、このbは必ず、最小値であるb=9以上であり、偏微分で得られる結果
p>1でb>0の範囲で、pはbに対して単調減少するということから、pはbを9で置き換えた
値(18-c)/(18-a)以下になります。
0888１３２人目の素数さん
垢版 |
2018/04/29(日) 11:23:40.40ID:TFmEt9O2
>>885
キレたら負けよ(^^
もうこのスレの大多数はあなたと同意見
だいたい>>684や>>683のグラフを見てもまだ理解できない人が理解できる訳がない
説得はできないものと思うのが賢い
0889１３２人目の素数さん
垢版 |
2018/04/29(日) 11:24:21.80ID:1KES2eGU
>>884
＞0<p<1(こちらは題意を満たさないので必要ない)とp>1の値域で、b>0の定義域のときに
＞pは単調減少します。だから、pの最大値はbが最小値であるb=9のときの値(18-c)/(18-a)
＞となる。

18-a<0が成立する場合、貴方の主張は、
「y=1/xにおいて、y>0の値域では、
　yの最大値はxが最小値であるx=-1のときの値y=-1となる」
と主張しているのと本質的に同じです。

この無意味さに気づいて下さい。
0891１３２人目の素数さん
垢版 |
2018/04/29(日) 11:26:39.18ID:c9MGGy/M
長くて読む気もしませんが、a>18、a<18での場合分けは行っています。
0893１３２人目の素数さん
垢版 |
2018/04/29(日) 11:28:13.50ID:Stsnk/Gc
>>887, 891
n＝1 のときは f(a,b)＝a/(2b－a) と具体的に求まるので、抽象的な議論をする必要がない。

f(a,b)＝a/(2b－a) という関数について、

「 2b－a＞0 かつ b≧9 のとき f(a,b) ≦ f(a,9) が成り立つ 」

などということは言えない。お前の計算は間違っている。
0897１３２人目の素数さん
垢版 |
2018/04/29(日) 11:33:58.32ID:1KES2eGU
>>891 場合分けの順番が間違っているんですよ。

貴方は「pの最大値はbが最小値であるb=9のときの値(18-c)/(18-a)となる」ことを主張した後で、
a>18の場合とa<18の場合を分けていますが、
pの最大値について論じられるのは、その場合分けをした後の話だということです。
0900１３２人目の素数さん
垢版 |
2018/04/29(日) 11:36:21.30ID:Stsnk/Gc
>>898
その「2b－a＞0」という条件下で既にお前の計算は間違っていると言っているのである。

n＝1 のときは f(a,b)＝a/(2b－a) と具体的に求まるので、抽象的な議論をする必要がない。
この関数について、

「 2b－a＞0 かつ b≧9 のとき f(a,b) ≦ f(a,9) が成り立つ 」

などということは言えない。お前の計算は間違っている。実際、

b＞a/2＞9

のときには「 2b－a＞0 かつ b≧9 」が成り立つにも関わらず、f(a,b) ＞ f(a,9) である。
0901１３２人目の素数さん
垢版 |
2018/04/29(日) 11:36:36.20ID:c9MGGy/M
>>897
理解不能です。最大値はp=(18-c)/(18-a)となりますが、これをaの値によって
場合分けしています。
0903１３２人目の素数さん
垢版 |
2018/04/29(日) 11:42:55.89ID:Stsnk/Gc
>>901
たとえば a＝1000 の場合、

p＝f(a,b)＝f(1000,b)＝1000/(2b－1000)

である。この p＝1000/(2b－1000) という関数は、b≧9 の範囲内で b＝9 のときに最大値を取るわけではない。
グラフを書いて確かめてみよ。p が最大となるのは b＝501 のときである(bは実際には正整数として扱うので)。
0905１３２人目の素数さん
垢版 |
2018/04/29(日) 11:54:06.88ID:Stsnk/Gc
>>904
＞双曲線関数？の片側(p>a/2)しか考慮する

双曲線の片側とは、n＝1 の場合は b＞a/2 を意味する。p＞a/2 ではない。勘違いするな。

で、b＞a/2 しか考慮する必要がないのなら、たとえば a＝1000 の場合は、
b＞500の場合しか考慮しなくていいということである。ところで、a＝1000 の場合は

p＝f(a,b)＝f(1000,b)＝1000/(2b－1000)

である。この p＝1000/(2b－1000) という関数は、b＞500 の場合しか考慮しなくていいのなら、
p は b＝501 のとき最大値を取ることが分かる。b＝9 など出て来ないのである。
ここで無理に「9」を持ち出しても、

p ≦ f(1000,9)

などという計算は成り立たない。つまり、お前の計算は間違っている。
0906１３２人目の素数さん
垢版 |
2018/04/29(日) 12:00:16.60ID:jT+TZsEB
>>904
あなたが先に十万回読んでくださいね

それはそうと、>>902にお答えください
それとも、また逃げ続けますか？
0907１３２人目の素数さん
垢版 |
2018/04/29(日) 12:01:43.94ID:jT+TZsEB
こんなことも分からないようでは、正直センター200点や早稲田学士というのも妄想なんじゃないかと思えてきますね
0910１３２人目の素数さん
垢版 |
2018/04/29(日) 12:19:51.11ID:Stsnk/Gc
>>909
＞書き間違えた。グラフの右側(b>a/2)だ。

b＞a/2 しか考慮しなくていいのなら、>>905 によってお前は論破される。

＞b=9のときはa=13だから。

そこで都合よく a,b が独立でないことを持ち出すなら、
お前がやってきた偏微分の計算は全て意味を成さなくなり、
どのみちお前の計算は間違っていることになる。
0914１３２人目の素数さん
垢版 |
2018/04/29(日) 12:44:16.35ID:1KES2eGU
p=f(a,b)の変化を偏微分∂p/∂bに基づいて論じるということの意味を
高木氏が理解しているのかどうか、疑わしくなってきたぞ…(^^;
0915１３２人目の素数さん
垢版 |
2018/04/29(日) 13:51:49.69ID:eK52I/Yn
>>901>>904>>909

分かってる人が省略のために文字を変えずにやることはよくあるけど、こういうのは本質的には別の変数を考えてやるものだからさ
ごまかすために意図的にやってるのかなんだかわからんが
無駄に混乱するなら文字bのままやらずにちゃんとxに置き換えてやろうよ
君の論法が正しければ、"ちゃんと"省略せずにやっても出来るよね？

いま、a,b,cというのは背理法の仮定によりとってきた定数で固定する

このとき関数
f（x）=1+（a-c）/（2x-a）
の最大値を考える

という問題だね

この関数はx>a/2の範囲で単調増加になるわけだけども
この範囲にx=9が入るか、否か
入るというなら示してね
もちろんxというのは変数でaはxとは全く関係ない定数なのでaはxの値で変わったりしないよ
意図的にごまかすためにやってるのでなければ無視せずに答えてね
0916１３２人目の素数さん
垢版 |
2018/04/29(日) 14:04:09.15ID:MAM1V5x0
>>904
双曲線と双曲線関数は別もん
もちろん髙木氏は知っているとは思うが
「？」をわざわざ書き込んだ意図がわからないので念のため
0918１３２人目の素数さん
垢版 |
2018/04/29(日) 15:52:32.74ID:c9MGGy/M
>>911
2b-a>0でなれけばならないから、a=19、b=9にはならない。

>>914
>>833、>>887、>>904参照。

>>916
cが定数だったら、p=(2b-c)/(2b-a)は双曲線関数だが
c=a/p^nで、p=(2b-a/p^n)/(2b-a)
だから、双曲線関数？としました。
0919１３２人目の素数さん
垢版 |
2018/04/29(日) 16:00:23.30ID:1KES2eGU
>>918
＞2b-a>0でなれけばならないから、a=19、b=9にはならない。

この発言、b=9でpは最大値を取らないってことを認めてるのと同じなんですが…
0920１３２人目の素数さん
垢版 |
2018/04/29(日) 18:37:23.60ID:wDr33QQ+
>>864
ADHDの人が、学歴に固執するあまり、自身の学歴やセンター得点を詐称することはよくあることなの？
0922１３２人目の素数さん
垢版 |
2018/04/29(日) 19:31:06.43ID:IsxcnISx
頑張ってひり出した答えが
「2b-a>0でなれけばならないから、a=19、b=9にはならない。」
だっておｗｗｗｗ

a=19のとき、9はa/2より大きいか小さいかお答えください
0925１３２人目の素数さん
垢版 |
2018/04/29(日) 19:46:33.30ID:1KES2eGU
>>921 よくまぁ次々と…ある意味、感心します。

きちんと読んでないけど、とりあえず４頁目の下から６行目の
「1-a/c<1であり」は「1-c/a<1であり」の間違いでしょ？訂正して下さい。
0927１３２人目の素数さん
垢版 |
2018/04/29(日) 20:04:46.34ID:Xh8QKgzn
どういう方針でどこをどう訂正したのかちゃんと示してほしいんだけど
0929１３２人目の素数さん
垢版 |
2018/04/29(日) 20:10:06.68ID:Stsnk/Gc
応用物理学科卒のくせに偏微分の計算結果すら正しく理解できず、都合の悪い現象に
出くわしたときだけ「a,bは独立ではない」という論法で逃げ続けてきたキチガイ。

あれだけ「今回こそは正しいと思います」と豪語して尊大な態度を取り続けてきたゴミクズが、
散々いろいろな人に同じ指摘をされ続けて今ようやく間違いを理解し、
新たなゴミ文書を公開するというトンデモ劇場。これで何度目の間違いかなｗ
0930１３２人目の素数さん
垢版 |
2018/04/29(日) 20:19:59.01ID:Stsnk/Gc
もう新しい文書が出ているから意味の無いツッコミになるが、一応。

＞cが定数だったら、p=(2b-c)/(2b-a)は双曲線関数だが
＞c=a/p^nで、p=(2b-a/p^n)/(2b-a)
＞だから、双曲線関数？としました。

n＝1 のときは f(a,b) が具体的に求まって p＝f(a,b)＝a/(2b－a) になるので、
明確に(bについての)双曲線関数になる。4次方程式までは解の公式があるので、n＝1,2,3,4 までは
f(a,b) が具体的に求まる。ただし、n≧2 のときはキレイな双曲線関数にはならん様子。
0931１３２人目の素数さん
垢版 |
2018/04/29(日) 20:42:17.08ID:Xh8QKgzn
日本語がクソすぎて、2.1から分からん
解読するより自分で証明した方が早かった

wikiに載ってる、yの素因数の冪は、１つを除いて全て偶数って結果を意識しすぎてp、n、pk、qkの取り方がすごく気持ち悪い
常人だったら始めに論文引っ張ってきて直ちに書き下すところなんだけど
もう読む気失せた
0932１３２人目の素数さん
垢版 |
2018/04/29(日) 21:09:35.43ID:TFmEt9O2
４ページ
左辺の(p^n-1)/(p-1)をp^n+…+1に直してるところが誤り
これを直すと、その先の
ap/4＜a/2であり
から先が成立しなくなる
0936１３２人目の素数さん
垢版 |
2018/04/29(日) 21:30:47.57ID:TFmEt9O2
というかちょっと待てよ
> 2b＜ap/4
といっておいて
> pはbの単調減少関数であるからpはb=ap/4のときが上限
とか、これおかしくないか？
0938１３２人目の素数さん
垢版 |
2018/04/29(日) 21:35:02.70ID:TFmEt9O2
あかん
今回のは間違いだらけでどこかどうおかしいか絞り込めない
だめだこりゃ
0940１３２人目の素数さん
垢版 |
2018/04/29(日) 21:50:22.80ID:o3StzyA8
何も考えなければ，b=(a+1)/2としたときにとりあえず上から抑えられ，
　p<1+a-c
となりますが，これは式変形すると
　1<c(1+p+...+p^n-1)
となって，成り立って当然の式ですね。矛盾を導くのは厳しそうです。
もっとbが大きいことをいう必要があります。
0941１３２人目の素数さん
垢版 |
2018/04/29(日) 21:53:51.52ID:wDr33QQ+
なんか小手先で直そうとしているようだけど、b=18のときpが最大、はそうならない条件があるのでこのやり方はどうやっても無理
そろそろこの方向性は断念したほうがいいのでは？
0942１３２人目の素数さん
垢版 |
2018/04/29(日) 22:12:43.40ID:Stsnk/Gc
b を動かしたときに p がいつ最大になるかというと、
それは a に依存しており、たとえば

「 b＝[a/2]＋1 のとき p は最大 」

みたいな状況にしかなってないわけで、a に依存しない「9」だの「18」だのに対して

「 b＝9 のとき p は最大 」
「 b＝18 のとき p は最大 」

みたいなことは決して言えない。何度も言うが、n＝1 のときは f(a,b) が具体的に求まって

p＝f(a,b)＝a/(2b－a)


になるので、もうこの時点で p の最大値がどうこうという方針はオワッテル。
バカの考え、休むに似たり。さっさと諦めろっつーの。
0943１３２人目の素数さん
垢版 |
2018/04/29(日) 22:14:40.08ID:o3StzyA8
最大値というより，とにかく上から抑えようということだと思います。
なので，実際にpがその値にならなくてもいいという方針だと思いました。
0944１３２人目の素数さん
垢版 |
2018/04/29(日) 22:36:03.15ID:Stsnk/Gc
>>943
最適な抑え方は「pの最大値」で抑えることだが、
「pの最大値」の時点で既にデカすぎるのでオワッテル。
この方針は絶対に上手く行かない。

p の最大値がデカくならないためには、最大値を与える b が a に依存しない定数
(たとえば b＝9 とか b＝18 とか)でなければならない。>>1がこだわっているのはそこ。
しかし、実際には最大値を与える b は a に依存してしまい、
当然ながらそのときの p の値(＝最大値)はデカすぎて使い物にならない。

唯一望みがあるとすれば、数論的な性質をふんだんに使うことで b の範囲が
極端に狭くなることだが、それはもはや普通に整数論やってるのと同じことであり、
「今の方針で上手く行く」ということには なってない。
0945１３２人目の素数さん
垢版 |
2018/04/29(日) 22:38:21.98ID:o3StzyA8
上手くいくとは僕も思ってませんよ。
5未満で押さえないといけませんが，無理だと思います。
0946１３２人目の素数さん
垢版 |
2018/04/29(日) 23:07:07.25ID:TFmEt9O2
整数Nについて約数関数σ(N)とNの比κ(N)=σ(N)/Nを考えると、
・κ(N)の上界は存在しない。つまり、どんな正の実数Rについてもκ(N)＞RとなるNが存在する
・κ(N)の下界は1であり、1にいくらでも近づけることができる。つまり、どんな正の実数εについてもκ(N)＜1+εとなるNが存在する
ということがいえる。このことはNを奇数に限っても同様なので、κ(N)=2となる奇数Nが存在しないことを示すためにκの上界と下界を押さえるやり方は成功しないように思う。

こういう指摘は過去にあったっけ？
0947１３２人目の素数さん
垢版 |
2018/04/29(日) 23:34:03.75ID:TFmEt9O2
>>946つづき
で、特定の素因数pの非存在を、約数関数の範囲を使って示す場合は、これと似た議論で、κ(N)が、特定の範囲の値をとらないことを示す問題に帰着するわけで、
この方法は、たとえば5以上の奇素数pと自然数nについて、1＜κ(p^n)＜5/4であるという事実を使ったとすると、
κは乗法的だから、8/5＜κ(B)＜2となるような奇数Bが存在しない、ということが示せれば、Bにどんなp^nを乗じて奇数B･p^nを作ってもκ(B･p^n)=κ(B)･κ(p^n)=2となることはないといえる。
だけど8/5＜κ(B)＜2となるような奇数Bは幾つも存在するので、範囲だけを使うやり方はやっぱりうまくいかない。
やるんだったら、8/5＜κ(B)＜2となるような奇数Bは(範囲とは別の)これこれの性質をもつからκ(B)･κ(p^n)がちょうど2となるようなpが存在しないのだ、といわないとだめ。
0953１３２人目の素数さん
垢版 |
2018/04/30(月) 13:02:33.18ID:+VRQjY8Z
>>951
>>951
>>951
0956１３２人目の素数さん
垢版 |
2018/04/30(月) 17:15:46.07ID:dX4KTTPR
この問題の不定を導いたあとの十分性の確認で矛盾となる証明は
何故否定されているのでしょうか？
0962１３２人目の素数さん
垢版 |
2018/04/30(月) 20:59:49.69ID:QL8ouRtn
なお過去

一度撤退したのですが、証明が完成したので>>9のところに提出しました。
0964１３２人目の素数さん
垢版 |
2018/04/30(月) 21:55:41.92ID:2V4BpPyt
不定ゆえに矛盾、だったら当然リジェクト
0965１３２人目の素数さん
垢版 |
2018/04/30(月) 21:59:14.50ID:dX4KTTPR
方程式が成り立つと仮定すると、任意のpで方程式が成立し不定となる。
不定の場合は任意のpに対して定係数の方程式が成り立たなければならないから、
全ての係数が0にならないければならないので矛盾。
これのどこがおかしいのでしょうか？
0967１３２人目の素数さん
垢版 |
2018/04/30(月) 22:09:30.75ID:2V4BpPyt
あんたは理解しないから説明しない
知りたけりゃ過去レス読め
0968１３２人目の素数さん
垢版 |
2018/04/30(月) 22:14:09.37ID:gitZXDI0
たとえば、関数f(x)=x^2-4x+5が与えられたとして、関数f(x)は任意のxで成立する。
次にf(x)=0を考える。つまり、x^2-4x+5=0という方程式を考える。
これは方程式が成り立つが、任意のxで成り立つわけじゃない。
0969１３２人目の素数さん
垢版 |
2018/04/30(月) 22:28:55.79ID:E7dJQ0Wu
ここまで前スレの1-100レスの範疇を越えずノーマネーでフィニッシュです
0970１３２人目の素数さん
垢版 |
2018/04/30(月) 22:53:12.28ID:dX4KTTPR
>>968
全然違います。

ap-2bp+2b=c …⑤

2b=c(p^n+…+1)
a=cp^n
から式⑤は
cp^np-cp(p^n+…+1)+c(p^n+…+1)-c=0
c(p^(n+1)+…+1)-c(p^(n+1)+…+1)=0
このとき、任意のpでこの式は成立し、pは不定となる。
pが任意のpで成立するためには、式⑤から
a-2b=0
2b-c=0
∴a-c=0
c(p^n-1)=0
c=0または、p=1または、n=0
よって、式⑤は題意を満たさない。
0971１３２人目の素数さん
垢版 |
2018/04/30(月) 23:18:52.90ID:gitZXDI0
文字式習いたての中学生みたいな間違いしてるのに気づいてないのが笑える
0973１３２人目の素数さん
垢版 |
2018/05/01(火) 00:06:34.40ID:A97hj4SO
いつもながらややこしいので整理してみる試み
命題1：ap-2bp+2b=c …⑤
命題2：2b=c(p^n+…+1) かつ a=cp^n
命題3：cp^np-cp(p^n+…+1)+c(p^n+…+1)-c=0 つまり c(p^(n+1)+…+1)-c(p^(n+1)+…+1)=0
命題4：任意のpでこの式(命題3)は成立
命題5：任意のpでこの式(命題1)は成立
(「この式」の指しているものが不明なので命題4と命題5の両方を評価する)

命題3は命題1の式を命題2の等式にしたがって置き換えをおこなったものであるので、
命題1∧命題2→命題3 は真。しかしその逆である
命題3→命題1∧命題2 は真ではない。したがって、
命題3→命題1 は真ではない。(命題1は命題3と異なる)

よって以下のような評価となる。
命題1 「すべての p について成立」は真でない (特定の p と a と b と c の条件のもと成立)
命題2 「すべての p について成立」は真でない (同上)
命題3 「すべての p について成立」は真
命題4 真
命題5 真ではない (命題3が任意のpで成立することを言っただけ)
0974１３２人目の素数さん
垢版 |
2018/05/01(火) 00:08:16.04ID:m94A5Zr2
つまり偶数の完全数は存在しない。
0975１３２人目の素数さん
垢版 |
2018/05/01(火) 00:49:42.17ID:tIjj4ser
ボードゲームの原価率はどうあるべきか？
http://yaplog.jp/drosselmeyers/archive/115
自作カードゲームの印刷価格を調べてみた
https://kdsn.xyz/original_card_print_price/
知育に最適、自作教材！かんたんオリジナルカードゲームで数字の勉強！
http://yuu73.xsrv.jp/jisaku-kyouzai
ゼロから始めるボードゲーム制作
https://trap.jp/post/450/
ボードゲームはどう作るのか、自分なりに考えた
http://roy.hatenablog.com/entry/2014/07/09/124824
カフェも急増　ボードゲームにアラサーがハマる理由
http://style.nikkei.com/article/DGXMZO10921930R21C16A2000000?channel=DF260120166491
ボードゲームの展示イベント「ゲームマーケット」の成長記録からこれからの
市場に必要なことを妄想してみた。6年間の来場者数推移（2016年4月時点調べ）
https://bodoge.hoobby.net/columns/00001
ボードゲーム市場がクラウドファンディングの出現で急成長を遂げ市場規模を拡大中
http://gigazine.net/news/20150820-board-game-crowdfunding/
「29歳既婚、2年前に会社を辞めた。ボードゲーム作りを始めて3700万円を
売り上げたけど何か聞きたいことはある？」回答いろいろ
http://labaq.com/archives/51880196.html
日本ボードゲーム界の異端児に聞く！ボードゲームデザイナーとして生きていくには？
https://bodoge.hoobby.net/columns/00013
0976１３２人目の素数さん
垢版 |
2018/05/01(火) 01:05:50.88ID:baxIlkWU
高木さん、どうして奇数完全数の証明にこだわり続けるんですか？
こんなことを続けたところで、批判や嘲笑を受けるだけであることは目に見えています。

これまでの論文とか、過去のやり取りなんかを見ても、
貴方が数学の証明に向いた性格だとは思えないんです。
別のことに時間と労力を費やした方が、貴方にとっても有意義だと思うのですが…
0977１３２人目の素数さん
垢版 |
2018/05/01(火) 04:48:22.89ID:hNKQFh3S
>>973
＞命題3→命題1∧命題2 は真ではない。
何故こういえるのですか。
命題1⇔命題2⇔命題3
だと思いますが。
0978１３２人目の素数さん
垢版 |
2018/05/01(火) 06:34:05.20ID:A97hj4SO
AならばB を示しても BならばA を示したことにはならないのは常識ですし
数学に詳しい人がなぜそんな当たり前のことを聞いてくるのか理解できませんが
高木氏が納得しないとしても、それをわざわざ説明する気はありません
もうそれまでのことです
0980１３２人目の素数さん
垢版 |
2018/05/01(火) 20:28:14.69ID:j0nnsw/w
>>970
x=3…①
①を3倍すると、3x=9。よって、3x=3^2…②
①の結果を②に代入すると、xx=x^2。即ち、x^2=x^2…③
③は任意のｘで成立する。従って、ｘは不定である。

…って言ってるのに似てますよ。
0981１３２人目の素数さん
垢版 |
2018/05/02(水) 17:39:02.40ID:ywd2imW/
そっか
0994１３２人目の素数さん
垢版 |
2018/05/03(木) 18:40:36.50ID:T9KftQPC
緊急哲也速報です。緊急哲也速報です。
0996１３２人目の素数さん
垢版 |
2018/05/03(木) 20:38:24.05ID:9mW/bMs8
おめでとう
0999１３２人目の素数さん
垢版 |
2018/05/03(木) 22:00:40.80ID:PQNVo0sN
999
10011001
垢版 |
Over 1000Thread
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 20日 6時間 5分 6秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
レス数が1000を超えています。これ以上書き込みはできません。
ニューススポーツなんでも実況