5. Теорема о равенстве углов с сонаправленными сторонами в пространстве

Эта теорема обосновывает корректность определения угла между скрещивающимися прямыми (независимость от выбора точки).

Формулировка: Если стороны двух углов соответственно сонаправлены (т.е. параллельны и направлены в одну сторону), то такие углы равны.

Пояснение:

  • Сонаправленные лучи: Два луча называются сонаправленными, если они параллельны и лежат в одной полуплоскости относительно прямой, соединяющей их начала (или один луч можно параллельно перенести так, чтобы он совпал с другим, сохранив направление).

  • В пространстве это работает аналогично планиметрии.

Доказательство (кратко, идея):

  1. Даны два угла AOB и A1O1B1 с сонаправленными сторонами: OAO1A1 (сонаправлены), OBO1B1 (сонаправлены).

  2. Откладываем равные отрезки OA=O1A1 и OB=O1B1.

  3. Четырехугольники OAA1O1 и OBB1O1 — параллелограммы (по признаку: две стороны параллельны и равны).

  4. Отсюда AA1OO1 и BB1OO1, а значит AA1BB1.

  5. Четырехугольник ABB1A1 — тоже параллелограмм, следовательно AB=A1B1.

  6. Треугольники AOB и A1O1B1 равны по трем сторонам ( OA=O1A1OB=O1B1AB=A1B1 ).

  7. Следовательно, соответствующие углы равны. Теорема доказана.

Следствие: Угол между скрещивающимися прямыми не зависит от выбора точки, через которую проводятся параллельные прямые (так как при переносе в другую точку получаются углы с сонаправленными сторонами, а они равны).