892:１３２人目の素数さん
18/04/29 00:50:50.39 Stsnk/Gc.net
>>859
お前は何も分かってない。>>1のような大バカにそのような戯言を与えても、
病状が悪化するだけである。>1が目標とすべきゴール地点は
「この問題を諦めること」
である。「この問題を解決すること」は>1のゴール地点ではない。
この問題は今の人類には解けない。
893:１３２人目の素数さん
18/04/29 00:53:44.05 RgLRIoOc.net
別に諦めなくてもいいけど目に見えないところでやって欲しい
もし掲示板で発表がしたいのなら指摘に対して真摯に向き合って欲しい
それもできないというのであれば諦めて欲しい
894:１３２人目の素数さん
18/04/29 01:02:02.65 dYCVEljQ.net
指摘を
・理解する気がない
・理論できない
・理解してるが誤魔化してる
のどれだ
895:１３２人目の素数さん
18/04/29 01:08:24.99 eK52I/Yn.net
誤魔化してるようにしか見えんが
896:１３２人目の素数さん
18/04/29 01:27:38.42 KhFylGJQ.net
最近よく見るコピペ
【 他虐型ADHDの特徴 】
・極端な学歴至上主義や、在日、底辺職への強引な差別
・周囲の人を馬鹿にすることが多く他者を決して褒めない
・自分の価値観が全てで、周囲の全員にしつこく繰り返して主張し続ける
・自分の価値観以外の考え方が存在すること自体が理解できない
・自分の評価には異常にこだわる
・無理のある言い訳を繰り返して自分が悪いことは一切認めようとしない
・何でもゴリ押ししようと必死、強引に言い張って主張を通すパターンを続ける
・問い詰められると自分が被害者であることをアピールしだす
◆「石が悪い」という発想
自己正当化型ADHDの不思議な（理解されにくい）発想に、「自分が躓いたのはこんなところに石があるからだ」というものがある。「誰が置いた！」と逆切れするのは珍しくない現象だ。
▶「責任転嫁のためにごまかしている」
という風に考えるのは止めよう
▶「それほど浅薄にしか現象を理解できない脳の障害なのだ」
と考えたほうが理解しやすい
897:１３２人目の素数さん
18/04/29 01:43:26.71 TFmEt9O2.net
>>864
そのテンプレは「ではどうしたらよいのか」ということを教えてくれないのよね
自分で見つけろということなのか
898:１３２人目の素数さん
18/04/29 01:58:16.76 KhFylGJQ.net
彼の中で絶っ対にゆるがない大前提が「結論は正しい」なので、結論に関する指摘はすべて否定・論破されなければならない。
よって、指摘は再検討・考慮されることはなく、「どうやって否定してやろうか」しか
899:考えない。一つ一つの指摘をその都度否定できればOKなので、過去の発言と整合せず、ループしまくる。 こんなもん、話が先に進むはずがない。
900:１３２人目の素数さん
18/04/29 02:12:43.43 V/r/nnTW.net
>>865
分相応に生きろ
901:１３２人目の素数さん
18/04/29 02:45:39.30 TFmEt9O2.net
>>866
うん。話が先に進まないのは共通認識だとして、どう対処したらよいかということだけど
もう「諦める」他はない？
902:１３２人目の素数さん
18/04/29 02:49:29.33 KhFylGJQ.net
>>868
ひとつだけある。
奇数の完全数を見つける。
903:１３２人目の素数さん
18/04/29 04:16:02.04 TFmEt9O2.net
>>869
あはは
やってみるよｗ
904:１３２人目の素数さん
18/04/29 05:43:49.65 vLFxd8zf.net
少なくとも1500桁超えか
GW潰れるな
905:１３２人目の素数さん
18/04/29 07:31:11.15 c9MGGy/M.net
>>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
それはあなたの知りうる限りではということではないのでしょうか？
906:１３２人目の素数さん
18/04/29 09:01:07.35 1KES2eGU.net
>>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の場合だと、貴方は思うのですか？
907:１３２人目の素数さん
18/04/29 09:34:10.08 jT+TZsEB.net
その指摘>>631にもあったけど、高木くんはガン無視したよ
908:１３２人目の素数さん
18/04/29 09:58:53.02 TFmEt9O2.net
>>871
ちょっとマジレスすると、1500桁の数をそのままの形式で扱う必要はなくて、どの道、素因数分解が必要なんだから素因数の積の形のまま扱えばオーケー
仮に発見した人が出たら必ず素因数分解表示を示すはず。数十桁程度の素数判定は現実的な時間で計算できるから素因数分解表示のほうが検証もたやすい(と思う)
もちろん世界中でそういう探索はされているだろうし、素人がやって見つかるものとは微塵も考えていないがｗ
ひとつ面白い法則を見つけてる
「素数pが10n+1で表されるとき、整数p^4+p^3+p^2+p+1の素因数は5と10n+1型の素数のみである」
この法則が真なら、5と10n+1型の奇素数をうまく組み合わせれば、もしかしたらいけるんじゃないかって勝手に思ってる
生温かく見守ってほしい
909:１３２人目の素数さん
18/04/29 10:11:36.67 c9MGGy/M.net
>>873
p>1に限定した条件のもとではb>0においてpはbの単調減少関数なのですからbの
値域がb≦9のときに、その最大値がb=9のときのpの値になるというだけだと思うのですが。
考察する必要が必ずあるとは言えませんが、0<p<1のときでも同様だと思います。
つまり、y=1/xでいえば、yの値によって微分の結果を分けているということになるので
主張は誤りということになります。
910:１３２人目の素数さん
18/04/29 10:13:00.03 c9MGGy/M.net
>>876 訂正
×bの値域がb≦9
〇b
911:の定義域がb≦9
912:１３２人目の素数さん
18/04/29 10:13:50.05 jT+TZsEB.net
いい加減誤魔化すのやめない？
913:１３２人目の素数さん
18/04/29 10:14:59.58 c9MGGy/M.net
>>878
何を？
914:１３２人目の素数さん
18/04/29 10:17:00.17 jT+TZsEB.net
>>879
分かんないならいいですｗ
915:１３２人目の素数さん
18/04/29 10:25:30.60 jT+TZsEB.net
>>684、>>873あたりをじっくり考えてほしい
理解する知能がない場合、もしくは誤魔化したい場合は別にいいけど、誰の目にも間違ってるって映っちゃうね
916:１３２人目の素数さん
18/04/29 10:38:41.53 1KES2eGU.net
>>876
y=1/xにおいて、y>0に限定した条件の下では、
x=-1のときのyの値について議論しても意味を為しません。
同じような理屈で、p=1+(a-c)/(2b-a)においてp>0に限定した条件の下では、
b=9のときのpの値について議論しても意味を為さないかもしれない…と考えることはできませんか？
917:１３２人目の素数さん
18/04/29 10:58:54.50 1KES2eGU.net
>>882 訂正
×「p>0に限定した条件の下では」
〇「p>1に限定した条件の下では」
918:１３２人目の素数さん
18/04/29 11:06:27.73 c9MGGy/M.net
問題の前提として2b-a>0というのがあるので、具体的な形は分かりませんが
双曲線関数？のようなもののうち片側のみを考えればいいということになります。
誤魔化しではありません。
0<p<1(こちらは題意を満たさないので必要ない)とp>1の値域で、b>0の定義域のときに
pは単調減少します。だから、pの最大値はbが最小値であるb=9のときの値(18-c)/(18-a)
となる。
>>882
>>872と>>876の前半部分をよく読んでくださいとしかいいようがない。
919:１３２人目の素数さん
18/04/29 11:15:13.22 Stsnk/Gc.net
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)
と具体的に求まるのである。
920:１３２人目の素数さん
18/04/29 11:18:34.78 Stsnk/Gc.net
すると、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は何も反論できていないのである。
921:１３２人目の素数さん
18/04/29 11:22:11.37 c9MGGy/M.net
より明確に偏微分の意味を書きたいと思います。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)以下になります。
922:１３２人目の素数さん
18/04/29 11:23:40.40 TFmEt9O2.net
>>885
キレたら負けよ(^^
もうこのスレの大多数はあなたと同意見
だいたい>>684や>>683のグラフを見てもまだ理解できない人が理解できる訳がない
説得はできない�
923:烽ﾌと思うのが賢い
924:１３２人目の素数さん
18/04/29 11:24:21.80 1KES2eGU.net
>>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となる」
と主張しているのと本質的に同じです。
この無意味さに気づいて下さい。
925:１３２人目の素数さん
18/04/29 11:26:00.14 TFmEt9O2.net
>>888
安価間違えたｗ
>>684や>>673ね
926:１３２人目の素数さん
18/04/29 11:26:39.18 c9MGGy/M.net
長くて読む気もしませんが、a>18、a<18での場合分けは行っています。
927:１３２人目の素数さん
18/04/29 11:28:07.06 c9MGGy/M.net
>>887を良く読んでから妄言を述べてくださいね。
928:１３２人目の素数さん
18/04/29 11:28:13.50 Stsnk/Gc.net
>>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) が成り立つ 」
などということは言えない。お前の計算は間違っている。
929:１３２人目の素数さん
18/04/29 11:32:01.61 jT+TZsEB.net
高木くん、>>684、>>873、>>886あたりを十万回読んでから書き込んでね
930:１３２人目の素数さん
18/04/29 11:32:45.14 c9MGGy/M.net
>>889
>>884
931:１３２人目の素数さん
18/04/29 11:33:17.16 jT+TZsEB.net
>>895
>>894
932:１３２人目の素数さん
18/04/29 11:33:58.32 1KES2eGU.net
>>891 場合分けの順番が間違っているんですよ。
貴方は「pの最大値はbが最小値であるb=9のときの値(18-c)/(18-a)となる」ことを主張した後で、
a>18の場合とa<18の場合を分けていますが、
pの最大値について論じられるのは、その場合分けをした後の話だということです。
933:１３２人目の素数さん
18/04/29 11:34:26.37 c9MGGy/M.net
>>894
この問題の前提として2b-a>0
2b=c(p^n+…+1)
a=cp^n
2b-a=c(p^(n-)+…+1)>0
934:１３２人目の素数さん
18/04/29 11:35:19.13 jT+TZsEB.net
>>898
十万回読んで
935:１３２人目の素数さん
18/04/29 11:36:21.30 Stsnk/Gc.net
>>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) である。
936:１３２人目の素数さん
18/04/29 11:36:36.20 c9MGGy/M.net
>>897
理解不能です。最大値はp=(18-c)/(18-a)となりますが、これをaの値によって
場合分けしています。
937:１３２人目の素数さん
18/04/29 11:37:57.02 jT+TZsEB.net
a=19としてみてほしい
b=9はa/2の右にあるか、左にあるか
938:１３２人目の素数さん
18/04/29 11:42:55.89 Stsnk/Gc.net
>>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は実際には正整数として扱うので)。
939:１３２人目の素数さん
18/04/29 11:49:22.87 c9MGGy/M.net
>>899
>>898を100万回読んでください。双曲線関数？の片側(p>a/2)しか考慮する
必要がありません。
940:１３２人目の素数さん
18/04/29 11:54:06.88 Stsnk/Gc.net
>>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)
などという計算は成り立たない。つまり、お前の計算は間違っている。
941:１３２人目の素数さん
18/04/29 12:00:16.60 jT+TZsEB.net
>>904
あなたが先に十万回読んでくださいね
それはそうと、>>902にお答えください
それとも、また逃げ続けますか？
942:１３２人目の素数さん
18/04/29 12:01:43.94 jT+TZsEB.net
こんなことも分からないようでは、正直センター200点や早稲田学士というのも妄想なんじゃないかと思えてきますね
943:１３２人目の素数さん
18/04/29 12:09:33.96 V/r/nnTW.net
いや妄想だろｗｗｗ
信じる根拠いまのところゼロだぞ
944:１３２人目の素数さん
18/04/29 12:15:15.43 c9MGGy/M.net
>>904
書き間違えた。グラフの右側(b>a/2)だ。
>>906
b=9のときはa=13だから。
945:１３２人目の素数さん
18/04/29 12:19:51.11 Stsnk/Gc.net
>>909
＞書き間違えた。グラフの右側(b>a/2)だ。
b＞a/2 しか考慮しなくていいのなら、>>905 によってお前は論破される。
＞b=9のときはa=13だから。
そこで都合よく a,b が独立でないことを持ち出すなら、
お前がやってきた偏微分の計算は全て意味を成さなくなり、
どのみちお前の計算は間違っていることになる。
946:１３２人目の素数さん
18/04/29 12:23:04.31 jT+TZsEB.net
>>909
aとbはとりあえず独立だとして大小比較するんですよね？
はやく>>902にお答えください
947:１３２人目の素数さん
18/04/29 12:36:17.92 MAM1V5x0.net
次スレは立てずに先に↓を使えよ髙木さん
最古の未解決問題が解決されたのか
ｽﾚﾘﾝｸ(math板)
948:１３２人目の素数さん
18/04/29 12:39:22.61 jT+TZsEB.net
なんだこいつマルチまでしてたのか
949:１３２人目の素数さん
18/04/29 12:44:16.35 1KES2eGU.net
p=f(a,b)の変化を偏微分∂p/∂bに基づいて論じるということの意味を
高木氏が理解しているのかどうか、疑わしくなってきたぞ…(^^;
950:１３２人目の素数さん
18/04/29 13:51:49.69 eK52I/Yn.net
>>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の値で変わったりしないよ
意図的にごまかすためにやってるのでなければ無視せずに答えてね
951:１３２人目の素数さん
18/04/29 14:04:09.15 MAM1V5x0.net
>>904
双曲線と双曲線関数は別もん
もちろん髙木氏は知っているとは思うが
「？」をわざわざ書き込んだ意図がわからないので念のため
952:１３２人目の素数さん
18/04/29 14:46:36.67 IsxcnISx.net
流石に悟って修正タイムかな
953:１３２人目の素数さん
18/04/29 15:52:32.74 c9MGGy/M.net
>>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)
だから、双曲線関数？としました。
954:１３２人目の素数さん
18/04/29 16:00:23.30 1KES2eGU.net
>>918
＞2b-a>0でなれけばならないから、a=19、b=9にはならない。
この発言、b=9でpは最大値を取らないってことを認めてるのと同じなんですが…
955:１３２人目の素数さん
18/04/29 18:37:23.60 wDr33QQ+.net
>>864
ADHDの人が、学歴に固執するあまり、自身の学歴やセンター得点を詐称することはよくあることなの？
956:１３２人目の素数さん
18/04/29 19:29:12.16 c9MGGy/M.net
漸近線とb=9の大小で場合分けをしなれればならないことを理解しました。
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
957:１３２人目の素数さん
18/04/29 19:31:06.43 IsxcnISx.net
頑張ってひり出した答えが
「2b-a>0でなれけばならないから、a=19、b=9にはならない。」
だっておｗｗｗｗ
a=19のとき、9はa/2より大きいか小さいかお答えください
958:１３２人目の素数さん
18/04/29 19:31:40.01 IsxcnISx.net
お、新たな間違い探しが来たな
959:１３２人目の素数さん
18/04/29 19:41:58.55 CKyJtN0t.net
そろそろ訂正履歴書いてくれんかの？
960:１３２人目の素数さん
18/04/29 19:46:33.30 1KES2eGU.net
>>921 よくまぁ次々と…ある意味、感心します。
きちんと読んでないけど、とりあえず４頁目の下から６行
961:目の 「1-a/c<1であり」は「1-c/a<1であり」の間違いでしょ？訂正して下さい。
962:１３２人目の素数さん
18/04/29 20:02:57.05 c9MGGy/M.net
>>924
改版履歴は作るのが難しいです。公開したファイルは保存してはいますけれど。
>>925
式の誤りを訂正しました。
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
963:１３２人目の素数さん
18/04/29 20:04:46.34 Xh8QKgzn.net
どういう方針でどこをどう訂正したのかちゃんと示してほしいんだけど
964:１３２人目の素数さん
18/04/29 20:07:14.52 QubdA5hM.net
今からの改訂履歴だったら作れるでしょ。次から気をつけてね
965:１３２人目の素数さん
18/04/29 20:10:06.68 Stsnk/Gc.net
応用物理学科卒のくせに偏微分の計算結果すら正しく理解できず、都合の悪い現象に
出くわしたときだけ「a,bは独立ではない」という論法で逃げ続けてきたキチガイ。
あれだけ「今回こそは正しいと思います」と豪語して尊大な態度を取り続けてきたゴミクズが、
散々いろいろな人に同じ指摘をされ続けて今ようやく間違いを理解し、
新たなゴミ文書を公開するというトンデモ劇場。これで何度目の間違いかなｗ
966:１３２人目の素数さん
18/04/29 20:19:59.01 Stsnk/Gc.net
もう新しい文書が出ているから意味の無いツッコミになるが、一応。
＞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 のときはキレイな双曲線関数にはならん様子。
967:１３２人目の素数さん
18/04/29 20:42:17.08 Xh8QKgzn.net
日本語がクソすぎて、2.1から分からん
解読するより自分で証明した方が早かった
wikiに載ってる、yの素因数の冪は、１つを除いて全て偶数って結果を意識しすぎてp、n、pk、qkの取り方がすごく気持ち悪い
常人だったら始めに論文引っ張ってきて直ちに書き下すところなんだけど
もう読む気失せた
968:１３２人目の素数さん
18/04/29 21:09:35.43 TFmEt9O2.net
４ページ
左辺の(p^n-1)/(p-1)をp^n+…+1に直してるところが誤り
これを直すと、その先の
ap/4＜a/2であり
から先が成立しなくなる
969:１３２人目の素数さん
18/04/29 21:20:33.12 o3StzyA8.net
直すというか次数がおかしいよね？
970:１３２人目の素数さん
18/04/29 21:24:08.00 TFmEt9O2.net
>>933
そゆこと
>>932はあまりに表現が下手なので言い直した方がいいかな
971:１３２人目の素数さん
18/04/29 21:24:50.26 o3StzyA8.net
ap/4は整数になりませんね
972:１３２人目の素数さん
18/04/29 21:30:47.57 TFmEt9O2.net
というかちょっと待てよ
> 2b＜ap/4
といっておいて
> pはbの単調減少関数であるからpはb=ap/4のときが上限
とか、これおかしくないか？
973:１３２人目の素数さん
18/04/29 21:33:08.62 c9MGGy/M.net
>>932
p^n+…+1をp^(n-1)+…+1に訂正しました。
Pdf文書 日本語
URLﾘﾝｸ(fast-uploader.com)
Pdf文書 英語
URLﾘﾝｸ(fast-uploader.com)
974:１３２人目の素数さん
18/04/29 21:35:02.70 TFmEt9O2.net
あかん
今回のは間違いだらけでどこかどうおかしいか絞り込めない
だめだこりゃ
975:１３２人目の素数さん
18/04/29 21:35:41.78 c9MGGy/M.net
>>936
おかしいですね。検討しなおします。
976:１３２人目の素数さん
18/04/29 21:50:22.80 o3StzyA8.net
何も考えなければ，b=(a+1)/2としたときにとりあえず上から抑えられ，
p<1+a-c
となりますが，これは式変形すると
1<c(1+p+...+p^n-1)
となって，成り立って当然の式ですね。矛盾を導くのは厳しそうです。
もっとbが大きいことをいう必要があります。
977:１３２人目の素数さん
18/04/29 21:53:51.52 wDr33QQ+.net
なんか小手先で直そうとしているようだけど、b=18のときpが最大、はそうならない条件があるのでこのや
978:り方はどうやっても無理 そろそろこの方向性は断念したほうがいいのでは？
979:１３２人目の素数さん
18/04/29 22:12:43.40 Stsnk/Gc.net
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 の最大値がどうこうという方針はオワッテル。
バカの考え、休むに似たり。さっさと諦めろっつーの。
980:１３２人目の素数さん
18/04/29 22:14:40.08 o3StzyA8.net
最大値というより，とにかく上から抑えようということだと思います。
なので，実際にpがその値にならなくてもいいという方針だと思いました。
981:１３２人目の素数さん
18/04/29 22:36:03.15 Stsnk/Gc.net
>>943
最適な抑え方は「pの最大値」で抑えることだが、
「pの最大値」の時点で既にデカすぎるのでオワッテル。
この方針は絶対に上手く行かない。
p の最大値がデカくならないためには、最大値を与える b が a に依存しない定数
(たとえば b＝9 とか b＝18 とか)でなければならない。>>1がこだわっているのはそこ。
しかし、実際には最大値を与える b は a に依存してしまい、
当然ながらそのときの p の値(＝最大値)はデカすぎて使い物にならない。
唯一望みがあるとすれば、数論的な性質をふんだんに使うことで b の範囲が
極端に狭くなることだが、それはもはや普通に整数論やってるのと同じことであり、
「今の方針で上手く行く」ということには なってない。
982:１３２人目の素数さん
18/04/29 22:38:21.98 o3StzyA8.net
上手くいくとは僕も思ってませんよ。
5未満で押さえないといけませんが，無理だと思います。
983:１３２人目の素数さん
18/04/29 23:07:07.25 TFmEt9O2.net
整数Nについて約数関数σ(N)とNの比κ(N)=σ(N)/Nを考えると、
・κ(N)の上界は存在しない。つまり、どんな正の実数Rについてもκ(N)＞RとなるNが存在する
・κ(N)の下界は1であり、1にいくらでも近づけることができる。つまり、どんな正の実数εについてもκ(N)＜1+εとなるNが存在する
ということがいえる。このことはNを奇数に限っても同様なので、κ(N)=2となる奇数Nが存在しないことを示すためにκの上界と下界を押さえるやり方は成功しないように思う。
こういう指摘は過去にあったっけ？
984:１３２人目の素数さん
18/04/29 23:34:03.75 TFmEt9O2.net
>>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が存在しないのだ、といわないとだめ。
985:１３２人目の素数さん
18/04/30 00:04:04.90 glpiUvhk.net
読んでくださってありがとう、もないんですね
986:１３２人目の素数さん
18/04/30 00:35:32.61 j1IklTjE.net
それは言い過ぎだが
ちゃんと読め、はイラッとする
987:１３２人目の素数さん
18/04/30 11:52:06.22 dX4KTTPR.net
読んでくださってありがとうございます。
988:１３２人目の素数さん
18/04/30 11:58:34.54 dX4KTTPR.net
間違いがある内容で偉そうに文句を言う人間はどうかと思うが。
989:１３２人目の素数さん
18/04/30 12:55:47.43 0ZY0KxrB.net
本当に口の減らない奴だな。
990:１３２人目の素数さん
18/04/30 13:02:33.18 +VRQjY8Z.net
>>951
991: >>951 >>951
992:１３２人目の素数さん
18/04/30 13:07:26.40 wJdHmIem.net
自虐か
993:１３２人目の素数さん
18/04/30 13:17:08.77 YkZppX/u.net
「間違いがある内容で偉そうに文句を言う人間」
まさに>>1自身だなｗｗ
994:１３２人目の素数さん
18/04/30 17:15:46.07 dX4KTTPR.net
この問題の不定を導いたあとの十分性の確認で矛盾となる証明は
何故否定されているのでしょうか？
995:１３２人目の素数さん
18/04/30 17:44:02.77 xP6MnYBv.net
（おかしくなったか？）
996:１３２人目の素数さん
18/04/30 17:59:43.00 dX4KTTPR.net
>>957
私は普通。そうすると、簡単に問題は解決する。
997:１３２人目の素数さん
18/04/30 19:03:07.54 xP6MnYBv.net
>>958
はいはい
じゃけんさっさと訂正版あげましょうね～
998:１３２人目の素数さん
18/04/30 20:54:46.77 dX4KTTPR.net
>>959
論文サイトに提出しているからそれはできない。
999:１３２人目の素数さん
18/04/30 20:55:41.27 xP6MnYBv.net
>>960
えｗｗｗ
今までのはなんだったんｗｗｗ
1000:１３２人目の素数さん
18/04/30 20:59:49.69 QL8ouRtn.net
なお過去
一度撤退したのですが、証明が完成したので>>9のところに提出しました。
1001:１３２人目の素数さん
18/04/30 21:36:10.02 dX4KTTPR.net
一つはリジェクトもう一つは今のところ梨の礫
1002:１３２人目の素数さん
18/04/30 21:55:41.92 2V4BpPyt.net
不定ゆえに矛盾、だったら当然リジェクト
1003:１３２人目の素数さん
18/04/30 21:59:14.50 dX4KTTPR.net
方程式が成り立つと仮定すると、任意のpで方程式が成立し不定となる。
不定の場合は任意のpに対して定係数の方程式が成り立たなければならないから、
全ての係数が0にならないければならないので矛盾。
これのどこがおかしいのでしょうか？
1004:１３２人目の素数さん
18/04/30 22:09:13.29 gitZXDI0.net
1行目の「任意のpで成立し」がおかしい
1005:１３２人目の素数さん
18/04/30 22:09:30.75 2V4BpPyt.net
あんたは理解しないから説明しない
知りたけりゃ過去レス読め
1006:１３２人目の素数さん
18/04/30 22:14:09.37 gitZXDI0.net
たとえば、関数f(x)=x^2-4x+5が与えられたとして、関数f(x)は任意のxで成立する。
次にf(x)=0を考える。つまり、x^2-4x+5=0という方程式を考える。
これは方程式が成り立つが、任意のxで成り立つわけじゃない。
1007:１３２人目の素数さん
18/04/30 22:28:55.79 E7dJQ0Wu.net
ここまで前スレの1-100レスの範疇を越えずノーマネーでフィニッシュです
1008:１３２人目の素数さん
18/04/30 22:53:12.28 dX4KTTPR.net
>>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
よって、式⑤は題意を満たさない。
1009:１３２人目の素数さん
18/04/30 23:18:52.90 gitZXDI0.net
文字式習いたての中学生みたいな間違いしてるのに気づいてないのが笑える
1010:１３２人目の素数さん
18/04/30 23:54:25.70 xP6MnYBv.net
>>939で終わったんですよね？
何故まだグダグダ言ってるんですか？
1011:１３２人目の素数さん
18/05/01 00:06:34.40 A97hj4SO.net
いつもながらややこしいので整理してみる試み
命題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で成立することを言っただけ)
1012:１３２人目の素数さん
18/05/01 00:08:16.04 m94A5Zr2.net
つまり偶数の完全数は存在しない。
1013:１３２人目の素数さん
18/05/01 00:49:42.17 tIjj4ser.net
ボードゲームの原価率はどうあるべきか？
URLﾘﾝｸ(yaplog.jp)
自作カードゲームの印刷価格を調べてみた
URLﾘﾝｸ(kdsn.xyz)
知育に最適、自作教材！かんたんオリジナルカードゲームで数字の勉強！
URLﾘﾝｸ(yuu73.xsrv.jp)
ゼロから始めるボードゲーム制作
URLﾘﾝｸ(trap.jp)
ボードゲームはどう作るのか、自分なりに考えた
URLﾘﾝｸ(roy.hatenablog.com)
カフェも急増 ボードゲームにアラサーがハマる理由
URLﾘﾝｸ(style.nikkei.com)
ボードゲームの展示イベント「ゲームマーケット」の成長記録からこれからの
市場に必要なことを妄想してみた。6年間の来場者数推移（2016年4月時点調べ）
URLﾘﾝｸ(bodoge.hoobby.net)
ボードゲーム市場がクラウドファンディングの出現で急成長を遂げ市場規模を拡大中
URLﾘﾝｸ(gigazine.net)
「29歳既婚、2年前に会社を辞めた。ボードゲーム作りを始めて3700万円を
売り上げたけど何か聞きたいことはある？」回答いろいろ
URLﾘﾝｸ(labaq.com)
日本ボードゲーム界の異端児に聞く！ボードゲームデザイナーとして生きていくには？
URLﾘﾝｸ(bodoge.hoobby.net)
1014:１３２人目の素数さん
18/05/01 01:05:50.88 baxIlkWU.net
高木さん、どうして奇数完全数の証明にこだわり続けるんですか？
こんなことを続けたところで、批判や嘲笑を受けるだけであることは目に見えています。
これまでの論文とか、過去のやり取りなんかを見ても、
貴方が数学の証明に向いた性格だとは思えないんです。
別のことに時間と労力を費やした方が、貴方にとっても有意義だと思うのですが…
1015:１３２人目の素数さん
18/05/01 04:48:22.89 hNKQFh3S.net
>>973
＞命題3→命題1∧命題2 は真ではない。
何故こういえるのですか。
命題1⇔命題2⇔命題3
だと思いますが。
1016:１３２人目の素数さん
18/05/01 06:34:05.20 A97hj4SO.net
AならばB を示しても BならばA を示したことにはならないのは常識ですし
数学に詳しい人がなぜそんな当たり前のことを聞いてくるのか理解できませんが
高木氏が納得しないとしても、それをわざわざ説明する気はありません
もうそれまでのことです
1017:１３２人目の素数さん
18/05/01 14:35:01.20 Dy8YrjwQ.net
藁
1018:１３２人目の素数さん
18/05/01 20:28:14.69 j0nnsw/w.net
>>970
x=3…①
①を3倍すると、3x=9。よって、3x=3^2…②
①の結果を②に代入すると、xx=x^2。即ち、x^2=x^2…③
③は任意のｘで成立する。従って、ｘは不定である。
…って言ってるのに似てますよ。
1019:１３２人目の素数さん
18/05/02 17:39:02.40 ywd2imW/.net
そっか
1020:１３２人目の素数さん
18/05/02 21:42:53.41 79Orz7WT.net
おわかりいただけただろうか
1021:１３２人目の素数さん
18/05/03 00:41:55.62 m6Zeim/D.net
わかりません！
1022:￥
18/05/03 18:17:03.01 J8oAAFtV.net
￥
1023:
1024:￥
18/05/03 18:17:22.19 J8oAAFtV.net
￥
1025:￥
18/05/03 18:17:41.22 J8oAAFtV.net
￥
1026:￥
18/05/03 18:17:58.57 J8oAAFtV.net
￥
1027:￥
18/05/03 18:18:16.40 J8oAAFtV.net
￥
1028:￥
18/05/03 18:18:34.65 J8oAAFtV.net
￥
1029:￥
18/05/03 18:18:54.17 J8oAAFtV.net
￥
1030:￥
18/05/03 18:19:14.34 J8oAAFtV.net
￥
1031:￥
18/05/03 18:19:37.65 J8oAAFtV.net
￥
1032:￥
18/05/03 18:20:00.05 J8oAAFtV.net
￥
1033:１３２人目の素数さん
18/05/03 18:40:36.50 T9KftQPC.net
緊急哲也速報です。緊急哲也速報です。
1034:１３２人目の素数さん
18/05/03 20:30:29.69 /I8xyrax.net
n=1のときのみ完成
1035:１３２人目の素数さん
18/05/03 20:38:24.05 9mW/bMs8.net
おめでとう
1036:１３２人目の素数さん
18/05/03 21:41:03.69 YZLs6TcN.net
次スレは↓使い切るまで立てるなよ
最古の未解決問題が解決されたのか
ｽﾚﾘﾝｸ(math板)
1037:１３２人目の素数さん
18/05/03 21:59:41.82 /I8xyrax.net
完成したような気がした
1038:１３２人目の素数さん
18/05/03 22:00:40.80 PQNVo0sN.net
999
1039:１３２人目の素数さん
18/05/03 22:02:13.42 448gCcoO.net
最古スレを使うんだぞ、っと
1040:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 20日 6時間 5分 6秒
1041:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています