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

Simplify puzzle

• To: mathgroup at smc.vnet.net
• Subject: [mg124631] Simplify puzzle
• From: Alan <alan.isaac at gmail.com>
• Date: Fri, 27 Jan 2012 06:11:51 -0500 (EST)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com

Why does the first simplification below fail?
(Each term succeeds!)
Thanks,
Alan Isaac

In[205]:=
myassumptions = a > 0 && b > 0 && c > 0 && 1 > d > 0 && 1 > e > 0;
Simplify[a*b + c*(1 - d*(1 - e)) > 0, Assumptions -> myassumptions]
Simplify[a*b > 0, Assumptions -> myassumptions]
Simplify[c*(1 - d*(1 - e)) > 0, Assumptions -> myassumptions]

Out[206]= a b + c + c d e > c d

Out[207]= True

Out[208]= True

• Follow-Ups:
  • Re: Simplify puzzle
    • From: Bob Hanlon <hanlonr357@gmail.com>