Для доказательства параллельности прямых AB1 и DC1 в параллелепипеде ABCDA1B1D1C1 можно воспользоваться свойствами параллелограммов.
Поскольку ABCDA1B1D1C1 - параллелепипед, то его боковые грани ABCA1 и BCD1 являются параллелограммами.
В параллелограмме противоположные стороны параллельны, следовательно, AB || A1C1 и B1D1 || CD.
Таким образом, AB1 и DC1 являются продолжениями сторон параллелограмма BCD1 и, следовательно, также параллельны.
Таким образом, прямые AB1 и DC1 действительно параллельны в параллелепипеде ABCDA1B1D1C1.