Simplify fails to simplify
- To: mathgroup at smc.vnet.net
- Subject: [mg113145] Simplify fails to simplify
- From: István Zachar <zac at freemail.hu>
- Date: Fri, 15 Oct 2010 13:51:14 -0400 (EDT)
Dear Group, how can I force Simplify to simplify the last two examples to True? In[29]:= Simplify[f + d/k2 > d/k1, k1 > k2 > 0 && b > 0 && d > 0 && f > 0] Out[29]= True In[30]:= Simplify[f/b + d/k2 > d/k1, k1 > k2 > 0 && b > 0 && d > 0 && f > 0] Out[30]= k1 (b d + f k2) > b d k2 In[31]:= Simplify[f + (b d)/k2 > (b d)/k1, k1 > k2 > 0 && b > 0 && d > 0 && f > 0] Out[31]= k1 (b d + f k2) > b d k2