直角三角形的垂心作图与性质演示

该范例演示如何在直角三角形中用几何作图定位垂心，并验证其与直角边的特殊关系。核心数学概念包括垂心（Orthocenter）、直角三角形性质、垂线与交点、以及由角度与直线约束形成的几何关系。作图要点：通过 Segment 创建三角形边（对象A、B、C、D、E等参与构造）；用 OrthogonalLine 生成与给定边垂直的高所在直线（对象b、c、d 与 i、j 等体现不同高或辅助线）；用 Intersect 求垂线的交点得到垂心位置（对象 h 对应垂心交点）；再用 Polygon 连接顶点形成三角形/相关多边形轮廓（对象 f、g、t1 等用于辅助标注与计算）；Angle 用于刻画或验证直角与相关角度约束（对象 α、β）。适合中学几何教学、竞赛几何入门与几何作图练习，也可用于课堂演示垂心概念与“直角三角形垂心在直角顶点”这一关键性质。