Ta có: AB = AC (tam giác ABC cân)

góc BDC = 900

=> B cách D = C cách D

=> ABCD là hình thoi

Mà ABCD có góc vuông

=> ABCD là hình vuông

=> AB // CD

=> góc ABD = góc BAC = 900 (đv)

Ta có: AB // CD

=> góc BAC = góc ACD = 900 (đv)

Xét tam giác ABD và tam giác ACD có:

AB = AC (tam giác ABC cân)

góc ABD = góc ACD = 900 (cmt)

AD: chung

=> tam giác ABD = tam giác ACD (ch.cgv)

=> góc BDA = góc CDA (2 góc tương ứng)

Vậy DA là phân giác của góc BDC