Súčet uhlov trojuholníka
Author: košťo

 \text{Je daný trojuholník }ABC 

 \text{Zostrojme priamku } q: C ∈ q ∧ q ∥ p  \text{ ... tvrdenie XXXI}

 \text{Striedavé uhly } ∡BAC,∡ ACE \text{ sú zhodné ... tvrdenie XXIX}

α

 \text{Vonkajší uhol } ∡ECD\text{ je zhodný s vnútorným }∡ABC \text{ ... tvrdenie XXIX}

β

β

 \text{Odkiaľ dostávame  } ∡ABC+∡BCA+∡CAB=180°

Súčet veľkostí vnútorných uhlov v trojuholníku je rovný 180°

Pohybujte vrcholmi trojuholníka

A = (-2.795393949256187, 10.79833010506742)
B = (-6.159399321749518, 0.1718458442940675)
C = (4.592842149210476, 0.2032851468407342)
mnohouholník1, c, a, b = Polygon(A, B, C)
α = Angle(C, A, B)
β = Angle(A, B, C)
γ = Angle(A, C, B)
d = Line(A, B)
q = Line(C, d)
E = Point(q)
δ = Angle(A, C, E)
g = Line(B, C)
D = Point(g)
ε = Angle(E, C, D)
F = Point(q)
ζ = Angle(B, C, F)