2023.08.22記
[2] 長さ の線分 を直径とする球面 がある.点 において球面 に接する平面の上で, を中心とする半径 の四分円(円周の の長さをもつ円弧)と線分 をあわせて得られる曲線上を,点 が 周する.このとき,線分 と球面 との交点 の描く曲線の長さを求めよ.
2020.11.25記
極射影の円円対応.
ここで、平面を半径が無限大の円だとみなす.
与えられた平面を とする.
上の点 と球面上の点 の間には という関係が成立する.ベクトルで書けば
となる.これは 中心半径2の円に関する3次元空間における反転を与えられた球 と平面 に制限した写像となっており,これを極射影や立体射影と呼ぶ.
本問では, という特別な値になっているので,弧、弦の像はともに球と平面の交線であることを利用して解くことができる.そのため極射影の知識は over spec だが,ここでは極射影を使った解答を示しておく.
2020.10.31記
[大人の解答]
弦 を含む球として平面 を選ぶと,平面 は反転によって自分自身にうつるので,弦の像は と平面 の交線 となるので, の中点を とすると だから,円の直径は となり,円周角は だから,その長さは となる.
弦 を含む球として平面 を選ぶと,平面 は反転によって自分自身にうつるので,弦の像は と平面 の交線 となるので, の中点を とすると だから,円の直径は となり,円周角は だから,その長さは となる.
弧 を含む球として中心 半径2の球を選ぶと,その球は を通り,その対蹠点(中心 に関して対称な点)を とし, の像を とすると だから, は球 の中心である.よって,中心 半径2の球の像は を通り に垂直な平面となるので,弧の像は の大円,つまり半径2の円でその中心角は だから,その長さは となる.
よって求める答は