符号方程求解问题

淡定波波88

Solve[{(x + L3*Cos[a] - L7)^2 + (y - L3*Sin[a] - h)^2 - L4^2 == 0,
(x + L*Cos[a] - L6)^2 + (y - L*Sin[a])^2 - L1^2 == 0}, {x, a}]
各位大神，上面是不是死循环啊？一直不出结果，两个方程两个未知数，应该可以表示出x,a的，大神们能看一下是什么原因吗？提前谢过！.
1 ?2 l6 D0 R4 {- I

宏心

可能是超越函数