抛物线的丹德林球模型演示

本范例通过丹德林球模型在圆锥截面中直观演示：抛物线上任一点到焦点与到准线的距离相等，从而给出抛物线的几何定义与性质。核心概念包括圆锥曲线、圆锥截面、焦点、准线、切点与法向等距特性，以及由球与平面切触得到的几何构造。作图要点：在 GeoGebra 中先用 Point、Plane 与 InfiniteCone 构造空间对象；再通过 IntersectPath / Intersect 取得圆锥与截平面的关键交线与点；利用 OrthogonalLine、OrthogonalPlane 建立与焦点/准线相关的垂直关系；用 Sphere 与 Circle 表示丹德林球及其在截平面上的截圆，并通过 Mirror 将构造对称地延伸；最后用 Segment 与 Ray 连接 PF、PQ 等距离并配合 text 显示 directrix（准线）与焦点距离，从而形成可验证的等距图景。适合中学高年级到大学的立体几何与解析几何教学，用于讲解圆锥曲线的空间构造、几何证明思路与可视化理解。