无字证明 by Steve Phelps (6)

GeoGebra 命令及参数

1. Point(xAxis) → A
2. Intersect(xAxis, yAxis) → B
3. CircleArc(B, D, A) → c
4. Point(c) → E
5. Polygon(A, E, 4) → poly1, a, b, d, e, F, G
6. Polygon(E, C, 4) → poly2, f, g, h, i, H, I
7. Polygon(A, C, E) → poly3, e_1, a_1, c_1
8. Polygon(C, A, 4) → poly4, j, k, l, m, J, K
9. Line(G, F) → n
10. Line(I, H) → p
11. Intersect(n, p) → L
12. Polygon(F, L, E) → poly5, e_2, f_1, l_1
13. Polygon(L, I, E) → poly6, e_3, l_2, i_1
14. Line(E, A) → q
15. Line(E, C) → r
16. OrthogonalLine(J, q) → s
17. OrthogonalLine(K, r) → t
18. Intersect(q, s) → M
19. Intersect(s, t) → N
20. Intersect(r, t) → O
21. Polygon(M, A, J) → poly7, j_1, m_1, a_2
22. Polygon(J, K, N) → poly8, n_1, j_2, k_1
23. Polygon(K, C, O) → poly9, o, k_2, c_2
24. Midpoint(e_1) → P
25. Rotate(M, rrr, P) → M'
26. Rotate(A, rrr, P) → A'
27. Rotate(J, rrr, P) → J'
28. Polygon(M', A', J') → poly7', j', m', a'
29. Rotate(poly4, rrr, P) → poly4'
30. Rotate(K, rrr, P) → K'
31. Rotate(C, rrr, P) → C'
32. Rotate(O, rrr, P) → O'
33. Polygon(K', C', O') → poly9', o', k', c'
34. Rotate(J, rrr, P) → J'_1
35. Rotate(K, rrr, P) → K'_1
36. Rotate(N, rrr, P) → N'
37. Polygon(J'_1, K'_1, N') → poly8', n', j'_1, k'_1