正非边形的奇妙构造
几何画板及绘图内容加载中,请稍等……
本示例展示了正非边形的动态构造,通过旋转、平移等变换方法,探索正非边形的性质。核心数学概念包括多边形、圆、向量和变换。通过GeoGebra命令如Polygon、Rotate、Translate等,可以动态调整非边形的边长和角度。适合高中几何学习者和数学爱好者。
GeoGebra 命令及参数
Polygon(A, B, 9) → poly1, f, C, D, E, F, G, H, I, g, h, i, j, k, l, m, nLine(F, D) → pLine(F, B) → qLine(D, B) → rSegment(F, E) → sCircle(F, E) → cIntersect(c, q, 2) → JLine(E, I) → tSegment(F, G) → aSegment(G, H) → bSegment(H, I) → dSegment(I, A) → eSegment(A, B) → f_1Segment(B, C) → g_1Segment(C, D) → h_1Segment(D, E) → i_1Rotate(B, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → B'Rotate(C, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → C'Segment(B', C') → j_1Rotate(C, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → C'_1Rotate(D, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → D'Segment(C'_1, D') → k_1Rotate(D, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → D'_1Rotate(E, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → E'Segment(D'_1, E') → l_1Rotate(F, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → F'Rotate(E, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → E'_1Segment(F', E'_1) → s'Rotate(F, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → F'_1Rotate(G, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → G'Segment(F'_1, G') → a'Rotate(G, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → G'_1Rotate(H, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → H'Segment(G'_1, H') → b'Rotate(H, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → H'_1Rotate(I, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → I'Segment(H'_1, I') → d'Rotate(I, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → I'_1Rotate(A, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → A'Segment(I'_1, A') → e'Rotate(A, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → A'_1Rotate(B, If[0 < o ≤ 1, ((o * 2) * π / 9), (2 * π / 9)], Center[Circle[D, E, F]]) → B'_1Segment(A'_1, B'_1) → n_1Rotate(poly1, If[1.5 < o ≤ 2.5, (((o - 1.5) * 2) * π / 9), (2 * π / 9)], Center[Circle[A, B, C]]) → poly1'Dilate(E'_1, If[3 < o ≤ 4, 4 - o, 0], J) → KDilate(J, If[4 < o ≤ 5, 5 - o, 0], A'_1) → J'Dilate(C'_1, If[5 < o ≤ 6, 6 - o, 0], A'_1) → LRotate(E', If[7 < o ≤ 8, ((-(o - 7)) * π / 3), ((-π)) / 3], E'_1) → E''Rotate(C'_1, If[8 < o ≤ 9, (((o - 8) * 2) * π / 9), (2 * π / 9)], A'_1) → NRotate(L, If[8 < o ≤ 9, (((o - 8) * 2) * π / 9), (2 * π / 9)], A'_1) → L'Rotate(B, If[3 < o ≤ 5, ((o - 3) * π), (2 * π)], Center[Circle[A, B, C]]) → B'_2Center(Circle[A, B, C]) → OCircleArc(O, B, B'_2) → c_1Circle(A, B, C) → d_1Midpoint(C'_1, D'_1) → PMidpoint(D'_1, E'_1) → QDilate(C'_1, If[5 < o ≤ 6, 6 - o, 0], P) → MSegment(C'_1, M) → q_1Rotate(C'_1, If[6 < o ≤ 7, ((-(o - 6)) * π), (-π)], P) → RRotate(M, If[6 < o ≤ 7, ((-(o - 6)) * π), (-π)], P) → M'Segment(R, M') → r_1Rotate(R, If[7 < o ≤ 8, (((-(o - 7)) * 7) * π / 9), (-7 * π / 9)], D'_1) → R'Rotate(M', If[7 < o ≤ 8, (((-(o - 7)) * 7) * π / 9), (-7 * π / 9)], D'_1) → M''Segment(R', M'') → t_1Rotate(R', If[8 < o ≤ 9, ((-(o - 8)) * π), (-π)], M'') → R''Rotate(M'', If[8 < o ≤ 9, ((-(o - 8)) * π), (-π)], M'') → M'''Segment(R'', M''') → m_1Line(O, M'') → p_1Intersect(d_1, p_1, 2) → SMidpoint(O, S) → TDilate(O, If[10 < o ≤ 11, 11 - o, 0], T) → O'Segment(O, O') → s_1Dilate(T, If[11 < o ≤ 12, 12 - o, 0], S) → T'Segment(T, T') → a_1Rotate(O, If[12 < o ≤ 13, ((o - 12) * π), π], T) → O'_1Rotate(O', If[12 < o ≤ 13, ((o - 12) * π), π], T) → O''Segment(O'_1, O'') → b_1Dilate(T, If[13 < o ≤ 14, 14 - o, 0], P) → T'_1Dilate(O, If[13 < o ≤ 14, 14 - o, 0], P) → O'_2Segment(O, O'_2) → e_1Segment(T, T'_1) → f_2Line(G', C'_1) → g_2OrthogonalLine(F', g_2) → h_2Intersect(h_2, g_2) → UAngle(C'_1, U, F') → αSegment(G', U) → i_2Segment(F', U) → j_2Rotate(U, 30°, G') → U'Angle(U, G', U') → βRay(G', U') → k_2Circle(F', (0.6 * i_2)) → d_2Intersect(d_2, a', 1) → VSegment(G', U') → l_2Dilate(G', If[15 < o ≤ 16, 16 - o, 0], D) → G''Segment(G', G'') → m_2Dilate(F', If[15 < o ≤ 16, 16 - o, 0], U) → F''Segment(F', F'') → n_2Rotate(V, If[16 < o ≤ 17, ((o - 16) * π / 6), π / 6], F') → V'CircleSector(F', V, V') → c_2Dilate(G', If[17 < o ≤ 18, 18 - o, 0], U') → G''_1Segment(G', G''_1) → p_2Dilate(F', If[19 < o ≤ 20, 20 - o, 0], G') → F''_1Vector(F', F''_1) → uTranslate(c_2, u) → e_2Rotate(e_2, If[19 < o ≤ 20, (((o - 19) * 5) * π / 6), (5 * π / 6)], F''_1) → q_2Rotate(q_2, If[21 < o ≤ 22, ((-(o - 21)) * π / 6), ((-π)) / 6], G') → r_2Line(G', e_1) → s_2Dilate(G', If[23 < o ≤ 24, 24 - o, 0], P) → G''_2Vector(G', G''_2) → vTranslate(r_2, v) → t_2Rotate(t_2, If[23 < o ≤ 24, ((o - 23) * π), π], G''_2) → c_3