点在直线外作垂线：圆规作图构造垂足

该范例演示如何在给定直线之外的任一点 P 作出与该直线垂直的直线，并用动画对比“有与无 GeoGebra”时的构造步骤。核心数学概念包括：垂线与垂直判定、圆的交点构造、等距（半径相等）带来的角度等分/全等、以及直线与圆的相交关系。作图要点是利用两圆交点确定中间几何量：先以点 O/已知点为中心作圆，再以点 P 为中心作圆，通过 Circle、Intersect 得到交点（如 A、B、E 等），随后用 Line 连接得到垂线候选直线（lin、segm1 等对象），最后用 Distance 或与 k、O、P 等对象的测量关系验证垂直对应的角度关系（含 textInstr 等提示与 textSliInfo 等界面信息）。范例还配合 Point、PointIn 生成操作点，并通过与“Step Functions/动画滑块 slider（aniSli 等）”联动展示构造过程，适合中学几何课堂、几何作图训练与自学演示。