共点线定理

GeoGebra 命令及参数

1. Polygon(A, B, C) → poly1, c, a, b
2. LineBisector(b) → d
3. LineBisector(a) → e
4. LineBisector(c) → f
5. Intersect(d, e) → D
6. AngularBisector(c, a) → g, h
7. AngularBisector(a, b) → i, j
8. AngularBisector(b, c) → k, l
9. Intersect(h, j) → E
10. Intersect(e, a) → F
11. Intersect(f, c) → G
12. Intersect(d, b) → H
13. Segment(A, F) → m
14. Segment(B, H) → n
15. Segment(C, G) → p
16. Intersect(m, n) → I
17. OrthogonalLine(B, b) → q
18. OrthogonalLine(C, c) → r
19. OrthogonalLine(A, a) → s
20. Intersect(q, r) → J
21. Segment(D, J) → d_1
22. Circle(D, B) → f_1
23. OrthogonalLine(E, a) → h_1
24. Intersect(h_1, a) → K
25. Circle(E, K) → k_1