а) Пусть а — ось симметрии, Ɩ || α. Из точки L ϵ Ɩ проведем LA┴a; продолжим LA за точку А на расстояние AM=LA.
Из точки L1 ϵ Ɩ проведем L1A1┴a; продолжим L1A1 за точку A1 на расстояние A1M1 = L1A1.
Параллельные прямые а и Ɩ лежат в одной плоскости, тогда четырехугольник LMM1L1 - плоский четырехугольник.
ML=M1L1 — по построению, ML┴ Ɩ, M1L1┴ Ɩ, следовательно, ML||M1L1 поэтому четырехугольник LMM1L1 — прямоугольник. Т.е.,
MM1||L1L, или Ɩ ||m.
б) Если а не параллельна Ɩ, то а пересекается с L в некоторой точке А.
Выберем некоторую точку N ϵ Ɩ, построим NE┴a, продолжим отрезок NE за точку Е на расстояние EF=NE. Через точку F проведем прямую FA (m).
В треугольниках ∆AEF и ΔΑΕΝ. NE=EF, АЕ - общий катет, таким образом,
∆AEF=∆AEN, следовательно, ∟EAN=∟EAF=φ.
Таким образом, прямая m образует угол φ с осью симметрии.