Точка D является точкой пересечения серединных перпендикуляров сторон AB и BC.
По определению, любая точка, лежащая на серединном перпендикуляре к отрезку, равноудалена от концов этого отрезка.
Так как D лежит на серединном перпендикуляре к AB, то AD = BD.
Так как D лежит на серединном перпендикуляре к BC, то BD = CD.
Из равенств AD = BD и BD = CD следует, что AD = CD.
Доказано.