Cho tứ diện đều ABCD cạnh a. Gọi H là hình chiếu vuông góc của đỉnh A xuống mặt phẳng (BCD).Chứng minh H là tâm đường tròn ngoại tiếp tam giác BCD. Tính độ dài đoạn AH.