正则星形多边形的构型与内角和探索
几何画板及绘图内容加载中,请稍等……
所属专题
Euclidean Geometry
本范例展示如何在 GeoGebra 中交互式生成正则星形多边形,并直观验证其内角和等几何性质。核心数学概念包括:正则星形多边形的构造规律、顶点步长与互素性(由最大公约数/公因数判定)、由圆周分点形成的角度关系,以及内角和的推导思路(可通过重复几何结构与角度等分来获得)。作图要点:用到 Point 生成关键点(如中心 O 与外接点序列),用 Sequence 构造沿圆周的顶点集合,再通过 Polygon 形成多边形边;利用 GCD 判定参数是否互素,并借助 Element 抽取满足条件的元素;同时结合 Mirror 与相关对象(如 quickStar、quickAllSegm、allCycles、allPoli、star1~star9、areCoprime、allPts、text1~text12)实现快速生成不同星形与标注;滑块对象(如 pSli、qSli、qMax、speed)用于参数驱动与动画演示。适合中学高年级到大学初等几何/数学建模课堂,用于几何作图、角度与多边形性质探究、参数化构造与推理训练。
GeoGebra 命令及参数
Point(xAxis) → PEEPSTMirror(PP1, yAxis) → PP2Mirror(PP2, xAxis) → PP3Mirror(PP1, xAxis) → PP4Polygon({PP1, PP2, PP3, PP4}) → peepSequence(Rotate[(1, 0), ((k * 2) * pi / pSli)], k, 0, pSli - 1) → allPtsPolygon(Sequence[Element[allPts, 1 + Mod[((k - 1) * qSli), pSli]], k, 1, pSli]) → quickStarSequence(Segment[Element[allPts, i], Element[allPts, 1 + Mod[i - 1 + qSli, pSli]]], i, 1, pSli) → quickAllSegmGCD(pSli, qSli) → emmecidiSequence(Sequence[Element[allPts, 1 + Mod[((k - 1) * qSli) + j, pSli]], k, 1, pSli / emmecidi], j, 0, emmecidi - 1) → allCyclesSequence(Polygon[Element[allCycles, j + 1]], j, 0, emmecidi - 1) → allPoliElement(allPoli, 1) → star1Element(allPoli, 2) → star2Element(allPoli, 3) → star3Element(allPoli, 4) → star4Element(allPoli, 5) → star5Element(allPoli, 6) → star6Element(allPoli, 7) → star7Element(allPoli, 8) → star8Element(allPoli, 9) → star9Element(allPoli, 10) → star10Element(allPoli, 11) → star11Element(allPoli, 15) → star15Element(allPoli, 12) → star12Element(allPoli, 13) → star13Element(allPoli, 14) → star14
AI 绘图提示语参考
绘制一个由均匀分布在圆周上的顶点构成的正星形多边形,顶点数量由滑块控制,连接步长由另一个滑块控制。先画出单位圆上的所有等分点,再按固定步长依次连接这些点,形成星形路径。若步长与顶点数不互质,则星形会分裂成多个独立的多边形环,需分别绘制每个环。同时显示所有连接线段,并标注中心点及若干对称辅助点。用不同颜色区分各个独立环,并展示内角之和随参数变化的规律。
以上提示语为根据原始绘图命令整理而来,仅供参考。