MathGroup Archive 2008

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: How can I evaluate this statement?


pircdefense wrote:
> I'm trying to show for all real numbers whether the following statement is true or false:
> 
> If a > b, then a^2 > b^2. I've tried various syntax and configurations in Mathematica, but I can't get it to report true or false. Can anyone offer a solution?
> 

FullSimplify[ForAll[{a, b}, a > b, a^2 > b^2]]

(Using the inequality implies that a and b are reals.)


  • Prev by Date: Re: strange behaviour of background color in Panel[]
  • Next by Date: Re: How can I evaluate this statement?
  • Previous by thread: How can I evaluate this statement?
  • Next by thread: Re: How can I evaluate this statement?