Поскольку угол BDC острый, то сторона BC является наибольшей стороной треугольника BDC. Так как точка D лежит на стороне AB, то сторона DC является меньше стороны BC. Таким образом, DC < BC.

Теперь рассмотрим треугольник ADC. Поскольку DC < BC, то DC < AC, так как любая сторона треугольника всегда меньше суммы двух других сторон.

Таким образом, мы доказали, что DC < AC.