三角因式分解加法恒等式的几何演示

GeoGebra 命令及参数

1. Rotate(B, a°, A) → B'
2. Angle(B, A, B') → β
3. Line(A, B') → f
4. Segment(A, B) → g
5. Line(B, C) → h
6. Intersect(h, f) → D
7. Rotate(A, (-(90°)), D) → A'
8. Angle(A', D, A) → γ
9. Line(A', D) → i
10. Line(A, E) → j
11. Rotate(D, b°, A) → D'
12. Angle(D, A, D') → α
13. Line(A, D') → k
14. Intersect(i, k) → F
15. Line(F, G) → l
16. Intersect(j, l) → H
17. Segment(A, D) → m
18. Segment(D, F) → n
19. Segment(F, A) → p
20. Segment(A, H) → q
21. Segment(H, F) → r
22. Segment(D, B) → c
23. Rotate(D, 90°, F) → D'_1
24. Angle(D, B, A) → ι
25. Angle(H, F, A) → κ
26. Vector(A, D) → u
27. Translate(D, u) → D'_2
28. Vector(D, D'_2) → v
29. Segment(D, D'_2) → t
30. Segment(F, D'_2) → d
31. Segment(F, I) → e
32. Segment(I, D'_2) → g_1
33. Line(D'_2, I) → h_1
34. Intersect(j, h_1) → J
35. Segment(A, J) → i_1
36. Segment(J, D'_2) → j_1
37. Angle(D'_2, D, F) → δ
38. Angle(F, D'_2, D) → ε
39. Angle(I, D'_2, F) → ζ
40. Intersect(f_1, k_1) → K
41. Segment(D, K) → l_1
42. Segment(K, D'_2) → m_1
43. Angle(K, D, D'_2) → η
44. Angle(D'_2, K, D) → θ
45. Angle(F, I, D'_2) → λ
46. Angle(H, J, I) → μ
47. Angle(A, H, F) → ν
48. Line(A, B) → n_1
49. Intersect(k_1, n_1) → L
50. Segment(K, L) → p_1
51. Segment(L, B) → q_1
52. Segment(H, J) → r_1
53. Segment(J, I) → s_1
54. Angle(K, L, B) → ξ