Triangle Angle Sum Interactive Demonstration
Loading the math board and drawing, please wait…
This GeoGebra example demonstrates the triangle angle sum theorem, illustrating that the sum of the three interior angles of any triangle is invariant at 180 degrees. The core mathematical concepts include Euclidean triangle geometry, interior angle relationships, angle measurement, and polygon construction. The figure is built using GeoGebra commands such as Polygon to form the triangle, Angle to label vertices α, β, and γ, Circle and Intersect to create intersection points, Segment and Midpoint for segments and midpoints, LineBisector for angle bisectors, Vector for directional elements, and If for conditional logic, with text objects tekst1 and tekst2 displaying angle values. It is suitable for middle school and high school mathematics instruction, supporting classroom demonstrations and student-centered exploration of triangle angle properties.
GeoGebra Commands & Parameters
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) → ι