Доказать что если прямые параллельны то внутренние накрест лежащие углы равны

ну, я вижу, с параллельностью не все гладко

1. важнее всего доказать, что если  внутренние накрест лежащие углы равны, то  прямые параллельны. то есть обратную теорему. это делается от противного. а имено, предполагается, что две прямые ас и bd пересекают третью прямую в точках а и c, и при этом не параллельны. то есть где то пересекаются, пусть в точке о. образуется треугольник асо. можно построить равный ему треугольник асо1,  так, что вершина  о1  лежит в другой, нежели точка  o, полуплоскости. из равенства этих треугольников следует, что угол оас = угол о1са; угол о1ас = угол оса; и по условию угол оас = угол асd. получается, о, с и о1 лежат на одной прямой, поскольку со1 является продолжением ос. но точно так же можно показать, что и точки о, а и о1 лежат на одной прямой. получилось, что через две точки (точки о и о1) мы провели две разных прямых (одна проходит через а, другая - через с), а это противоречит аксиоме . это доказывает, что если внутренние накрест лежащие углы равны, то прямые параллельны.

отсюда следует, что две прямые, перпендикулярные третьей, параллельны.

2. обратное утверждение, заданное в , доказывается с использованием теоремы пункта 1.

если две прямые параллельны, а внутренние накрест лежащие углы не равны (предположим, что это так), то через точку пересечения первой прямой с секущей проведем прямую так, чтобы внутренний накрест лежащий угол был равен с углом, образованным второй прямой. 

но из пункта 1. мы знаем,   что построенная прямая параллельна второй прямой. то есть получилось, что через одну точку проходят две прямые, параллельные одной прямой. противоречие, которое доказывает утверждение .