正方形内四分之一圆与动态几何关系(GoGeometry 第81题)
几何画板及绘图内容加载中,请稍等……
该范例演示了在正方形内部绘制一个四分之一圆(扇形)时,所形成的一系列动态且可修改的几何关系。核心数学概念包括圆与扇形的性质、正方形与多边形的边长关系、旋转与缩放变换、以及中点、垂线、角平分等基本几何元素。作图要点:使用GeoGebra的Ray、Segment、Circle、Intersect、Point、OrthogonalLine、Line、Polygon、Rotate、Dilate、Midpoint、CircleArc、CircleSector、Vector、Translate、Angle、Mirror等命令,构建了包含点A、B、C、D、多边形poly1、圆弧与扇形、以及多条辅助线和变换后对象(如A'、A''等)的复杂构造。该范例适合中学几何教学或数学爱好者探索动态几何关系,可用于理解圆内接图形、对称变换和比例关系。
GeoGebra 命令及参数
Ray(A, B_2) → m_2Segment(A, B_2) → gCircle(B_2, g) → q_2Intersect(q_2, m_2, 2) → J_1Segment(B_2, J_1) → n_2Point(n_2) → K_1Segment(B_2, K_1) → r_2OrthogonalLine(K_1, r_2) → s_2Circle(K_1, r_2) → t_2Intersect(t_2, s_2, 2) → L_1Line(K_1, L_1) → h_3Polygon(A, B_2, 4) → poly1, a, b, c, d, C, DSegment(B_2, C) → hOrthogonalLine(L_1, h) → f_3Rotate(A, If[1 < e ≤ 2, ((-(e - 1)) * π / 2), -1.5707963267948966], B_2) → A'_1Rotate(A'_1, If[2 < e ≤ 3, ((-(e - 2)) * π / 2), -1.5707963267948966], C) → RDilate(A, If[0 < e ≤ 1, 1 - e, 0], B_2) → A'Rotate(A', If[1 < e ≤ 2, ((-(e - 1)) * π / 2), -1.5707963267948966], B_2) → A''Rotate(A'', If[2 < e ≤ 3, ((-(e - 2)) * π / 2), -1.5707963267948966], C) → A'''Segment(R, A''') → f''Midpoint(A, C) → VCircleArc(V, C, D) → g_2Point(g_2) → BSegment(C, B) → j_1Segment(A, B) → nIntersect(n, f'') → ZSegment(B, Z) → l_1Segment(A, A') → fSegment(A'_1, A'') → f'Segment(C, D) → iCircle(B_2, (0.2 * r_2)) → pSegment(D, A) → jCircle(C, Radius[p]) → kCircle(A, (0.1 * j)) → qCircle(D, (0.1 * j)) → rSegment(A, C) → lSegment(D, B_2) → mIntersect(r, j, 1) → FIntersect(r, m, 1) → GIntersect(r, i, 1) → HIntersect(k, i, 1) → IIntersect(k, l, 1) → JIntersect(k, h, 1) → KIntersect(p, h, 1) → LIntersect(p, m, 1) → MIntersect(p, g, 1) → NIntersect(q, g, 1) → OIntersect(q, l, 1) → PIntersect(q, j, 1) → QCircleSector(B_2, L, N) → sRotate(R, If[3 < e ≤ 4, ((-(e - 3)) * π / 2), -1.5707963267948966], D) → R'Rotate(A''', If[3 < e ≤ 4, ((-(e - 3)) * π / 2), -1.5707963267948966], D) → SSegment(R', S) → f'''Dilate(B_2, If[4 < e ≤ 5, 5 - e, 0], C) → B'Vector(B_2, B') → uTranslate(s, u) → s'Rotate(s', If[5 < e ≤ 6, ((e - 5) * π / 2), 1.5707963267948966], C) → s''Dilate(C, If[6 < e ≤ 7, 7 - e, 0], D) → C'Vector(C, C') → vTranslate(s'', v) → s'''Rotate(s''', If[7 < e ≤ 8, ((e - 7) * π / 2), 1.5707963267948966], D) → tDilate(D, If[8 < e ≤ 9, 9 - e, 0], A) → D'Vector(D, D') → wTranslate(t, w) → t'Rotate(t', If[9 < e ≤ 10, ((e - 9) * π / 2), 1.5707963267948966], A) → t''Dilate(B_2, If[18 < e ≤ 19, 19 - e, 0], C) → B'_1Dilate(B_2, If[18 < e ≤ 19, 19 - e, 0], A) → B'_2Dilate(B_2, If[18 < e ≤ 19, 19 - e, 0], D) → B'_3Vector(B_2, B'_1) → v_1Vector(B_2, B'_3) → w_1Vector(B_2, B'_2) → i_1Circle(A, n - j_1) → h_2Dilate(B, If[10 < e ≤ 11, 11 - e, 0], C) → W'Dilate(B_2, If[13 < e ≤ 14, 14 - e, 0], B) → B'_4Vector(B_2, B'_4) → u_1Translate(s, u_1) → s'_1Line(B, f') → a_1Point(a_1) → UAngle(U, B, C) → αRotate(B, If[14 < e ≤ 15, ((-(e - 14)) * π / 2), ((-π)) / 2], B) → W'_2Rotate(W', If[14 < e ≤ 15, ((-(e - 14)) * π / 2), ((-π)) / 2], B) → W''Line(A, B_2) → h_1Angle(B, A, D) → βDilate(D, If[19 < e ≤ 20, 20 - e, 0], B) → D'_1Mirror(C, D) → C'_1Rotate(C, ((-π)) / 3, B_2) → C'_2Segment(B_2, C'_2) → f_1Segment(C, C'_2) → g_1Intersect(k, g_1, 1) → EIntersect(k, h) → T,CircleSector(C, T, E) → d_1Rotate(D, 15°, C) → D'_2Angle(D, C, D'_2) → γRay(C, D'_2) → k_1Rotate(C, (-(15°)), D) → C'_3Angle(C'_3, D, C) → δRay(D, C'_3) → m_1Rotate(B_2, If[10 < e ≤ 11, (((-π)) / 3 * (e - 10)), ((-π)) / 3], B_2) → A_1Rotate(C, If[10 < e ≤ 11, (((-π)) / 3 * (e - 10)), ((-π)) / 3], B_2) → C'_4Rotate(B_2, If[11 < e ≤ 12, (π / 3 * (e - 11)), π / 3], C) → B_1Rotate(C, If[11 < e ≤ 12, (π / 3 * (e - 11)), π / 3], C) → C'_5Rotate(E, If[12 < e ≤ 13, (((-π)) / 6 * (e - 12)), ((-π)) / 6], C) → E'Rotate(T, 15°, C) → T'Angle(T, C, T') → εRay(C, T') → q_1Dilate(C, If[21 < e ≤ 22, 22 - e, 0], D) → C'_8Vector(C, C'_8) → u_2Rotate(B_2, If[26.75 < e ≤ 27.75, (π / 2 * (e - 26.75)), π / 2], B_2) → H_1Rotate(C'_2, If[26.75 < e ≤ 27.75, (π / 2 * (e - 26.75)), π / 2], B_2) → I_1Rotate(C, If[26.75 < e ≤ 27.75, (π / 2 * (e - 26.75)), π / 2], B_2) → C'_{10}Dilate(B_2, If[10 < e ≤ 11, 11 - e, 0], K_1) → C_1Rotate(B_2, If[11 < e ≤ 12, ((-(e - 11)) * π / 2), ((-π)) / 2], K_1) → D_1Rotate(C_1, If[11 < e ≤ 12, ((-(e - 11)) * π / 2), ((-π)) / 2], K_1) → E_1Rotate(D_1, If[12 < e ≤ 13, ((-(e - 12)) * π / 2), ((-π)) / 2], L_1) → F_1Rotate(E_1, If[12 < e ≤ 13, ((-(e - 12)) * π / 2), ((-π)) / 2], L_1) → N_1Dilate(B_2, If[14 < e ≤ 15, 15 - e, 0], K_1) → Q_1Vector(B_2, Q_1) → c_1Segment(C, K_1) → e_1Dilate(C, If[15 < e ≤ 16, 16 - e, 0], K_1) → C'_6Polygon(A, B_2, C, D) → poly7, a_4, b_4, c_4, d_4Line(A, K_1) → k_3Intersect(t, f'', 1) → G_2Rotate(B_2, If[10 < e ≤ 11, ((e - 10) * π / 2), π / 2], A) → WCircleArc(A, B_2, W) → p_1Rotate(A, If[10 < e ≤ 11, ((e - 10) * π / 2), π / 2], A) → A'_2Rotate(A', If[10 < e ≤ 11, ((e - 10) * π / 2), π / 2], A) → A''_1Segment(A'_2, A''_1) → f'_1Segment(A, C) → n_1Segment(B_2, D) → r_1Intersect(r_1, n_1) → G_1Intersect(p_1, n_1) → M_1,Line(B_2, M_1) → s_1Intersect(s_1, f'') → O_1Dilate(D, If[11 < e ≤ 12, 12 - e, 0], B_2) → D'_3Segment(D, D'_3) → t_1Dilate(A, If[12 < e ≤ 13, 13 - e, 0], G_1) → A'_3Segment(A, A'_3) → b_1Dilate(G_1, If[13 < e ≤ 14, 14 - e, 0], M_1) → P_1Segment(G_1, P_1) → f_2Dilate(M_1, If[14 < e ≤ 15, 15 - e, 0], C) → R_1Segment(M_1, R_1) → i_2Dilate(B_2, If[15 < e ≤ 16, 16 - e, 0], M_1) → S_1Segment(B_2, S_1) → j_2Dilate(M_1, If[16 < e ≤ 17, 17 - e, 0], O_1) → T_1Segment(M_1, T_1) → k_2Dilate(C, If[16 < e ≤ 17, 17 - e, 0], O_1) → C'_7Segment(C, C'_7) → l_2Midpoint(D, O_1) → U_1Dilate(M_1, If[17 < e ≤ 18, 18 - e, 0], O_1) → V_1Vector(M_1, V_1) → v_2Translate(G_1, v_2) → W_1Translate(P_1, v_2) → Z_1Segment(W_1, Z_1) → p_2Rotate(W_1, If[18 < e ≤ 19, ((-(e - 18)) * π / 4), ((-π)) / 4], O_1) → A_2Rotate(Z_1, If[18 < e ≤ 19, ((-(e - 18)) * π / 4), ((-π)) / 4], O_1) → C_2Segment(A_2, C_2) → a_2Rotate(A_2, If[19 < e ≤ 20, ((-(e - 19)) * π), (-π)], U_1) → D_2Rotate(C_2, If[19 < e ≤ 20, ((-(e - 19)) * π), (-π)], U_1) → E_2Segment(D_2, E_2) → b_2CircleSector(A, B_2, W) → c_2