关于mathematica的Reduce函数解的问题.