Vì ΔABC vuông cân tại A nên
Lại có: ( tính chất tam giác vuông).
Suy ra: ∠ C 1 = 45 0
Vì ∆ BCD vuông cân tại B nên
Lại có: ( tính chất tam giác vuông).
Suy ra: ∠ C 2 = 45 0
∠ (ACD) = ∠ C 1 + ∠ C 2 = 45 0 + 45 0 = 90 0
⇒ AC ⊥ CD
Mà AC ⊥ AB (gt)
Suy ra: AB //CD
Vậy tứ giác ABCD là hình thang vuông.