`text{xét tam giác cân BCD có} \hat{CBD} = 90^@ => \hat{BCD} 45^@`
`text{chứng minh tương tự với tam giác ABC}`
`=> \hat{ACB} =45^@`
`=> \hat{ACD} = \hat{ACB} + \hat{BCD} = 45^@+45^@ = 90^@`
`text{xét tứ giác BACD có}`
`BA \bot AC;DC \bot AC => BA text{song song} CD => text{tứ giác BACD là hình thang}`