直角三角形的中线与中点性质可视化

GeoGebra 命令及参数

1. Line(B, A) → f
2. OrthogonalLine(A, f) → g
3. Point(g) → C
4. Midpoint(C, B) → D
5. Translate(A, Vector[(If[Animation < 5, Animation / 5, 1] * Vector[A, D])]) → M
6. Segment(A, M) → h
7. Midpoint(h) → E
8. Polygon(C, A, B) → t1, a, c, b
9. Midpoint(c) → G
10. Angle(D, E, G) → β
11. Angle(C, A, B) → α
12. Segment(C, D) → i
13. Segment(D, B) → j
14. Midpoint(a) → F
15. Rotate(M, If[Animation < 5, 0, If[5 ≤ Animation < 10, ((Animation - 5) / 5 * β), β]], E) → A''
16. Rotate(A, If[Animation < 5, 0, If[5 ≤ Animation < 10, ((Animation - 5) / 5 * β), β]], E) → A'_{1}
17. Segment(A'_{1}, A'') → h'
18. Segment(F, G) → k
19. Segment(C, F) → l
20. Segment(F, A) → m
21. Segment(A, G) → n
22. Segment(G, B) → p
23. Segment(A'_{1}, A'') → q
24. Rotate(A'_{1}, If[Animation < 12, 0, If[12 ≤ Animation < 17, (((-(Animation - 12))) / 5 * β), (-β)]], E) → H
25. Rotate(A'', If[Animation < 12, 0, If[12 ≤ Animation < 17, (((-(Animation - 12))) / 5 * β), (-β)]], E) → A'''
26. Segment(H, A''') → h''
27. Rotate(A, If[Animation ≤ 18, 0, If[18 ≤ Animation < 25, (((Animation - 18) / 7 * 2) * π), (2 * π)]], M) → B'
28. Segment(M, B') → r
29. CircleArc(M, A, B') → e