MathGroup Archive 2013

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

Search the Archive

Re: Evaluating inequalities


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

> On 9/7/2013 2:36 AM, sam.takoy at 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




  • Prev by Date: Re: Variable transformations
  • Next by Date: Re: Evaluating inequalities
  • Previous by thread: Re: Evaluating inequalities
  • Next by thread: Re: Evaluating inequalities