Для доказательства того, что в треугольнике ABC существует равенство AK = KC, итак, имеется равнобедренный треугольник ABC с боковыми сторонами AB = AC.
Проведем высоту BK. Высота, проведенная к основанию равнобедренного треугольника, делит его на два равных прямоугольных треугольника: ABK и CBK.
Так как треугольник ABC равнобедренный, то углы при основании AB и AC равны. Поэтому ABK и CBK являются прямыми углами.
Также, треугольник ABC равнобедренный, поэтому AB = AC. Так как треугольник ABK - прямоугольный, то у него выполнена теорема Пифагора: AB^2 = AK^2 + BK^2. Аналогично, для треугольника CBK: AC^2 = CK^2 + BK^2.
Из равенства AB = AC следует, что AB^2 = AC^2.
Следовательно, AK^2 + BK^2 = CK^2 + BK^2.
Вычитая BK^2 из обеих частей, получаем AK^2 = CK^2.
Применяя квадратный корень от обеих частей, получаем AK = CK.
Таким образом, мы доказали, что в равнобедренном треугольнике ABC существует равенство AK = KC.
