过直线上给定点作该直线的垂线（GeoGebra 构造）

本范例演示：在给定的一条直线上，选取直线上的指定点，并用圆与交点构造出经过该点、与原直线垂直的垂线。核心数学概念包括垂直关系、等腰三角形与全等/对应边相等的思想、角的比较、以及通过“圆交点”实现几何约束的经典作图方法。作图要点：使用 GeoGebra 的 Point 用于建立点（如 k、O、E 等）、Line 创建原直线与待作对象直线（lin/segm1 等），用 Circle 以点为圆心、半径由已知距离 Distance 确定，通过 Intersect 求圆的交点（int4、int7、lin 与交点 D/C 等），再结合 Line 与交点构造垂直线；同时包含基于动画/交互的滑块与按钮对象（如 aniSli、btnForward、aniMax/aniMin、textSliInfo、textInstr）用于“有 GeoGebra 与无 GeoGebra”的步骤对比。适合中学几何（七至九年级及竞赛入门）课堂演示，也可用于几何作图实验、计算机辅助教学与建模活动。