Verified answer

5) т.к. AA1 _|_ альфа => AA1 _|_ любой прямой, принадлежащей альфа => AA1 _|_  BA1, FF1 _|_ CA1 => треугольники прямоугольные

из AA1B a : AA1 = tg(альфа)

AA1 = a/tg(альфа)

из AA1C b^2 = AA1^2 + y^2

y^2 = b^2 - (a/tg(альфа))^2

y = корень(b^2 - (a/tg(альфа))^2) - если нужно, это можно еще поупрощать... tga = sina/cosa...

AA1/b = sinx = a / (b*tg(альфа))

x = arcsin(a / (b*tg(альфа)))

6) из AA1B a/AB = sin(альфа)

AB = a/sin(альфа)

из ABC по теореме синусов AB / sin(бэтта) = b / sinx

AB * sinx = b * sin(бэтта)

sinx = b * sin(бэтта) / AB = b * sin(бэтта) : a/sin(альфа) = b * sin(бэтта) * sin(альфа) / a

x = arcsin(b * sin(бэтта) * sin(альфа) / a)

как-то так...