Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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

 Messages: [ Previous | Next ]
 Andrzej Kozlowski Posts: 226 Registered: 1/29/05
Re: Evaluating inequalities
Posted: Sep 9, 2013 12:03 AM

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

Date Subject Author
9/7/13 Sam Takoy
9/8/13 William Rummler
9/8/13 Youngjoo Chung
9/8/13 William Rummler
9/8/13 Nasser Abbasi
9/8/13 szhorvat@gmail.com
9/8/13 Bill Rowe
9/9/13 Andrzej Kozlowski