环面斜驶线(Loxodrome)及其相关构造
几何画板及绘图内容加载中,请稍等……
① 本范例演示了在三维环面(Torus)上绘制斜驶线(Loxodrome,即与经线成固定角度的曲线)以及与之相关的多种几何对象,如圆、线段、多边形和曲面。② 核心数学概念包括环面的参数方程、空间曲线(CurveCartesian)、曲面(Surface)、几何变换(Mirror)、序列(Sequence)以及最小公倍数(LCM)在构造周期性图案中的应用。③ 作图要点:使用GeoGebra命令如Point、Segment、Circle、CircleArc、Midpoint、Intersect、Line、Mirror、LCM、Sequence、Polygon、Surface、CurveCartesian、OrthogonalLine、Zip、OrthogonalPlane、KeepIf、Unique等,构建了环面、斜驶线、辅助圆、切线、法线以及由序列生成的重复结构;对象包括g_y、J、I、j、F、R、mTr、r、rTr、e、g_x、o、f、K、f_1、A、c、B、C、g_d、eTR等。④ 适合高中至大学阶段的数学教学,用于三维几何、参数曲线曲面、变换与序列的综合探究,也可作为数学建模或计算机辅助几何设计的示例。
GeoGebra 命令及参数
Point(g_y) → JPoint(g_y) → ISegment(I, J) → jPoint(j) → FCircle(mTr, rTr) → ePoint(g_x) → oCircle(o, F) → fPoint(f) → KCircleArc(o, F, K) → f_1Midpoint(o, mTr) → ACircle(A, mTr) → cIntersect(e, c) → B, C, ,Line(o, C) → g_dMirror(eTR, xAxis) → eTR'_1Mirror(eTR, g_x) → eTR'Mirror(eTR', xAxis) → eTR''LCM(n', m') → kgvAnzSequence(k, k, (-kgvAnz), kgvAnz) → ListkgvMirror(g_d, g_x) → g'_dIntersect(g'_d, gl1) → EPolygon(eTR, eTR', eTR'', eTR'_1) → v1, h, i, l, p_1Segment(eTR'', eTR) → d_{+}Mirror(mTr, g_x) → mTr'Mirror(rTr, g_x) → rTr'Mirror(e, g_x) → e'Mirror(C, g_x) → C'Mirror(B, g_x) → B'Circle(o, C) → gSurface(((R + (r * cos(σ))) * cos(τ)), ((R + (r * cos(σ))) * sin(τ)), (r * sin(σ)), σ, (-π), π, τ, (-π), π) → TorusCurveCartesian(((R + (r * cos((m / R * τ)))) * cos((n / r' * τ))), ((R + (r * cos((m / R * τ)))) * sin((n / r' * τ))), (r * sin((m / R * τ))), τ, (((-kgvAnz) * R) * π), ((kgvAnz * R) * π)) → KurveVersCurveCartesian((((R + (r * cos((τ / y(eTR) * π)))) * cos(τ)), ((R + (r * cos((τ / y(eTR) * π)))) * sin(τ)), (r * sin((τ / y(eTR) * π)))), τ, ((-R) * π), (R * π)) → DiagonalePoint(d_{+}) → dCurveCartesian((sqrt(R^(2) - r^(2)) / (R - (r * cos(γ))) * ((sqrt(R^(2) - r^(2)) * cos(γ)), (sqrt(R^(2) - r^(2)) * sin(γ)), (r * sin(γ)))), γ, (-π), π) → wLoxOrthogonalLine(o, g_d) → g_nCircle(m_v, rTr) → kCircle(o, m_v) → sPoint(wLox) → HMirror(rTr, mTr) → rTr'_1Mirror(rTr'_1, o) → z_1Circle(o, rTr'_1) → c_1Line(m_v, o) → tSegment(eTR'_1, eTR') → d_{-}CurveCartesian((Rr / (R - (r * cos((m' / n' * γ)))) * ((Rr * cos(γ)), (Rr * sin(γ)), (r * sin((m' / n' * γ))))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wLoxVar0CurveCartesian((Rr / (R - (r * cos((m' / n' * γ)))) * ((Rr * cos(γ + σ_V)), (Rr * sin(γ + σ_V)), (r * sin((m' / n' * γ))))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wLoxVar_σCurveCartesian((((r + (R * cos(φ))) * cos(σ_V)) + ((Rr * sin(φ)) * sin(σ_V)), ((r + (R * cos(φ))) * sin(σ_V)) - ((Rr * sin(φ)) * cos(σ_V)), (r * sin(φ))), φ, (-π), π) → Vill01_σCurveCartesian(((((-r) + (R * cos(φ))) * cos(σ_V)) + ((Rr * sin(φ)) * sin(σ_V)), (((-r) + (R * cos(φ))) * sin(σ_V)) - ((Rr * sin(φ)) * cos(σ_V)), (r * sin(φ))), φ, (-π), π) → Vill02_σSequence(k, k, 0, (2 * m')) → L_jSequence(k, k, 0, (2 * n')) → Lj_1CurveCartesian((Rr / (R - (r * cos((((-m')) / n' * γ)))) * ((Rr * cos(γ + σ_V)), (Rr * sin(γ + σ_V)), (r * sin((((-m')) / n' * γ))))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wLoxVar'_σPoint(zAxis) → GLine(o, G) → g_zCurveCartesian(((R + (r * cos(σ))) * cos(π / m')), ((R + (r * cos(σ))) * sin(π / m')), (r * sin(σ)), σ, (-π), π) → QVersuchZip(CurveCartesian[((R + (r_1 * cos(σ))) * cos((k / m' * π) + σ_V)), ((R + (r_1 * cos(σ))) * sin((k / m' * π) + σ_V)), (r_1 * sin(σ)), σ, (-π), π], k, L_j) → ListQkreiseSequence(k, k, 0, 5) → L_6Zip(CurveCartesian[(((r + (R * cos(φ))) * cos(σ_V + (k * π / 3))) + ((Rr * sin(φ)) * sin(σ_V + (k * π / 3))), ((r + (R * cos(φ))) * sin(σ_V + (k * π / 3))) - ((Rr * sin(φ)) * cos(σ_V + (k * π / 3))), (r * sin(φ))), φ, (-π), π], k, L_6) → ListVill1Zip(CurveCartesian[((((-r) + (R * cos(φ))) * cos(σ_V + (k * π / 3))) + ((Rr * sin(φ)) * sin(σ_V + (k * π / 3))), (((-r) + (R * cos(φ))) * sin(σ_V + (k * π / 3))) - ((Rr * sin(φ)) * cos(σ_V + (k * π / 3))), (r * sin(φ))), φ, (-π), π], k, L_6) → ListVill2Line(o, N) → NormaleOrthogonalPlane(o, Normale) → EVillCurveCartesian((rR / (R + (r * cosh((m' / n' * γ)))) * ((rR * cos(γ + σ_V)), (rR * sin(γ + σ_V)), (r * sinh((m' / n' * γ))))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wSpinLoxVar_σCurveCartesian((rR / ((-R) + (r * cosh((m' / n' * γ)))) * ((rR * cos(γ + σ_V)), (rR * sin(γ + σ_V)), (r * sinh((m' / n' * γ))))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wSpinLox2Var_σCurveCartesian(((2 * R / (1 + ((m' / n' * γ))^(2))) * (cos(γ + σ_V), sin(γ + σ_V), (m' / n' * γ))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wLoxHorn_σCurveCartesian(((2 * R / (1 + ((m' / n' * γ))^(2))) * (cos(γ + σ_V), sin(γ + σ_V), (((-m')) / n' * γ))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wLoxHorn'_σPoint(p_1) → DMirror(D, g_x) → D'Segment(D, D') → qCurveCartesian(((2 * x(eTR)) * ((t * n) - floor((t * n)) - 1 / 2)) + (((2 * y(eTR)) * ((t * m) - floor((t * m)) - 1 / 2)) * ί), t, (-1 / n * kgvAnz), (1 / n * kgvAnz)) → LinRechtEckLoxosCurveCartesian(((2 * x(eTR)) * (((-t) * n) - floor(((-t) * n)) - 1 / 2)) + (((2 * y(eTR)) * ((t * m) - floor((t * m)) - 1 / 2)) * ί), t, (-1 / n * kgvAnz), (1 / n * kgvAnz)) → LinRechtEckLoxos'Point(h) → LMirror(L, g_y) → L'Segment(L, L') → aIntersect(a, q) → pCurveCartesian(((R + (r * cos(σ))) * cos((x(L) / x(eTR) * π))), ((R + (r * cos(σ))) * sin((x(L) / x(eTR) * π))), (r * sin(σ)), σ, (-π), π) → QuerkreisCurveCartesian((((R + (r * cos((y(D) / y(eTR) * π)))) * cos(τ)), ((R + (r * cos((y(D) / y(eTR) * π)))) * sin(τ)), (r * sin((y(D) / y(eTR) * π)))), τ, (-π), π) → LaengskreisZip(((Rr^(2) * cos((k * π)) / (R - (r_1 * cos(((m' / n' * k) * π))))), 0, ((Rr * r_1) * sin(((m' / n' * k) * π)) / (R - (r_1 * cos(((m' / n' * k) * π)))))), k, Listkgv) → QPkteNeuKeepIf(x(p) ≥ 0, p, QPkteNeu) → QPkteNeu0Zip(((Rr^(2) * cos((k * π)) / (R - (r_1 * cos((((k * m') + 1) / n' * π))))), 0, ((Rr * r_1) * sin((((k * m') + 1) / n' * π)) / (R - (r_1 * cos((((k * m') + 1) / n' * π)))))), k, Listkgv) → QPkteNeu2KeepIf(x(p) ≥ 0, p, QPkteNeu2) → QPkteNeu20Unique(Join[{QPkteNeu0, QPkteNeu20}]) → QPkteTotCurveCartesian((rR / ((-R) + (r * cosh((m' / n' * γ)))) * ((rR * cos((-γ) + σ_V)), (rR * sin((-γ) + σ_V)), (r * sinh((m' / n' * γ))))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wSpinLoxVar'_σCurveCartesian((rR / (R + (r * cosh((((-m')) / n' * γ)))) * ((rR * cos(γ + σ_V)), (rR * sin(γ + σ_V)), (r * sinh((((-m')) / n' * γ))))), γ, ((-kgvAnz) * π), (kgvAnz * π)) → wSpinLox2Var'_σZip(Circle[g_z, P], P, QPkteTot) → LaengsKreiseNeu
AI 绘图提示语参考
在一个环面上绘制一条等距线,使其与子午线保持恒定角度,并展示相关的几何对象,如圆、线段、多边形和曲面。核心概念包括环面的参数方程、空间曲线、几何变换、序列和最小公倍数创建周期性图案。首先构建环面,然后绘制等距线及其辅助圆、切线和法线,最后通过序列生成重复结构。
以上提示语为根据原始绘图命令整理而来,仅供参考。