Tam giác `ABC` vuông cân tại `A`
`⇒hat{B1}=hat{C1}=45^o(1)`
Tam giác `BCD` vuông cân tại `B`
`⇒hat{D}=hat{C2}=45^o(2)`
Từ `(1)` và `(2)`:
`⇒hat{B1}=hat{C2}(=45^o)`(`2` góc này ở vị trí so le trong)
`⇒AB`//`CD`
`⇒`Tứ giác `ABDC` là hình thang
Có:`hat{A}=90^o`
`→`hình thang `ABDC` là hình thang vuông