Чтобы доказать, что сумма углов, не прилежащих один к другому, образуемых тремя прямыми, проходящими через одну точку, равна двум прямым углам, давайте рассмотрим следующую ситуацию.
Обозначим три пересекающиеся прямые как \( a \), \( b \) и \( c \). Пусть они пересекаются в точке \( O \). Эти прямые образуют восемь углов в точке пересечения, и обозначим их углы как \( \alpha_1, \alpha_2, \alpha_3, \alpha_4, \alpha_5, \alpha_6, \alpha_7, \alpha_8 \).
Сначала стоит заметить, что каждую пару углов, не прилежащих друг к другу, можно обозначить:
- Сперва выберем угол \( \alpha_1 \). Углы, не прилежащие к нему, это \( \alpha_3, \alpha_5, \alpha_7 \).
- Затем, если выберем угол \( \alpha_2 \), то к нему не прилежат углы \( \alpha_4, \alpha_6, \alpha_8 \).
Далее, так как сумма всех углов, образуемых тремя прямыми, равна \( 360^\circ \) (или \( 2\pi \) радиан), можно записать:
\[ \alpha_1 + \alpha_2 + \alpha_3 + \alpha_4 + \alpha_5 + \alpha_6 + \alpha_7 + \alpha_8 = 360^\circ. \]
Теперь давайте сосредоточимся на углах, которые мы рассматриваем. Когда мы выбираем три угла, не имеющих общих вершин, мы можем, например, взять:
- \( \alpha_1 \)
- \( \alpha_3 \)
- \( \alpha_5 \)
Таким образом, сумма этих углов равна:
\[ \alpha_1 + \alpha_3 + \alpha_5. \]
Аналогично, если взять углы, например, \( \alpha_2, \alpha_4, \alpha_6 \) (или любую другую комбинацию), мы увидим, что каждый из таких наборов углов тоже в конечном итоге будет составлять половину полного угла \( 360^\circ \).
Если мы рассмотрим один из таких наборов углов, то можем сформулировать, что сумма трёх углов, не прилежащих один к другому, всегда даст:
\[ \alpha_1 + \alpha_3 + \alpha_5 = 180^\circ. \]
Таким образом, повторяя аргументацию для других наборов, мы можем сделать вывод, что сумма каждого набора из трех углов, не прилежащих друг к другу, всегда равна двум прямым углам:
\[ \alpha_1 + \alpha_3 + \alpha_5 = 180^\circ. \]
Это завершает наше доказательство.