Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Software » comp.soft-sys.math.mathematica

Topic: Evaluating inequalities
Replies: 8   Last Post: Sep 9, 2013 12:03 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Andrzej Kozlowski

Posts: 226
Registered: 1/29/05
Re: Evaluating inequalities
Posted: Sep 9, 2013 12:03 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


On 8 Sep 2013, at 09:06, "Nasser M. Abbasi" <nma@12000.org> wrote:

> On 9/7/2013 2:36 AM, sam.takoy@yahoo.com wrote:
>> Hi,
>>
>> Why doesn't this:
>>
>> Assuming[w/k < KK, -k^2 + w^2/KK^2 > 0] // Simplify
>>
>> evaluate to False?
>>
>> Thanks!
>>
>> Sam
>>

>
>
> Assuming[w/k < kk, TrueQ[-k^2 + (w/kk)^2 > 0]]
>
> (* False *)
>


This is a really great way to prove absolutely anything you like (or its negation). And the reason is of course that

TrueQ["Your understand what TrueQ is for."]

False

Andrzej Kozlowski





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.