3D旋转三角形作图

GeoGebra 命令及参数

1. Segment(A, B) → a
2. Point(IntersectPath[Plane[A, B, A'], Sphere[A', a]]) → B'
3. IntersectPath(PlaneBisector[A, A'], PlaneBisector[B, B']) → i
4. Segment(A', B') → a'
5. Intersect(i, Plane[A, B, A']) → O
6. Rotate(C, Angle[A, O, A'], i) → C_1
7. Polygon(A, B, C) → poly1, c_1, b, c
8. Rotate(C, (-Angle[A, O, A']), i) → C_2
9. If(Distance[A, C] ≟ Distance[A', C_1], C_1, C_2) → C'
10. Polygon(A', B', C') → poly2, c', a'_1, b'
11. CircleArc(O, A, A') → d
12. CircleArc(O, B, B') → e
13. Angle(A, O, A') → α
14. Angle(B, O, B') → β
15. Intersect(i, OrthogonalPlane[C, i]) → O_c
16. CircleArc(O_c, C, C') → f
17. Angle(C, O_c, C') → γ
18. Rotate(poly1, (t * α), i) → poly1'