高阶多项式方程组的符号求解其实非常困难，关于这个可参考贴吧帖子《【交流】受限于数学发展而无法或很难求解却经常有人想解的问题》。（链接不贴了，防吞。）
6个未知量解9个方程这点本来就是错的，具体可查MaxExtraConditions和Eliminate的帮助。此外Solve的3变量隐藏语法可能也会有帮助，不过LZ还是先把上面两条想办法解决了吧。
