Чертим угол с вершиной О. От О, как из центра, отмечаем циркулем на сторонах угла равные отрезки ОА и ОВ. Из А и В как из центров с циркуля строим две полуокружности (можно тем же радиусом, можно поменьше). Точки пересечения окружностей и О соединяем лучом ОС, который делит данный угол пополам и является для него биссектрисой. Для угла АОЕ повторяем эту процедуру, применив в качестве центров полуокружностей точки А и С. Точки пересечения и О соединяем прямой ОМ, которая, являясь биссектрисой половины угла АОВ, отделила от него угол АОМ, равный половине угла АОС и равный четверти угла АОВ
Из определения: прямая, параллельная плоскости, не имеет общих с плоскостью точек. Отсюда следует: (1) a||b или (2) у a и b нет общих точек (скрещивающиеся). Докажем (2), а заодно и опровергнем возможность пересечения.
Пусть a пересекает b, значит существует общая для a и b точка B, являющаяся точкой пересечения прямых. b лежит на плоскости, значит каждая точка, принадлежащая b, пренадлежит плоскости Альфа (в частности В). Следовательно у a и Альфа есть общая точка B, значит a не параллельна плоскости Альфа по определению. Противоречие. Доказано - a не пересекает b.
От О, как из центра, отмечаем циркулем на сторонах угла равные отрезки ОА и ОВ. Из А и В как из центров с циркуля строим две полуокружности (можно тем же радиусом, можно поменьше). Точки пересечения окружностей и О соединяем лучом ОС, который делит данный угол пополам и является для него биссектрисой. Для угла АОЕ повторяем эту процедуру, применив в качестве центров полуокружностей точки А и С. Точки пересечения и О соединяем прямой ОМ, которая, являясь биссектрисой половины угла АОВ, отделила от него угол АОМ, равный половине угла АОС и равный четверти угла АОВ
Докажем (2), а заодно и опровергнем возможность пересечения.
Пусть a пересекает b, значит существует общая для a и b точка B, являющаяся точкой пересечения прямых.
b лежит на плоскости, значит каждая точка, принадлежащая b, пренадлежит плоскости Альфа (в частности В). Следовательно у a и Альфа есть общая точка B, значит a не параллельна плоскости Альфа по определению.
Противоречие. Доказано - a не пересекает b.