我需要找到复数的实部的条件为负数.我认为Reduce对此非常完美,但它提供了冗余输出(即使在简化之后).例如:
In[543]: Reduce[{Re[-1 - Sqrt[a - b] ] < 0, a > 0, b > 0}, {a, b}, Complexes]
Out[543]: a > 0 && (0 < b < a || b >= a)
由于a和b被认为是真实的,因为它们出现在不等式中,因此不需要进一步假设a和b之间的关系,我期望的结果是:
Out[543]: a > 0 && b > 0
是不是有充分理由不能获得？(在我看来)冗余结果会累积更复杂的表达式,我需要减少其中的一些.有没有获得预期结果的技巧？我一直在选择Reals作为域名并且根本不选择任何域名,但没有什么能真正给我我想要的东西.顺便说一下,我通过检查特征值来分析固定点的稳定性......这是一个非常常见的任务.