過去ログ置き場(1-16問目)
http://www3.tokai.or.jp/meta/gokudo-/omoshi-log/
まとめwiki
http://www6.atwiki.jp/omoshiro2ch/
1 http://cheese.5ch.net/test/read.cgi/math/970737952/
2 http://natto.5ch.net/test/read.cgi/math/1004839697/
3〜6「datが存在しません。」
7 http://science2.5ch.net/test/read.cgi/math/1064941085/
8 http://science3.5ch.net/test/read.cgi/math/1074751156/
9 http://science3.5ch.net/test/read.cgi/math/1093676103/
10 http://science4.5ch.net/test/read.cgi/math/1117474512/
11 http://science4.5ch.net/test/read.cgi/math/1134352879/
12 http://science6.5ch.net/test/read.cgi/math/1157580000/
13 http://science6.5ch.net/test/read.cgi/math/1183680000/
14 http://science6.5ch.net/test/read.cgi/math/1209732803/
15 http://science6.5ch.net/test/read.cgi/math/1231110000/
16 http://science6.5ch.net/test/read.cgi/math/1254690000/
17 http://kamome.5ch.net/test/read.cgi/math/1284253640/
18 http://kamome.5ch.net/test/read.cgi/math/1307923546/
19 http://uni.5ch.net/test/read.cgi/math/1320246777/
20 http://wc2014.5ch.net/test/read.cgi/math/1356149858/
21 http://wc2014.5ch.net/test/read.cgi/math/1432255115/
22 http://rio2016.5ch.net/test/read.cgi/math/1464521266/
23 http://rio2016.5ch.net/test/read.cgi/math/1497416499/
24 http://rio2016.5ch.net/test/read.cgi/math/1502016223/
25 http://rio2016.5ch.net/test/read.cgi/math/1502032053/
26 http://rio2016.5ch.net/test/read.cgi/math/1518967270/
27 http://rio2016.5ch.net/test/read.cgi/math/1532793672/
28 http://rio2016.5ch.net/test/read.cgi/math/1540739963/
29 http://rio2016.5ch.net/test/read.cgi/math/1548267995/
なお、削除依頼は不要です。
※前スレ
面白い問題おしえて〜な 30問目
https://rio2016.5ch.net/test/read.cgi/math/1572866819/
面白い問題おしえて〜な 31問目
■ このスレッドは過去ログ倉庫に格納されています
2020/01/27(月) 20:12:01.38ID:QSsw4R/8
244132人目の素数さん
2020/02/09(日) 22:31:49.18ID:SF8a8rkr >>241 まじか、見落としてたすまない
246132人目の素数さん
2020/02/09(日) 23:08:17.31ID:BHX2wTJj247132人目の素数さん
2020/02/09(日) 23:26:59.76ID:pAXGuv7W >>239
より丁寧に説明すると、誰も座ってない状況から
場合1: 1人目が1人目(自分)の席に座る場合 (全員正しい席に座れる)
場合2: 1人目が2人目の席に座る場合 (2人目がランダムに選ばなければならない)
場合3: 1人目が3人目の席に座る場合 (2人目は正しい席に座れて、3人目がランダムに選ばなければならない)
...
場合n-1: 1人目がn-1人目の席に座る場合 (2人目からn-2人目は正しい席に座れて、n-1人目がランダムに選ばなければならない)
場合n: 1人目がn人目(最後の人)の席に座る場合 (n人目は正しい席に座れない)
の場合分けを考えます。この場合の確率はすべて等しく
P(場合1)=P(場合2)=...=P(場合n-1)=P(場合n)=1/n
であり、最後の人が座れる条件付き確率は
P(n人目がn人目の席に座る|場合1)=1
P(n人目がn人目の席に座る|場合2)=p[n-1] (∵2人目がランダムに座る座席は1人目,3人目,...n人目のn-1席⇒n-1人の状況に還元)
P(n人目がn人目の席に座る|場合3)=p[n-2] (∵3人目がランダムに座る座席は1人目,4人目,...n人目のn-2席⇒n-2人の状況に還元)
...
P(n人目がn人目の席に座る|場合n-1)=p[2] (∵n-1人目がランダムに座る座席は1人目,n人目の2席⇒2人の状況に還元)
P(n人目がn人目の席に座る|場合n)=0
となります。そしてp[n]を計算すると
p[n]=P(n人目がn人目の席に座る)
=Σ[k=1,n]P(n人目がn人目の席に座る|場合k)P(場合k)
=(1/n)+Σ[k=2,n-1]p[n-k+1](1/n)
=(1/n)+(n-2)(1/2)(1/n) (∵帰納法の仮定p[n-1]=p[n-2]=...=p[2]=1/2より)
=1/2
より丁寧に説明すると、誰も座ってない状況から
場合1: 1人目が1人目(自分)の席に座る場合 (全員正しい席に座れる)
場合2: 1人目が2人目の席に座る場合 (2人目がランダムに選ばなければならない)
場合3: 1人目が3人目の席に座る場合 (2人目は正しい席に座れて、3人目がランダムに選ばなければならない)
...
場合n-1: 1人目がn-1人目の席に座る場合 (2人目からn-2人目は正しい席に座れて、n-1人目がランダムに選ばなければならない)
場合n: 1人目がn人目(最後の人)の席に座る場合 (n人目は正しい席に座れない)
の場合分けを考えます。この場合の確率はすべて等しく
P(場合1)=P(場合2)=...=P(場合n-1)=P(場合n)=1/n
であり、最後の人が座れる条件付き確率は
P(n人目がn人目の席に座る|場合1)=1
P(n人目がn人目の席に座る|場合2)=p[n-1] (∵2人目がランダムに座る座席は1人目,3人目,...n人目のn-1席⇒n-1人の状況に還元)
P(n人目がn人目の席に座る|場合3)=p[n-2] (∵3人目がランダムに座る座席は1人目,4人目,...n人目のn-2席⇒n-2人の状況に還元)
...
P(n人目がn人目の席に座る|場合n-1)=p[2] (∵n-1人目がランダムに座る座席は1人目,n人目の2席⇒2人の状況に還元)
P(n人目がn人目の席に座る|場合n)=0
となります。そしてp[n]を計算すると
p[n]=P(n人目がn人目の席に座る)
=Σ[k=1,n]P(n人目がn人目の席に座る|場合k)P(場合k)
=(1/n)+Σ[k=2,n-1]p[n-k+1](1/n)
=(1/n)+(n-2)(1/2)(1/n) (∵帰納法の仮定p[n-1]=p[n-2]=...=p[2]=1/2より)
=1/2
248132人目の素数さん
2020/02/10(月) 00:15:28.72ID:Cj4YNvxv >>247
1人目がk人目(k>1)の席に座る場合
2人目からk-1人目までは自分の席に座るから
k人目が1人目と同様の状況になるので帰納法の仮定が使える
ただしそこでk人目が1人目と同様の状況とは
k人目が1人目の席に座ればあとは皆自分の席に座ることになるということと
k人目が座るべきだった席には1人目が座っているから今ある席からランダムに席を選ぶしかないということが
1人目が自分の席に座ればあとは皆自分の席に座ることになるということと今ある席の中からランダムに席を選ぶしかないということと同じということ
1人目がk人目(k>1)の席に座る場合
2人目からk-1人目までは自分の席に座るから
k人目が1人目と同様の状況になるので帰納法の仮定が使える
ただしそこでk人目が1人目と同様の状況とは
k人目が1人目の席に座ればあとは皆自分の席に座ることになるということと
k人目が座るべきだった席には1人目が座っているから今ある席からランダムに席を選ぶしかないということが
1人目が自分の席に座ればあとは皆自分の席に座ることになるということと今ある席の中からランダムに席を選ぶしかないということと同じということ
249イナ ◆/7jUdUKiSM
2020/02/10(月) 01:17:58.05ID:Yw6JNRbB /‖__`‖ ̄ ̄‖彡ミ、
‖∩∩ ‖ □ ‖^o^川
( (`)‖ ‖цc_)
(っ⌒⌒ 。‖╂─╂
■`(_)_)ц~ ‖╂─╂
\■υυ■___‖、\\\\\\\\\\\\\\\\\\`、\\\\\\\\\\\\\\\\\前>>243偏微分とかいっちょ前に言いたげだけど要は1対2対√3の三角定規当てれば小学校低学年で解けるってことだからな。
‖∩∩ ‖ □ ‖^o^川
( (`)‖ ‖цc_)
(っ⌒⌒ 。‖╂─╂
■`(_)_)ц~ ‖╂─╂
\■υυ■___‖、\\\\\\\\\\\\\\\\\\`、\\\\\\\\\\\\\\\\\前>>243偏微分とかいっちょ前に言いたげだけど要は1対2対√3の三角定規当てれば小学校低学年で解けるってことだからな。
250132人目の素数さん
2020/02/10(月) 02:29:53.99ID:XWhjucY0 >>218
帰納法使わなくても簡単に解けると思う。
最後の人の席をL、最初の人の席をFとする。最後の人はLに座れば勝ちとしよう。
最後の人の勝利条件は「LよりFが先に座られる」ことで、敗北条件は「FよりLが先に座られる」こと。
最初の人を含めた各着席において、FもLも同じ確率の抽選を受け続ける(最初の人や自分の席が座られている人の場合はFもLも等確率で座られるし、自分の席が空いている人の場合FもLも座られる確率は0)。
よって、勝利条件と敗北条件が等価なので答えは1/2。
帰納法使わなくても簡単に解けると思う。
最後の人の席をL、最初の人の席をFとする。最後の人はLに座れば勝ちとしよう。
最後の人の勝利条件は「LよりFが先に座られる」ことで、敗北条件は「FよりLが先に座られる」こと。
最初の人を含めた各着席において、FもLも同じ確率の抽選を受け続ける(最初の人や自分の席が座られている人の場合はFもLも等確率で座られるし、自分の席が空いている人の場合FもLも座られる確率は0)。
よって、勝利条件と敗北条件が等価なので答えは1/2。
251132人目の素数さん
2020/02/10(月) 02:42:40.39ID:XWhjucY0 各人の座る席が正しいか正しくないかという考察ほぼほぼ無しで解けるの凄く美しいね
252132人目の素数さん
2020/02/10(月) 02:47:23.31ID:70pt9AB7 >>228
の解答だが
> m-1人の正しい席が残っているか、m人全ての正しい席が残っているかどちらか。
において、m-1人の正しい席が残っているときしか考慮してないように思うのだが...
m人全ての正しい席が残っている場合は、Aが正しい席に座っていた場合で追い出す必要はなくて
このときXは番号札を持っている状態に相当する
もし勘違いだったらすまん
の解答だが
> m-1人の正しい席が残っているか、m人全ての正しい席が残っているかどちらか。
において、m-1人の正しい席が残っているときしか考慮してないように思うのだが...
m人全ての正しい席が残っている場合は、Aが正しい席に座っていた場合で追い出す必要はなくて
このときXは番号札を持っている状態に相当する
もし勘違いだったらすまん
253132人目の素数さん
2020/02/10(月) 02:58:04.66ID:FWWWRdtj >>218
児童の数をn人とする
円周上にa1からanまでn個の点をとり、
これらをいくつか結んでa1を頂点に含む内接多角形をランダムに作る
(ただし便宜上、1角形と2角形も認める)
その多角形がanを頂点に含まない確率と同じ
児童の数をn人とする
円周上にa1からanまでn個の点をとり、
これらをいくつか結んでa1を頂点に含む内接多角形をランダムに作る
(ただし便宜上、1角形と2角形も認める)
その多角形がanを頂点に含まない確率と同じ
254132人目の素数さん
2020/02/10(月) 03:00:30.77ID:421H1KJr >>250
そんな解答が成立するならどんなに先手が有利なゲームでも先手後手の勝率1/2になってしまうのでは?
例えば今回のでも最初の人も途中で席がなかった人もサイコロ振って6が出た時は正解の席、すなわち最初の人は自分の席、それ以降の人は所有者が間違った席に着席してあぶれてる席に座り、それ以外の場合のみ自由にすわるルールにすれば確率は1/2でなくなるよ。
そんな解答が成立するならどんなに先手が有利なゲームでも先手後手の勝率1/2になってしまうのでは?
例えば今回のでも最初の人も途中で席がなかった人もサイコロ振って6が出た時は正解の席、すなわち最初の人は自分の席、それ以降の人は所有者が間違った席に着席してあぶれてる席に座り、それ以外の場合のみ自由にすわるルールにすれば確率は1/2でなくなるよ。
255132人目の素数さん
2020/02/10(月) 03:04:19.87ID:Mlme5M1c256132人目の素数さん
2020/02/10(月) 03:10:38.37ID:FWWWRdtj257イナ ◆/7jUdUKiSM
2020/02/10(月) 03:14:35.56ID:Yw6JNRbB 前>>249前にx/√2にしてたx座標をxにして解きなおした。
最初に監視人がいる位置から救出地点(x,x)までの距離はx√2(m)
縁を端まで5秒、直角に曲がり、
{x-(10-x)/√3}(m)の地点まで、
{x-(10-x)/√3}(1/2)秒で行き、進行方向に対して60°の方向に飛びこんで泳ぎ、対角線上を泳いできた監視人と同時にアタックした。
(_(`.)っヾ(゜o゜)ノ゙c(`e'!彡
~~~ ~~~ ~~~ ~~~ ~~~ ~~~ ~~~
救出時間で立式すると、
x√2=5+{x-(10-x)(1/√3)}(1/2)+(10-x)(2/√3)
x√2=5+x/2-10/2√3+x/2√3+20/√3-2x/√3
x(√2-1/2-1+4)=5-10/2√3+20/√3
x=(30+10√3)/(3+2√6-√3)
=7.67326988……
x√2=10.8516423……(秒)
前にこの値出して最速じゃないとなったやつじゃないか。
最初に監視人がいる位置から救出地点(x,x)までの距離はx√2(m)
縁を端まで5秒、直角に曲がり、
{x-(10-x)/√3}(m)の地点まで、
{x-(10-x)/√3}(1/2)秒で行き、進行方向に対して60°の方向に飛びこんで泳ぎ、対角線上を泳いできた監視人と同時にアタックした。
(_(`.)っヾ(゜o゜)ノ゙c(`e'!彡
~~~ ~~~ ~~~ ~~~ ~~~ ~~~ ~~~
救出時間で立式すると、
x√2=5+{x-(10-x)(1/√3)}(1/2)+(10-x)(2/√3)
x√2=5+x/2-10/2√3+x/2√3+20/√3-2x/√3
x(√2-1/2-1+4)=5-10/2√3+20/√3
x=(30+10√3)/(3+2√6-√3)
=7.67326988……
x√2=10.8516423……(秒)
前にこの値出して最速じゃないとなったやつじゃないか。
258132人目の素数さん
2020/02/10(月) 03:33:58.76ID:b0ggZ9I3 >256
さぁ?
例えば6人だとして
325461
とすわる確率は
1/6x1x1/4x1x1/2
でこれは最後の人が自分の席に座れない場合にカウントされる軽率。
このような事象を全部足し合わせて1/2になる事を示せればいいといえばいい。
コレに3→5→6→3と結んで四角形と対応させてもいいけど確率は六角形から何点か好きに選ぶ1/64とはズレる。
さぁ?
例えば6人だとして
325461
とすわる確率は
1/6x1x1/4x1x1/2
でこれは最後の人が自分の席に座れない場合にカウントされる軽率。
このような事象を全部足し合わせて1/2になる事を示せればいいといえばいい。
コレに3→5→6→3と結んで四角形と対応させてもいいけど確率は六角形から何点か好きに選ぶ1/64とはズレる。
259132人目の素数さん
2020/02/10(月) 03:42:27.34ID:FWWWRdtj260132人目の素数さん
2020/02/10(月) 03:44:09.98ID:qRxWZgbb >>256あ、でもこの多角形論法はうまくやると1/2説明できるね。
素晴らしい。
素晴らしい。
261イナ ◆/7jUdUKiSM
2020/02/10(月) 05:26:24.31ID:Yw6JNRbB262132人目の素数さん
2020/02/10(月) 09:00:44.68ID:YjGt8s3q >>252
最初の2行は、空席の中にせいぜい一つの席しか、過ちがないということを言いたかった。
「なぜそのようなことが言えるか? 」と書き、主題をこの点の説明に当てている。
そして、その説明の延長として、
「自分の番号札を無くしたのが、1番目の人か、(後ろから数えて)m番目の人か、区別できない」
点を指摘し、m=2の時を使えば簡単に確率の計算ができるので、それを使って答えを求めている。
状況を、「m-1人の正しい席が残っている」場合と「m人全ての正しい席が残っている」場合
に分け、それぞれについて、説明を加えたわけではない。
m人が残っている状態で、「m-1人の正しい席が残っている」確率と「m人全ての正しい席が残っている」
確率を求め、数学的帰納法を用いて、答えを求める方法もあるが、>>218では、その手段を用いていない。
>> m人全ての正しい席が残っている場合は、Aが正しい席に座っていた場合で追い出す必要はなくて
>> このときXは番号札を持っている状態に相当する
これは、Xが登場するまえのだれかが、自分の席が占拠されているのを見て、適当な席に座った。ただし、
その席がたまたまAの席であって、それ以降に乗車する人たちへの悪影響がこの時点で断ち切られている状況にあたる。
もちろん、一番最初に乗車したA自身が、適当に座った座席がたまたま、本来のAの席であることも
「含まれ」はするものの、「AがAの席に座る」には完全対応はしない。
繰り返すが、「AがC、CがG、GがA」のように解決した場合であり、これには、「AがA」も含まれる。
最初の2行は、空席の中にせいぜい一つの席しか、過ちがないということを言いたかった。
「なぜそのようなことが言えるか? 」と書き、主題をこの点の説明に当てている。
そして、その説明の延長として、
「自分の番号札を無くしたのが、1番目の人か、(後ろから数えて)m番目の人か、区別できない」
点を指摘し、m=2の時を使えば簡単に確率の計算ができるので、それを使って答えを求めている。
状況を、「m-1人の正しい席が残っている」場合と「m人全ての正しい席が残っている」場合
に分け、それぞれについて、説明を加えたわけではない。
m人が残っている状態で、「m-1人の正しい席が残っている」確率と「m人全ての正しい席が残っている」
確率を求め、数学的帰納法を用いて、答えを求める方法もあるが、>>218では、その手段を用いていない。
>> m人全ての正しい席が残っている場合は、Aが正しい席に座っていた場合で追い出す必要はなくて
>> このときXは番号札を持っている状態に相当する
これは、Xが登場するまえのだれかが、自分の席が占拠されているのを見て、適当な席に座った。ただし、
その席がたまたまAの席であって、それ以降に乗車する人たちへの悪影響がこの時点で断ち切られている状況にあたる。
もちろん、一番最初に乗車したA自身が、適当に座った座席がたまたま、本来のAの席であることも
「含まれ」はするものの、「AがAの席に座る」には完全対応はしない。
繰り返すが、「AがC、CがG、GがA」のように解決した場合であり、これには、「AがA」も含まれる。
263132人目の素数さん
2020/02/10(月) 09:02:35.13ID:YjGt8s3q 上の218への引用は、>>228への引用の間違い
264132人目の素数さん
2020/02/10(月) 09:18:46.62ID:vVxwssud265132人目の素数さん
2020/02/10(月) 09:57:44.91ID:1+8rzOtr >>264
その抽選論法で本当に正しい確率計算できるのか概略ではなく厳密に書き出したものを示してください。
その抽選論法で本当に正しい確率計算できるのか概略ではなく厳密に書き出したものを示してください。
266132人目の素数さん
2020/02/10(月) 10:28:51.75ID:vVxwssud267132人目の素数さん
2020/02/10(月) 10:33:13.78ID:1+8rzOtr268132人目の素数さん
2020/02/10(月) 10:37:20.07ID:1+8rzOtr あ、戦略とかは使ってないのか。
勝利とかいってるからゲーム理論を気取ってるのかと思った。
勝利とかいってるからゲーム理論を気取ってるのかと思った。
269132人目の素数さん
2020/02/10(月) 11:18:42.13ID:70pt9AB7 >>262
ありがとう、理解できた。
ありがとう、理解できた。
270132人目の素数さん
2020/02/10(月) 11:45:00.62ID:YjGt8s3q >>218
この問題は、次の問題と対応が可能。
カードがn枚あり、それぞれに、1からnまでの数字が書かれている。
これらのカードを袋に入れる。
プレイヤーは、1からnの中から、勝ち番号と、負け番号を決め、
勝ち番号、または、負け番号が書かれているカードが出るまで、袋の中からカードを選び続ける。
勝ち番号を引いて終了する確率は? → 当然1/2と考えられます。
取り出された数字列を、適当に選ばれて座られてしまった座席番号に対応させます。
(失念か、すでに占拠されていたか、理由は問わない)
先頭の人の本当の座席番号を先に引くか、最後の人の座席番号を先に引くかが、
先頭の人の本当の座席番号を引いて横取り連鎖が途中で終了するか、
最後の人の座席番号を引いて、横取り連鎖に最後の人も引き込むかが決定され、
問題で言うところの、最後の人が正しい席に座れるか、座れないかに対応可能です。
アイデアのほとんどは >>250さんが指摘されたもので、対応がわかりやすくなるよう少々アレンジしてます。
この問題は、次の問題と対応が可能。
カードがn枚あり、それぞれに、1からnまでの数字が書かれている。
これらのカードを袋に入れる。
プレイヤーは、1からnの中から、勝ち番号と、負け番号を決め、
勝ち番号、または、負け番号が書かれているカードが出るまで、袋の中からカードを選び続ける。
勝ち番号を引いて終了する確率は? → 当然1/2と考えられます。
取り出された数字列を、適当に選ばれて座られてしまった座席番号に対応させます。
(失念か、すでに占拠されていたか、理由は問わない)
先頭の人の本当の座席番号を先に引くか、最後の人の座席番号を先に引くかが、
先頭の人の本当の座席番号を引いて横取り連鎖が途中で終了するか、
最後の人の座席番号を引いて、横取り連鎖に最後の人も引き込むかが決定され、
問題で言うところの、最後の人が正しい席に座れるか、座れないかに対応可能です。
アイデアのほとんどは >>250さんが指摘されたもので、対応がわかりやすくなるよう少々アレンジしてます。
271132人目の素数さん
2020/02/10(月) 11:50:09.16ID:KXMXye1h 日本最高学費の底辺私立医大では
1年:進級失敗10人
2年:進級失敗16人
3年:進級失敗34人
4年:進級失敗9人
5年:進級失敗10人
6年:卒業失敗26人
一学年約120〜130人前後。
同じ学年で二回留年すると退学
https://mao.5ch.net/test/read.cgi/doctor/1516439331/1
であるという。
1年次学費総額 12,145,000円 2年次以降学費(年間) 7,030,000円
1学年を125人として上記データから算出した確率(例、1年次は10/125の確率で留年)を用いて
卒業できる確率と卒業生の在学年数の期待値を求めよ。
また、退学になる確率と退学者の在学年数の期待値を求めよ。
1年:進級失敗10人
2年:進級失敗16人
3年:進級失敗34人
4年:進級失敗9人
5年:進級失敗10人
6年:卒業失敗26人
一学年約120〜130人前後。
同じ学年で二回留年すると退学
https://mao.5ch.net/test/read.cgi/doctor/1516439331/1
であるという。
1年次学費総額 12,145,000円 2年次以降学費(年間) 7,030,000円
1学年を125人として上記データから算出した確率(例、1年次は10/125の確率で留年)を用いて
卒業できる確率と卒業生の在学年数の期待値を求めよ。
また、退学になる確率と退学者の在学年数の期待値を求めよ。
272132人目の素数さん
2020/02/10(月) 11:56:54.67ID:XWhjucY0 >>254
その場合最初の人の着席においてFとLが等確率の抽選を受けていないので当然結果は変わってくると思いますが
その場合最初の人の着席においてFとLが等確率の抽選を受けていないので当然結果は変わってくると思いますが
273132人目の素数さん
2020/02/10(月) 19:42:14.18ID:yBFcK3Lr ある小学校のあるクラスでは、バスで遠足に行くことになった。
バスの座席は事前に決まっていたが、最初にバスに乗った児童が自分の座席を忘れて、任意の座席に座ってしまった。
他の児童は、一人ずつバスに乗り込み、自分の座席が空いていればその座席に、そうでなければ空いている任意の座席に座った。
クラスの人数をnとして自分の席に座れる生徒数の期待値をe[n]とするときlim e[n]/log(n)を求めよ。
自作。
できないかも。
バスの座席は事前に決まっていたが、最初にバスに乗った児童が自分の座席を忘れて、任意の座席に座ってしまった。
他の児童は、一人ずつバスに乗り込み、自分の座席が空いていればその座席に、そうでなければ空いている任意の座席に座った。
クラスの人数をnとして自分の席に座れる生徒数の期待値をe[n]とするときlim e[n]/log(n)を求めよ。
自作。
できないかも。
274132人目の素数さん
2020/02/10(月) 19:46:52.71ID:yBFcK3Lr275イナ ◆/7jUdUKiSM
2020/02/11(火) 02:59:50.00ID:EsKbfXIQ 前>>261
>>271卒業できる確率は、
8(4/23)+12.8(20/99)+(3400/99)(4/13)+(180/13)(5/14)+(125/7)(10/23)+(1300/23)
=83.7751427……(%)
在学年数の期待値は、
6(16/83.7751427……)+7{(83.7751427-16)/83.7751427}
=6.80901256(年)
退学になる確率は、
100-83.7751427……
=16.2248572……(%)
退学者の在学年数の期待値は、
1(10/125)(16/115)+2(10/125)(34/115)+3(/)+4(/)+5(/)+6(/)+7(/)もう少し。
>>271卒業できる確率は、
8(4/23)+12.8(20/99)+(3400/99)(4/13)+(180/13)(5/14)+(125/7)(10/23)+(1300/23)
=83.7751427……(%)
在学年数の期待値は、
6(16/83.7751427……)+7{(83.7751427-16)/83.7751427}
=6.80901256(年)
退学になる確率は、
100-83.7751427……
=16.2248572……(%)
退学者の在学年数の期待値は、
1(10/125)(16/115)+2(10/125)(34/115)+3(/)+4(/)+5(/)+6(/)+7(/)もう少し。
276132人目の素数さん
2020/02/11(火) 08:57:04.35ID:W39lcV+G >>275
現実世界の計算しにくい問題にも関わらずレスありがとうございます。
面倒な計算を誤答をものとのせず続けられる気力にはいつも関心します。揶揄ではありません。
で、いつもの通り、用意した答とは違います。
自作問題ですが、シミュレーション値と合致した理論値が出せました。場合分けが面倒なので場合分けもプログラムにさせました。
シミュレーションは指定の確率で乱数発生させて計算させました。
ほぼ一致する値でした。
現実世界の計算しにくい問題にも関わらずレスありがとうございます。
面倒な計算を誤答をものとのせず続けられる気力にはいつも関心します。揶揄ではありません。
で、いつもの通り、用意した答とは違います。
自作問題ですが、シミュレーション値と合致した理論値が出せました。場合分けが面倒なので場合分けもプログラムにさせました。
シミュレーションは指定の確率で乱数発生させて計算させました。
ほぼ一致する値でした。
277132人目の素数さん
2020/02/11(火) 09:56:58.51ID:5Rrv77pM >>276
補足
シミュレーションでの結果は以下の通り
> mean(RE[,2]==7) # 卒業確率
[1] 0.85482
> mean(RE[RE[,2]==7,1]) # 卒業までの在学年数
[1] 6.712606
> mean(tu(RE[RE[,2]==7,1])) # 卒業までの学費
[1] 52304621
> mean(RE[,3]==2) # 退学確率
[1] 0.14518
> mean(RE[RE[,3]==2,1]) # 退学までの在学年数
[1] 4.99139
> mean(tu(RE[RE[,3]==2,1])) # 退学までの学費
[1] 40204472
q=1-p # 留年確率,p=進級確率
(P=prod(1-q^2)) # 卒業できる確率 Π{1 - (2年連続留年確率)}
(Q=1-P) # 退学となる確率
の結果と近似しています。
補足
シミュレーションでの結果は以下の通り
> mean(RE[,2]==7) # 卒業確率
[1] 0.85482
> mean(RE[RE[,2]==7,1]) # 卒業までの在学年数
[1] 6.712606
> mean(tu(RE[RE[,2]==7,1])) # 卒業までの学費
[1] 52304621
> mean(RE[,3]==2) # 退学確率
[1] 0.14518
> mean(RE[RE[,3]==2,1]) # 退学までの在学年数
[1] 4.99139
> mean(tu(RE[RE[,3]==2,1])) # 退学までの学費
[1] 40204472
q=1-p # 留年確率,p=進級確率
(P=prod(1-q^2)) # 卒業できる確率 Π{1 - (2年連続留年確率)}
(Q=1-P) # 退学となる確率
の結果と近似しています。
278132人目の素数さん
2020/02/11(火) 10:08:53.30ID:1ttWTA4N >>273
クラスの児童には1からnまでの番号が、座席には0からn-1までの番号がついていて、
座席に座る操作は番号が大きい順に行うものとする。
ここで座席に座る操作とは、自分の番号に一致する席が空いていればそこに、
空いてなければ空席のどこかにランダムに座る動作を言う。
この時、自分の番号が座席と違うような児童の人数の期待値をe'[n]とおく。
n-eとe'の計算で唯一異なる点は、座席番号0とnの違いにより生じるもののみ。
この違いが影響するのは、最初に番号nの児童が0の座席に座る場合のみであるから、
n-e[n]=e'[n]-1/n.
最初に児童nが座席m(<n)に座った場合、次にランダム性が生じるのは児童mが来た時であるが、
その時点で残りの児童は1からm、残りの座席は0からm-1であるから、
これはm人の児童とm個の座席で行う試行と一致。
(ただしn=0の時の試行は"何もしない"ことと定める。つまりe'[0]=0. )
ゆえに、次のような漸化式が立てられる。
e'[n]=1+(1/n)Σ_(m=0,n-1)e'[m]
これより
ne'[n]-n = (n-1)e'[n-1]-(n-1) + e'[n-1]
から
e'[n] = Σ_(m=1,n) 1/m
が導かれ、求める極限値は1と計算できる。
クラスの児童には1からnまでの番号が、座席には0からn-1までの番号がついていて、
座席に座る操作は番号が大きい順に行うものとする。
ここで座席に座る操作とは、自分の番号に一致する席が空いていればそこに、
空いてなければ空席のどこかにランダムに座る動作を言う。
この時、自分の番号が座席と違うような児童の人数の期待値をe'[n]とおく。
n-eとe'の計算で唯一異なる点は、座席番号0とnの違いにより生じるもののみ。
この違いが影響するのは、最初に番号nの児童が0の座席に座る場合のみであるから、
n-e[n]=e'[n]-1/n.
最初に児童nが座席m(<n)に座った場合、次にランダム性が生じるのは児童mが来た時であるが、
その時点で残りの児童は1からm、残りの座席は0からm-1であるから、
これはm人の児童とm個の座席で行う試行と一致。
(ただしn=0の時の試行は"何もしない"ことと定める。つまりe'[0]=0. )
ゆえに、次のような漸化式が立てられる。
e'[n]=1+(1/n)Σ_(m=0,n-1)e'[m]
これより
ne'[n]-n = (n-1)e'[n-1]-(n-1) + e'[n-1]
から
e'[n] = Σ_(m=1,n) 1/m
が導かれ、求める極限値は1と計算できる。
279132人目の素数さん
2020/02/11(火) 11:06:18.93ID:zI9vXMIC >>278
正解です。
想定解答は>>222と一緒。
最後からk番目の生徒が正しい席に座れたとき0、そうでないとき1をとる変数をXkとする。
k:1〜n-1のとき
p(最後からk番目の生徒が正しい席にすわる|最初の生徒が最初の生徒の席かまたは最後からk番目の席〜最後の席に座る)
= (最初の生徒が最後からk番目の席以外に座る|最初の生徒が最初の生徒の席かまたは最後からk番目の席〜最後の席に座る)
=k/(k+1)。
p(最後からk番目の生徒が正しい席にすわる|最初の生徒が2番目の席から最後からk-1番目の席に座る)=k/(k+1)
(∵ 生徒の数が少ない場合に還元される)。
∴ p(最後からk番目の生徒が正しい席にすわる)=k/(k+1)。
∴E(Xk)=1/(k+1)
明らかにE(Xn)=(n-1)/n
∴n-e(n)=Σ[k:1〜n-1]1/(k+1)+(n-1)/n〜log(n)。
正解です。
想定解答は>>222と一緒。
最後からk番目の生徒が正しい席に座れたとき0、そうでないとき1をとる変数をXkとする。
k:1〜n-1のとき
p(最後からk番目の生徒が正しい席にすわる|最初の生徒が最初の生徒の席かまたは最後からk番目の席〜最後の席に座る)
= (最初の生徒が最後からk番目の席以外に座る|最初の生徒が最初の生徒の席かまたは最後からk番目の席〜最後の席に座る)
=k/(k+1)。
p(最後からk番目の生徒が正しい席にすわる|最初の生徒が2番目の席から最後からk-1番目の席に座る)=k/(k+1)
(∵ 生徒の数が少ない場合に還元される)。
∴ p(最後からk番目の生徒が正しい席にすわる)=k/(k+1)。
∴E(Xk)=1/(k+1)
明らかにE(Xn)=(n-1)/n
∴n-e(n)=Σ[k:1〜n-1]1/(k+1)+(n-1)/n〜log(n)。
280132人目の素数さん
2020/02/11(火) 14:17:21.08ID:7sbhOFJk オリジナルですが答えはありません。ただ気になったので投稿します
実数の配列 a[i,j] (i,j∊Z) が全ての格子点(i,j)で 4a[i,j]=a[i+1,j]+a[i-1,j]+a[i,j+1]+a[i,j-1] を満たす時、aを調和配列と呼ぶことにする。
次を満たす実数α≧0の下限はいくらか:
調和配列aが任意の格子点Xについて |a[X]|≦|X|^α を満たすならばaは定数である。ただし、|X|は点Xの原点からの距離を表す。
実数の配列 a[i,j] (i,j∊Z) が全ての格子点(i,j)で 4a[i,j]=a[i+1,j]+a[i-1,j]+a[i,j+1]+a[i,j-1] を満たす時、aを調和配列と呼ぶことにする。
次を満たす実数α≧0の下限はいくらか:
調和配列aが任意の格子点Xについて |a[X]|≦|X|^α を満たすならばaは定数である。ただし、|X|は点Xの原点からの距離を表す。
281132人目の素数さん
2020/02/11(火) 14:23:06.17ID:j1jqA7X+ >>280
違う、上限でした
違う、上限でした
282132人目の素数さん
2020/02/11(火) 14:58:24.77ID:5Rrv77pM 卒業できる確率 : 4750970704397512 / 5551115123125783 = 0.85585879575891107187420816324627437826646454687092053
退学の確率 : 800144418728271 / 5551115123125783 = 0.144141204241088928125791836753725621733535453129079468759
退学の確率 : 800144418728271 / 5551115123125783 = 0.144141204241088928125791836753725621733535453129079468759
283132人目の素数さん
2020/02/11(火) 16:55:37.06ID:CVYz5IRs 単位円上の2n個の点A1,B1,‥,An,Bnを一様独立に選び円盤をn個の線分線分A1B1,‥,AnBnで分割するとき、できる小領域の個数の期待値を求めよ。
284132人目の素数さん
2020/02/12(水) 00:29:09.72ID:Q6IpDgid285イナ ◆/7jUdUKiSM
2020/02/12(水) 02:21:36.56ID:hcOGUVCg 前>>275
>>283
n=1のとき2(個)
n=2のとき、
3(1/2)+4(1/2)=3.5(個)
n=3のとき、
4(1/8)+5(1/8)+6(1/4)+7(1/2)=(9+12+28)/8
=6.125(個)
n=4のとき最大11個、最小5個
5(1/64)+6(1/64)+7(1/32)+8(1/16)+9(1/8)+10(1/4)+11(1/2)
=(5+6+14+32+72+160+352)/64
=10.015625(個)
n=5のとき最大16個、最小6個
=(6+7+16+36+80+176+384+640+192+1280+512+2560+1280)/1024
=(7149+8192)/1024
=15341/1024
=14.9814453……
n=6のとき、最小7、最大22
7(1/2)^15+8(1/2)^15+9(1/2)^14+10(1/2)^13+11(1/2)^12+12(1/2)^11+13(1/2)^10+14(1/2)^9+15(1/2)^8+16(1/2)^7+17(1/2)^6+18(1/2)^5+……+22(1/2)
n本の直線で分割した領域の個数の期待値は、
(n+1)(1/2)^{n(n-1)/2}+(n+2)(1/2)^{n(n-1)/2}+(n+3(1/2)^{n(n-1)/2-1}+……+{n(n+1)/2+1}(1/2)
ブロックくずしのように簡単になるのか、lim[n→+∞]に飛ばすのか、通分か。
>>283
n=1のとき2(個)
n=2のとき、
3(1/2)+4(1/2)=3.5(個)
n=3のとき、
4(1/8)+5(1/8)+6(1/4)+7(1/2)=(9+12+28)/8
=6.125(個)
n=4のとき最大11個、最小5個
5(1/64)+6(1/64)+7(1/32)+8(1/16)+9(1/8)+10(1/4)+11(1/2)
=(5+6+14+32+72+160+352)/64
=10.015625(個)
n=5のとき最大16個、最小6個
=(6+7+16+36+80+176+384+640+192+1280+512+2560+1280)/1024
=(7149+8192)/1024
=15341/1024
=14.9814453……
n=6のとき、最小7、最大22
7(1/2)^15+8(1/2)^15+9(1/2)^14+10(1/2)^13+11(1/2)^12+12(1/2)^11+13(1/2)^10+14(1/2)^9+15(1/2)^8+16(1/2)^7+17(1/2)^6+18(1/2)^5+……+22(1/2)
n本の直線で分割した領域の個数の期待値は、
(n+1)(1/2)^{n(n-1)/2}+(n+2)(1/2)^{n(n-1)/2}+(n+3(1/2)^{n(n-1)/2-1}+……+{n(n+1)/2+1}(1/2)
ブロックくずしのように簡単になるのか、lim[n→+∞]に飛ばすのか、通分か。
286132人目の素数さん
2020/02/12(水) 04:10:08.56ID:1Q0cdG25 毎度思うけど思考過程をレスするの何?
〇〇となり……ああ違うか。みたいなの誰も求めてないし数学の試験でそんなこと書くか?
ちゃんとオフラインで答えに辿り着いてからそれを纏めて書けよ
〇〇となり……ああ違うか。みたいなの誰も求めてないし数学の試験でそんなこと書くか?
ちゃんとオフラインで答えに辿り着いてからそれを纏めて書けよ
287132人目の素数さん
2020/02/12(水) 07:34:56.53ID:eWvaFFv2 >>285
n=1のときだけは正解です。
n=1のときだけは正解です。
288132人目の素数さん
2020/02/12(水) 10:02:20.03ID:EmPEyxMI 日本数オリ本選の問題が出ました
https://i.imgur.com/Ub5tYCW.jpg
https://i.imgur.com/Ub5tYCW.jpg
289132人目の素数さん
2020/02/12(水) 10:17:58.17ID:2Z9zzZPK >>284
(※)は使えそうですね
実際には Σ|c[p+2,q]-c[p,q]|=2Σc[0,q] の値は積分を使って
C(1+o(1))/√n (as n→∞, ただし定数Cはabsolute) となることが計算できるので、
|Σ(a[0,0]-a[2,0])|
≦Σ|c[p+2,q]-c[p,q]|(|p|+|q|)^α
≦C(1+o(1)) ・ n^(α - 1/2) (∵|p|+|q|>n の時に係数が0となるため、|p|+|q|≦n の範囲で和をとれば良い)
という評価が得られます。
a[0,0]とa[2,0]の差以外にも同様のことが言えるので、結局 α<1/2 は条件を満たすことが導けると思います。
ちなみに一方で a[i,j]:=i (∀(i,j)∈Z^2) という例から、α≧1は条件を満たさないことがわかります
(※)は使えそうですね
実際には Σ|c[p+2,q]-c[p,q]|=2Σc[0,q] の値は積分を使って
C(1+o(1))/√n (as n→∞, ただし定数Cはabsolute) となることが計算できるので、
|Σ(a[0,0]-a[2,0])|
≦Σ|c[p+2,q]-c[p,q]|(|p|+|q|)^α
≦C(1+o(1)) ・ n^(α - 1/2) (∵|p|+|q|>n の時に係数が0となるため、|p|+|q|≦n の範囲で和をとれば良い)
という評価が得られます。
a[0,0]とa[2,0]の差以外にも同様のことが言えるので、結局 α<1/2 は条件を満たすことが導けると思います。
ちなみに一方で a[i,j]:=i (∀(i,j)∈Z^2) という例から、α≧1は条件を満たさないことがわかります
290イナ ◆/7jUdUKiSM
2020/02/12(水) 14:44:38.94ID:hcOGUVCg291132人目の素数さん
2020/02/12(水) 15:08:05.33ID:IJFWAL+A292132人目の素数さん
2020/02/12(水) 16:25:29.15ID:U1ltP3xX 点O中心の半径1の円の内部に点Oと異なる点Aを取る。
半直線OA上にOA・OB=1なる点Bを取る。
円周上に点P,Qを、直線PQに関して点O,A,Bが同じ側に来るように任意に取る。この3点はいずれも直線PQ上に無い。
直線PQに関してAと線対称な点をDとする。
△PBD∽△OBQを示せ。
半直線OA上にOA・OB=1なる点Bを取る。
円周上に点P,Qを、直線PQに関して点O,A,Bが同じ側に来るように任意に取る。この3点はいずれも直線PQ上に無い。
直線PQに関してAと線対称な点をDとする。
△PBD∽△OBQを示せ。
293132人目の素数さん
2020/02/12(水) 16:45:23.52ID:2rGgcqMY >>283
四点A1,B1,A2,B2の偏角を小さい順に並べると1122,2211,1221,2112,1212,2121の六通り
このうち、先の四つは線分が互いに交わらない場合であり、後の二つは交わる場合である
つまり、ランダムに決めた二つの線分が交わる確率は1/3
n本の線分により円が分割されているとき、新たに一本の線分を加えるとする
このとき新しい線分が既存の線分と交わらなければ、分割される領域は一つ増える
既存の線分一本と交わるなら領域は二つ増え、既存の線分二本と交わるなら領域は三つ増える
つまり、新しい線分が既存の線分と交わった本数+1の領域が新たに増える
新しい線分を引いたとき、既存の線分n本のうち交わる本数の期待値はn/3だから、
領域の数の増分の期待値はn/3+1となり、
n本の線分で分割されたときの領域の数の期待値をI(n)と置くと、I(n+1)=I(n)+n/3+1と書ける
I(n)-I(1)=(n(n-1)/2)/3+(n-1)、I(1)=2は自明なので、I(n)=n(n-1)/6+n+1
四点A1,B1,A2,B2の偏角を小さい順に並べると1122,2211,1221,2112,1212,2121の六通り
このうち、先の四つは線分が互いに交わらない場合であり、後の二つは交わる場合である
つまり、ランダムに決めた二つの線分が交わる確率は1/3
n本の線分により円が分割されているとき、新たに一本の線分を加えるとする
このとき新しい線分が既存の線分と交わらなければ、分割される領域は一つ増える
既存の線分一本と交わるなら領域は二つ増え、既存の線分二本と交わるなら領域は三つ増える
つまり、新しい線分が既存の線分と交わった本数+1の領域が新たに増える
新しい線分を引いたとき、既存の線分n本のうち交わる本数の期待値はn/3だから、
領域の数の増分の期待値はn/3+1となり、
n本の線分で分割されたときの領域の数の期待値をI(n)と置くと、I(n+1)=I(n)+n/3+1と書ける
I(n)-I(1)=(n(n-1)/2)/3+(n-1)、I(1)=2は自明なので、I(n)=n(n-1)/6+n+1
294132人目の素数さん
2020/02/12(水) 17:23:00.93ID:IJFWAL+A >>292
PQの垂直二等分線が実軸でOが原点となる複素座標を設定する。
Aの実軸対称点をCとする。
ABCDPQの複素座標をabcdpqとする。
PDをPQ、実軸で続けて対称移動するとQCに移るからd-p=q-cである。
またAが単位円に関する反転でCはその実軸反転だからc=1/bである。
P,Qは単位円上かつ実軸対称だからpq=1である。
以上により
(d-p)/(b-p)
=(q-c)/(b-p)
=(1/p-1/b)/(b-p)
=1/(pb)
=(q-0)/(b-0)
であるから△BDPと△BQOは相似である。
PQの垂直二等分線が実軸でOが原点となる複素座標を設定する。
Aの実軸対称点をCとする。
ABCDPQの複素座標をabcdpqとする。
PDをPQ、実軸で続けて対称移動するとQCに移るからd-p=q-cである。
またAが単位円に関する反転でCはその実軸反転だからc=1/bである。
P,Qは単位円上かつ実軸対称だからpq=1である。
以上により
(d-p)/(b-p)
=(q-c)/(b-p)
=(1/p-1/b)/(b-p)
=1/(pb)
=(q-0)/(b-0)
であるから△BDPと△BQOは相似である。
295132人目の素数さん
2020/02/12(水) 17:24:07.93ID:IJFWAL+A >>293
正解!GJ!
正解!GJ!
296132人目の素数さん
2020/02/12(水) 20:04:24.39ID:2rGgcqMY >>291
積分でやってみた
A1,B1,A2,B2の偏角を0,X,Y,Zとして、A1を固定し、後の三つを確率変数と考える
それぞれ独立に0から2πの間の値を取る一様分布に従うので、確率密度関数は1/(2π)^3となる
YとZが共に0とXの間の値を取る確率は、
∫[0,2π]∫[0,x]∫[0,x]dydzdx/(2π)^3=∫[0,2π]{x^2/(2π)^3}dx=1/3
Yが0とTの間、ZがTと2πの間の値を取る確率は、
∫[0,2π]∫[0,t]∫[t,2π]dydzdx/(2π)^3=∫[0,2π]{x(2π-x)/(2π)^3}dx=1/6
二線分が交わらない確率=YとZが共に0とXの間または共にXと2πの間である確率=1/3+1/3=2/3
二線分が交わる確率=Yが0とTの間でZがTと2πの間またはその逆となる確率=1/6+1/6=1/3
積分でやってみた
A1,B1,A2,B2の偏角を0,X,Y,Zとして、A1を固定し、後の三つを確率変数と考える
それぞれ独立に0から2πの間の値を取る一様分布に従うので、確率密度関数は1/(2π)^3となる
YとZが共に0とXの間の値を取る確率は、
∫[0,2π]∫[0,x]∫[0,x]dydzdx/(2π)^3=∫[0,2π]{x^2/(2π)^3}dx=1/3
Yが0とTの間、ZがTと2πの間の値を取る確率は、
∫[0,2π]∫[0,t]∫[t,2π]dydzdx/(2π)^3=∫[0,2π]{x(2π-x)/(2π)^3}dx=1/6
二線分が交わらない確率=YとZが共に0とXの間または共にXと2πの間である確率=1/3+1/3=2/3
二線分が交わる確率=Yが0とTの間でZがTと2πの間またはその逆となる確率=1/6+1/6=1/3
297132人目の素数さん
2020/02/12(水) 21:12:47.06ID:IJFWAL+A298イナ ◆/7jUdUKiSM
2020/02/12(水) 22:25:41.21ID:hcOGUVCg299132人目の素数さん
2020/02/12(水) 22:36:00.54ID:cpT3giHz 不正解
300132人目の素数さん
2020/02/12(水) 22:51:26.64ID:MTHiudft とりあえずn=3のときn=2と同じようにやってみればいい。
6点適当に選ぶ。
ただし三点が一点で交わるような特殊なケースは確率0なので無視する。
反時計回りに123456として2個組ずつわける。
12,34,56
12,35,46,
‥
で何通りできるか?
小領域が4つになるのは何通りか?
小領域が5つになるのは何通りか?
小領域が6つになるのは何通りか?
小領域が7つになるのは何通りか?
期待値は?
6点適当に選ぶ。
ただし三点が一点で交わるような特殊なケースは確率0なので無視する。
反時計回りに123456として2個組ずつわける。
12,34,56
12,35,46,
‥
で何通りできるか?
小領域が4つになるのは何通りか?
小領域が5つになるのは何通りか?
小領域が6つになるのは何通りか?
小領域が7つになるのは何通りか?
期待値は?
301132人目の素数さん
2020/02/12(水) 23:04:11.84ID:2rGgcqMY >>298
m本の線分に交わる線を引くと、そのm本で分割されていたm+1個の領域の上を通ることになる
つまりm+1個の領域を切ることになるので、領域の数は倍化され、m+1個の領域が新たに増えることになる
m本の線分に交わる線を引くと、そのm本で分割されていたm+1個の領域の上を通ることになる
つまりm+1個の領域を切ることになるので、領域の数は倍化され、m+1個の領域が新たに増えることになる
302イナ ◆/7jUdUKiSM
2020/02/12(水) 23:55:09.29ID:hcOGUVCg303132人目の素数さん
2020/02/13(木) 00:09:21.30ID:ARUap2be A1B1とA2B2が交差する確率は1/3、
A2B2とA3B3が交差する確率は1/3、
A3B3とA1B1が交差する確率は1/3、
しかし交点が3つできる確率はこの3つをかけてもダメ。
かけて求められるのはコレらの事象が独立の時。
独立ではないのでダメです。
A2B2とA3B3が交差する確率は1/3、
A3B3とA1B1が交差する確率は1/3、
しかし交点が3つできる確率はこの3つをかけてもダメ。
かけて求められるのはコレらの事象が独立の時。
独立ではないのでダメです。
304132人目の素数さん
2020/02/13(木) 00:15:15.69ID:906Gyp6n 調和配列について考えてたけど、どうも何かがおかしい気がする…
>>195 のeの構成って本当に合ってる?
以下の要領で、原点以外の全ての格子点で調和的な有界配列は定数しか存在しないことが示せそうなんだけど…
配列aを a[0,0]=1 かつ a[X]≧0 (∀X∈Z^2) を満たす、原点以外で調和的な有界配列とする。
aの下限 inf_(X∈Z^2) a[X] を0としてよい。a[X]=0 を満たす格子点Xは存在できないことに注意。
配列の列 b_n を
b_n[0,0] = 1 (n≧0)
b_0[p,q] = 0 ( (p,q)は原点以外の格子点)
b_(n+1)[p,q] = b_n[p+1,q] + b_n[p-1,q] + b_n[p,q+1] + b_n[p,q-1] ( (p,q)は原点以外, n≧0)
により定めると、帰納的に
b_n[p,q]≦b_(n+1)[p,q]≦1 (p,qは全ての整数, n≧0)
が導けるため極限 b[p,q]=lim_(n→∞) b_n[p,q] が存在し、
配列 b が原点以外で調和的であることもわかる。また、各nについて
b_n[p,q]=b_n[-p,q]=b_n[p,-q]=b_n[q,p]
0≦p かつ 0≦q ならば b_n[p,q]≧b_n[p+1,q]
1≦p≦q ならば b_n[p,q]≧b_n[p-1,q+1]
b_n[p,q]≦a[p,q]
が成り立つことが帰納的に示せるため、n→∞とすることでbについても同様のことが言える。
配列aの下限が0かつ全ての格子点Xについてa[X]>0であることから、
格子点の列 X_n=(p_n,q_n) であって
lim a[X_n]=0, lim(|p_n|+|q_n|)=0
を満たすものが存在。これより、格子点(p,q)が max(|p|,|q|)≧|p_n|+|q_n| を満たすならば
b[p,q] ≦ b[|p_n|+|q_n|] ≦ b[p_n,q_n] ≦ a[p_n,q_n]
であるから、格子点Xについて|X|→∞ならばb[X]→0が成り立つ。
一旦ここまで。
>>195 のeの構成って本当に合ってる?
以下の要領で、原点以外の全ての格子点で調和的な有界配列は定数しか存在しないことが示せそうなんだけど…
配列aを a[0,0]=1 かつ a[X]≧0 (∀X∈Z^2) を満たす、原点以外で調和的な有界配列とする。
aの下限 inf_(X∈Z^2) a[X] を0としてよい。a[X]=0 を満たす格子点Xは存在できないことに注意。
配列の列 b_n を
b_n[0,0] = 1 (n≧0)
b_0[p,q] = 0 ( (p,q)は原点以外の格子点)
b_(n+1)[p,q] = b_n[p+1,q] + b_n[p-1,q] + b_n[p,q+1] + b_n[p,q-1] ( (p,q)は原点以外, n≧0)
により定めると、帰納的に
b_n[p,q]≦b_(n+1)[p,q]≦1 (p,qは全ての整数, n≧0)
が導けるため極限 b[p,q]=lim_(n→∞) b_n[p,q] が存在し、
配列 b が原点以外で調和的であることもわかる。また、各nについて
b_n[p,q]=b_n[-p,q]=b_n[p,-q]=b_n[q,p]
0≦p かつ 0≦q ならば b_n[p,q]≧b_n[p+1,q]
1≦p≦q ならば b_n[p,q]≧b_n[p-1,q+1]
b_n[p,q]≦a[p,q]
が成り立つことが帰納的に示せるため、n→∞とすることでbについても同様のことが言える。
配列aの下限が0かつ全ての格子点Xについてa[X]>0であることから、
格子点の列 X_n=(p_n,q_n) であって
lim a[X_n]=0, lim(|p_n|+|q_n|)=0
を満たすものが存在。これより、格子点(p,q)が max(|p|,|q|)≧|p_n|+|q_n| を満たすならば
b[p,q] ≦ b[|p_n|+|q_n|] ≦ b[p_n,q_n] ≦ a[p_n,q_n]
であるから、格子点Xについて|X|→∞ならばb[X]→0が成り立つ。
一旦ここまで。
305132人目の素数さん
2020/02/13(木) 00:18:26.04ID:906Gyp6n >>304
訂正。配列の列b_nの漸化式について
誤
b_(n+1)[p,q] = b_n[p+1,q] + b_n[p-1,q] + b_n[p,q+1] + b_n[p,q-1]
正
b_(n+1)[p,q] = (b_n[p+1,q] + b_n[p-1,q] + b_n[p,q+1] + b_n[p,q-1])/4
訂正。配列の列b_nの漸化式について
誤
b_(n+1)[p,q] = b_n[p+1,q] + b_n[p-1,q] + b_n[p,q+1] + b_n[p,q-1]
正
b_(n+1)[p,q] = (b_n[p+1,q] + b_n[p-1,q] + b_n[p,q+1] + b_n[p,q-1])/4
306132人目の素数さん
2020/02/13(木) 00:23:06.08ID:906Gyp6n >>304
何度も申し訳ない、もう1つ訂正。
格子点列X_nについて
誤
lim a[X_n]=0, lim(|p_n|+|q_n|)=0
正
lim a[X_n]=0, lim(|p_n|+|q_n|)=∞
何度も申し訳ない、もう1つ訂正。
格子点列X_nについて
誤
lim a[X_n]=0, lim(|p_n|+|q_n|)=0
正
lim a[X_n]=0, lim(|p_n|+|q_n|)=∞
307132人目の素数さん
2020/02/13(木) 00:49:32.88ID:av6dLTOA308132人目の素数さん
2020/02/13(木) 02:15:11.71ID:aaGAJwRB309イナ ◆/7jUdUKiSM
2020/02/13(木) 02:22:24.68ID:7VewwRjX 前>>302いきなりnとかmとかで一般項出して解きだす奴は偽者か曲者。1面2面クリアして今3面。
n=3のとき最小が4で最大が7、
4(2/3)(3/4)(1/4)+5(2/3)(4/6)+6(1/3)(4/6)+7(1/3)(2/6)
=4(1/8)+5(4/9)+6(2/9)+7(7/24)
=1/2+32/9+49/24
=(36+256+147)/72
=439/72
=6.0972……
ちょっとマシになった。
n=3のとき最小が4で最大が7、
4(2/3)(3/4)(1/4)+5(2/3)(4/6)+6(1/3)(4/6)+7(1/3)(2/6)
=4(1/8)+5(4/9)+6(2/9)+7(7/24)
=1/2+32/9+49/24
=(36+256+147)/72
=439/72
=6.0972……
ちょっとマシになった。
310132人目の素数さん
2020/02/13(木) 02:22:32.49ID:aaGAJwRB >>308
交点の可能な数は n(n-1)/2 である
1≦i<j≦nとしてAiBiとAjBjが交差する確率は各々1/3なのだから、
交点の数の期待値は n(n-1)/6
領域の数の期待値は (n+1)+n(n-1)/6 = (n+2)(n+3)/6
交点の可能な数は n(n-1)/2 である
1≦i<j≦nとしてAiBiとAjBjが交差する確率は各々1/3なのだから、
交点の数の期待値は n(n-1)/6
領域の数の期待値は (n+1)+n(n-1)/6 = (n+2)(n+3)/6
311132人目の素数さん
2020/02/13(木) 03:08:45.48ID:aaGAJwRB おっと、283は>>293で既に解かれていたか
まだ続いてるのかと思ったw
まだ続いてるのかと思ったw
312哀れな素人
2020/02/13(木) 09:53:51.79ID:ij5lRW2v >>292
初等幾何的証明
ABを直径とする小円を描けば、出題の二つの三角形と相似な
二つの三角形を小円の中に作図できる。
大円と小円の交点をE、F、EFとABの交点をG、
DBと小円、QBと小円の交点をそれぞれH、I、
IGの延長と小円の交点をJ、JHとPBの交点をKとすると、
△KHB∽△GIBで、この二つの三角形は出題の二つの三角形と相似である。
∠H=∠Iであることはすぐに分かる。
あとは∠KBH=∠GBIであることを示せばよいが、
これが意外と難しく、今のところ未解決。
初等幾何的証明
ABを直径とする小円を描けば、出題の二つの三角形と相似な
二つの三角形を小円の中に作図できる。
大円と小円の交点をE、F、EFとABの交点をG、
DBと小円、QBと小円の交点をそれぞれH、I、
IGの延長と小円の交点をJ、JHとPBの交点をKとすると、
△KHB∽△GIBで、この二つの三角形は出題の二つの三角形と相似である。
∠H=∠Iであることはすぐに分かる。
あとは∠KBH=∠GBIであることを示せばよいが、
これが意外と難しく、今のところ未解決。
313132人目の素数さん
2020/02/13(木) 10:12:32.00ID:906Gyp6n >>307
eが原点で調和的でないことはわかっているのですが、問題はそこではなくて、>>304の通り
『原点以外の』全ての格子点で調和的な有界配列は定数しか存在しない
ということを示せてしまう、ということなのです
↓↓304の続き↓↓
c=4b[0,0]-b[1,0]-b[-1,0]-b[0,1]-b[0,-1] とおくと、整数n≧2について
cn = Σ_(m=1,n) c
= Σ_(m=1,n) Σ_(|p|,|q|<m) 4b[p,q] - b[p+1,q] - b[p-1,q] - b[p,q+1] - b[p,q-1]
= Σ_(m=1,n) Σ_(|p|<m) - b[m,p] - b[-m,p] - b[p,m] - b[p,-m] + b[m-1,p] + b[1-m,p] + b[p,m-1] + b[p,1-m]
= 4b[0,0] + ( Σ_(p=1,n) 2b[p,p] + 2b[p,-p] + 2b[-p,p] + 2b[-p,-p] ) - ( Σ_(|p|<n) b[n,p] + b[-n,p] + b[p,n] + b[p,-n] )
= o(n) (as n→∞)
より矛盾。したがって、a は定数でなければならない。
eが原点で調和的でないことはわかっているのですが、問題はそこではなくて、>>304の通り
『原点以外の』全ての格子点で調和的な有界配列は定数しか存在しない
ということを示せてしまう、ということなのです
↓↓304の続き↓↓
c=4b[0,0]-b[1,0]-b[-1,0]-b[0,1]-b[0,-1] とおくと、整数n≧2について
cn = Σ_(m=1,n) c
= Σ_(m=1,n) Σ_(|p|,|q|<m) 4b[p,q] - b[p+1,q] - b[p-1,q] - b[p,q+1] - b[p,q-1]
= Σ_(m=1,n) Σ_(|p|<m) - b[m,p] - b[-m,p] - b[p,m] - b[p,-m] + b[m-1,p] + b[1-m,p] + b[p,m-1] + b[p,1-m]
= 4b[0,0] + ( Σ_(p=1,n) 2b[p,p] + 2b[p,-p] + 2b[-p,p] + 2b[-p,-p] ) - ( Σ_(|p|<n) b[n,p] + b[-n,p] + b[p,n] + b[p,-n] )
= o(n) (as n→∞)
より矛盾。したがって、a は定数でなければならない。
314132人目の素数さん
2020/02/13(木) 10:17:09.91ID:ctEQzeqL315132人目の素数さん
2020/02/13(木) 10:26:22.84ID:906Gyp6n316イナ ◆/7jUdUKiSM
2020/02/13(木) 10:35:30.00ID:7VewwRjX317132人目の素数さん
2020/02/13(木) 10:53:38.12ID:Tf6czv/B 4e(i+1,j)+ e(i-1,j)+ e(i,j+1)+ e(i,j-1)
=
∫[〜] (1-cos((x+y)(i+1))cos((x-y)j))/(1-cosxcosy)dxdy
+∫[〜] (1-cos((x+y)(i-1))cos((x-y)j))/(1-cosxcosy)dxdy
+∫[〜] (1-cos((x+y)i)cos((x-y)(j+1)))/(1-cosxcosy)dxdy
+∫[〜] (1-cos((x+y)i)cos((x-y)(j-1)))/(1-cosxcosy)dxdy
-4 ∫[〜] (1-cos((x+y)i)cos((x-y)j))/(1-cosxcosy)dxdy
=
∫[〜] (2-2cos(x+y)cos((x+y)i)cos((x-y)j))/(〜)dxdy
+∫[〜] (2-2cos(x-y)cos((x+y)i)cos((x-y)j))/(〜)dxdy
-4 ∫[〜] (1-cos((x+y)i)cos((x-y)j))/(1-cosxcosy)dxdy
=
∫[〜] 4(1-cos(x)cos(y)cos((x+y)i)cos((x-y)j))/(〜)dxdy
-∫[〜] 4(1-cos((x+y)i)cos((x-y)j))/(1-cosxcosy)dxdy
=
∫[〜] 4cos((x+y)i)cos((x-y)j))dxdy
=
δ[i0]δ[j0]16π^2
になるハズ。
=
∫[〜] (1-cos((x+y)(i+1))cos((x-y)j))/(1-cosxcosy)dxdy
+∫[〜] (1-cos((x+y)(i-1))cos((x-y)j))/(1-cosxcosy)dxdy
+∫[〜] (1-cos((x+y)i)cos((x-y)(j+1)))/(1-cosxcosy)dxdy
+∫[〜] (1-cos((x+y)i)cos((x-y)(j-1)))/(1-cosxcosy)dxdy
-4 ∫[〜] (1-cos((x+y)i)cos((x-y)j))/(1-cosxcosy)dxdy
=
∫[〜] (2-2cos(x+y)cos((x+y)i)cos((x-y)j))/(〜)dxdy
+∫[〜] (2-2cos(x-y)cos((x+y)i)cos((x-y)j))/(〜)dxdy
-4 ∫[〜] (1-cos((x+y)i)cos((x-y)j))/(1-cosxcosy)dxdy
=
∫[〜] 4(1-cos(x)cos(y)cos((x+y)i)cos((x-y)j))/(〜)dxdy
-∫[〜] 4(1-cos((x+y)i)cos((x-y)j))/(1-cosxcosy)dxdy
=
∫[〜] 4cos((x+y)i)cos((x-y)j))dxdy
=
δ[i0]δ[j0]16π^2
になるハズ。
318132人目の素数さん
2020/02/13(木) 11:54:57.76ID:906Gyp6n そうすると >>242 の最後の主張も訂正する必要がありそうだ
誤
あるn点 p_i (1≦i≦n) を除いた格子点全体で Δa=a を満たすような有界配列 a は
a[X] = c_0 + Σ_(i=1,n) c_i・a'[X-p_i] (c_iは実数)
と表せる。
正
あるn点 p_i (1≦i≦n) を除いた格子点全体で Δa=a を満たす配列 a であって、
任意の定数 ε>0 について |a[X]|=O(|X|^ε) を満たすようなものは、
a[X] = c_0 + Σ_(i=1,n) c_i・a'[X-p_i] (c_iは実数)
に限られる。
誤
あるn点 p_i (1≦i≦n) を除いた格子点全体で Δa=a を満たすような有界配列 a は
a[X] = c_0 + Σ_(i=1,n) c_i・a'[X-p_i] (c_iは実数)
と表せる。
正
あるn点 p_i (1≦i≦n) を除いた格子点全体で Δa=a を満たす配列 a であって、
任意の定数 ε>0 について |a[X]|=O(|X|^ε) を満たすようなものは、
a[X] = c_0 + Σ_(i=1,n) c_i・a'[X-p_i] (c_iは実数)
に限られる。
319132人目の素数さん
2020/02/13(木) 13:21:59.82ID:WiJ7Z5mz >>292
これ今年の灘高校の入試問題じゃん
これ今年の灘高校の入試問題じゃん
320哀れな素人
2020/02/13(木) 17:43:48.85ID:ij5lRW2v >>312の続き
HBとEIが垂直であることを示すことができれば証明完了。
なぜなら、その場合、∠BHAは直角だからHAとEIは平行。
すると∠AHIとHIEは錯角だから等しい。
すると∠ABI=∠AHI=∠HIE=∠EBH
∠Hと∠Iは同一円周角で等しいことがすでに示されているから、証明完了。
しかしHBとEIが垂直であることを示すことが難しい。
灘高校の入試問題なら、もっと簡単な解法があるに違いない(笑
HBとEIが垂直であることを示すことができれば証明完了。
なぜなら、その場合、∠BHAは直角だからHAとEIは平行。
すると∠AHIとHIEは錯角だから等しい。
すると∠ABI=∠AHI=∠HIE=∠EBH
∠Hと∠Iは同一円周角で等しいことがすでに示されているから、証明完了。
しかしHBとEIが垂直であることを示すことが難しい。
灘高校の入試問題なら、もっと簡単な解法があるに違いない(笑
321132人目の素数さん
2020/02/13(木) 19:53:39.15ID:uH+myoBI n,kは自然数でk≦nとする。
穴の開いた2k個の白玉と2n-2k個の黒玉にひもを通して輪を作る。
このとき適当な2箇所でひもを切ってn個ずつの2組に分け、
どちらの組も白玉k個、黒玉n-k個からなるようにできることを示せ。
(某大学文系過去問 - 中学生の知識で解ける)
穴の開いた2k個の白玉と2n-2k個の黒玉にひもを通して輪を作る。
このとき適当な2箇所でひもを切ってn個ずつの2組に分け、
どちらの組も白玉k個、黒玉n-k個からなるようにできることを示せ。
(某大学文系過去問 - 中学生の知識で解ける)
322132人目の素数さん
2020/02/13(木) 20:23:54.06ID:iOaxVOmG >>321
上半分の赤の個数について考える。
玉一つ分時計回りに回したとき上半分のあかの数はそままか、一個増えるか一個減るのいずれか。
半周回したとき上半分と下半分が入れ替わるのでどっかの時点でピッタリ半分になる。
上半分の赤の個数について考える。
玉一つ分時計回りに回したとき上半分のあかの数はそままか、一個増えるか一個減るのいずれか。
半周回したとき上半分と下半分が入れ替わるのでどっかの時点でピッタリ半分になる。
323132人目の素数さん
2020/02/13(木) 20:38:32.25ID:uH+myoBI324132人目の素数さん
2020/02/13(木) 22:30:53.03ID:VUrdGB1K >>280
でけた。上限は1。
全域で調和的な配列aが、ある α<1 について a[X]=O(|X|^α) を満たしていると仮定。
((Δ^n)a)[0,0] における a[-n+p+q,p-q] の係数c_n[p,q]は
((1+x)(1+y)/4)^n における (x^p)(y^q) の係数と一致。つまり
c_n[p,q] = 4^(-n)・C(n,p)・C(n,q). (ただし大文字のCは二項係数)
よって、 (Δ^(2n+1)a)([1,0]+[-1,0]-[0,1]-[0,-1]) の係数の絶対値の総和は
Σ_(p,qは整数) 4^(-n)・|C(2n+1,p)-C(2n+1,p-1)|・|C(2n+1,q)-C(2n+1,q-1)|
=4C(2n+1,n)^2
=K/n・(1+o(1)). (ただしKはある定数)
であるから、
|a[1,0]+a[-1,0]-a[0,1]-a[0,-1]|
≦K(1+o(1))・2^α・n^(α-1)→0 (as n→∞)
より a[1,0]+a[-1,0]=a[0,1]+a[0,-1].
これと Δa=a より a[1,0]+a[-1,0]=2a[0,0].
同様にして、任意にjを固定した時に a[i,j] が等差列をなすことがわかるが、|a[X]|=o(|X|) より a[i,j] はiに依存しない。
同様にしてjに依存しないこともわかるため、aは定数。
でけた。上限は1。
全域で調和的な配列aが、ある α<1 について a[X]=O(|X|^α) を満たしていると仮定。
((Δ^n)a)[0,0] における a[-n+p+q,p-q] の係数c_n[p,q]は
((1+x)(1+y)/4)^n における (x^p)(y^q) の係数と一致。つまり
c_n[p,q] = 4^(-n)・C(n,p)・C(n,q). (ただし大文字のCは二項係数)
よって、 (Δ^(2n+1)a)([1,0]+[-1,0]-[0,1]-[0,-1]) の係数の絶対値の総和は
Σ_(p,qは整数) 4^(-n)・|C(2n+1,p)-C(2n+1,p-1)|・|C(2n+1,q)-C(2n+1,q-1)|
=4C(2n+1,n)^2
=K/n・(1+o(1)). (ただしKはある定数)
であるから、
|a[1,0]+a[-1,0]-a[0,1]-a[0,-1]|
≦K(1+o(1))・2^α・n^(α-1)→0 (as n→∞)
より a[1,0]+a[-1,0]=a[0,1]+a[0,-1].
これと Δa=a より a[1,0]+a[-1,0]=2a[0,0].
同様にして、任意にjを固定した時に a[i,j] が等差列をなすことがわかるが、|a[X]|=o(|X|) より a[i,j] はiに依存しない。
同様にしてjに依存しないこともわかるため、aは定数。
325132人目の素数さん
2020/02/13(木) 22:35:41.28ID:iOaxVOmG >>324
おお、素晴らしい。gj
おお、素晴らしい。gj
326132人目の素数さん
2020/02/13(木) 23:51:21.39ID:iOaxVOmG このスレで度々見かける某パズル本からの出題。
2人の修行僧がそれぞれ二つの山を登る。
2人とも同じ海抜の麓の地点から登頂を始め、ゴールの山頂の海抜も同じである。
各々の僧は山頂までの一本道の山道のみを移動する。
どちらの道も途中の地点ではスタート地点より海抜が高く、ゴール地点より海抜は低い。
この時2人の僧の登頂をうまく調節していずれの時点でも2人の海抜が完全に一致する様にして登頂をすることは可能であろうか?
2人の僧に許される行動は山道を進むか戻るか立ち止まるかのみである。
この問題の原題の設定はこれだけで当然暗黙の了解としてスタート地点からの道のりと海抜を与える関数が連続である事は仮定できます。
それはいいんですが、(そりゃそうでしょう)、パズル本の模範解答はできるで、私にはその解答はその連続関数になにか区分的に滑らかみたいな仮定がないと成立してないように思えます。
どなたか連続だけの仮定の元での肯定的な解答作れますでしょうか?
2人の修行僧がそれぞれ二つの山を登る。
2人とも同じ海抜の麓の地点から登頂を始め、ゴールの山頂の海抜も同じである。
各々の僧は山頂までの一本道の山道のみを移動する。
どちらの道も途中の地点ではスタート地点より海抜が高く、ゴール地点より海抜は低い。
この時2人の僧の登頂をうまく調節していずれの時点でも2人の海抜が完全に一致する様にして登頂をすることは可能であろうか?
2人の僧に許される行動は山道を進むか戻るか立ち止まるかのみである。
この問題の原題の設定はこれだけで当然暗黙の了解としてスタート地点からの道のりと海抜を与える関数が連続である事は仮定できます。
それはいいんですが、(そりゃそうでしょう)、パズル本の模範解答はできるで、私にはその解答はその連続関数になにか区分的に滑らかみたいな仮定がないと成立してないように思えます。
どなたか連続だけの仮定の元での肯定的な解答作れますでしょうか?
328132人目の素数さん
2020/02/14(金) 00:01:24.99ID:ekmNRCqQ ちゃんと数学的に書けば
連続関数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の連続性にある程度強い仮定があれば簡単なんですけど。
連続関数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の連続性にある程度強い仮定があれば簡単なんですけど。
329132人目の素数さん
2020/02/14(金) 00:02:35.07ID:ekmNRCqQ330132人目の素数さん
2020/02/14(金) 01:33:49.02ID:1dEsnuQN >>328
f(x)=2x (0≦x<1/4)
f(x)=1/2 (1/4≦x<3/4)
f(x)=2x-1 (1/4≦x≦1)
g(x)=1/2+|x-1/2|sin((π/4)/(x-1/2))
の場合は登山五合目付近でp(t)が不連続になると思われる
f(x)=2x (0≦x<1/4)
f(x)=1/2 (1/4≦x<3/4)
f(x)=2x-1 (1/4≦x≦1)
g(x)=1/2+|x-1/2|sin((π/4)/(x-1/2))
の場合は登山五合目付近でp(t)が不連続になると思われる
331132人目の素数さん
2020/02/14(金) 02:57:15.90ID:ekmNRCqQ >>330
その程度の関数なら本に載ってる解答の肯定的解答がそのまま通用します。
その程度の関数なら本に載ってる解答の肯定的解答がそのまま通用します。
332132人目の素数さん
2020/02/14(金) 02:59:45.62ID:1dEsnuQN >>328
条件を強くして道のりが微分可能でもダメみたい。
f(x)=1/2-(1/2)e^(4+1/(x-1/4)) (x<1/4)
f(x)=1/2 (1/4≦x≦3/4)
f(x)=1/2+(1/2)e^(4-1/(x-3/4)) (3/4<x≦1)
g(x)=1/2+8(x-1/2)^4 sin((π/4)/(x-1/2))
のとき
f^(-1)(g(x))は不連続で、f(x)の道の人は無限の距離を歩かないといけない
条件を強くして道のりが微分可能でもダメみたい。
f(x)=1/2-(1/2)e^(4+1/(x-1/4)) (x<1/4)
f(x)=1/2 (1/4≦x≦3/4)
f(x)=1/2+(1/2)e^(4-1/(x-3/4)) (3/4<x≦1)
g(x)=1/2+8(x-1/2)^4 sin((π/4)/(x-1/2))
のとき
f^(-1)(g(x))は不連続で、f(x)の道の人は無限の距離を歩かないといけない
333132人目の素数さん
2020/02/14(金) 03:17:50.97ID:ekmNRCqQ334132人目の素数さん
2020/02/14(金) 03:42:11.48ID:ekmNRCqQ ちなみにfが有界変動連続関数のとき
f1(x)=fの[0,x]における全変動、
f2(x)=f1(x)-f2(x)
とおけば
f(x)=(f1(c)+x)-(f2(x)+x)
と二つの狭義単調増大連続関数の差となります。
gも有界変動連続ならgも同じような分解を持ってしまうので本の証明が通用してしまいます。
f1(x)=fの[0,x]における全変動、
f2(x)=f1(x)-f2(x)
とおけば
f(x)=(f1(c)+x)-(f2(x)+x)
と二つの狭義単調増大連続関数の差となります。
gも有界変動連続ならgも同じような分解を持ってしまうので本の証明が通用してしまいます。
335132人目の素数さん
2020/02/14(金) 03:43:07.46ID:ekmNRCqQ あ、ポコポコ間違ってるけど適当にエスパーしてください。
336132人目の素数さん
2020/02/14(金) 08:39:16.51ID:8zGfmT3q337132人目の素数さん
2020/02/14(金) 09:28:04.83ID:ekmNRCqQ338132人目の素数さん
2020/02/14(金) 09:32:16.08ID:ekmNRCqQ あ、いま上がってるケースくらいならp,qも有界変動に取れます。
339132人目の素数さん
2020/02/14(金) 09:44:02.90ID:1dEsnuQN >>338
>連続関数p,q:[0,1]→[0,1]であって
>p(0)=q(0)=0, p(1)=q(1)=1, f(p(t))=g(q(t)) ∀t
>を満たすものがとれるか?
の問いに対する
>>332の例でも本の証明で肯定的に解決されてしまいます。
は矛盾するように思えるのだが
>>332の例でp,q連続関数かつf(p(t))=g(q(t))と仮定すると
中間値の定理よりq(th)=1/2となるth∈[0,1]が存在し、
t_0=0と置くとq(t_i)=1/2-1/(4i+2)となるt_i∈[t_(i-1),th] (i=1,2...)が存在する
しかし
p(t_i)=f^(-1)(g(q(t_i)))<1/4 (i:even)
p(t_i)=f^(-1)(g(q(t_i)))>3/4 (i:odd)
さらにt_iは単調有界列だから収束してp(t)はlim t_iで不連続となり矛盾
何か誤解していれば指摘してほしい
>連続関数p,q:[0,1]→[0,1]であって
>p(0)=q(0)=0, p(1)=q(1)=1, f(p(t))=g(q(t)) ∀t
>を満たすものがとれるか?
の問いに対する
>>332の例でも本の証明で肯定的に解決されてしまいます。
は矛盾するように思えるのだが
>>332の例でp,q連続関数かつf(p(t))=g(q(t))と仮定すると
中間値の定理よりq(th)=1/2となるth∈[0,1]が存在し、
t_0=0と置くとq(t_i)=1/2-1/(4i+2)となるt_i∈[t_(i-1),th] (i=1,2...)が存在する
しかし
p(t_i)=f^(-1)(g(q(t_i)))<1/4 (i:even)
p(t_i)=f^(-1)(g(q(t_i)))>3/4 (i:odd)
さらにt_iは単調有界列だから収束してp(t)はlim t_iで不連続となり矛盾
何か誤解していれば指摘してほしい
340132人目の素数さん
2020/02/14(金) 10:27:02.14ID:ekmNRCqQ341132人目の素数さん
2020/02/14(金) 10:37:54.73ID:ekmNRCqQ ダメだ。すぐにはわからない。
もう問題のレベル下げます。>>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)とする。
コレで肯定的に解決します。
有界変動では無理なのかな?
もう問題のレベル下げます。>>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)とする。
コレで肯定的に解決します。
有界変動では無理なのかな?
342132人目の素数さん
2020/02/14(金) 10:39:54.56ID:ekmNRCqQ■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- 「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★2 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場! パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 「撮り鉄」同士のトラブルか 車のフロントガラス破壊の男逮捕 寝台特急カシオペア撮影のため東京から宮城・白石に遠征 [少考さん★]
- 【テレ東音楽祭】長渕剛、テレ東初出演!『とんぼ』『乾杯』熱唱へ 酒井法子は『碧いうさぎ』歌唱 [Ailuropoda melanoleuca★]
- 【MLB】大谷翔平、第2子誕生へ 育休でチームを離脱 球団が発表…週末には復帰予定 長女誕生から1年 ★2 [jinjin★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★109【メキシコ/カナダ/アメリカ】
- 【MLB】ドジャース vs オリオールズ ★3
- 巨専】
- 競輪実況★1784
- とらせん 雨
- やくせん
- 愛国者「日本国民って優秀なのになんで国会議員だけ無能なの?」→20万いいね [834922174]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪★4
- 【急募】ペペロンチーノを美味くする方法 [769931615]
- 木原「高市首相がG7でボッチだったり無視された事実はない!デマを流すなー😡」 [931948549]
- 【動画】クリスティアーノ・ロナウド(クリロナ)さん、ガチのマジでおわる [398059782]
- 【悲報】「フェルメール展」のチケットを取れなかったジャップ民がSNSで大暴れwwwwwwwwwwwwwwwwwwwwwwww [551743856]