Cho tam giác ABC vuông cân tại A . Điểm D di chuyển trên cạnh BC . Gọi I và K theo thứ tự là các tâm đường tròn ngoại tiếp tam giác ABD và tam giác ADC .
a) Chứng minh : AIDK là hình vuông.
b) Tìm vị trí của D để hình vuông AIDK có diện tích nhỏ nhất .