椭圆形成的验证：焦点、线段与轨迹的交互演示

该范例通过动态几何交互，直观验证椭圆的定义——平面上到两个定点（焦点）距离之和为常数的点的轨迹。核心数学概念包括椭圆的标准定义、焦点与长轴/短轴的关系，以及二次曲线方程的几何意义。作图要点：使用GeoGebra的Focus命令创建两个焦点F和F'，通过Point命令在平面上取动点C，并用Segment命令连接C到两焦点形成线段，测量其长度之和；利用滑块t控制常数，通过轨迹（locus）或参数方程绘制椭圆曲线，并设置按钮（button1、button3）实现验证与重置功能。该范例适合高中解析几何或大学初等几何课程，用于帮助学生从动态操作中理解椭圆形成的本质，同时可结合代数表达式（如二次方程）进行数形结合教学。