Re: How can I evaluate this statement?

*To*: mathgroup at smc.vnet.net*Subject*: [mg89929] Re: How can I evaluate this statement?*From*: Szabolcs Horvát <szhorvat at gmail.com>*Date*: Tue, 24 Jun 2008 06:17:26 -0400 (EDT)*References*: <g3q7n2$akf$1@smc.vnet.net>

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.)