三角形内角和动态演示 by Aleksandra-Maria Vuković
几何画板及绘图内容加载中,请稍等……
该范例演示了任意三角形三个内角之和恒为 180° 的平面几何现象。核心数学概念涉及三角形内角和定理、角的度量与标记、多边形构造以及点、线、圆之间的几何关系。作图要点:使用 GeoGebra 命令 Polygon 构建三角形多边形,Angle 标记三个顶点角 α、β、γ,Circle 与 Intersect 生成圆与直线的交点,Segment 与 Midpoint 绘制线段和中点,LineBisector 作角平分线,Vector 表示向量方向,If 实现条件判断与显示,并借助 tekst1、 tekst2 等文本对象展示角度数值。适合初中阶段平面几何教学,也可用于教师课堂演示与学生自主探索三角形角度性质。
GeoGebra 命令及参数
Polygon(A, B, C) → mnogokut1, c, a, bAngle(A, B, C) → βAngle(C, A, B) → αAngle(A, C, B) → γCircle(A, 2.0) → dCircle(B, 2.0) → eCircle(C, 2.0) → fIntersect(d, b) → D,Intersect(d, c) → E,Intersect(e, c) → F,Intersect(e, a) → G,Intersect(f, b) → H,Intersect(f, a) → I,Vector(A, C) → uIf(t ≤ 1.0, Translate[A, t * u], Translate[A, u]) → A'If(t ≤ 1.0, Translate[D, t * u], Translate[D, u]) → D'If(t ≤ 1.0, Translate[E, t * u], Translate[E, u]) → E'Segment(A', D') → gSegment(A', E') → hAngle(D', A', E') → δVector(B, C) → vIf(t ≤ 1.0, Translate[B, 0.0 * v], If[t > 1.0 ∧ t ≤ 2.0, Translate[B, (t - 1.0) * v], Translate[B, v]]) → B'If(t ≤ 1.0, Translate[G, 0.0 * v], If[t > 1.0 ∧ t ≤ 2.0, Translate[G, (t - 1.0) * v], Translate[G, v]]) → G'If(t ≤ 1.0, Translate[F, 0.0 * v], If[t > 1.0 ∧ t ≤ 2.0, Translate[F, (t - 1.0) * v], Translate[F, v]]) → F'Segment(G', B') → iSegment(F', B') → jAngle(F', B', G') → εIf(t ≤ 2.0, Rotate[I, 0.0*°, C], If[t > 2.0 ∧ t ≤ 3.0, Rotate[I, ((t - 2.0) * 180.0)°, C], Rotate[I, 180.0*°, C]]) → I'If(t ≤ 2.0, Rotate[H, 0.0*°, C], If[t > 2.0 ∧ t ≤ 3.0, Rotate[H, ((t - 2.0) * 180.0)°, C], Rotate[H, 180.0*°, C]]) → H'Segment(C, I') → lAngle(H', C, I') → ζIf(t ≤ 3.0, Text[""], If[t > 3.0 ∧ t < 4.0, Text["α + β + γ = ???"], Text["α + β + γ = 180°"]]) → tekst4Midpoint(b) → P_bMidpoint(c) → P_cMidpoint(a) → P_aIf(γ < 90.0° ∧ α < 90.0° ∧ β < 90.0°, "šiljastokutan", If[γ ≟ 90.0° ∨ α ≟ 90.0° ∨ β ≟ 90.0°, "pravokutan", "tupokutan"]) → tekst6If((zaokr_a ≠ zaokr_b) ∧ (zaokr_a ≠ zaokr_c) ∧ (zaokr_b ≠ zaokr_c), "raznostraničan", If[zaokr_a ≟ zaokr_b ∧ zaokr_a ≟ zaokr_c ∧ zaokr_b ≟ zaokr_c, "jednakostraničan", "jednakokračan"]) → tekst7If(tekst7 ≟ "raznostraničan", Text["a = " + a], If[tekst7 ≟ "jednakokračan" ∧ zaokr_b ≟ zaokr_c, Text["a = " + a], If[tekst7 ≟ "jednakokračan" ∧ (zaokr_b ≟ zaokr_a ∨ zaokr_c ≟ zaokr_a), Text["b = " + a], Text["a = " + a]]]) → tekst8If(tekst7 ≟ "raznostraničan", Text["b = " + b], If[tekst7 ≟ "jednakokračan" ∧ zaokr_a ≟ zaokr_c, Text["a = " + b], If[tekst7 ≟ "jednakokračan" ∧ (zaokr_a ≟ zaokr_b ∨ zaokr_c ≟ zaokr_b), Text["b = " + b], Text["a = " + b]]]) → tekst9If(tekst7 ≟ "raznostraničan", Text["c = " + c], If[tekst7 ≟ "jednakokračan" ∧ zaokr_a ≟ zaokr_b, Text["a = " + c], If[tekst7 ≟ "jednakokračan" ∧ (zaokr_a ≟ zaokr_c ∨ zaokr_b ≟ zaokr_c), Text["b = " + c], Text["a = " + c]]]) → tekst10LineBisector(c) → s_cLineBisector(a) → s_aLineBisector(b) → s_bAngle(s_c, c) → ηAngle(s_b, b) → θAngle(s_a, a) → ι