Для доказательства, что AD || BC, нам нужно показать, что внутренние накрест лежащие углы равны или что сумма внутренних односторонних углов равна 180 градусам.
Теперь рассмотрим односторонние углы ∠ADC и ∠BCD. Их сумма равна: ∠ADC + ∠BCD = 90° + 90° = 180°. Так как сумма внутренних односторонних углов равна 180°, то AD || BC.