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>
- Re: Simplify puzzle