Доказательство (классическое, с параллельной прямой). Возьмём треугольник ABCABCABC. Через вершину CCC проведём прямую lll, параллельную стороне ABABAB. Обозначим углы треугольника ∠A, ∠B, ∠C\angle A,\ \angle B,\ \angle C∠A,∠B,∠C. Углы, которые образуют прямые ACACAC и BCBCBC с прямой lll по соответствующим сторонам, обозначим ∠A′\angle A'∠A′ и ∠B′\angle B'∠B′. По свойству параллельных прямых с секущими имеем ∠A=∠A′,∠B=∠B′.
\angle A=\angle A',\qquad \angle B=\angle B'. ∠A=∠A′,∠B=∠B′.
Углы ∠A′, ∠C, ∠B′\angle A',\ \angle C,\ \angle B'∠A′,∠C,∠B′ лежат на одной прямой и вместе составляют развернутый угол, то есть ∠A′+∠C+∠B′=180∘.
\angle A'+\angle C+\angle B'=180^\circ. ∠A′+∠C+∠B′=180∘.
Подставляя равенства выше, получаем ∠A+∠B+∠C=180∘.
\angle A+\angle B+\angle C=180^\circ. ∠A+∠B+∠C=180∘. Замечание: в этом доказательстве используется евклидовый аксиом (параллельный постулат). В неевклидовых геометриях сумма углов треугольника иная (на сфере больше 180∘180^\circ180∘, в гиперболической — меньше).
Возьмём треугольник ABCABCABC. Через вершину CCC проведём прямую lll, параллельную стороне ABABAB.
Обозначим углы треугольника ∠A, ∠B, ∠C\angle A,\ \angle B,\ \angle C∠A, ∠B, ∠C. Углы, которые образуют прямые ACACAC и BCBCBC с прямой lll по соответствующим сторонам, обозначим ∠A′\angle A'∠A′ и ∠B′\angle B'∠B′. По свойству параллельных прямых с секущими имеем
∠A=∠A′,∠B=∠B′. \angle A=\angle A',\qquad \angle B=\angle B'.
∠A=∠A′,∠B=∠B′. Углы ∠A′, ∠C, ∠B′\angle A',\ \angle C,\ \angle B'∠A′, ∠C, ∠B′ лежат на одной прямой и вместе составляют развернутый угол, то есть
∠A′+∠C+∠B′=180∘. \angle A'+\angle C+\angle B'=180^\circ.
∠A′+∠C+∠B′=180∘. Подставляя равенства выше, получаем
∠A+∠B+∠C=180∘. \angle A+\angle B+\angle C=180^\circ.
∠A+∠B+∠C=180∘.
Замечание: в этом доказательстве используется евклидовый аксиом (параллельный постулат). В неевклидовых геометриях сумма углов треугольника иная (на сфере больше 180∘180^\circ180∘, в гиперболической — меньше).