Các tam giác ACD và BCD đều nên \(AK=BK=\frac{a\sqrt{3}}{2}\) (trung tuyến tam giác đều)
\(\Rightarrow\Delta AKB\) cân tại K \(\Rightarrow KI\perp AB\) (trung tuyến đồng thời là đường cao)
\(\Rightarrow\Delta AIK\) vuông tại I
Pitago: \(IK=\sqrt{AK^2-AI^2}=\sqrt{\left(\frac{a\sqrt{3}}{2}\right)^2-\left(\frac{a}{2}\right)^2}=\frac{a\sqrt{2}}{2}\)