抛物线焦点的几何构造与验证

本范例演示如何在给定抛物线（抛物线函数图形）条件下，利用几何作图确定其焦点，并通过到准线与切线/垂线的关系进行验证。核心数学概念包括：抛物线的定义（点到焦点与到准线的距离相等）、焦点与准线的对应关系、切线几何、垂线与交点定位，以及用参数化作图（向量、平移）来建立与焦点相关的特殊点。作图要点基于下方“构造摘要”提炼出的 GeoGebra 命令/对象：使用 Point、Line、Ray、Intersect 来确定直线、射线与交点；使用 Tangent 生成与抛物线相关的切线；使用 OrthogonalLine 构造垂线以定位到焦点的关键几何关系；通过 Mirror 与 Translate 实现关于直线/点的对称与平移辅助构造；并用 Vector 与多个中间对象（如 f、A、B、C、u、A'、g、D、h、i、j、h'、E、F、k、G、l）来承载焦点相关的构造链。适合中学后段至大学初级的几何建模、解析几何与函数图像教学，用于帮助学生直观理解抛物线焦点的“距离等式”与几何求解思路。