动态证明正弦余弦和角公式

GeoGebra 命令及参数

1. Line(A, B) → a
2. Line(C, a) → b
3. Segment(A, C) → c
4. Midpoint(A, C) → D
5. Circle(D, C) → d
6. Point(d) → E
7. Segment(A, E) → e
8. Segment(E, C) → f
9. OrthogonalLine(E, b) → g
10. Intersect(b, g) → F
11. Intersect(a, g) → G
12. Segment(F, E) → h
13. Segment(E, G) → i
14. OrthogonalLine(C, b) → j
15. Intersect(a, j) → H
16. Segment(C, H) → k
17. OrthogonalLine(A, a) → l
18. Point(l) → I
19. Line(I, a) → m
20. Intersect(m, g) → K
21. Segment(I, K) → n
22. Line(E, b) → p
23. Intersect(p, k) → J
24. Segment(J, E) → q
25. Midpoint(A, E) → L
26. Midpoint(A, H) → M
27. Midpoint(J, E) → N
28. Midpoint(E, C) → O
29. Midpoint(F, E) → P
30. Midpoint(E, G) → Q
31. Midpoint(I, K) → R
32. OrthogonalLine(B, a) → r
33. Intersect(r, b) → S
34. Segment(S, B) → s
35. Midpoint(S, B) → T
36. Angle(E, A, B) → α
37. Angle(E, A, C) → β
38. Angle(C, E, A) → γ
39. Angle(C, J, E) → δ
40. Angle(E, G, A) → ε