AB=BC - значит треугольник АВС равнобедренный,
AD=DC - значит BD - медиана
медиана равнобедренного треугольника является его биссектриссой. Доказано
