Вопрос по по теории для шестого задания ЕГЭ. Не могу найти формулу или какое-то объяснение решениям этого номера. Например:

"В треугольнике ABC AC = BC, AB = 9,6, Найдите AC."

Решается как AC=AH/cosA=AB/2cosA, ну и дальше там по тригонометрическим функциям. И вот я как раз не могу понять, почему AC=AH/cosA? Или почему AH/cosA=AB/2cosA?