简化Mathematica中的符号表达式
问题描述：
我有以下问题。在Mathematica中定义两个简单的函数，比如foo[x_]:= x和bar[y_]:=y，我预计表达式foo[x]^(-bar[y])-(1/foo[x])^(bar[y])将被评估为零。但是，我发现（奇怪的是）Mathematica坚持让这件事“以象征的方式”，而不愿意简化。尝试了很多事情来克服这种行为，但他们都失败了。任何帮助非常感谢:)简化Mathematica中的符号表达式
答
你必须告诉Mathematica的是x> 0：
Simplify[foo[x]^(-bar[y]) - (1/foo[x])^(bar[y]), x > 0]
0
'富[X] ^（ - 酒吧[Y]） - （1 /富[X]）^（ bar [y]）/。 {y - > 1/2，x - > -1/2}' – ssch
是的，好的，但它不是一个非常通用的解决方案。例如，为什么它对'x> 0'有效，但是如果我假设'x
这是因为简化它对于x FJRA