欧几里得命题12：从直线外一点作垂线
几何画板及绘图内容加载中，请稍等……
①本范例演示欧几里得《几何原本》命题12：在给定的无限直线上，从直线外一点作一条垂线。②核心数学概念包括垂线关系、直角角度、点到直线的最短距离以及欧几里得几何作图逻辑。③作图要点：使用 GeoGebra 的 Line 命令，基于点对象 A、B 确定给定直线 f，并以直线外一点 C 为基准，构造过点 C 且与直线 f 垂直的直线。④适合初中平行与垂线单元、高中解析几何导入，以及教师课堂演示和学生自主探究几何作图。
GeoGebra 命令及参数
Line(A, B) → f
AI 绘图提示语参考
画一条由两点确定的无限直线，并在直线外任取一点，从该点向直线作垂线，使垂线与原直线相交成直角，展示点到直线的最短距离及垂线构造过程，并标出垂足，形成直角三角形，便于观察几何关系。
以上提示语为根据原始绘图命令整理而来，仅供参考。