畢式定理示例：用等腰三角形与正切线验证

该范例通过构造多个相关三角形（含等腰三角形）与正切线关系，演示畢式定理在几何图形中的验证与对应量的刻画。核心数学概念包括：勾股体系/畢式定理（与直角三边长度平方关系相关）、正切函数及其几何意义、等腰三角形的对称与边角对应，以及由几何约束到长度/角度关系的可视化表达。作图要点：使用 GeoGebra 的“Point、Segment、Polygon、arrow2”完成关键点与线段连接、外形多边形/三角形区域绘制，并用箭头对象标注方向或切线/线段对应关系；从构造摘要可看出对象集合中包含大量点与多边形（如 O、A、B、C、D、poly1~poly4、pic1~pic2、text1 等），体现出用点 O/A/B/C/D 等构成骨架，再通过 Polygon 生成若干三角形面片，同时用线段与箭头辅助展示正切线及相应构型。适合初中到高中阶段的几何复习、竞赛入门与课件演示，也适合作为“函数（正切）与几何”交叉主题的教学范例。