В равностороннем треугольнике центр вписанной окружности О является центром масс.
Вектор ОВ направлен от центра к вершине. Вектор АС является стороной треугольника.
Из свойств равностороннего треугольника и центра вписанной окружности, вектор ОВ перпендикулярен вектору АС.
Следовательно, скалярное произведение ОВ · АС = 0.
Доказано.