>>375 が解法の本質をついているので、その方針で計算を示します。
正四面体ABCDの辺BCと辺BDをt:1-tに内分する点をそれそれP,Qとし、
三角形APQ (辺の長さはAP=AQ=a√(1-t+t^2), PQ=at) が単位円に内接するときの
三辺の長さと内接円半径の関係式を求めると
a=√(4-4t+3t^2)/(1-t+t^2)
となる。そしてこの右辺をf(t)と置いてf(t)の0<t<1での最大値を計算する。
f'(t)=0の分子の方程式3t^3-6t^2+7t-2=0をカルダノの公式で解くと
t_0= (2 + (-4+√43)^(1/3) - (4+√43)^(1/3))/3 = 0.39125971029558…
であり、このときの極値は
f(t_0)= (√3/9)√(38 + (277217+41796√43)^(1/3) + (277217-41796√43)^(1/3))
= 2.23311138619632… (これは9x^6-38x^4+9x^2-216=0の正の根でありaの最大値となる)
a=f(t_0)のとき点A,点P,点Qは単位円にギリギリ内接し、
PQを軸にして正四面体を回転させれば点Aを点B側にくぐらせることができ、
この手順を2回繰り返して単位円を通過させられる。
f(t_0)よりもaが大きいと正四面体はどうやっても1つの頂点しか単位円をくぐらない。
詳細な証明は >>376 の文献にあるので、腑に落ちない部分は補完してください。
また
http://www.alg.cei.uec.ac.jp/itohiro/Games/090303/090303-08.pdf
にこの問題の日本語サーベイがあって、答えを抽出すると全く同じ値
(aの最大値) = 2/γ(3,B_2) = 1/r (rは216x^6-9x^4+38x^2-9=0の(0,1)区間の根)
= 2.23311138619632…
になります。
この問題の類題は東大入試で複数回(1988年,1990年)出題されているそうです。
面白い問題おしえて〜な 30問目
■ このスレッドは過去ログ倉庫に格納されています
396364
2020/01/06(月) 23:14:36.08ID:s19KxsdE■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★2 [煮卵★]
- 「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★2 [煮卵★]
- 【芸能】立川志らく「ヤクザの事務所が隣近所にあれば、強盗だとか闇バイトが来ない」 暴力団の“利点”指摘に違和感 [冬月記者★]
- 《活動休止から365日》国分太一 すべての仕事を失い、TOKIOもスピード解散…いまだ復帰叶わぬも残された“最大の謎” [Ailuropoda melanoleuca★]
- 【テレ東音楽祭】長渕剛、テレ東初出演!『とんぼ』『乾杯』熱唱へ 酒井法子は『碧いうさぎ』歌唱 [Ailuropoda melanoleuca★]
- 【サッカーW杯】24年ぶりV狙うブラジル、ハイチに3-0快勝で今大会初白星!波乗りクーニャが2発、好調ヴィニシウスが1G1A [鉄チーズ烏★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★106【メキシコ/カナダ/アメリカ】
- 【MLB】ドジャース vs オリオールズ ★2
- 【MLB】ドジャース vs オリオールズ
- はません
- 巨専】
- はません ★3
- 木原「高市首相がG7でボッチだったり無視された事実はない!デマを流すなー😡」 [931948549]
- /ほく(プロ)「炙りあぶ、下さい。」店主「炙りアブ?」
- 【悲報】「フェルメール展」のチケットを取れなかったジャップ民がSNSで大暴れwwwwwwwwwwwwwwwwwwwwwwww [551743856]
- 新幹線の個室でやりたいこと
- 🪖自衛官、退職しまくり😱入隊から5年以内で退職するケースが約5割 [718678614]
- 🏡ガイジ製造工場