另一种证明方法

GeoGebra 命令及参数

1. Midpoint(A, B) → A_1
2. CircleArc(A_1, B, A) → s
3. Point(s) → C
4. Polygon(A, C, B) → P, b_1, a_1, c_1
5. Angle(A, C, B) → α
6. Angle(C, A, B) → β
7. Vector(B_1, C_1) → z_1
8. Line(C, A) → g
9. Line(C, B) → h
10. Circle(C, A) → k
11. Circle(C, B) → p
12. Intersect(k, h, 1) → D
13. Intersect(p, g, 1) → E
14. OrthogonalLine(E, g) → i
15. OrthogonalLine(B, i) → j
16. OrthogonalLine(D, h) → l
17. OrthogonalLine(A, g) → m
18. Intersect(l, m) → F
19. Intersect(i, j) → G
20. OrthogonalLine(A, c_1) → n
21. OrthogonalLine(B, c_1) → q
22. Intersect(l, n) → H
23. Intersect(i, l) → I
24. Vector(F, H) → r
25. Vector(H, A) → t
26. Vector(E, I) → u_1
27. OrthogonalLine(C, c_1) → d_1
28. Intersect(c_1, d_1) → J
29. Vector(C, J) → v_1
30. Polygon(K, M, N, L) → Q, k_1, m_1, n_1, l_1
31. Polygon(O, R, S, N) → T, o, r_1, s_1, n_2
32. Circle(A, B) → e_1
33. Intersect(e_1, n, 2) → U
34. OrthogonalLine(U, n) → f_1
35. Intersect(q, f_1) → V
36. Polygon(A, F, D, C) → W, a_2, f_2, d_2, c_2
37. Polygon(C, E, G, B) → Y, c_3, e_2, g_1, b_2
38. Polygon(B, V, U, A) → Z, b_3, v_2, u_2, a_3