Xét tam giác ABC vuông cân tại A có :
góc ABC = BCA (=45 độ) ( dấu hiệu nhận bt tam giác vuông cân) (1)
Xét tam giác BCD vuông cân tại B có :
góc BDC = DCB (=45 độ) ( như trên kia) (2)
Từ (1) và (2) =>góc BCA + góc DCB = 90 độ (= góc ACD)
=> DC vuông góc AC và AB cũng vuông góc AC ( vì góc A= 90 độ )
Vậy DC // AB => tứ giác ABCD là h. thang