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

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

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

Катет равен гипотенузе, умноженной на синус противолежащего этому катету угла или на косинус прилежащего этому катету угла, следовательно, гипотенуза равна  катету, деленному на синус противолежащего этому катету угла или на косинус прилежащего этому катету угла.