Mathematica 在已知条件判断不等式是否成立RT,例如我想判断在条件x>y下,是否有x^2>y^2成立（x,y均为实数）,_数学解答

Mathematica 在已知条件判断不等式是否成立
RT,例如我想判断在条件x>y下,是否有x^2>y^2成立（x,y均为实数）,请问应该如何写程序?

人气：153 ℃　时间：2020-05-24 13:36:27

解答

Assuming[x > y,{TrueQ[x^2 > y^2](*判断结论是否总是成立*) ,Simplify[Reduce[x^2 > y^2]](*求x,y应该满足的条件*),FullSimplify[x^2 > y^2](*需要的条件彻底化简*)}]结果:{False,x > Abs[y],x + y > 0}...