Не знаю ни одной формулы определения катета через синус 90 градусов. Вообще-то, по параметрам задачи - это Египетский (Золотой) треугольник, стороны которого принимаются без доказательства, если 5 и 4, то второй катет = 3. А если доказывать, то только по теореме Пифагора: х^2 = 5^2 - 4^2; x^2 = 9; x = 3