Дано, что прямые AB и CD лежат на параллельных плоскостях (abc) и (def) соответственно. Нам нужно доказать, что AB || CD.
Доказательство:
1. Пусть прямые AB и CD пересекаются в точке M.
2. Рассмотрим треугольники AOM и DOM. У них углы в вершине O равны, так как AM || DN (так как AB || CD, по условию), и у них имеются общие вертикальные углы AOM и DOM.
3. Следовательно, треугольники AOM и DOM подобны.
4. По свойству подобных треугольников, OM/DM = OA/DA.
5. Рассмотрим треугольник AOC. У него два угла в вершине O равны углам AOM и DOM (по условию), и у них имеются общие вертикальные углы AOC и AOM.
6. Следовательно, треугольник AOC подобен треугольнику ADM.
7. По свойству подобных треугольников, OA/AD = OC/DM.
8. Из пункта 4 и пункта 7 следует, что OM/DM = OA/AD = OC/DM.
9. Сокращая DM, получаем OM = OA = OC.
10. Таким образом, у нас есть три равных отрезка: OM, OA и OC.
11. Значит, точки O, A и C лежат на одной прямой, и прямая AC совпадает с линией, проходящей через точки O, A и C.
12. Но AC пересекает прямую BD в точке O, значит, прямые AB и CD пересекаются в точке O и лежат в одной плоскости (абсолютно параллельной или пересекающей прямую BD).
13. Однако, по условию, AB и CD лежат на параллельных плоскостях (abc) и (def) соответственно.
14. Значит, AB || CD.
Таким образом, мы доказали, что AB параллельна CD.