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)
как-то так...