Lift-Rod 问题的立体几何作图：用棱柱与距离构造几何约束

本范例展示“Lift-Rod（抬杆）”类几何约束如何在立体空间中被可视化：通过构造棱柱与相关面片，结合点在对象内判断与距离测量，观察杆/斜线在不同位置下满足的几何关系。 核心数学概念包括：立体几何中的多面体与棱柱模型、三维点与线段的几何度量、以及用距离刻画约束条件。 作图要点：从构造摘要可见主要用到 GeoGebra 的 Polygon（多边形/面片轮廓，用于构造点序列形成面）、Prism（棱柱体生成）、PointIn（点是否位于指定几何对象内部的判定）、Distance（计算点间距离/度量约束）、Segment（线段对象，用于表示杆或边）。同时通过对象如 faceABHG、faceBFIH、faceCFIJ、faceACJG 构造多个侧面，通过 edgeAG、edgeBH、edgeFI、edgeCJ、edgeGH、edgeHI、edgeIJ、edgeGJ 表示关键棱/边。 适合用于中学高年级到大学预备阶段的几何建模与可视化教学，也适合作为 Web Quest 式探究活动：引导学生在滑块/参数变化下理解立体几何约束与几何测度之间的联系。