公理3：过不共线三点的圆与切线反射

GeoGebra 命令及参数

1. Point(Circle[A, 10]) → B
2. Segment(A, B) → f
3. Polygon(A, B, 4) → poly1, g, h, i, j, C, D
4. Point(Circle[B, a]) → E
5. Segment(B, E) → k
6. OrthogonalLine(E, h) → l
7. Intersect(l, j) → F
8. Intersect(l, h) → G
9. Segment(F, E) → m
10. Polygon(A, F, G, B) → q1, a_1, f_1, g_1, b
11. PointIn(poly1) → Pointpoly1
12. PointIn(q1) → Pointq1
13. Polygon(F, D, C, G) → q2, f_2, d, c, g_2
14. PointIn(q2) → Pointq2_1
15. Point(Circle[H, 10]) → I
16. Segment(H, I) → n
17. Polygon(H, I, 4) → poly2, p, q, r, s, J, K
18. Point(Circle[H, a]) → L
19. Segment(H, L) → t
20. OrthogonalLine(L, n) → e
21. Intersect(e, r) → M
22. Intersect(e, n) → N
23. Polygon(K, M, L, H) → q3, k_1, m_1, l_1, h_1
24. Polygon(M, J, I, L) → q4, m_2, j_1, i_1, l_2
25. PointIn(q3) → Pointq3_1
26. PointIn(q4) → Pointq4
27. PointIn(q3) → Pointq3
28. PointIn(q2) → Pointq2