圆柱体积的几何构造与反射辅助演示

本范例通过几何作图把“圆柱体积”与截面几何对应起来，展示如何利用对称与反射来辅助完成体积相关的立体关系。核心数学概念包括圆、圆柱（solid cylinder）的参数化体积思想、正交投影（OrthogonalLine）与直线/向量定位、以及反射（Mirror）带来的对称构型。作图要点：使用 Intersect 计算关键交点以确定圆柱相关截面位置；通过 Circle 生成圆形截面；Cylinder 直接构造圆柱体；借助 OrthogonalLine 获得高度/垂直方向的几何约束；用 Line、Segment 与 Vector 来定义方位与度量所需的线段与方向；再通过 Mirror 生成对称构件（例如反射后的辅助点/线）以稳定构型；最终配合多对象标注（text1）呈现关键量与说明。适合中学到大学初阶立体几何与几何作图课程，用于讲解体积与截面关系、几何建模与动态几何理解。