
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

