Vì ABC là tam giác đều và CF là đường cao nên CF cũng là đường phân giác của \(\widehat {ACB}.\) Suy ra \(\widehat = \frac{1}{2}\widehat {ACB} = \frac{1}{2} \cdot 60^\circ = 30^\circ .\)

Tam giác HDC vuông tại D có

⦁ \[\widehat + \widehat = 90^\circ ,\] suy ra \[\widehat = 90^\circ - \widehat = 90^\circ - 30^\circ = 60^\circ ;\]

⦁ M là trung điểm của HC hay DM là đường trung tuyến ứng với cạnh huyền nên nên MD = MH = MC (cùng bằng một nửa cạnh huyền HC).

Do đó, tam giác DHM là tam giác đều.

Tương tự, ta cũng chứng minh được các tam giác HEM, HEI, HIF, HFK, HKD là các tam giác đều.

Từ đó suy ra lục giác DKFIEM có các góc đều bằng 2.60° = 120° và các cạnh đều bằng nhau, do đó lục giác DKFIEM là lục giác đều.