                         c - b - a &lt;= 0
(%i15) (z-1)^2&gt;-2*z; /* determinando a verdade de uma assertiva */
                                      2
(%o15)                         (z - 1)  &gt; - 2 z
(%i16) expand(%)+2*z; /* expandindo essa assertiva e adicionado 2*z a ambos os lados */
                                   2
(%o16)                            z  + 1 &gt; 0
(%i17) %,pred;
(%o17)                               true
</pre>
<p>Seja cuidadoso com o uso dos par&ecirc;ntesis
em torno de desigualda