1. Пусть прямая a и прямая b параллельны (a || b).
2. Прямая AC является секущей для параллельных прямых a и b.
3. Углы ∠BAC и ∠ACD являются односторонними углами при параллельных прямых a и b и секущей AC.
4. По свойству параллельных прямых, сумма односторонних углов равна 180°.
5. Следовательно, ∠BAC + ∠ACD = 180°.
Доказано.