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

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