斯坦纳定理动画

GeoGebra 命令及参数

1. Circle(E_1, F_1, G_1) → e_1
2. Circle(H_1, I_1, J_1) → f_1
3. Mirror(f_1, e_1) → g_1
4. Point(f_1) → K_1
5. Mirror(K_1, e_1) → L_1
6. Mirror(K_1, g_1) → A
7. Circle(K_1, L_1, A) → c
8. Mirror(B, g_1) → B'
9. Circle(L_1, B', B) → d
10. Mirror(K_1, d) → C
11. Circle(K_1, C, L_1) → e
12. Intersect(e_1, e, 1) → D
13. Mirror(D, f_1) → D'
14. Mirror(D, g_1) → D'_1
15. Circle(D', D, D'_1) → f
16. Mirror(e, f) → e'
17. Intersect(e_1, e', 1) → E
18. Intersect(c, f, 1) → F
19. Intersect(c, f, 2) → G
20. Circle(F, E, G) → g
21. Mirror(e', g) → e''
22. Intersect(e_1, e'', 1) → H
23. Circle(F, H, G) → h
24. Mirror(e'', h) → e'''
25. Intersect(e_1, e''', 1) → I
26. Circle(F, I, G) → k
27. Mirror(e''', k) → p
28. Intersect(e_1, p, 1) → J
29. Circle(F, J, G) → q
30. Intersect(e_1, e, 2) → K
31. Circle(K, F, G) → r
32. Mirror(e, r) → e'_1
33. Intersect(e_1, e'_1, 2) → L
34. Circle(L, F, G) → s
35. Mirror(e'_1, s) → t
36. Intersect(e_1, t, 2) → M
37. Circle(M, F, G) → c_1
38. Mirror(t, c_1) → t'
39. Intersect(e_1, t', 2) → N
40. Circle(F, G, N) → d_1
41. Mirror(t', d_1) → t''
42. Intersect(e_1, t'', 2) → O
43. Circle(F, O, G) → h_1
44. Mirror(t'', h_1) → t'''
45. Intersect(e_1, t''', 2) → P
46. Circle(F, G, P) → k_1