Если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны.
Доказательство:
Пусть О - середина отрезка АВ. Проведем ОН⊥b и продлим его до пересечения с прямой а.
ΔОАК = ΔОВН по стороне и двум прилежащим к ней углам (АО = ОВ, так как О - середина АВ, углы при вершине О равны как вертикальные, ∠ОАК = ∠ОВН по условию - накрест лежащие), значит
∠ОКА = ∠ОНВ = 90°.
Два перпендикуляра к одной прямой параллельны, значит
а║b.
