Cho tam giác ABC vuông tại A, C ^ = 30 ° . Kẻ đường trung trực của đoạn thẳng AC, cắt AC tại H và cắt BC tại D. Nối A và D.
a) Chứng minh tam giác ABD đều.
b) Kẻ phân giác góc B ^ cắt AD tại K, cắt DH kéo dài tại I. Chứng minh I là tâm đường trong đi qua ba đỉnh, của tam giác ADC.
c) Gọi E, F là hình chiếu vuông góc của I xuống các đường thẳng BC, BA. Chứng minh IE = IF = IK.
d) Tính số đo góc D A I ^