Рассмотрим произвольный треугольник ABC и докажем, что AB = BC. Для этого проведём биссектрису угла B и серединный перпендикуляр к стороне AC. Пусть M | точка их пересечения. Опустим из точки M перпендикуляры MK и ML на стороны BA и BC. Точка M, лёжа на серединном перпендикуляре, одинаково отстоит от A и от C, то есть MA = MC. Находясь на биссектрисе угла B, она равноудалена от сторон этого угла, то есть MK = ML. Поэтому прямоугольные треугольники MKA и MLC равны по катету и гипотенузе. Значит, углы KAM и LCM, лежащие против равных катетов, тоже равны. Складывая эти углы с равными углами MAC и MCA (при основании равнобедренного треугольника AMC), получаем, что углы BAC и BCA равны, и треугольник равнобедренный.
Что не так в этом доказательстве?
Что не так в этом доказательстве?

Тогда получится два внешних угла. Ну и не складывать, а вычитать придется.
∠BAC = ∠KAM – ∠MAC и ∠BCA = 180° – ∠MCL – ∠MCA =>
из равенств ∠KAM = ∠MCL и ∠MCA = ∠MAC не следует, что ∠BAC = ∠BCA.
А ты уверен, что чертеж правильный? У меня точка пересечения биссектрисы и серед. перпендикуляра лежит ближе к АС и К лежит на АВ, а не на ее продолжении
А откуда этот софизм? Или ты сам придумал?
( Я когда-то очень софизмами интересовалась)
А. Шень
О «математической строгости»
и школьном курсе математики
Книга посвящена понятиям, вводимых в школьном курсе геометрии