Доказательство:
Пусть Γ (угол) BCD = α.
- Δ BCD — равнобедренный с основанием BC, значит ∠ BDC = ∠ BCD = α.
- CB — биссектриса ∠ ACD, значит ∠ ACB = ∠ BCD = α.
- ∠ ACD = ∠ ACB + ∠ BCD = α + α = 2α.
- ∠ ACB и ∠ CBD являются накрест лежащими при прямых AC и BD и секущей BC.
- ∠ ACB = α и ∠ BDC = α.
- ∠ BCD = α.
- ∠ ACB = α.
Поскольку ∠ ACB = ∠ BDC (накрест лежащие углы равны), то AC || BD.
Что и требовалось доказать.