Дано: а║b, с - секущая, ∠1 и ∠2 - внутренние накрест лежащие.
Доказать: ∠1 = ∠2.
Доказательство:
Предположим, что ∠1 ≠ ∠2.
Тогда можно построить ∠ВАК = ∠2. Так как углы ВАК и ∠2 внутренние накрест лежащие при пересечении прямых b и АК секущей с, то b║АК.
Получилось, что через точку А проходят две прямые, параллельные прямой b, что противоречит аксиоме о параллельных прямых.
Значит, предположение неверно и
∠1 = ∠2.