三角形垂直二等分线对称点作图与相似性

GeoGebra 命令及参数

1. Polygon(A, B, C) → t1, c, a, b
2. LineBisector(c) → f
3. LineBisector(b) → g
4. LineBisector(a) → h
5. Intersect(f, g) → O
6. OrthogonalLine(A, a) → i
7. OrthogonalLine(B, b) → j
8. OrthogonalLine(C, c) → k
9. Intersect(i, j) → H
10. Angle(C, B, A) → δ
11. Midpoint(O, H) → N
12. Circle(O, B) → e
13. Mirror(D, h) → D'
14. Mirror(D, g) → D'_{1}
15. Mirror(D, f) → D'_{2}
16. Polygon(D', D'_{2}, D'_{1}) → t2, d'_{1}, d', d'_{2}
17. Angle(D', D'_{1}, D'_{2}) → α
18. Mirror(D, i) → D'_{3}
19. Mirror(D, k) → D'_{4}
20. Mirror(D, j) → D'_{5}
21. Polygon(D'_{4}, D'_{5}, D'_{3}) → t3, d'_{3}, d'_{4}, d'_{5}
22. Angle(D'_{3}, D'_{5}, D'_{4}) → γ
23. Angle(a, i) → ε
24. Angle(a, h) → ζ
25. Angle(c, f) → η
26. Angle(b, j) → θ
27. Angle(b, g) → ι
28. Angle(c, k) → κ
29. Segment(D'_{1}, D) → l
30. Segment(D, D'_{2}) → m
31. Segment(D', D) → n
32. Circle(H, Distance[A, O]) → p
33. Circle(D', D'_{2}, D'_{1}) → d
34. Circle(D'_{5}, D'_{3}, D'_{4}) → q