组合变换：线反射与旋转

GeoGebra 命令及参数

1. Rotate(B, (a * π / 180), A) → B'
2. Line(A, B') → f
3. Rotate(B', (b * π / 180), A) → B''
4. Line(A, B'') → g
5. Rotate(pic1, β, A) → pic1'_1
6. Rotate(C, β, A) → C'_1
7. Rotate(D, β, A) → D'_1
8. Mirror(B', A) → B''_1
9. Mirror(B'', A) → B'''
10. Circle(A, (3 * Distance[A, B])) → c
11. Intersect(c, f, 1) → E
12. Intersect(c, g, 1) → F
13. Angle(E, A, F) → α
14. Segment(C, A) → h
15. Segment(A, C'_1) → i
16. Angle(C, A, C'_1) → γ