无言证明 by Steve Phelps (4)

GeoGebra 命令及参数

1. Point(xAxis) → A
2. Intersect(xAxis, yAxis) → B
3. Mirror(A, B) → A'
4. CircleArc(B, C, A) → c
5. Point(c) → D
6. Polygon(A, D, 3) → poly1, a, b, d, E
7. Polygon(D, A', 3) → poly2, e, f, g, F
8. Polygon(A', A, 3) → poly3, h, i, j, G
9. Line(E, a) → k
10. Line(F, e) → l
11. Intersect(k, l) → K
12. Line(K, D) → m
13. Dilate(F, If[n < 1, 1 - n, 0], K) → F'
14. Polygon(A', F', D) → poly4, d_1, a', f'
15. Dilate(E, If[n < 1, 1 - n, 0], K) → E'
16. Polygon(A, E', D) → poly5, d_2, a_1, e'
17. Intersect(m, h) → H
18. Dilate(D, If[1 ≤ n < 2, 2 - n, 0], H) → D'
19. Vector(D, K) → u
20. Translate(D', u) → D''
21. Polygon(D'', A, D') → poly6, d', d'', a_2
22. Polygon(D'', D', A') → poly7, a'_1, d''_1, d'_1
23. Midpoint(h) → I
24. Dilate(H, If[2 ≤ n ≤ 3, 3 - n, 1], I) → H'
25. Line(G, h) → p
26. Rotate(D'', (-((((n - 2) * 180))°)), I) → D'''
27. Rotate(A, (-((((n - 2) * 180))°)), I) → A'_1
28. Rotate(D', (-((((n - 2) * 180))°)), I) → D''_1
29. Polygon(D''', A'_1, D''_1) → poly6', d''_2, d''', a'_2
30. Rotate(D'', (-((((n - 2) * 180))°)), I) → D'''_1
31. Rotate(D', (-((((n - 2) * 180))°)), I) → D''_2
32. Rotate(A', (-((((n - 2) * 180))°)), I) → A''
33. Polygon(D'''_1, D''_2, A'') → poly7', a'', d'''_1, d''_3