- 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/
- 2 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 20:19:50 ID:QSsw4R/8.net]
- 面白い問題おしえて～な 30問目
https://rio2016.5ch.net/test/read.cgi/math/1572866819/997
997 名前：１３２人目の素数さん[sage] 投稿日：2020/01/27(月) 19:28:57.79 ID:VuOY61Uq
あとこれは本当に興味本意だけど, 例えば
各Xiを集合{-1, 1-√2, √2}上の離散一様分布とした時に同じ主張が成り立つか, というのは興味がある
あくまで離散的だけど, 畳み込みする毎に中央あたりがどんどん"密"になっていく訳だから…
のご要望にこた�
- 3 名前：ｦて、やってみた。収束しそうにない印象。
https://i.imgur.com/LXkHRpW.jpg
色彩には意味なし、単に俺が遊んでみただけ。
v=c(-1, 1-sqrt(2), sqrt(2)) # 指定の数値
a=(max(v)-min(v))/2 # a はｖの幅の半分にした
qn <- function(n,k=1000){ # ｎ個の乱数発生での実験を1000回繰り返す
f=function() abs(sum(sample(v,n,replace=TRUE)))<a # vから重複をゆるしてn個取り出し、総和の絶対値がaより小さければTRUEを返す関数ｆ
mean(replicate(k,f())) # fを1000回繰り返しTRUEの頻度を返す
}
n=1:1000 # ｎを変化させてqnを実行してグラフにする
y=sapply(n,function(n) sqrt(n)*qn(n)) # nを1~1000でsqrt(n)*qnを実行
plot(n,y,pch=19,bty='n',col=sample(colours())) [] - [ここ壊れてます]
- 4 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 20:46:13 ID:VuOY61Uq.net]
- >>2
ありがたい…予想よりかなりばらばらになってて意外だ
思ったより繊細な条件なのかアレは…
- 5 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/01/27(月) 20:54:26 ID:1cp91WSt.net]
- 前スレのプールの問題。
最短10秒じゃないの？
プールサイドを5秒、直角に曲がって向こう側から進行方向に対して60°の方向に飛びこめば、ちょうど10秒で対角線に達する。
直角三角形の辺の比が1:2:√3になるから、プールサイドから対角線まで、プールサイドの残りのちょうど2倍の距離を泳ぐことになる。
水中では速さが半分になるから時間はプールサイドを端まで行くのと同じ。つまり5秒。プールサイドのどこから飛びこんでも対角線まで5秒。
5秒+5秒=10秒
どうですか？
これが正解ではないか。
- 6 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 22:11:58.10 ID:jyV1bY+U.net]
- V={(x_1,..,x_n)∈[-1/2,1/2)^n | x_1+..+x_n >= 1/2}の体積が大体1/2-c/√nのオーダーって言うのは何か奇妙だな
n次元単体の体積が1/n!らしいし次元の増加に対して減少してもよさそうだけど
- 7 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 22:41:01.22 ID:jyV1bY+U.net]
- この奇妙な感じは機械学習で言うところの球面集中現象と同じ感じかな
- 8 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 23:08:53.38 ID:YG6teE6r.net]
- まぁしかし理論値もシミュレーションもあってるからそんなもんと思うか、直接体積(のオーダー)計算してみるかしかないのでは？
- 9 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 23:16:47.43 ID:jyV1bY+U.net]
- >>7
奇妙って言うのはどこかに誤りを感じるっていう類いの物じゃなくて、n次元立方体っていうのが直観よりもイビツだなぁという感じの物かな
次元が増加すると角のあたりの体積がどんどん増加していって中心に近い部分がペシャンコになるって言うのが面白い
- 10 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 23:17:40.47 ID:YG6teE6r.net]
- >>4
方眼紙買ってきなさい。
10cm×10cmの正方形を書く。
左下隅中心の半径10cmの円を書く。
1cm右にズレて半径9.5cmの円を書く。
1cm右にズレて半径9cmの円を書く。
‥
1cm右にズレて半径5cmの円を書く。
1cm上ズレて半径4.5cmの円を書く。
1cm上ズレて半径4cmの円を書く。
‥
1cm上ズレて半径0.5cmの円を書く。
コレが大体10秒で到達できる領域。
- 11 名前：イナ mailto:sage [2020/01/27(月) 23:46:12.80 ID:1cp91WSt.net]
- 前>>4
10秒で到達しないエリアが存在する。
最初に監視員がいるコーナーから半径10mの扇形の範囲は救える。
向かい側の縁から60の方向に対角線に向かっても10秒の時点では対角線まで到達しない。
最初に監視員がいた地点の反対側のコーナーを30°ずつ三分割したときの真ん中の対角線付近の30°のエリアで半径10mの扇形の外は10秒では到達しない。
10秒のt秒後に対角線上を泳ぐ監視員と、
向かい側の縁から進行方向に対して60°で飛びこみ、対角線に対して、
180°-60°-45°=75°の角度で泳いできた監視員が、同時に到達する地点がただ一点存在する。
15°と75°の直角三角形においてピタゴラスの定理より、向かい側の縁から60°の角度で飛びこむときの到達時間と、対角線上を泳ぐ監視員の到達時間で立式し、
5+5-√{(10√2-10-t)^2-t^2}(2/√3)(1/2)+√{(10√2-10-t)^2-t^2}(1/√3)+t=10+t
- 12 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 23:52:17.33 ID:skP32gBw.net]
- >>5-8
無限次元だとなんと表面しかないぞ。
（余）境界輪体とかコホモロジーだけで論じられるケースが多いから助かるけど。
- 13 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 00:03:58.54 ID:DNYbdktV.net]
- >>11
へぇー何か想像もつかないな
まあ[0,1]^nの表面付近の占める体積の割合がどんどん増えるのは分かるけど
数学科だと何の授業でやるんだろうか
- 14 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 00:39:01.11 ID:KMW2IGzj.net]
- >>11
うわ、ホントだ。
境界しかないね。
( ･∀･)つ〃∩ へぇ～へぇ～へぇ～
- 15 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 10:51:36.22 ID:NOAgSK8J.net]
- >>9
イナ氏に代わって作図の練習に１０秒で到達できる範囲の図を書いてみました。
先に上に行ってから右に行くのも付け加えました。
https://i.imgur.com/92wYLCv.jpg
- 16 名前：イナ mailto:sage [2020/01/28(火) 11:52:36.33 ID:JYMx7E8e.net]
- 前>>10
>>14惜しい!!
白い空白部分を実線で囲んで、真ん中ら辺に最遅到達点の印があれば正解。
- 17 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 12:33:22 ID:KMW2IGzj.net]
- この図に4本の直線が浮かび上がってるのを読み取れないのがイナの限界だな。
- 18 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 12:48:45.88 ID:NOAgSK8J.net]
- >>15
せっかくなので秒数を指定して描画できるようにプログラムしてみました。
８秒、９秒、１０秒、１１秒で到達できる範囲を描いてみました。
正解が１０から１１秒の間にあることが読み取れます。
https://i.imgur.com/e9mep6G.jpg
- 19 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 13:20:24.18 ID:NOAgSK8J.net]
- >>10
方眼紙に作図したら
１０秒以内に到達できない領域が白の部分と判明。
ここで疑問。
この白の部分の面積はいくつか？
（自作問題につき正解はもっておりませんので悪しからず）
https://i.imgur.com/mfbtwlU.jpg
- 20 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 13:26:08.09 ID:KMW2IGzj.net]
- >>18
中学生でもできる。
- 21 名前：イナ mailto:sage [2020/01/28(火) 14:05:31.35 ID:JYMx7E8e.net]
- 前>>15
問題は(10+t)秒のtを求めよってことなんだよ。 方程式立てて解こうとすると0=0になるからみんな放置して作図に精を出してんだよ。
でももうちょい作図すると出ると思う。
- 22 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 14:14:11.73 ID:KMW2IGzj.net]
- みんなって誰？
というかこの問題最初のレスで>>17の図の四角形が潰れる時刻求めてるじゃん。
この問題である時刻までに到達できない領域が四角形か六角形になる事に気づいてないのは君を含む極々一部だけで他の住人はみんなわかってるんだよ。
ただその極々一部のひとがアホほど意味ないレスつけてるからわかってない人間が多くいるように見えるだけ。
おそらくこの問題まだできてないのは2、3人しかいない。
- 23 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 15:21:28.55 ID:DNYbdktV.net]
- >>13
>境界しかないね
これどうやって確かめたの
- 24 名前：イナ mailto:sage [2020/01/28(火) 15:41:20.21 ID:JYMx7E8e.net]
- 前>>20
監視員のいる反対コーナーと最遅到達点と縁の向こう側の飛びこみ地点を結ぶ三角形において、正弦定理よりtの二次式を立てこれを解き、tの値を出そうとしてtにiがかかってる状態。
- 25 名前：１３２人目の素数さん [2020/01/28(火) 16:10:54.20 ID:2Xgr28xI.net]
- >>8
立方体回転で感じれない？
- 26 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 16:16:05.56 ID:DNYbdktV.net]
- >>24
どういうこっちゃ
- 27 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 16:30:20.72 ID:DNYbdktV.net]
- 何か安直に単位n次元立方体の厚さ(e/2)の皮が占める体積の割合考えて
(1^n-(1-e)^n)/1^n=1-(1-e)^n -> 1 (n->∞)
で良いような気がしてきた
- 28 名前：イナ mailto:sage [2020/01/28(火) 17:32:24.59 ID:JYMx7E8e.net]
- 前>>23
図を描くとtの値は11秒弱なんだけど、
計算結果は今のところ、
10+t=13.81376309……(秒)
もうちょいだなぁ。
約分間違えたかなぁ。
- 29 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 17:43:51.84 ID:WcYqODqP.net]
- >>22
直積位相の定義。
任意のx∈I^∞の点とその開近傍の基U=Π(ai,bi) (xi∈(ai,bi), 有限個を除いてai=-∞、bi=∞)をとるときUは必ずI^∞でない点を含む。
つまり内点なし。
- 30 名前：１３２人目の素数さん [2020/01/28(火) 18:09:12 ID:2Xgr28xI.net]
- I^∞って（射影）極限か
ちょっと過激では
- 31 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 18:11:23 ID:Y6uDbGuQ.net]
- >>29
しかし>>11は無限直積の意味でしょ？
多分。
- 32 名前：イナ mailto:sage [2020/01/28(火) 19:49:07.27 ID:JYMx7E8e.net]
- 前>>27
t/(10√2-10-t)=sin15°
t=(10√2-10-t)sin15°
=(10√2-10)sin15°-tsin15°
(1+sin15°)t=10(√2-1)sin15°
t=10(√2-1)sin15°/(1+sin15°)
=0.851642332……
10+t=10.851642332……(秒)
60°よりもっといい飛びこみ角があるってことか。
- 33 名前：イナ mailto:sage [2020/01/28(火) 20:08:34.51 ID:JYMx7E8e.net]
- 前>>31
t/(10√2-10-t)=sin13°
t=(10√2-10-t)sin13°
=(10√2-10)sin13°-tsin13°
(1+sin13°)t=10(√2-1)sin13°
t=10(√2-1)sin13°/(1+sin13°)
=0.712964721……
10+t=10.712964721……(秒)
縁からバサロが速いってか。
- 34 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 20:34:54.86 ID:DNYbdktV.net]
- >>28
位相は良く知らないんだけど、x中心の半径超小さい球をとればxの開近傍でI^∞に含まれるように出来ると思うんだけど
- 35 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 21:27:26 ID:KMW2IGzj.net]
- >>33
何故それを開近傍と呼ばないのかは多分数学科以外では教えてない。
すごい高度といえば高度、どうでもいいといえばどうでもいい話なので気にしなくていい。
理解しようと思うとまぁまぁ頑張らないとダメで、しかも数学科以外の人間には役に立たない。
- 36 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 21:35:09 ID:DNYbdktV.net]
- >>34
距離空間だと球の内部は開集合ぐらいの認識なんだけど、無限次元の時だけ開集合じゃなくなる感じなのかな？
出来たらキーワードというかヒントとか教えて欲しい
ちなみに>>28でなぜ有限個を除いてai=-∞、bi=∞っていう制限が付くのかも知りたい
- 37 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 21:44:05 ID:KMW2IGzj.net]
- >>35
とりあえず直積空間の定義は
https://ja.m.wikipedia.org/wiki/%E7%A9%8D%E4%BD%8D%E7%9B%B8
で何故こういう定義になるかというと
https://ja.m.wikipedia.org/wiki/%E5%B0%84%E5%BD%B1%E6%A5%B5%E9%99%90
平たくいうとXiの直積空間Xは
?第i成分を取り出す写像X→Xiが連続にならないと困る。
そのためにはある程度たくさん開集合がないとダメ。
?成分の空間への連続写像の組みfi:Y→Xiが与えられたら、それを第i成分とするような連続写像f:Y→Xが作れないと困る。
そのためにはあまりXに開集合がありすぎても困る。
の両方の要請を満たすのがwikiにある定義。
有限個を除いてai=-∞、bi=∞でないとダメというルールがないと開集合が増え過ぎて?を満たさなくなってしまう。
- 38 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 22:01:44.30 ID:B7pSAEXp.net]
- >>32
監視員はプールの水を抜けばいいんだよ。
- 39 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 22:45:34.70 ID:DNYbdktV.net]
- >>36
とりあえず積空間の普遍性が開近傍に有限個を除いてai=-∞、bi=∞という条件を要請してて
ゆえにどんなxの開近傍をとってもI^∞からはみ出てしまうっていう流れなのかな
>有限個を除いてai=-∞、bi=∞でないとダメというルールがないと開集合が増え過ぎて②を満たさなくなってしまう。
これ証明するの難しそうだが気になる
とりあえず積位相が射影極限の特殊なケースだってのは理解したがこれは積位相の普遍性だけ気にしてればあんまり考えなくても良いことっぽいな
- 40 名前：イナ mailto:sage [2020/01/28(火) 23:02:33.29 ID:JYMx7E8e.net]
- 前>>32
>>37
10秒で遠浅にはならんら。
- 41 名前：１３２人目の素数さん mailto:sage [2020/01/28(火) 23:28:35 ID:KMW2IGzj.net]
- >>38
証明はそんなに難しいわけではないよ。
数学科の学生さんや卒業生なら腕試しにちょうどいいくらい。
- 42 名前：１３２人目の素数さん mailto:sage [2020/01/29(水) 00:31:08 ID:qqQ5iFrx.net]
- >>40
これを見て理解した
https://www.rs.tus.ac.jp/a25594/2018-2019_General_Topology.pdf
位相の生成の時に有限個の共通部分をとる操作と、射影p_i:X->X_iの逆像が第i成分以外X_j全体になるってところが有限の添え字を除いて空間全体(-∞,∞)っていう制限の由来だったのか
射影を連続にする最弱の位相を入れようとすると自然と開近傍の第i成分が第i空間全体を覆ってしまうほどでかくなるってのは面白いね
大まかな流れを示してくれてありがとう
- 43 名前：イナ mailto:sage [2020/01/29(水) 08:44:32.29 ID:+KHtl67s.net]
- 前>>39`∥____∥ ; ; ;
／∥__`∥￣￣∥; ; ; ;
∥∩∩ ∥ □ ∥ ; ; ;
（(-_-)∥ ∥;_;_;_;
（`～っ∥ ｡∥╂─╂
■`(_)_)ц~ ∥╂─╂
＼■υυ■___∥､＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼`なんで10秒後がわかるのに到達時間が出ないんだ。面白い。
- 44 名前：１３２人目の素数さん mailto:sage [2020/01/29(水) 12:27:18.95 ID:82ygfiEH.net]
- 前スレの
「V_n={(x_1,..,x_n)∈[-1/2,1/2)^n | -1/2≦x_1+..+x_n<1/2} の体積が
|V_n|=(1/π)∫[-∞,∞](sinx/x)^(n+1)dx であることを示せ。」
という問題の難易度はどれくらいで解答パターンはいくつぐらいあるのだろうか？
- 45 名前：１３２人目の素数さん [2020/01/29(水) 13:30:36.57 ID:ChU8VoG8.net]
- >>33
>>28,30に書いている解釈だと無理
- 46 名前：１３２人目の素数さん [2020/01/29(水) 13:31:17 ID:ChU8VoG8.net]
- >>34
>何故それを開近傍と呼ばないのかは多分数学科以外では教えてない。
開近傍でもイイヨ
位相が違うだけ
- 47 名前：１３２人目の素数さん [2020/01/29(水) 13:32:39 ID:ChU8VoG8.net]
- >>35
座標への射影に関する弱位相入れるのが普通だから
別の位相でもイイ
- 48 名前：１３２人目の素数さん mailto:sage [2020/01/29(水) 15:06:00.80 ID:qqQ5iFrx.net]
- >>45
>>33はx中心の開球でI^∞に収まるようなものをxの開近傍として取れるのではと言ってるが
>>34は積空間の普遍性を満たすような位相を入れると>>34の開球は開近傍にはならないと言ってるのでは
- 49 名前：１３２人目の素数さん mailto:sage [2020/01/29(水) 15:27:39.32 ID:qqQ5iFrx.net]
- >>47
×>>34の開球
○>>33の開球
- 50 名前：１３２人目の素数さん mailto:sage [2020/01/29(水) 15:49:56.60 ID:bSeLoPS+.net]
- そもそも大元の>>11が気になるんだけど。
コホモロジー使うとか言ってるけど可縮じゃないのかな？
- 51 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/01/29(水) 16:31:07 ID:+KHtl67s.net]
- 前>>42
10秒77では到達できなくて10秒85で到達できるエリアで溺れた人は監視員によっては救えるけど監視員によっては救えない運命にあるってことか。
- 52 名前：イナ mailto:sage [2020/01/29(水) 20:35:21.32 ID:+KHtl67s.net]
- ／∥卍`∥￣￣∥前>>42
∥∩∩`∥ □ ∥[臥薪嘗
（(-_-)∥ ∥______
（っц~∥ ｡∥╂─╂
■`(_)_) ∥╂─╂
＼■υυ■___∥､＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼＼`対角線を泳ぐより、少しだけプールサイドを進んで進行方向に対して60°の方向に飛びこむと速い。10+t(秒)で監視員が溺れてる人がおってんとこに到達するとして、
突き当たりまで5秒進んで直角に曲がって5秒から10秒までのあいだに進行方向に対して60°の方向に飛びこんだ別の監視員が、10+t(秒)で溺れてる人がおってんとこに到達することも可能。
- 53 名前：イナ mailto:sage [2020/01/29(水) 22:31:53.37 ID:+KHtl67s.net]
- 前>>51
対角線上に監視員からx(m)の位置で溺れた人のとこに手前の縁から進行方向に対して60°に飛びんでも、向こう側の縁から進行方向に対して60°の方向に飛びこんでも同時に到達するとすると、
(x/√2-x/√6)(1/2)+(x/√2)(2/√3)=5+{10-(10-x/√2)(1+1/√3)}(1/2)+(10-x/√2)(2/√3)
辺々2√6掛けて、
(3+√3)x=10√6+√6(x/√2-10/√3-x/√6)+40√2-4x
(3+√3-√3+1+4)x=10√6-10√2+40√2
8x=(10√6+30√2)
x=5(√6+3√2)/4
=8.36516304……
∴5秒進んで直角に曲がって5秒から10秒までのあいだに60°の方向に飛びこむといい。
- 54 名前：１３２人目の素数さん mailto:sage [2020/01/30(Thu) 00:32:27 ID:QWolHuOm.net]
- 惜しいねぇ
- 55 名前：イナ mailto:sage [2020/01/30(木) 03:48:20.72 ID:ghDavkZm.net]
- 前>>52
向こう側の縁からθの角度で飛びこんだ監視員が泳ぐ時間は、
(10-x/√2)秒。
突き当たりを直角に曲がって飛びこむまでの時間は、
{10-(10-x/√2)(1+1/cosθ)}(1/2)
=5-(5-x/2√2)(1+1/cosθ)
=-5/cosθ+x/2cosθ√2+x/2√2(秒)
これらと最初のコーナーまでの5秒を足すと救出時間は、
(1/sinθ)(10-x/√2)-(1/2cosθ)(10-x/√2)+(1/2)(10+x/√2)
微分すると、
-1/sinθ√2+1/2cosθ√2+1/2√2=0
-2/sinθ+1/cosθ+1=0
-2cosθ+sinθ+sinθcosθ=0
(2-sinθ)cosθ=sinθ
cosθ=sinθ/(2-sinθ)
sin^2θ+{sinθ/(2-sinθ)}^2=1
sin^2θ(2-sinθ)^2+sin^2θ=(2-sinθ)^2
4sin^2θ-4sin^3θ+sin^4θ+sin^2θ=4-4sin^2θ+sin^4θ
4sin^3θ-9sin^2θ+4=0
sin^3θ-(3sinθ/2)^2+1=0
sin^3θ+1=(3sinθ/2)^2
3sinθ/2-√(sin^3θ+1)=0になるθを探すと、
θ=57.465773447629°のとき、
(3/2)(sin57.465773447629°)-√((sin57.465773447629°)^3+1)=0となり極大値を与える。
向こう側の縁から57.465773447629°の方向に飛びこむと最速で救出できる。
救出時間は、
(1/sin57.465773447629°)(10-x/√2)-(1/2cos57.465773447629°)(10-x/√2)+(1/2)(10+x/√2)
=(1/sin57.465773447629°-1/2cos57.465773447629°)(10-x/√2)+(1/2)(10+x/√2)
=2.56432763+5+x(1/2√2-0.256432763/√2)
=7.56432763+0.172228045x
10＜x≦10√2
救出時間が9秒台。あまりにも速すぎる監視員。
- 56 名前：１３２人目の素数さん mailto:sage [2020/01/30(Thu) 08:06:02 ID:QWolHuOm.net]
- また遠のいた
- 57 名前：１３２人目の素数さん mailto:sage [2020/01/30(木) 12:38:02.12 ID:lFGe72YJ.net]
- >>18
円の共通接線の方程式
↓
交点の座標
↓
三角形に分割した辺の長さ
↓
ヘロンの公式
は計算が複雑過ぎて俺には無理だな。
- 58 名前：１３２人目の素数さん mailto:sage [2020/01/30(Thu) 13:41:59 ID:Xe9+JgnQ.net]
- t=10の時点で下ヘリの直線が(20,0)を通る傾き1/√3の直線とわかれば簡単。
座標設定しなくても下側の頂点からx軸に垂線下ろして直角二等辺三角形と台形に分ければ相似な三角形出まくる(1:1:√2のやつと1:2:√3のやつしか出てこない)のでそれを利用すれば中学生でも解ける。
ちなみに四角形が潰れる時点の算出も上手く補助線引けば中学生でもできる。
もちろん共通接線が1m/秒でそれぞれ傾き√3と1/√3を保ちながら平行移動している事がわかる前提だけど。
- 59 名前：イナ mailto:sage [2020/01/30(木) 15:00:42.01 ID:ghDavkZm.net]
- 前>>54
>>57
θ=60°のとき、
微分=0より、
3sin60°/2-√{sin^3(60°)+1}=0.0147020699……
≠0
●●ヘリの傾きは1/√3より少し小さいとわかった。y切片もどうだろう。手描きで20超えてる。中学生には無理だと思う。
- 60 名前：１３２人目の素数さん mailto:sage [2020/01/30(木) 15:06:36.60 ID:Xe9+JgnQ.net]
- >>58
頭使って考えてないからわからんのだよ。
>>14の図のx軸上に中心がある円を描く作業をどんどん続けていったらどこで半径0になるかわからんかね？その点を通ってx^2+y^2=100に接する直線はきみにはお手上げ？
- 61 名前：１３２人目の素数さん mailto:sage [2020/01/30(Thu) 16:21:58 ID:YqjWsCqQ.net]
- >>58
原点スタート右上ゴールに採れば円三つ（原点中心, 右下の角中心, 右上の角中心）書くだけで解けるよ
辺の比1:2:√3の直角三角形と一次関数が分かる中学生なら解ける
- 62 名前：イナ mailto:sage [2020/01/30(木) 17:06:50.80 ID:ghDavkZm.net]
- 前>>58
θ=57.465773447629°
向こう側の縁から飛びこむ角度が57.465773447629°ということは、
監視員が最初にいるコーナーの対角コーナーから、泳ぐ経路に引いた垂線が、向こう側の縁となす角は、
90°-57.46773447629°=32.53226552371°
対角線となす角は、
45°-32.53226552371°=12.46773447629°
監視員が10秒過ぎてから救出地点に達するまでに泳いだ時間t(秒)または距離t(m)は、
(10√2-10-t)sin12.465773447629°=t
(10√2-10)sin12.465773447629°=t+tsin12.465773447629°
t=(10√2-10)sin12.465773447629°/(1+sin12.465773447629°)
=0.735371693
到達時間10+t=10.735371693(秒)
- 63 名前：１３２人目の素数さん mailto:sage [2020/01/30(木) 18:05:26.29 ID:Xe9+JgnQ.net]
- 謎の57.‥°にこだわってる限り永遠に答えは出ないねぇ。
- 64 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/01/30(Thu) 20:00:55 ID:ghDavkZm.net]
- 前>>61
>>62なぞは解ける。微分して極値を求めない人にはわからない。
>>54で救出時間を微分して=0のときθ=57.465773447629°
飛びこむ角度、飛びこむ地点、泳ぐ距離、救出時間、すべて求まる。
60°は当たりをつけただけだ。それで近い値は出る。実際に速いのは61°なのか59°なのか、監視員のとっさの判断を計算で求めることに数学の意味があると思う。
57°や58°はだれでもやる。57.465773447629°をやった者だけが味わいうる解放感がある。
- 65 名前：１３２人目の素数さん mailto:sage [2020/01/30(Thu) 20:07:06 ID:Usr95p92.net]
- >>63
その微分計算がおかしいと何故思わん？
>>14の図の直線の最先端、つまり直線と接している各円とその中心のプールサイドとのなす角は何度だね？
なんで図に直線が現れたらその直線の方程式を求めてみようと思わんの？
そういう問題云々いう以前の部分まるっきしダメダメなんだよ。
- 66 名前：イナ mailto:sage [2020/01/30(木) 20:55:35.69 ID:ghDavkZm.net]
- 前>>63
>>64
60°や30°や45°で当たりをつけるのはいいと思う。でも結局はθで一般式を立てなきゃ正確な値が出ないと思う。
60°よりちょっと早いタイミングで飛びこむと、縁の距離が短くなって泳ぐ距離は長くなる。けど全体として距離は少しだけ短くなるし、直角に飛びこむのはたしか30°の方向に飛びこむときと同じだと思ったから、それなら少し早めに飛びこむと速いと思った。
せめぎあいだと思う。
微分=0で極値を求めるでいいと思う。
ちょっと勇気があれば微分できる。そんなに難しくなかった。
- 67 名前：１３２人目の素数さん mailto:sage [2020/01/30(木) 21:04:37.08 ID:Usr95p92.net]
- イナwolfram先生の採点。
(0,0) から(1,1)までかかる所要時間。
何度で最小かね？
- 68 名前：１３２人目の素数さん mailto:sage [2020/01/30(木) 21:05:28.48 ID:Usr95p92.net]
- 57度かね？
https://www.wolframalpha.com/input/?i=plot+%281-cot%28x%2F180*pi%29%29%2F2%2B1%2Fsin%28x%2F180*pi%29+from+55+to++65&lang=ja
- 69 名前：１３２人目の素数さん mailto:sage [2020/01/30(木) 21:17:37.28 ID:lFGe72YJ.net]
- >>57
レスありがとうございます。
秒数を指定して描画できるようにプログラムを作ったついでに
時間ｔの時の空白面積を算出するプログラムを作ろうと思っていたんだけど複雑すぎて諦めました。
- 70 名前：１３２人目の素数さん mailto:sage [2020/01/30(木) 21:47:33.55 ID:Xe9+JgnQ.net]
- >>65
wolfram先生に微分をお願いした
https://www.wolframalpha.com/input/?i=%28%28a-b+cot%28x%29%29%2F2%2Bb%2Fsin%28x%29%29%27&lang=ja
d/dx(1/2 (a - b cot(x)) + b/sin(x)) = 1/2 b csc(x) (csc(x) - 2 cot(x))
csc(x)=1/sin(x)
cot(x)=cos(x)/sin(x)
つまりくくると
= 1/2 b csc(x) 2/sin(x)(1/2- cos(x))
ですわ。
イナ君よ。1/2-cos(x)はどこで符号が変わるかね？
57.‥のところかね？
- 71 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/01/30(Thu) 22:01:48 ID:ghDavkZm.net]
- 前>>65
>>69微分は難しいから、相手よく見て。
泳げる人や縁の近くにいる人は救出しなくていい。
まぁでも溺れてる人は自分が縁にいるとわかってないから溺れてるわけだし、縁からひっぱりあげることは必要。
ただ安易に飛びこむと監視員が溺れることになりかねない。距離が長いときは注意しないと。
縁をまっすぐ10秒でいいと思う。
- 72 名前：１３２人目の素数さん mailto:sage [2020/01/30(Thu) 23:27:12 ID:Xe9+JgnQ.net]
- 大体考えたらわかるでしょ？
大学入試の問題で最小値をとる角度が60°みたいないわゆる"有名角"になってるかどうかはともかくとして、答えないといけない最小値自身は計算機使わないと答えでないような中途半端な値なわけないやん？
- 73 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/01/30(Thu) 23:45:58 ID:ghDavkZm.net]
- 前>>70
>>71
入試の問題かどうかは知らない。
最速何秒か求めようと微分して分子=0で極値を求めたらたまたま出た。
その値に端数が出たので違うとかあってるとか言われても知らない。
- 74 名前：１３２人目の素数さん mailto:sage [2020/01/31(金) 00:11:23 ID:BSBc/B6d.net]
- 無限の「表面」ネタを押し流すために頑張ってるようにすら見えるな。このコテ。
- 75 名前：１３２人目の素数さん mailto:sage [2020/01/31(金) 00:36:53.63 ID:BSBc/B6d.net]
- 無限は表面しかない。
https://rio2016.5ch.net/test/read.cgi/math/1580398458/
立てた。
- 76 名前：１３２人目の素数さん mailto:sage [2020/01/31(金) 00:52:33.84 ID:z/KD0w6T.net]
- >>72
何も出てない。
強いて言えば間違った答えが出ただけ。
もはや永遠にイナのレスから正解が出る事はないのだろうか？
- 77 名前：１３２人目の素数さん [2020/01/31(金) 01:31:49.29 ID:NEbeyvsi.net]
- >>74
荒い位相だからね
- 78 名前：イナ mailto:sage [2020/01/31(金) 03:25:42.12 ID:oSeo+rOS.net]
- 前>>72
>>75そのときはわかって確信を持って書いてるけど、時間が経つとなんのことだかさっぱりわからない。
とにかく同じ思考にたどり着くまでに時間がかかるからちょっと待ってほしい。
ほんとに俺が解いたのかと思うぐらい計算間違いをしてる可能性もあるし、逆にどこか間違えたまま計算はあってる可能性もある。
- 79 名前：イナ mailto:sage [2020/02/01(土) 04:55:29.22 ID:MAkALVaE.net]
- 前>>77
y=-(1/√3)(x+10)+10
y=(x+10/√2)√3+10/√2
の交点のx座標は、
-(1/√3)(x+10)+10=(x+10/√2)√3+10/√2
x=-5/2+5√3/2-15√2/4-5√6/4
y座標は、
y=-(1/√3)(-5/2+5√3/2-15√2/4-5√6/4+10)+10
=15/2-5√3/2+5√6/4+5√2/4
この交点を通り、傾きが、
(√3-1)/(√3+1)の直線と、y=-xの交点のy座標をYとおく。
- 80 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/02/01(土) 14:24:19 ID:MAkALVaE.net]
- 前>>78
-x={-(√3-1)/(√3+1)}(-x-5/2+5√3/2-15√2/4-5√6/4)+15/2-5√3/2+5√6/4+5√2/4
Y={-(√3-1)/(√3+1)}(Y-5/2+5√3/2-15√2/4-5√6/4)+15/2-5√3/2+5√6/4+5√2/4
(√3+1)Y=-(√3-1)(-5/2+5√3/2-15√2/4-5√6/4)+(√3+1)(15/2-5√3/2+5√6/4+5√2/4)
2Y√3=-(4-2√3)(-5/2+5√3/2-15√2/4-5√6/4)+2(15/2-5√3/2+5√6/4+5√2/4)
Y=(-2/√3+1)(-5/2+5√3/2-15√2/4-5√6/4)+15/2√3-5/2+5√2/4+5√2/4√3
=-2/√3(-5/2+5√3/2-15√2/4-5√6/4)-5/2+5√3/2-15√2/4-5√6/4+15/2√3-5/2+5√2/4+5√2/4√3
=5/√3-5+15√2/2√3+5√2/2-5/2+5√3/2-15√2/4-5√6/4+15/2√3-5/2+5√2/4+5√2/4√3
=25√3/6-10+50√6/12
救出時間=5+{Y+(10-Y)√3}/2
=5+{25√3/6-10+50√6/12+(10-25√3/6+10-50√6/12)√3}/2
=5+(25√3/6-10+50√6/12+20√3-25/2-50√2/4)/2
=5+(145√3/6+50√6/12-45/2-50√2/4)/2
=5+145√3/12+25√6/12-45/4-25√2/4
=145√3/12+25√6/12-25/4-25√2/4
=10.9432161……(秒)
- 81 名前：イナ mailto:sage [2020/02/01(土) 15:26:14.08 ID:MAkALVaE.net]
- 前>>79
>>61のほうが速い。
- 82 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 07:29:44 ID:RsjgDQhE.net]
- 4次元世界の問題
一辺の長さが10mの立方体のプールの一つの角に監視員を置く.この監視員は水中は秒速1mで,プー ルの縁上は秒速 2m で移動するものとする.この監視員がプールのどこへでも到達しうるには，最短で何秒 必要か計算せよ.
- 83 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 15:37:37.40 ID:q2RgJvbX.net]
- >>81
プログラムを組んでやってみた。
監視員の座標を(0,0,0)とすると、
> opt[1]
$par
[1] 7.691099 7.691099 7.691099
への到達が最も時間がかかり、
> opt[2]
$value
[1] 13.26518
秒とでてきた。
後は数理の達人の解析解と一致するかを待つまつのみ。
- 84 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 16:16:11.62 ID:q2RgJvbX.net]
- >>82
この点に到着する最短ルートは
(1.41135,0,0) (0,1.41135,0) (0,0,1.41135)のいずれかから水中に入るという結果になった。
数理的には偏微分して解くのかな？
- 85 名前： []
- [ここ壊れてます]
- 86 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 17:40:38.42 ID:RsjgDQhE.net]
- 理論値とまぁまぁ離れてるな。
まぁこっちの持ってる解も100%自信があるわけではないけど。
- 87 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 18:07:40.48 ID:RsjgDQhE.net]
- >>83
それおかしくない？
その入水地点(1.41135,0,0)から直線y=x,z=0に下ろした垂線の足から入水すれば歩く距離も泳ぐ距離も短くならない？
- 88 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 20:38:00.28 ID:q2RgJvbX.net]
- >>85
プールサイドからしか入水できないという前提じゃないの？ プールの壁のどの点からでも入水できるということなら俺は全く別物を計算していることになる。
# O (Oから水没)
# O-X(X軸上から水没)
# O-X-Y(Xを全長走行してY軸上から水没)
# O-X-Y-Z(X,Yを全長走行してZ軸上から水没)
という風にして時間を計測したんだけど。
- 89 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 20:48:44.75 ID:q2RgJvbX.net]
- つまり、横に5m走ってから上に5m走った点から目標にむけて入水も可能という設定ですか？
- 90 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 21:01:18.47 ID:eOqQ3fgS.net]
- >>87-88
もちろん設定は4次元なんだからプールサイドは立方体の表面ですよ？
表面どこからでも入水可能です。
- 91 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 21:04:59.58 ID:q2RgJvbX.net]
- >>88
立方体の辺からしか入水できないものとしてプログラムを組んだのでやり直します。
- 92 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 22:53:30.63 ID:q2RgJvbX.net]
- >>89
プログラムをやり直してみた。
> opt$objective
[1] 8.327796
秒で
> opt$maximum*e
[1] 5.293786 5.293786 5.293786
が座標
という結果になった。
- 93 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 23:01:18.82 ID:q2RgJvbX.net]
- 入水する座標は (1.965991, 8.621582, 10)となった。
- 94 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 23:42:45.05 ID:EzepMClR.net]
- 多分違う。
二次元のときと同じで入水地点からの泳ぐ経路と入水した面のなす角は60°である事が必要だけど60°になってません。
- 95 名前：１３２人目の素数さん mailto:sage [2020/02/02(日) 23:56:43.95 ID:miBDuDBm.net]
- 多分違う。
二次元のときと同じで入水地点からの泳ぐ経路と入水した面のなす角は60°である事が必要だけど60°になってません。
- 96 名前： mailto:sage [2020/02/02(日) 23:57:14.88 ID:mBdy+u7t.net]
- 前>>80
>>54の前半と、
>>61で最小値あってるよね？
- 97 名前：１３２人目の素数さん mailto:sage [2020/02/03(月) 00:02:55.43 ID:QjeNGJ5C.net]
- あってない。
もう諦めよう。
- 98 名前：１３２人目の素数さん mailto:sage [2020/02/03(月) 00:06:49.92 ID:ofWvSfGK.net]
- ちなみにウソだと思うなら2007 東工大 AO入試で検索してみるといい。
山ほど5+10/√3出てくるから。
これだけ時間かけてまだダメならもう無理でしょう。
- 99 名前：イナ mailto:sage [2020/02/03(月) 00:20:33.82 ID:avp8Qlns.net]
- 前>>96
10.7735秒より10.735秒のほうが速い。
- 100 名前：１３２人目の素数さん mailto:sage [2020/02/03(月) 00:40:08 ID:n+PD/BkY.net]
- じゃあよかったじゃん。
おめでとう。
じゃあネット中に転がってる解答は全部間違ってるんだね。
すげーじゃん。イナ。
世間に転がってる解答の上を行ったんだね。
- 101 名前： 【大吉】 mailto:sage [2020/02/03(月) 00:59:37 ID:avp8Qlns.net]
- 前>>97
>>98わずか5+10/√3-10.735371693=0.0381309989(秒)速いだけだけど、勝ててよかった。救えない命が救えるタイムだと思う。
|
 |
