AD // BC
Trong đường tròn (O2), là góc nội tiếp chắn cung AB
là góc giữa một tiếp tuyến và một dây chắn cung AB nên = (= sđ cung AB) (1).
Cũng chứng minh tương tự ta có (2).
Từ (1) và (2) và biết tổng 3 góc của một tam giác bằng 180° , suy ra ở vị trí so le trong nên AD // BC.