2020.03.02記
[解答]
に注意すると、
が成立する.
により,
は
の垂直2等分面上にある.
よって,この垂直2等分面を 平面と設定する.
とする.
より
とする.
の
座標が負の場合は鏡映対称移動したものであるから、この場合だけ考えれば十分である.
より
(
)とおくと、
条件はとなる。
より
となるが、内積
は絶対値が1以下であるから、
2020.09.11記
球面三角法を用いる.
原理的には,
を単位球の中心として、
の緯度経度(南緯、西経を負とする)を設定すれば機械的に解けるが,
が
の垂直2等分面上にあることを利用して次のように設定する.
[大人の解答]
を単位球の中心,
を北極,
を北緯
経度0,
を北緯
東経
,
を北緯
東経
(
,
)とおくと,
,
,
が成立する.
,
により
,
だから,
,
が成立する.
よって ,
となり,
が成立する.整理して となるが
は絶対値が1以下だから
となる.
機械的に設定すると次のようになる.
[大人の解答]
を単位球の中心,
を北極,
を北緯
経度0,
を北緯
東経
,
を北緯
度東経
(
,
)とおくと,
,
,
,
,
,
となる.整理すると,
,
,
,
,
,
,
,
となり,
,
も成立する.よって加法定理から
が成立する.よって
つまり, となり,
となる.
根号の中が正、つまり だから
となる.