点共线与圆的性质

GeoGebra 命令及参数

1. Polygon(B, C, A) → poly1, a, b, c
2. Midpoint(c) → D
3. Midpoint(a) → E
4. Midpoint(b) → F
5. Line(E, A) → d
6. Line(D, C) → e
7. Line(F, B) → f
8. Intersect(d, e) → G
9. OrthogonalLine(E, a) → g
10. OrthogonalLine(D, c) → h
11. OrthogonalLine(F, b) → i
12. Intersect(g, h) → K
13. Angle(a, g) → α
14. Angle(b, i) → β
15. Angle(c, h) → γ
16. Circle(B, A, C) → k
17. AngularBisector(C, B, A) → n
18. AngularBisector(B, A, C) → p
19. AngularBisector(A, C, B) → q
20. Intersect(n, p) → H
21. Angle(A, B, C) → δ
22. Angle(B, C, A) → ε
23. Angle(C, A, B) → ζ
24. OrthogonalLine(H, a) → r
25. Intersect(r, a) → I
26. Segment(H, I) → s
27. Circle(H, s) → t
28. OrthogonalLine(B, b) → a_1
29. OrthogonalLine(C, c) → b_1
30. OrthogonalLine(A, a) → c_1
31. Intersect(a_1, b_1) → J
32. Angle(b, a_1) → η
33. Angle(c, b_1) → θ
34. Angle(a, c_1) → ι
35. Distance(B, K) → distanceBK
36. Segment(B, K) → f_1
37. Segment(C, K) → g_1
38. Segment(A, K) → h_1