两条相交直线形成的对顶角相等（交互探索）

GeoGebra 命令及参数

1. Line(B, O) → a
2. Point(a) → D
3. Segment(B, D) → c
4. Point(c) → F
5. Line(A, O) → b
6. Point(b) → C
7. Segment(A, C) → d
8. Angle(B, O, A) → α
9. Angle(C, O, B) → β
10. Angle(D, O, C) → γ
11. Angle(A, O, D) → δ
12. Polygon(A, O, B) → poly1, b_1, c_1, a_1
13. Polygon(B, O, C) → poly2, e, b_2, a_2
14. Rotate(A, (-red), O) → C'
15. Rotate(O, (-red), O) → A'
16. Rotate(B, (-red), O) → B'
17. Polygon(C', A', B') → poly1', b', c', a'
18. Rotate(B, (-green), O) → B'_1
19. Rotate(O, (-green), O) → A'_1
20. Rotate(C, (-green), O) → E'
21. Polygon(B'_1, A'_1, E') → poly2', e', b'_1, a'_1
22. Angle(E', O, B'_1) → ζ_{moving}
23. Angle(B', O, C') → ε_{moving}
24. Rotate(F, μ, O) → F'
25. Rotate(F, η, O) → F'_1
26. Rotate(F', η, O) → F''
27. CircleSector(O, F'_1, F'') → k