20/07/25 14:17:15 MJwYl0BZ.net
鳩ノ巣原理を使えば簡単に解ける（コロンブスの卵）問題でも
鳩を一匹減らすだけで反例が無数に見つかるのは面白いな
1037:１３２人目の素数さん
20/07/25 14:32:06 8ct1Izaa.net
発端となったレス書いておくと、これね(>>908)
>例外をみつけるだけだから、０～１間を０．１刻みにしてプログラム組んで探させた。
これだと見つからないでしょ、って話
他のやり方(とくに有理数を扱って探索や不等式の分母払った|ab+nm|≦|ma+nb|の形での探索)で見つかるのは当然
1038:１３２人目の素数さん
20/07/25 14:33:13 8ct1Izaa.net
>>984
安価ミス(>>906)
1039:１３２人目の素数さん
20/07/25 14:36:54 MJwYl0BZ.net
>>978
ところでその無数の反例はどうやって見つけたんですか？
1040:１３２人目の素数さん
20/07/25 14:37:37 /AYIHVGq.net
話に乗り遅れた……まぁだいたい理解
プログラムはちゃんと使えば強いけど正しく使わんとね
1041:１３２人目の素数さん
20/07/25 14:42:28 8ct1Izaa.net
>>983
うーん、鍵となる鳩を減らしてしまったら無数に反例が出てくるのは当然では？
今回のは、むしろ
鳩を減らしたのに「ほとんど全て」で依然成立してることが面白い、と思った
1042:１３２人目の素数さん
20/07/25 14:46:17.42 NC8cDKS2.net
イナ誰３行
1043:１３２人目の素数さん
20/07/25 14:47:59.55 8ct1Izaa.net
>>986
m/n=tanθとして
このθからπ/4ずつズラしていったものが反例になるわけだけど
それらはm/nから加法定理とtan(π/4)=1を使って計算していく
1044:１３２人目の素数さん
20/07/25 15:00:37 MJwYl0BZ.net
>>990
怪我の功名ってやつですか
すごいな
1045:１３２人目の素数さん
20/07/25 15:11:31 MJwYl0BZ.net
>>988
ある主張は十分多い数の鳩を用意すれば簡単に証明できるが、
その主張が成立するためにはその数の鳩より少なくてもよい
（鳩ノ巣原理は使えないので証明は難しい）
という類の主張があったような覚えがあるんですが、
具体例を思い出せませんでした
すみません
1046:１３２人目の素数さん
20/07/25 15:39:15.63 1FL39oBq.net
なるほど、素数を分母分子にして探索させればよかったんだな。
さっそくやってみた。（未検算ｗ）
> for(i in 1:20) F(50)
[1] 5/3 -3/5 -4 1/4
[1] 7/13 -13/7 10/3 -3/10
[1] 13/43 -43/13 28/15 -15/28
[1] 7/41 -41/7 24/17 -17/24
[1] 31/3 -3/31 -17/14 14/17
[1] 7/17 -17/7 12/5 -5/12
[1] 43/5 -5/43 -24/19 19/24
[1] 43/31 -31/43 -37/6 6/37
[1] 37/13 -13/37 -25/12 12/25
[1] 3/7 -7/3 5/2 -2/5
[1] 11/3 -3/11 -7/4 4/7
[1] 13/37 -37/13 25/12 -12/25
[1] 13/43 -43/13 28/15 -15/28
[1] 19/13 -13/19 -16/3 3/16
[1] 43/13 -13/43 -28/15 15/28
[1] 7/43 -43/7 25/18 -18/25
[1] 29/31 -31/29 30 -1/30
[1] 3/31 -31/3 17/14 -14/17
[1] 31/3 -3/31 -17/14 14/17
[1] 41/29 -29/41 -35/6 6/35
1047:１３２人目の素数さん
20/07/25 15:46:30.51 /AYIHVGq.net
草生やす前にまともな知識つけろよ
プログラムは数学的に一つの正道で排除しようとするのはアホの行
1048:いだが、アホでも数学できるようにするものではない
1049:イナ
20/07/25 18:06:17.75 LdWPvIRs.net
前>>944
>>979
5ちゃんで博士が取れるならこんな苦労も、
こんな苦労もするまいに。
1050:１３２人目の素数さん
20/07/25 19:16:35.46 zu80xtwO.net
図形を1.681の比率で縮小したいのですが、どういう数値をかけたらいいでしょうか？
1051:１３２人目の素数さん
20/07/25 19:20:23.40 en9Xbm4/.net
>>996
1/1.681 をかければよい。
1052:１３２人目の素数さん
20/07/25 19:21:10.97 MJwYl0BZ.net
ax = b が解けないってことか？
1053:１３２人目の素数さん
20/07/25 19:24:08.83 en9Xbm4/.net
>>998
ax=b を解けばいいということがわからないのかもしれません。
1054:１３２人目の素数さん
20/07/25 19:25:17.75 zu80xtwO.net
解決すました(´・ω・`)
1055:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 36日 18時間 2分 38秒
1056:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています