平行线与相关角探索：截线形成的角对关系

GeoGebra 命令及参数

1. Line(A, B) → a
2. Line(E, F) → c
3. Intersect(a, c) → K
4. Angle(A, K, F) → η
5. Angle(F, K, B) → θ
6. Line(E, a) → b
7. Angle(B, K, E) → α
8. Angle(E, K, A) → β
9. Point(c) → C
10. Point(b) → G
11. Point(b) → H
12. Angle(H, E, C) → γ
13. Angle(C, E, G) → δ
14. Angle(G, E, K) → ε
15. Angle(K, E, H) → ζ
16. Angle(K, E, H) → ι
17. Angle(G, E, K) → κ
18. Angle(B, K, E) → λ
19. Angle(E, K, A) → μ
20. Angle(H, E, C) → ν
21. Angle(C, E, G) → ξ
22. Angle(A, K, F) → ο
23. Angle(F, K, B) → ρ
24. Angle(H, E, C) → σ
25. Angle(C, E, G) → τ
26. Angle(G, E, K) → υ
27. Angle(K, E, H) → ϕ
28. Angle(B, K, E) → χ
29. Angle(E, K, A) → ψ
30. Angle(A, K, F) → ω
31. Angle(F, K, B) → α_1
32. Line(D, I) → a_1
33. Point(a_1) → J
34. Rotate(I, ϕ, J) → I'
35. Angle(I, J, I') → β_1
36. Rotate(I', χ, J) → I''
37. Angle(I', J, I'') → γ_1
38. Circle(J, 2) → c_1
39. Intersect(c_1, a_1, 1) → M
40. Intersect(c_1, a_1, 2) → N
41. Vector(J, N) → u
42. Vector(J, M) → v
43. Line(O, P) → b_1
44. Point(b_1) → Q
45. Rotate(P, ϕ, Q) → P'
46. Angle(P, Q, P') → δ_1
47. Rotate(P', χ, Q) → P''
48. Angle(P', Q, P'') → ε_1
49. Circle(Q, 2) → d_1
50. Intersect(d_1, b_1, 1) → R
51. Intersect(d_1, b_1, 2) → S
52. Vector(Q, S) → w
53. Vector(Q, R) → u_1