Mathematica 9 is now available
Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2008

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

Search the Archive

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


  • 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?