对超越定义的质疑：四边形外接圆与旋转构造的几何探究

GeoGebra 命令及参数

1. Circle(A, m) → c
2. Point(c) → B
3. Point(c) → G
4. Circle(H, m) → d
5. Point(d) → K
6. Rotate(G, 120°, A) → G'
7. Angle(G, A, G') → α
8. Rotate(G', 120°, A) → G''
9. Angle(G', A, G'') → β
10. Segment(G, A) → g
11. Segment(A, G') → h
12. Segment(A, G'') → i
13. Rotate(K, 120°, H) → K'
14. Angle(K, H, K') → γ
15. Rotate(K', 120°, H) → K''
16. Angle(K', H, K'') → δ
17. Segment(H, K) → j
18. Segment(H, K') → l
19. Segment(H, K'') → n
20. Point(c) → C
21. Segment(C, G) → f
22. Segment(C, G'') → p
23. Segment(C, G') → q
24. Point(d) → D
25. Segment(D, K'') → r
26. Segment(D, K') → s
27. Segment(D, K) → t
28. Polygon(K'', K, K') → t1, k', k'', k_1
29. Polygon(G, G'', G') → t2, g', g_1, g''