Что за св-во здесь используется или что это за формулы?

Объяснение:

В прямоугольном треугольнике синус - это отношение противолежащего катета к гипотенузе.

CH - катет, поэтому находится по формуле синуса:

⇒

AB - гипотенуза, также находится по формуле синуса:

⇒