Объяснение:

ΔАВС=ΔАСD за першою ознакою рівності трикутників (∠АСВ=DАС як різносторонні при ВС║АD і січній АС; ВС=АD за умовою;  АС - спільна сторона)

З рівності трикутників випливає, що АВ=СD.

Доведено.