命题46：在给定线段上作正方形
几何画板及绘图内容加载中，请稍等……
本范例演示了如何在给定的线段 AB 上构造一个正方形（欧几里得《几何原本》命题46）。涉及的核心数学概念包括几何作图、正方形的几何性质、垂直线段的构造以及欧氏几何公理体系。作图要点上，主要利用 GeoGebra 的 Segment 命令绘制基础线段 AB，并通过几何约束构建出完整的正方形对象 f。该范例适合中学几何教学、几何作图初学者或数学史课程，帮助学生直观理解经典几何命题的现代几何软件实现。
GeoGebra 命令及参数
Segment(A, B) → f
AI 绘图提示语参考
请绘制一个正方形，其一条边是给定的线段AB。正方形应基于这条线段构造，确保线段作为正方形的一条边。构造顺序是先画出线段，然后通过作垂线来构造正方形的其他边。图形应清晰展示正方形的形状和线段的关系，适合用于几何教学和理解欧几里得几何的基本原理。
以上提示语为根据原始绘图命令整理而来，仅供参考。