Доказали строго: достроили BD = BC за точкой B → треугольник BCD равнобедренный → ∠ACD больше ∠BDC → против большего угла лежит большая сторона, AD больше AC → а AD = AB + BC, значит AC меньше AB + BC. «Прямой путь короче обхода» — теперь это теорема, а не картинка.