两条直线与横截线的夹角探索

GeoGebra 命令及参数

1. Point(Segment[(5, -1), (5, 5)]) → A
2. Point(Segment[(17, -1), (17, 5)]) → B
3. Line(A, B) → a
4. Point(Segment[(5, -1), (5, y(A))]) → C
5. Point(Segment[(17, -1), (17, y(B))]) → D
6. Line(C, D) → b
7. Point(Segment[(6, -2), (16, -2)]) → F
8. Point(Segment[(6, 6), (16, 6)]) → E
9. Line(E, F) → c
10. Intersect(a, c) → G
11. Intersect(b, c) → H
12. Angle(B, G, E) → α
13. Angle(E, G, A) → β
14. Angle(A, G, H) → γ
15. Angle(H, G, B) → δ
16. Angle(D, H, G) → ε
17. Angle(G, H, C) → ζ
18. Angle(C, H, F) → η
19. Angle(F, H, D) → θ
20. Segment(A, B) → d
21. Segment(C, D) → e
22. Segment(E, F) → f
23. Point(a) → I
24. Point(b) → J
25. Point(c) → K
26. Point(c) → L
27. Segment(E, K) → g
28. Segment(A, I) → h
29. Segment(C, J) → i
30. Segment(F, L) → j
31. Point(a) → M
32. Point(b) → N
33. Segment(B, M) → k
34. Segment(D, N) → l
35. AreParallel(d, e) → parLin