- 1 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 20:12:01 ID:QSsw4R/8.net]
- 過去ログ置き場(1-16問目)
www3.tokai.or.jp/meta/gokudo-/omoshi-log/
まとめwiki
www6.atwiki.jp/omoshiro2ch/
1 cheese.5ch.net/test/read.cgi/math/970737952/
2 natto.5ch.net/test/read.cgi/math/1004839697/
3～6「datが存在しません。」
7 science2.5ch.net/test/read.cgi/math/1064941085/
8 science3.5ch.net/test/read.cgi/math/1074751156/
9 science3.5ch.net/test/read.cgi/math/1093676103/
10 science4.5ch.net/test/read.cgi/math/1117474512/
11 science4.5ch.net/test/read.cgi/math/1134352879/
12 science6.5ch.net/test/read.cgi/math/1157580000/
13 science6.5ch.net/test/read.cgi/math/1183680000/
14 science6.5ch.net/test/read.cgi/math/1209732803/
15 science6.5ch.net/test/read.cgi/math/1231110000/
16 science6.5ch.net/test/read.cgi/math/1254690000/
17 kamome.5ch.net/test/read.cgi/math/1284253640/
18 kamome.5ch.net/test/read.cgi/math/1307923546/
19 uni.5ch.net/test/read.cgi/math/1320246777/
20 wc2014.5ch.net/test/read.cgi/math/1356149858/
21 wc2014.5ch.net/test/read.cgi/math/1432255115/
22 rio2016.5ch.net/test/read.cgi/math/1464521266/
23 rio2016.5ch.net/test/read.cgi/math/1497416499/
24 rio2016.5ch.net/test/read.cgi/math/1502016223/
25 rio2016.5ch.net/test/read.cgi/math/1502032053/
26 rio2016.5ch.net/test/read.cgi/math/1518967270/
27 rio2016.5ch.net/test/read.cgi/math/1532793672/
28 rio2016.5ch.net/test/read.cgi/math/1540739963/
29 rio2016.5ch.net/test/read.cgi/math/1548267995/
なお、削除依頼は不要です。
※前スレ
面白い問題おしえて～な 30問目
https://rio2016.5ch.net/test/read.cgi/math/1572866819/
- 357 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 10:37:54.73 ID:ekmNRCqQ.net]
- ダメだ。すぐにはわからない。
もう問題のレベル下げます。>>328改
連続関数f,g:[0,1]→[0,1]があり、
f^(-1)(0)=g^(-1)(0)={0}、
f^(-1)(1)=g^(-1)(1)={1}、
である時、連続関数p,q:[0,1]→[0,1]であって
p(0)=q(0)=0, p(1)=q(1)=1, f(p(t))=g(q(t)) ∀t
を満たすものがとれるか？
ただしf,gは区分的に線形(pl)とする。
コレで肯定的に解決します。
有界変動では無理なのかな？
- 358 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 10:39:54.56 ID:ekmNRCqQ.net]
- >>341
補足。
PLの区分は有限個までです。
- 359 名前：１３２人目の素数さん [2020/02/14(金) 11:55:32.12 ID:UISPIlpq.net]
- >>340
君が見たという本が嘘なんじゃない？
- 360 名前：１３２人目の素数さん [2020/02/14(金) 11:58:33.09 ID:UISPIlpq.net]
- >>341
- 361 名前：>ただしf,gは区分的に線形(pl)とする。
めっちゃレベル下げすぎだな [] - [ここ壊れてます]
- 362 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 12:00:56.70 ID:rp7n7TvM.net]
- >>343
本では設定なしなんですよ。
ただ連続とだけ。
さすがにそれは無理だろうと。
数学的な面白さは激減しますがとりあえずplはら大丈夫、どこまで突っ込めるのかは謎。
- 363 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 12:12:29.42 ID:ZE8w945W.net]
- 奇跡の数「142857」に隠された神秘を知っていますか
https://gendai.ismedia.jp/articles/-/51045
- 364 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 12:43:58.29 ID:8zGfmT3q.net]
- plから条件をゆるめるとしても『区分的に広義単調』あたりが限界じゃないかな…
関数の値が無限回上下することを許してしまうと、どうしても>>330みたいな例が作れてしまうと思う。
逆に関数値の上下が有限回であれば、問題なくできそう（証明は多少面倒かもだけど）
- 365 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 13:02:47.54 ID:rp7n7TvM.net]
- まぁplまでかな？
変に広げてもgeneral nonsenseかも。
- 366 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 13:04:38.80 ID:8zGfmT3q.net]
- 待て、逆に『どの区間においても定数ではない』という条件でもいけるか？
単に成り立ちそうだから書いてみただけで、確かめた訳ではないけど
- 367 名前：１３２人目の素数さん [2020/02/14(金) 14:43:01.01 ID:G8wZZuo4.net]
- 所持金が一万円の貧乏人が、金持ちの友達相手に掛け将棋を持ちかけた
一局ごとに一万円を掛けた2n+1番勝負で、どちらかが先にn+1勝した時点で終了とする
ただし、貧乏人だけは途中で一番でも負け越した時点で所持金を失い続行不可能となる
実力は互角で、引き分けはないものとする
貧乏人が得する確率は？
- 368 名前：１３２人目の素数さん [2020/02/14(金) 14:53:50.89 ID:UISPIlpq.net]
- >>345
>本では設定なしなんですよ。
本が嘘
あるいは君が条件読み落とし
- 369 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 15:28:01.36 ID:ekmNRCqQ.net]
- 僧が3人だとダメなのかな？
- 370 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 15:34:23.96 ID:ekmNRCqQ.net]
- >>350
貧乏人も金持ちも途中で降りるのはなし？
必ずどちらかがn+1勝するか、貧乏人が負け越すかまで続けられる？
- 371 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 16:23:42.86 ID:ekmNRCqQ.net]
- >>350
貧乏人の獲得賞金をXとする。
最初に貧乏人がi勝する事象をAiとして
E(X|Ai)=iである事をnとiについての帰納法で示す。
n=1では明らか。
またi=nでも明らか。
n<Nで正しいとしてn=Nとしi>Iで正しいとしてi=Iとする。
このとき
E(X|Ai)=
1/2 E(X|Ai ∧ i+1回戦は貧乏人勝ち)
+ 1/2 E(X|Ai ∧ i+1回戦は貧乏人負け)
である。
右辺第1項は帰納法の仮定により(i+1)/2である。
第2項はnが1少ない場合の貧乏人がi-1連勝した状況と同じになるのでやはり帰納法の仮定から(i-1)/2である。
よって主張は示された。
特にi=0の場合により貧乏人の獲得賞金の期待値は0。□
- 372 名前：イナ mailto:sage [2020/02/14(金) 16:44:46.29 ID:Glw+icxw.net]
- 前>>327ふ～ゆ～に～ぉ～ぼえ～た～♪ う～た～ぉ～わ～すれ～て～♪ す～と～ぉ～ぶ～のな～か～♪ の～こ～ぉ～た～せき～ゆ～♪
/＿/人人_/＿/＿人人＿
/_（＿)_)/＿/（_^＿)_
/_（_(＿)/＿/（_^＿)_
/_（(`o')/＿/（o^) )_
/_（_υ_)┓_/（_υ_)┓
/◎ﾞυ┻-◎ﾞ◎ﾞυ┻-◎ﾞ_/＿ｷｺｷｺ……_/＿ｷｺｷｺ……_/＿/＿/＿/＿/＿/＿/＿/＿>>292メネラウスの定理で考えてたんだけど>>312はAとHが重なって描けないよね。こんな難しい作業やらせるか？
- 373 名前：１３２人目の素数さん [2020/02/14(金) 17:35:32.44 ID:VcIiPg2O.net]
- >>354
0なわけねーだろ
- 374 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 17:51:01.49 ID:ekmNRCqQ.net]
- 獲得金額ってもちろん参加費差っ引いた額ね。
具体的に書いてみればわかる。
以下Aを貧乏人、Bを金持ちとしてAのw勝l負をw/lで表す。
その時のAの獲得金額xと確率pでおわるときx(p)であらわす。
n=0のとき
1/0→1(1/2)、0/1→-1(1/2)
∴ 期待値0
n=1のとき
2/0→2(1/4)、2/1→1(1/8)、1/2→-1(1/8)、0/1→-1(1/2)
∴期待値0
n=2のとき
3/0→3(1/8)、3/2→2(1/4)、3/1→1(2/32)、
2/3→-1(2/32)、1/2→-1(1/8)、0/1→-1(1/2)
∴期待値0
- 375 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 17:56:55.14 ID:ekmNRCqQ.net]
- あ、問題文は
貧乏人が得する確率は
か。
期待値求めるんじやないのね。
- 376 名前：１３２人目の素数さん [2020/02/14(金) 18:13:54.83 ID:G8wZZuo4.net]
- >>353
途中で降りるのはなし
>>354
期待値はおっしゃる通り
期待値が0なのに、貧乏人は負けてもたった一万で済み勝てばそれ以上が得られるのは、
得する確率は小さいが勝った時のリターンが大きい勝負をしているからだ
この得になるケースが起こる確率はいくらか？が実は聞きたかった
- 377 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/02/14(金) 19:24:24 ID:Glw+icxw.net]
- ∥人人∥前>>355
（_(＿)>>292裏技がある
（(-.-)のか ∩∩
（っγ)ﾞな (^o^))⌒ヾ,
（⌒⌒) ？ υυ`υυ~
~~~~~~~~~~~~~~~
メネラウスとか。
- 378 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 19:35:09 ID:ekmNRCqQ.net]
- >>359とすると
(2^(2n)-C[2n+1,n])/2^(2n+1)
かな？
カタラン数計算するのと同じテク。
- 379 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 20:19:34.18 ID:ekmNRCqQ.net]
- あ、違う。
C[2n+1,n]/2^(2n+1)
- 380 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 20:43:56.77 ID:ekmNRCqQ.net]
- 気持ちよく期待値0になっておおぉぉぉと思ったけど当たり前なのか‥‥
- 381 名前：１３２人目の素数さん [2020/02/14(金) 21:22:52 ID:G8wZZuo4.net]
- >>362
正解！！！
次のように問題を改変する
貧乏人が途中で負け越しても借金して続け、どちらかが先にn+1勝しても2n+1番まで続ける
そのときに、貧乏人が途中で負け越すことなく勝ち越しで終わる場合を考える
勝敗条件はまったく変わらないので上記の確率を求めればいい
途中で一度は負け越してから勝ち越しで終わる場合、途中に初めて負け越した黒星が必ずある
その黒星より後で二番以上の勝ち越しがあることにより最後は勝ち越しとなる
このときもしその黒星より後の星の勝敗が逆であれば三番以上の負け越しで終わる
逆に、三番以上の負け越しで終わる場合、途中に初めて負け越しとなった黒星が必ずあり、
その後に二番以上の負け越しがあることで三番以上の負け越しで終わるので、
その勝敗が逆なら、途中の負け越しから二番以上を返し、最後勝ち越しで終わることになる
従って、途中で負け越してから勝ち越しで終わる場合と三番以上の負け越しで終わる場合は、
一対一に対応し、その確率は等しい
題意の確率=途中で負け越すことなく勝ち越しで終わる確率
=勝ち越しで終わる確率-途中で負け越してから勝ち越しで終わる確率
=勝ち越しで終わる確率-三番以上の負け越しで終わる確率
=勝ち越しで終わる確率-(負け越しで終わる確率-一番の負け越しで終わる確率)
=1/2-(1/2-n勝する確率)=n勝する確率=C[2n+1,n]/2^(2n+1)
- 382 名前：イナ mailto:sage [2020/02/14(金) 21:41:52.84 ID:Glw+icxw.net]
- 前>>360
>>292
OA=tとすると、
OA･OB=1よりOB=1/t
AB=OB-OA=1/t-t
- 383 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 21:48:27.27 ID:R20D62da.net]
- n ＝１～７で虱潰しにプログラムに数えさせて頻度を出してみた。
> data.frame(n,p)
n p
1 1 0.3750000
2 2 0.3125000
3 3 0.2734375
4 4 0.2460938
5 5 0.2255859
6 6 0.2094727
7 7 0.1963806
- 384 名前：１３２人目の素数さん mailto:sage [2020/02/14(金) 22:26:53.90 ID:R20D62da.net]
- C[2n+1,n]/2^(2n+1)
に代入すると、
> choose(2*n+1,n)/(2^(2*n+1))
[1] 0.3750000 0.3125000 0.2734375 0.2460938 0.2255859 0.2094727 0.1963806
同値。プログラムでのカウント漏れはなさそう。
- 385 名前：哀れな素人 [2020/02/14(金) 22:49:27.49 ID:ENo7Ubcw.net]
- >>312に書いたことは間違いだったので訂正しておく。
PB、DB、QBと小円との交点をE、F、G、
GからQOに平行に引いた平行線と、AB、小円との交点をH、I
IFとPBとの交点をJとすると、△JFB∽△HGBで、
この二つの三角形は出題の三角形とも相似。
但し△OQB∽△HGBだけは明らかだが、
その他の相似は、今のところ、示せない。
もしかしたら小円など利用しなくても解けるのかもしれない。
- 386 名前： 【中吉】 mailto:sage [2020/02/15(土) 00:55:59 ID:UO46pwdD.net]
- 前>>365小円なん ∩∩
((-_-)か思いつ (^_^))
[￣]c) かんやろ。U⌒U､
￣￣]/＼___∩∩ノ (γ)
____/＼/,,(`.`))⌒ヾU
￣￣＼/彡`-`ﾐυ`υυ|
￣￣|＼_U,~⌒ヽ___/ |
□ | ∥￣~U~U~￣∥ |
____| ∥ □ □ ∥ |/
_____`∥_________∥／
- 387 名前：１３２人目の素数さん [2020/02/15(土) 08:06:57.62 ID:zzpS6PjC.net]
- あるカジノに次のようなカードゲームがある
n枚のカードがあり、親は裏に互いに異なる数を書き込み、よく切って重ねて伏せる
プレーヤーは一枚ずつカードをめくり、好きなところで止める
また、途中で止めずに最後の一枚をめくった場合はそこで止める
止めたときのカードが親が書き込んだ最大の数であるとき、プレーヤーの勝ちとなる
プレーヤーは次のような作戦で止める箇所を決めることにした
m枚目までは止めない
m+1枚目からは、それまでに見た最大の数を超えていたら止めて、そうでなければ止めない
この方法を使ったとき、勝率はいくらか？
nが大きいとき、上記勝率の最大はいくらか？
- 388 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 10:51:21.54 ID:JNGZDcu7.net]
- >>349 が気になって夜も眠れないから正式に投稿（眠れたけど）
もちろん自分では未解決。
↓↓ここから問題↓↓
連続関数 f,g:[0,1]→[0,1] は f^-1({0})=g^-1({0})={0}, f^-1({1})=g^-1({1})={1}, を満たし、
どの区間 [a,b] (0≦a<b≦1) においても定数でない。
この時、連続関数 p,q:[0,1]→[0,1] であって、p(0)=q(0)=0, p(1)=q(1)=1 かつ
f(p(t))=g(q(t)) (∀t∈[0,1]) を満たすものは存在するか。
↑↑ここまで問題↑↑
[0,1]^2 の部分集合Sを S = { (x,y)∈[0,1]^2 : f(x)=g(y) } とおくと、
二点(0,0)と(1,1)がSの同じ連結成分に属することは証明できる。
この問題は、この二点が同じ『弧状』連結成分に属するかどうか、と言い換えられる。
- 389 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 11:25:04.01 ID:JNGZDcu7.net]
- 難問ばかりなのもアレなので解決済みのものを１つ
連続関数 f:R→R は非可算個の点で極大値をとり得るか。
- 390 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 11:32:43 ID:JNGZDcu7.net]
- >>372
しまった、ここでは関数 f が点 x_0 で極大値をとるとは、
x_0 のある開近傍 U が存在して
x∈U かつ x≠x_0 ならば f(x)<f(x_0)
を満たすこととします。
- 391 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 11:44:39 ID:h/D6xsZJ.net]
- >>372
不可能。
極大値をとるx=aの集合をSとする。
Sの元aに対し開集合Uaをf(a)がUaにおいてmaxとなるようにとると異なるa,bに対してUaとUbはdisjoint。
さらにUaから有理数qaを選べばqはSからQへの単射を与える。
- 392 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 11:45:52 ID:h/D6xsZJ.net]
- あ、勘違い>>374は無かった事にorz
- 393 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 11:52:00 ID:h/D6xsZJ.net]
- 逆だな。
Rは可分なので可算近傍系Cをとれる。
C'={U∈C|fはCで狭義の最大をとる。}
m:C'→{極大点}をm(U)=(最大値をとる点)
で定めればこれは{極大点}への全射を与える。
- 394 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 12:34:02 ID:JNGZDcu7.net]
- >>376
正解！お見事
- 395 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 14:24:30 ID:p5FKhw4y.net]
- >>370
ざっと考えて(n-m+1)/n
- 396 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 14:52:02 ID:dftQOULi.net]
- m≦k≦n-1に対して
p(プレーヤー勝ち|k+1枚目が最大)
=p(1～k枚目までの最大が1～m枚目にある)
=m/k
だから
pm:=
- 397 名前：
p(プレーヤー勝ち)
=1/nΣ[m≦k≦n-1] m/k
よって
p(m+1)-pm
= 1/n(Σ[m+1≦k≦n-1] 1/k -1)。
∴ p(m+1)-pm>0⇔ Σ[m+1≦k≦n-1] 1/k > 1
ここで
Σ[m+1≦k≦n-1] 1/k
=∫[m+1,n] 1/[x] dx
> ∫[m+1,n] 1/[x] dx
=log n/(m+1)、
Σ[m+1≦k≦n-1] 1/k
=∫[m+1,n] 1/[x] dx
<∫[m+1,n] 1/(x-1) dx
=log (n-1)/m
とlog(n-1)/m < log n/mによりpmが最大となるのはm=[n/e]のとき。 [] - [ここ壊れてます]
- 398 名前：イナ mailto:sage [2020/02/15(土) 15:56:25.82 ID:UO46pwdD.net]
- 前>>369
>>370
まずm/nの確率でm枚目までに最大が出てるから絶対に負ける。
勝つ確率の最大値は1-m/n
問題はm+1枚目からn枚目までのm-n枚を引く途中で今まで見た最大を見てしまい、残りの枚数で最大が出る可能性を残したままゲームを終わらせてしまうこと。
m+k枚目で今まで見た最大が出たとすると、
(m+k)/n
まだ勝つかわからない。
勝つ確率k/(n-m)
(n-m-k)/(n-m)は負ける。
トータルで負ける確率は、
m/n+(n-m-k)/(n-m)
{m(n-m)+n(n-m-k)}/n(n-m)
=(n^2-m^2-nk)/n(n-m)
トータルで勝つ確率は、
k/n
これらが足して1だから、
(n^2-m^2-nk)/n(n-m)+k/n=1
n^2-m^2-nk+k(n-m)=n(n-m)-m^2-mk=-mn
k=n-m
∴勝つ確率=(n-m)/n
=1-m/n
だからこれは最大値だって。
(n-m)/nより小さい。
今まで見た最大値ならそこで見切るって言ってんだから勝つ確率は1-m/nより確実に小さい。
(n-m)/nを掛ければいいのか？
勘で(1-m/n)^2
- 399 名前：イナ mailto:sage [2020/02/15(土) 19:22:55.66 ID:UO46pwdD.net]
- 前>>380
>>370
勝つ確率は1-m/nでnがじゅうぶん大きいとき1に近づく、つまり限りなく100％勝つ。
- 400 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 21:28:32.82 ID:Xfawjoh3.net]
- p(プレーヤー勝ち)=1/nΣ[m≦k≦n-1] m/k
って狽Oしたきれいな式にはならないのか。
- 401 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 21:59:36.07 ID:cY6cTvWp.net]
- 自然数の逆数和ならディガンマ関数による表示法があるぞ
https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%82%AC%E3%83%B3%E3%83%9E%E9%96%A2%E6%95%B0
- 402 名前：イナ mailto:sage [2020/02/15(土) 22:03:44.86 ID:UO46pwdD.net]
- 前>>381
>>379たとえば親が同じスートのA,2～Q,Kのカードを1枚ずつ持ってたら、
13/e=4.……だから、
5枚目以降に最大値が出るやいなや勝負に出たほうが勝つ確率が高いってこと？
- 403 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 22:31:34 ID:h/D6xsZJ.net]
- >>384
この問題の設定はあくまで子が親の数を選ぶ分布について知りようがないという設定。
もちろん親が1～13の整数しか選ばないという情報があるならKが出てストップかけないのはバカ。
しかしその手の情報はなく、単に出た数の大小しか情報がないという設定。
そして親の数の選び方の分布が問題に与えられてないので本来解答不可能。
例えば親が常に単調増加になるように数を選ぶのなら子が勝てるのはm=n-1だけだし、常に単調減少に選ぶならm=0しか子は勝てない。
しかしそんな事は多分数学科卒でないとわからないだろうから、その辺はエスパーしないといけない。
>>379の解答は親の数の選び方の分布がn!通りある大小の分布が同様に確からしいという仮定を追加した場合の解答。
例えば親のn枚のカードの数をiidで選んだ場合などでは通用する。
- 404 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/02/15(土) 22:33:20 ID:UO46pwdD.net]
- 前>>384いや、それは変だぜ。ジャックやクイーンが5枚目に出て、まだキングが出てないのに飛びついたら負けじゃないか。
mを1にしてnを最大にしてなるべく長く待つスタンスをとるにしても、肝心のキングが来なきゃ意味がない。
- 405 名前：１３２人目の素数さん [2020/02/15(土) 23:12:42.69 ID:zzpS6PjC.net]
- >>379
正解！素晴らしい！
>>378
>>380-381
残念ながら不正解！
");
//]]>-->
- 406 名前：5" rel="noopener noreferrer" target="_blank" class="reply_link">>>385
ランダム性を持たせるため「よく切って重ねて伏せる」という文を入れておいた
これによりn!通りある順位のパターンは同様に確からしいと言えると思う []- [ここ壊れてます]
- 407 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 23:35:24.23 ID:Xfawjoh3.net]
- >>383
狽謔闌ｩた目が複雑そう
- 408 名前：イナ mailto:sage [2020/02/15(土) 23:48:38.54 ID:UO46pwdD.net]
- 前>>386
>>379はlog{(n-1)/m}かlog{n/(m+1)}かどっちが答えなの？
- 409 名前：１３２人目の素数さん mailto:sage [2020/02/15(土) 23:55:44.95 ID:cY6cTvWp.net]
- >>388
ガンマ関数の微分をって閉じた形で書ける利点があるにしろ、確かにそう捉えるのも自然だけれども
指数関数や多項式、あとそれらの積みたいに、部分和が閉じた形で書ける関数って案外少ないからなあ
- 410 名前：１３２人目の素数さん mailto:sage [2020/02/16(日) 00:23:17.40 ID:M7sc9CPo.net]
- >>388
いや、見た目は簡単で
p(プレーヤー勝ち)=(m/n)(ψ(n)-ψ(m))
この極限はディガンマ関数の漸近公式ψ(n)=log(n)+O(1/n)より
=(m/n)(log(n/m)+O(1/n)+O(1/m))
=-xlog(x)+O(1/n), x=m/n
- 411 名前：１３２人目の素数さん mailto:sage [2020/02/16(日) 03:06:22.72 ID:i66c5anA.net]
- >>279です。
残念ながら計算間違いがあった。
Σ[1/m+‥1/(n-1)>1を満たす最大のmまではあってるけどこの方程式解き損なってる。
mのよりよい近似値として
m=[(n-1/2)/e+1/2]
は出せるけど、>>279よりはマシなだけでこれでもずれる。
(計算機使ってみると100項中1こずれてた)
>>370は完全に正確に答え解こうとすれば既出のディガンマ関数とかその逆関数とか使わないと無理かもしれない。
- 412 名前：哀れな素人 [2020/02/16(日) 16:46:27.64 ID:mvTUUaXe.net]
- >>292の問題について考えていて思い付いた問題をひとつ。
中心をＯとする半径１の円があり、半径上に任意の点Ａがある。
ＯＡの延長上にＯＡ・ＯＢ＝１となる点Ｂを作図せよ。
- 413 名前：哀れな素人 [2020/02/16(日) 16:50:34.08 ID:mvTUUaXe.net]
- ついでだから、もう一問。
↓この問題には別解がある。それを示せ。
https://www.youtube.com/watch?v=ejtPSxoUlRo
但し、コメント欄にある別解は禁止。
コメント欄の別解とは違う別解を挙げよ。
- 414 名前：１３２人目の素数さん mailto:sage [2020/02/16(日) 17:33:40 ID:dzgTO0Y1.net]
- >>393
そう言うのを円による反転という。
初等幾何のイロハのイ。
- 415 名前：哀れな素人 [2020/02/16(日) 23:22:28 ID:mvTUUaXe.net]
- 反転。初耳なので少し調べたが、>>393の問題とは関係ない（笑
ま、ここの連中は初等幾何の問題などバカにして答えないだろうと思っていた（笑
- 416 名前：１３２人目の素数さん mailto:sage [2020/02/16(日) 23:24:45 ID:KKT7Tfzq.net]
- 調べてわからないのか。
馬鹿だなぁ。
- 417 名前：１３２人目の素数さん mailto:sage [2020/02/16(日) 23:26:34 ID:uZMfv53j.net]
- 半直線に垂直に線引いて交点での接線を引き、半直線との交点をとるだけだろ
- 418 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 00:35:40.51 ID:ZSzGQZkQ.net]
- あと連続関数絡みで、前スレだったかで置き去りにされてた問題（を改編したもの）も出題しておこうかな
以前のものと同様、未解決ですが
次を満たす関数 f:R^2→{1,2,…,n} が存在するような正の整数nのうち、最小のものを求めよ：
連続関数 p:[0,1]→R^2 について、もしpとfの合成が定関数ならばpも定関数である。
- 419 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 00:44:07.68 ID:uYhhJbB7.net]
- >>396
>393そのものじゃん
- 420 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 01:00:57.74 ID:7wYuJpOT.net]
- 反転でトレミーの定理証明
https://www.youtube.com/watch?v=bJOuzqu3MUQ
- 421 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 01:04:28.82 ID:IBQ0KY2w.net]
- >>396
長さaの線分の逆数1/aを作図せよという問題なら
検索キーワードは"作図 逆数"で解答がたくさん出てくる
四則演算と平方根は作図可能というのが作図の基礎知識
- 422 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 02:03:49 ID:kdGYKNgW.net]
- >>399
a:(0,1)×(0,1)→(0,1)を二進表示を交互に編み込む連続関数とする。
さらにb(x,y)=((atan(x)+2)/4,(atan(y)+2)/4)とする。
g:(0,1)→{1,2}をQ∩(0,1)の特性関数とする。
f=gabと定める。
p:(0,1)→R^2が定数でない連続関数とするとabpも定数でない連続関数である。
この時任意の相異なる有理数の間には無理数が存在する事と相異なる無理数の間には有理数が存在する事からgabpは定数でない。
よってfpも定数でない。
よって求める最小値は2。
- 423 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 02:42:01 ID:/HnwZz/g.net]
- あ、しまった。
aは連続じゃないや。>>403は撤回します。
- 424 名前：哀れな素人 [2020/02/17(月) 09:41:46.56 ID:XLoZlq8v.net]
- >>393の問題は、円による反転とか、そんな難しい問題ではない（笑
単に方べきの定理の応用問題である（笑
それに初等幾何のイロハのイというが、
反転なんて小中高でも習ったことはない（笑
それを「初等幾何のイロハのイ」と書いているところに、
お前らの虚栄心が現れている（笑
もちろん>>402のように考えて解いてもいいが、もっと簡単な方法がある。
ＯからＯＡに垂直な直径を引き、円との交点をＰ、Ｑとし、
ＰＡの延長と円との交点をＲとし、
ＱＲの延長とＯＡの延長との交点をＢとすると、Ｂが求める点である。
- 425 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 10:18:39.50 ID:/HnwZz/g.net]
- 虚栄心しかないやつが何言ってんの？
こんなもん理系の人間で知らん人間いない常識問題だっていってんだよ？
検索したらアホほどでてくるやろが？
こんな常識問題でも知らないで出すのはしょうがない。
調べてみて頻出、常識問題だとわからないのがアホだと言ってる。
人の書いた文章理解する能力ないんかね？
そもそも一番最初にでてる>>294の証明にもでてくるやろ？
読んでないの？
読んでもわからないの？
- 426 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 10:59:33.92 ID:/HnwZz/g.net]
- >>399
未解決ですがというのは出題者も答え持ってないという意味？
- 427 名前：１３２人目の素数さん [2020/02/17(月) 11:03:00.25 ID:LXWKraH0.net]
- 別に初歩的な問題を初歩的と知らないで出題するのはいいけどね
それを指摘されて訳のわからないキレ方をするのはみっともない
- 428 名前：哀れな素人 [2020/02/17(月) 12:32:25.00 ID:XLoZlq8v.net]
- 訳のわからないキレ方をしているのはお前らの方だ（笑
僕は虚栄心のために0.99999……≠１と説いているのではないし、
検索して>>405のような答えが出て来るとも思えないし、
>>294は初等幾何的証明ではないのである。
>>394の問題にしても、お前らは、答えが分っていても、書かないだろう、
と僕は最初から思っていた（笑
なぜなら、>>393-394のような問題はお前らのプライドを傷つけるからだ。
というわけで、お前らは、僕のことは無視して、数学の腕比べに励めばよい。
しかし、お前らがどんなに優秀であろうと、0.99999……＝１だと言った途端に、
世間の聡明な人々からは、お前らは笑われる（笑
https://www.youtube.com/watch?v=47zjeq13NwY
ここでも作者は５＝4.99999……という間違いを平気で犯しているが、
お前らはこの作者と同レベルなのである。
- 429 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 12:44:25.85 ID:ZSzGQZkQ.net]
- >>407
紛らわしくて申し訳ない、そういう意味です
既に誰かが答えを与えていないかどうかまでは調べられてないです
- 430 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 13:58:19 ID:/HnwZz/g.net]
- >>409
もういいからここには書くなよ。
自分の学力がこのスレではハナクソレベルなのがなんでわから�
- 431 名前：ﾌかねぇ？
灘中の入試レベルでまだ四苦八苦してるレベルで。 [] - [ここ壊れてます]
- 432 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/02/17(月) 14:13:44 ID:K1rLSA1v.net]
- /＿/人人_/＿/＿人人＿
/_（＿)_)/＿/（_^＿)_
/_（_(＿)/＿/（_^＿)_
/_（e^) )/＿/（o^) )_
/_（υ＿)┓_/（_υ_)┓
/◎ﾞυ┻-◎ﾞ◎ﾞυ┻-◎ﾞ_/＿/＿/＿/＿/＿/＿/＿/＿/＿ｷｺｷｺ……_/＿ｷｺｷｺ……_/＿/＿/＿/＿/＿/＿/＿/＿ちょ～しっぱずれの～♪
よし晴れてきた、洗濯もん乾くぞ！ 前>>389とかいのろじうらでぇ～♪ 勝つ確率にlogはねえよ。のんだくれたかえりに～♪ 確率にlog出てきたんじゃ訳わかんねえよなぁ。しこたまはいたぁ～♪ 髭剃るか。
- 433 名前：イナ mailto:sage [2020/02/17(月) 15:33:55.02 ID:K1rLSA1v.net]
- ∥人人確率がlogって
（_(＿)どういう
（(-.-)意味なんだ？
（っγ)ﾞ
（⌒⌒)
~~~~~~~~~~~~~~~
log{n/(m+1)}が答えなのか？
- 434 名前：哀れな素人 [2020/02/17(月) 17:21:52.58 ID:XLoZlq8v.net]
- >>411
では>>292の問題の初等幾何的な証明を書いてくれ（笑
どうせ書かないだろうが（笑
何で初歩的な問題を投稿するだけで、
こんなに叩かれ嘲笑されなければならないのか（呆
荒らしをしているわけではないのに、荒らし扱いだ（呆
- 435 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 17:36:26.09 ID:Nzms6mON.net]
- >>414
だから馬鹿だっていってるんだよ。
なんで初等幾何的証明だれも書かないかわかってないだろ？
書きたくても問題文の条件だけじゃ配置が不定なのでめちゃめちゃ書きにくいんだよ。
既に>>294で証明上がってる方針を初等的に焼き直すとき∠BPD=∠BOQを示すのが気もになる。
方針として>>294のCをとってBPとCQの交点をEとしてBEOQが同一円周上にある事を利用する手があるけど、そのときBPEの位置配置とBECQの円周上の配置によって∠BPD、∠BEQ、∠BOQの位置関係が微妙に変わる。
この三角がすべて等しい時もあれば捕角を取らないといけないときも出てくる。
おそらく原題では図が与えられてて位置配置が細かく決定してるんだろう。
あなたその中の勝手な一個の位置配置決め打ちして証明してるけどそんなの証明として通用しないんだよ。
しかもそんな事しなくても複素座標とれば全部のケースひっくるめて一撃で証明できるのになんでそんな意味ない事するの？
そもそもOA・OB=1という条件見た瞬間に反転幾何学≒複素座標使ってみようと思う発想が出てこない時点であんた失格なんだよ。
もんいいからでてけよ。
あんたにこのスレの話題についていけるだけの実力はない。
スレ汚し。
- 436 名前：哀れな素人 [2020/02/17(月) 19:59:01.87 ID:XLoZlq8v.net]
- >>415
>あんたにこのスレの話題についていけるだけの実力はない。
そんなこと最初から分かっている(笑
しかしこのスレはスレタイからして難問を出すスレではないから、
初等幾何の問題を出してもいいはずなのだ。
だからスレ汚しなどと叩かれる筋合いはない。
それに>>292の問題は灘高校の入試問題だというから、
複素数など使って証明する問題ではなく、
初等幾何で解けるはずの問題なのである。
これ以上書くと荒らしだと思われるかもしれないから、ここで止める。
お前らも僕に対する嘲笑とか攻撃はここで止めるように。
もちろんやりたければどんどんやればいい(笑
- 437 名前：イナ mailto:sage [2020/02/17(月) 21:02:48.22 ID:K1rLSA1v.net]
- ∥人人∥前>>413
（_(＿)>>292も>>370も
（(-.-)納得∩∩でき
（っγ)ﾞる(^o^))⌒ヾ,
（⌒⌒)答えυυ`υυ~
~~~~~~~~~~~~~~~~~~~~~~
ではないなぁ。>>292は相似。相似比も相似条件もまだわからん。>>370は確率。すべての場合分のその場合の数。すべての場合がいくつでその場合がいくつなのかまだわからん。
- 438 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 21:52:33 ID:Nzms6mON.net]
- >>416
こいつここまで丁寧に説明してまだ何言われてるのかわからんのか。
どこまでアホなん？
- 439 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 21:55:41.85 ID:CdzYXHaY.net]
- 住処に帰るって言うのなら帰せばいいじゃないか
- 440 名前：１３２人目の素数さん [2020/02/17(月) 22:05:28.36 ID:Us7azE/m.net]
- (a-e)(b-f)=(c-e)(d-f)なるn以下の非負整数の組(a,b,c,d,e,f)はいくつあるか。
分かスレの問題
全然わからん
- 441 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 22:17:31.33 ID:Nzms6mON.net]
- >>420
それは多分解答もなんも作ってない奴が適当に文字並べただけの問題だと思う。
あのスレはわからん問題なら何書いてもいいという独特なロジックでその手の問題がよく上がってるから注意しないと。
- 442 名前：１３２人目の素数さん [2020/02/17(月) 22:28:49.03 ID:BDpnwWQY.net]
- >>421
やっぱそうだよね
一応頑張って解こうとしたけど約数の個数とかその辺を一般化しなきゃいけないっていう壁にぶち当たった
プログラム組んでOEISにぶち込んでも何も出てこないし無理ゲー
- 443 名前：イナ mailto:sage [2020/02/17(月) 22:44:22.78 ID:K1rLSA1v.net]
- >>420前>>418
(a-e)(b-f)=(c-e)(d-f)
4･3=6･2
a=6,e=2,b=4,f=1,c=8,d=3
n=8のとき、6･2=4･3もありうるから、
a=8,e=2,b=3,f=1,c=6,d=4
a=8,e=1,b=4,f=2,c=3,d=6のとき8･1=2･4で成り立つ。
もう一つあれば、
n以下の数で√n通りあるとか大胆な予想が立つけど。
- 444 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 23:26:01.19 ID:xxqdZaWU.net]
- >>422
え？そんな手があるの？あのOEISって検索できるん？
- 445 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 23:37:29.11 ID:uMEGbIOm.net]
- この数列の法則性は？
なんて聞かれたときは検索機能が重宝する
- 446 名前：１３２人目の素数さん mailto:sage [2020/02/17(月) 23:51:49.70 ID:7cIb3gS8.net]
- いいこと聞いた
- 447 名前：１３２人目の素数さん [2020/02/18(火) 00:33:40 ID:CSeACSeT.net]
- >>399
これってn＝2の場合でも難しい感じ？
- 448 名前：１３２人目の素数さん mailto:sage [2020/02/18(火) 01:08:39.46 ID:5azt0L51.net]
- >>427
いや、nが大きいほど簡単でしょ？
n=3のときのfはすぐできる。
n=2のときにfが作れるのか？が問題。
最小値は3 or 2。
- 449 名前：１３２人目の素数さん [2020/02/18(火) 01:18:51.36 ID:ZlcMzP2c.net]
- R^2の点をpathconnected componentが1点になるようないくつの部分集合に分けられるかか
R^1なら有理数と無理数でイイから
A={(x,y) | x, y∈Q} B=R^2-A
でよくない？
アーダメかy=eがB内だわ
4つに分けて
A=Q^2 B=Q×I C=I×Q D=I×I（I=R-Q）
ならいいでしょ
p1,p2:R^2→R
につなげたらいいから
しかしn=2,3でダメということはどう言えば良いのか？
- 450 名前：１３２人目の素数さん [2020/02/18(火) 01:19:22.97 ID:ZlcMzP2c.net]
- >>428
>n=3のときのfはすぐできる
どう作る？
- 451 名前：１３２人目の素数さん mailto:sage [2020/02/18(火) 01:25:15.55 ID:Ft3883nd.net]
- 某大学入試過去問改
東西に10本、南北に3n+1本の道路が碁盤の目状に走った町がある。
この町の道路は最南端にある東西に走る道路を南から順に東西0号線から東西9号線、南北に走る道路を西から順に南北0号線から南北3n号線と呼ぶ。
3の倍数3kに対し南北3k号線、東西0、3、6、9号線は大通り、その他は生活道路と呼ばれる。
各交差点には以下のような規則が定められている。
・生活道路と大通りの交差点においては、生活道路から進入する場合には左折して大通りに合流する事のみしか出来ず直進、右折はできない。大通りから進入する場合には左折して生活道路にはいるか、そのまま直進する事はできるが右折は禁止である。
・大通り、生活道路どうしの交差点では右左折、直進すべて可能である。
この町の南西端をX、北東端をYとするときのXからYへ規則に従う最短経路の数を求めよ。
原題はn=7の場合です。
- 452 名前：１３２人目の素数さん mailto:sage [2020/02/1
]
- [ここ壊れてます]
- 453 名前：8(火) 01:28:23.19 ID:luj3t+bp.net mailto: >>430
有理数×有理数は1,
有理数×無理数、無理数×有理数は2、
無理数×無理数は3にする。
コレでいけるはず。 [] - [ここ壊れてます]
- 454 名前：１３２人目の素数さん mailto:sage [2020/02/18(火) 01:32:38.77 ID:kCgJRMKU.net]
- あ、だめだ。
これだとずっと2になるかのうせいがある、
有理数×有理数は1,
有理数×無理数は2、
無理数×有理数は3、
無理数×無理数は4にする。
コレは絶対いける。
なので最小値は2か3か4。
- 455 名前：１３２人目の素数さん [2020/02/18(火) 01:49:36.24 ID:CSeACSeT.net]
- >>428
あーそういう感じなのか？
2の時はダメだと言えて
3とか4とかどうなるのか、って方向性になるかなと思ったけど
- 456 名前：１３２人目の素数さん [2020/02/18(火) 01:52:29.08 ID:CSeACSeT.net]
- >>433
あ、確かにそれで終わりだね
サンクス
- 457 名前：１３２人目の素数さん [2020/02/18(火) 02:48:18.10 ID:MiO5cL7u.net]
- >>424
n=1,2,……の時の答えをぶち込んでなんか出てきたらラッキー
|
 |
