Чтобы доказать, что отрезок AB параллелен отрезку AВ1, можно воспользоваться свойствами параллельных прямых.
1. По условию задачи, прямые а и б пересекаются в точке О. Обозначим эту точку О.
2. Пусть точка С – произвольная точка на прямой а, а точка D – произвольная точка на прямой б. Обозначим отрезок СD.
3. По определению, отрезок AB параллелен отрезку AВ1, если угол между этими отрезками угол 180° или кратен 180°.
4. Предположим, что отрезок AB и отрезок AВ1 не параллельны.
5. В этом случае, отрезок AB и отрезок AВ1 будут пересекаться в точке К.
6. Так как отрезок АК принадлежит прямой а, а отрезок BК принадлежит прямой б, то точка О, прямые а и б, и отрезки AK и BК образуют двумерную плоскую геометрию.
7. В этих условиях можно воспользоваться аксиомой о параллельных прямых, которая утверждает, что через точку, не лежащую на прямой, можно провести единственную параллельную прямую.
8. Рассмотрим отрезок AB и проведем через точку К прямую g, параллельную прямой а.
9. Так как отрезок AB и отрезок АВ1 пересекаются в точке К, то прямые g и б пересекаются в точке P, причем точка P не совпадает с точкой О (так как прямые а и б пересекаются только в точке О).
10. Получается, что через точку К можно провести две прямые, параллельные прямой а: AB и g. Но это противоречит аксиоме о параллельных прямых.
11. Полученное противоречие показывает, что предположение о том, что отрезок AB и отрезок AВ1 не параллельны, неверно.
12. Значит, отрезок AB и отрезок AВ1 параллельны, что и требовалось доказать.