1.20 点の直線への射影
定義 1.96 (点の直線への射影) 点 から直線 に垂線を下ろした足を とする. 点 から点 への変換を射影(projection???)という.
定理 1.97 (射影) 点 を直線 へ射影して得られる点 は
(133)
で与えられる.(証明) 直線の単位方向ベクトルを とする. このとき とおく. と が直交するので より
0 (134) (135)
となるので, が成り立ち, を得る.
例 1.98 (射影の具体例) 点 , を考える. 点 を直線 へ射影した点を とする., , とおく. と向きが同じ単位ベトクルは
(136)
である.ベクトル の長さは
(137)
で与えられる. よって の向きは と同じなので
(138)
となる. 以上より である.
例 1.99 (射影の具体例) 点 , , を考える. 点 から直線 へ垂線を下ろした足を とする., , とおく. このとき
(139)
より
(140)
である.よって
(141)
となるので, を得る.
定理 1.100 (点の直線への射影) 点 から直線 への 射影点 は
(142)
である.
問 1.101 (点の直線への射影) これを示せ.
Kondo Koichi
平成17年9月15日