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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています