※3次元空間の回転行列を使います。
※空間把握が少し苦手なので少々強引な手段を用いています
(1)
線分BCは、媒介変数tを用いて
と表せる。線分BC上の任意の点をx軸を中心に回転させる。x軸周りの回転を表す回転行列は
xy平面の通過領域を求めるので
整理すると
以上より、求める図形は、双曲線の一部である
(2)
y≧0とする
線分OCの、xy平面における通過領域は、y=t(0≦t≦1)
線分OAの、xy平面における通過領域は、y=x(0≦x≦1/√2)
線分ABの、xy平面における通過領域は、y=t(1/√2≦t≦3/√6)
y≦0も対称性より明らか
※図は省略
≪補足説明≫
「3次元の回転行列+軌跡」を用いました。
回転方向は、点Cを90°回転させると(0,0,1)に一致する方向を正としています
ちなみに、点B(1/√2,1/√2,1)のxy平面での通過点(射影?)は
z座標=0より
但し、
θ=-αの時、z=0となる。その時のy座標は
この結果は、線分BCのxy平面における通過領域
において、x=1/√2を代入した時のyの値と一致している