动态可调菱形：用对称与旋转控制边与角

本范例演示如何在 GeoGebra 中构造一个“动态可调”的菱形，使其可通过旋转、镜像等操作改变位置与形态，同时保持菱形性质。核心数学概念包括：菱形的对称特性、角度约束（Angle/β、α 的变化）、边长与距离条件（Distance）、以及由线性方程/代数关系配合实现的几何约束；同时涉及三角函数思想（Cosine）用于表达角度或方向关系，并用文字标注相关度量（TextAD、TextBC）。作图要点上，命令与对象来自构造摘要：使用 Segment、Circle 确定边与辅助圆；用 Rotate 与 Mirror 实现动态变换以生成与调整关键点/对称点（如 A、a、B、b、C、c 及其派生对象 a′、c′、G′、F′ 等）；用 Polygon 形成多边形 poly1、poly2 作为菱形显示主体；用 Distance 标注 distanceAD、distanceBC 并通过 TextAD、TextBC 显示数值；用 Angle 计算并呈现角 β、α 相关度量。适合中学几何教学与信息化演示，也可用于初等几何作图活动、参数化几何探索与动态几何学习。