旋转轴的几何构造

GeoGebra 命令及参数

1. Rotate(L, α, zAxis) → L'
2. Vector(L'(1)) → N
3. Rotate(xyPlane, β, Line[(0, 0, 0), Vector[N + (0, 0, 0)]]) → xyPlane'
4. Rotate(L', β, Line[(0, 0, 0), (0, 0, 0) + N]) → L''
5. Angle(Vector[L(1)], Vector[L'(1)]) → δ
6. Rotate(L'', γ, OrthogonalLine[(0, 0, 0), xyPlane']) → L'''
7. Angle(Vector[L'(3)], Vector[L''(3)]) → ε
8. Angle(Vector[L'(1)], Vector[L'''(1)]) → ζ
9. Transpose({x(L'''), y(L'''), z(L''')}) → Q
10. Point(First[(Q - (1.0001 * Identity[3]))^(-1)]) → P
11. Rotate(L, s, Line[(0, 0, 0), (0, 0, 0) + v]) → L'_1