正多边形中的反射

GeoGebra 命令及参数

1. Polygon(G, H, I, J, K, L, M, N, O, P) → poly2, g_1, p, h_1, i_1, j_1, k_1, l, m, n, o
2. Intersect(xAxis, yAxis) → A
3. Circle(A, 0.5) → c
4. Point(c) → B
5. Polygon(B, Rotate[B, (2 * π / a)], a) → poly1, f, f_1, l_1, m_1, n_1, p_1, q_1, r_1, s_1, t_1, a_1, g, b_1, C, Q, R, S, T, U, V, W, Z, h, A_1, B_1, C_1, D_1, E_1, F_1, G_1, H_1, I_1, q, r, s, t, b, e
6. Point(poly2) → D
7. Mirror(D, c) → D'
8. Locus(D', D) → loc1
9. Ray(A, D) → i
10. Intersect(i, poly1) → E
11. Segment(A, E) → j
12. Segment(A, D) → k
13. Circle(A, j^(2) / k) → d
14. Intersect(d, i) → F,
15. Locus(F, D) → loc2
16. Mirror(D, c) → D'_{1}
17. Intersect(c, i, 1) → J_1