欧拉线上的点的反射三角形

GeoGebra 命令及参数

1. Centroid(Polygon[A, B, C]) → G
2. Circle(A, C, B) → g
3. Center(g) → O
4. Line(G, O) → k
5. Line(A, B) → a
6. Line(B, C) → b
7. Line(C, A) → c
8. LineBisector(B, C) → d
9. LineBisector(A, C) → e
10. LineBisector(B, A) → f
11. Point(k) → P
12. Mirror(P, e) → P_b
13. Mirror(P, d) → P_a
14. Mirror(P, f) → P_c
15. Polygon(P_a, P_b, P_c) → poly1, p_c, p_a, p_b
16. Line(A, P_a) → h
17. Line(B, P_b) → i
18. Line(P_c, C) → j
19. Intersect(h, i) → F
20. Locus(F, P) → loc1
21. Polygon(A, B, C) → poly2, c_1, a_1, b_1
22. OrthogonalLine(A, b) → l
23. OrthogonalLine(B, b_1) → m
24. Intersect(l, m) → H