Для доказательства, что треугольник ∆AOC является равнобедренным, нужно показать, что AO = OC.
Рассмотрим две пары подобных треугольников: ∆AOK и ∆COM, а также ∆AKO и ∆CMO.
Так как AM = CK, то треугольники ∆AOK и ∆COM будут подобными по стороне-стороне.
Следовательно, AO/OC = AK/CM.
Также, ∆AKO и ∆CMO - также подобные треугольники, так как у них углы AKO и CMO взаимно-противоположные (вертикальные).
Значит, AK/CM = KO/OM.
Так как первые два отношения равны, то можно записать: AO/OC = KO/OM.
Изометричные треугольники ∆AOK и ∆COM означают, что KO = MO.
Следовательно, AO = OC, то есть треугольник ∆AOC равнобедренный.
