Условие

Пусть A — произвольный угол, B и C — острые углы. Всегда ли существует такой угол X, что

sin X = $\displaystyle {\frac{\sin B\sin C}{1-\cos A\cos B\cos C}}$?

(Из `` Воображаемой геометрии"" Н. И. Лобачевского).

Показать решение