HL判定法证明直角三角形全等
几何画板及绘图内容加载中,请稍等……
①本范例演示如何使用HL判定法证明直角三角形全等;②涉及核心数学概念包括直角三角形全等判定、HL判定法、圆的性质;③作图要点:使用Point、Segment、Rotate、Angle、Circle、Line、Intersect、Polygon、If等GeoGebra命令和对象构建图形;④适合高中数学教学和学生理解几何证明方法。
GeoGebra 命令及参数
Point(Circle[A, AB]) → BSegment(A, B) → jRotate(A, (-β), B) → A'Angle(A', B, A) → γCircle(A, CA) → cLine(B, A') → iIntersect(c, i, 2) → CPolygon(A, B, C) → poly1, c_1, a, bPoint(Circle[D, n]) → ESegment(D, E) → fRotate(E, p°, D) → E'Angle(E, D, E') → αLine(D, E') → hCircle(E, o) → dIntersect(d, h) → F_1, FPolygon(D, F, E) → poly2, e_1, d_1, g_1Angle(F, E, D) → δAngle(E, F, D) → εSegment(F, D) → lSegment(A, B) → mSegment(D, E) → qSegment(C, A) → rSegment(C, A) → sSegment(F, E) → tSegment(A, B) → f_1Angle(A, B, C) → ζAngle(E, D, F) → ηAngle(B, A, C) → θAngle(B, C, A) → ιAngle(B, C, A) → κAngle(B, A, C) → λSegment(C, B) → gSegment(F, D) → h_1Segment(C, B) → i_1Segment(E, D) → j_1Angle(B, C, A) → μAngle(B, A, C) → νIf(AB ≟ round((Distance[F, D] * 10)) / 10 ∧ CA ≟ Distance[F, E], δ, μ) → AngleBlueIf(AB ≟ round((Distance[F, D] * 10)) / 10 ∧ CA ≟ Distance[F, E], ε, Angle[B, A, C]) → AngleGreen