任意三角形的面积 by GreenMaths

GeoGebra 命令及参数

1. Point(xAxis) → A_1
2. OrthogonalLine(A_1, xAxis) → g_1
3. Point(xAxis) → Z
4. OrthogonalLine(Z, xAxis) → f_1
5. Circle(A, Base) → d
6. Point(d) → B
7. Line(A, B) → f
8. OrthogonalLine(A, f) → g
9. Circle(A, Height) → c
10. Intersect(c, g, 1) → C
11. Tangent(C, c) → h, a
12. Intersect(h, g_1) → C_1
13. Intersect(h, f_1) → B_1
14. Segment(B_1, C_1) → h_1
15. Point(h_1) → D
16. Segment(A, B) → e
17. Polygon(A, B, D) → P, d_1, a_1, b_1
18. OrthogonalLine(D, f) → i
19. Intersect(f, i) → E
20. Segment(E, D) → j
21. Segment(E, B) → k
22. Midpoint(D, B) → F
23. Midpoint(D, A) → G
24. Point(a_1) → H
25. Circle(B, H) → p
26. Intersect(p, d_1, 1) → I
27. OrthogonalLine(H, a_1) → l
28. OrthogonalLine(I, d_1) → m
29. Intersect(l, m) → J
30. If(x(D) ≟ x(B), G) → K
31. If(x(D) ≟ x(B), J) → L
32. Segment(L, H) → n
33. Segment(L, I) → q
34. Rotate(A, α, K) → A'
35. Rotate(B, α, K) → B'
36. Rotate(D, α, K) → D'
37. Polygon(A', B', D') → P', d', a', b'
38. If(x(D) ≟ x(A), F) → M
39. Point(b_1) → N
40. Circle(A, N) → r
41. Intersect(r, d_1, 1) → O
42. OrthogonalLine(N, b_1) → s
43. OrthogonalLine(O, d_1) → t
44. Intersect(s, t) → Q
45. If(x(D) ≟ x(A), Q) → R
46. Segment(N, R) → c_1
47. Segment(R, O) → e_1
48. Rotate(A, -α, M) → A'_1
49. Rotate(B, -α, M) → B'_1
50. Rotate(D, -α, M) → D'_1
51. Polygon(A'_1, B'_1, D'_1) → P'_1, d'_1, a'_1, b'_1
52. If(x(D) > x(B), G) → S
53. Rotate(A, α, S) → A'_2
54. Rotate(B, α, S) → B'_2
55. Rotate(D, α, S) → D'_2
56. Polygon(A'_2, B'_2, D'_2) → P'_2, d'_2, a'_2, b'_2
57. If(x(D) < x(A), F) → T
58. Rotate(A, -α, T) → A'_3
59. Rotate(B, -α, T) → B'_3
60. Rotate(D, -α, T) → D'_3
61. Polygon(A'_3, B'_3, D'_3) → P'_3, d'_3, a'_3, b'_3
62. If((x(D) > x(A)) ∧ (x(D) < x(B)), F) → U
63. Rotate(A, -α, U) → A'_4
64. Rotate(B, -α, U) → B'_4
65. Rotate(D, -α, U) → D'_4
66. Polygon(A'_4, B'_4, D'_4) → P'_4, d'_4, a'_4, b'_4
67. Midpoint(D, E) → V
68. Midpoint(A, B) → W