三角形面积 by Duane Habecker

GeoGebra 命令及参数

1. Line(A, B) → f
2. Line(C, f) → g
3. OrthogonalLine(A, f) → h
4. OrthogonalLine(B, f) → i
5. Intersect(g, h) → D
6. Intersect(g, i) → E
7. Polygon(A, B, C) → t1, c, a, b
8. OrthogonalLine(C, f) → j
9. Intersect(f, j) → F
10. Polygon(A, F, C) → t2, c_1, a_1, f_1
11. Polygon(B, F, C) → t3, c_2, b_1, f_2
12. Midpoint(f_1) → G
13. Midpoint(f_2) → H
14. Rotate(A, ((d * 180))°, G) → A'
15. Rotate(F, ((d * 180))°, G) → F'
16. Rotate(C, ((d * 180))°, G) → C'
17. Polygon(A', F', C') → t2', c', a', f'
18. Rotate(B, (-(((d * 180))°)), H) → B'
19. Rotate(F, (-(((d * 180))°)), H) → F'_1
20. Rotate(C, (-(((d * 180))°)), H) → C'_1
21. Polygon(B', F'_1, C'_1) → t3', c'_1, b', f'_1
22. Line(C, B) → k
23. Line(A, k) → l
24. OrthogonalLine(A, k) → m
25. Intersect(k, m) → I
26. Polygon(A, I, C) → t4, c_3, a_2, i_1
27. Polygon(A, I, B) → t5, b_2, a_3, i_2
28. Midpoint(i_2) → J
29. Rotate(A, ((d * 180))°, J) → A'_1
30. Rotate(I, ((d * 180))°, J) → I'
31. Rotate(B, ((d * 180))°, J) → B'_1
32. Polygon(A'_1, I', B'_1) → t5', b'_1, a'_1, i'
33. Rotate(A, (-(((d * 180))°)), G) → A'_2
34. Rotate(I, (-(((d * 180))°)), G) → I'_1
35. Rotate(C, (-(((d * 180))°)), G) → C'_2
36. Polygon(A'_2, I'_1, C'_2) → t4', c'_2, a'_2, i'_1
37. Line(A, C) → n
38. Line(B, n) → p
39. OrthogonalLine(B, n) → q
40. Intersect(n, q) → K
41. Polygon(B, K, A) → t6, a_4, b_3, k_1
42. Polygon(B, K, C) → t7, c_4, b_4, k_2
43. Rotate(B, ((d * 180))°, H) → B'_2
44. Rotate(K, ((d * 180))°, H) → K'
45. Rotate(C, ((d * 180))°, H) → C'_3
46. Polygon(B'_2, K', C'_3) → t7', c'_3, b'_2, k'
47. Rotate(B, (-(((d * 180))°)), J) → B'_3
48. Rotate(K, (-(((d * 180))°)), J) → K'_1
49. Rotate(A, (-(((d * 180))°)), J) → A'_3
50. Polygon(B'_3, K'_1, A'_3) → t6', a'_3, b'_3, k'_1
51. Polygon(A, B, C) → t8, c_5, a_5, b_5
52. Segment(C, F) → r
53. Segment(A, I) → s
54. OrthogonalLine(B, n) → t
55. Intersect(n, t) → L
56. Segment(B, L) → g_1