1

我试图在 $Assumptions 中使用模式作为

$Assumptions = f[x_] > 0
Simplify[Sqrt[f[y]^2]]

不幸的是，这不起作用。

我想定义一类假设，因此是否有可能进行上述工作？谢谢！

4

1 回答 1

1

Mathematica 文档中的示例是Sqrt[x^2]，如果您提供假设，它会简化为 Abs[x] Element[x,Reals]。这也适用于函数模式：

Simplify[Sqrt[f[x]^2], f[_] \[Element] Reals]

于 2013-05-08T03:30:26.500 回答