Пусть в треугольнике ABCравны углы A и C. Обозначим через M середину AC. Восстановим перпендикуляр p к отрезку AC в точке M. Если точка B лежит на этом перпендикуляре, то мы получаем, что равенство треугольников AMB и CMB по первому признаку (AM=MC, сторона MB — общая, ∠AMB=∠CMB=90°), а вместе с этим равенством мы имеем AB=BC. Пусть теперь точка B не лежит на перпендикуляре p. Тогда, без ограничения общности, мы можем считать, что p пересекает сторону AB в точке D. Аналогично получаем равенство треугольников AMD и CMD. Поэтому ∠A=∠DCA=∠C(последнее равенство следует из условия). Но ∠DCA<∠C, поскольку точка D лежит внутри отрезка AB. Мы получили противоречие. Значит, точка Bлежит на перпендикуляре p и AB=BC.
