外错角（Alternate Exterior Angles）动态演示 by dbroadstone

GeoGebra 命令及参数

1. Point(a) → B
2. Rotate(B, α, A) → B'
3. Angle(B, A, B') → β
4. Line(A, B') → b
5. Circle(A, 1) → e
6. Intersect(b, d) → C
7. Circle(C, 1) → f
8. Intersect(e, a) → D, E
9. Intersect(e, b) → F, G
10. Intersect(f, b) → H, I
11. Intersect(f, d) → J, K
12. CircleSector(C, K, I) → g
13. CircleSector(C, I, J) → h
14. CircleSector(A, D, F) → s
15. CircleSector(A, F, E) → t
16. Dilate(A, If[0 < i < 1, 1 - i], C) → A'
17. Vector(A, A') → u
18. Translate(s, u) → s'
19. Translate(t, u) → t'
20. CircleArc(C, K, I) → d_1
21. CircleArc(C, I, J) → e_1
22. CircleArc(A, D, F) → g_1
23. CircleArc(A, F, E) → k_1
24. Vector(A, C) → v
25. Translate(s, v) → s'_1
26. Rotate(s'_1, (((i - 1) * 180))°, C) → k
27. Translate(t, v) → t'_1
28. Rotate(t'_1, (((-(i - 1)) * 180))°, C) → p