a. Vì tam giác ABC cân tại A
=> AB = AC (1)
Bx ⊥ BA => góc ABx = 90o
Cy ⊥ CA => góc ACy = 90o
Xét tam giác ADB và tam giác ADC:
AD chung
góc ABx = góc ACy = 90o (cmt)
AB = AC (cmt)
=> tam giác ADB = tam giác ADC (ch - cgv) (đpcm)
b. Vì tam giác ADB = tam giác ADC (cmt)
=> DB = DC (2)
Từ (1) và (2) suy ra
A; D ∈ đường trung trực của BC
=> AD là đường trung trực của BC (đpcm)