a] 在 Mathematica 中没有给出“真实”的输出？

【问题标题】：Why Simplify[1/Sqrt[a] == Sqrt[1/a] doesn't give a "true" output in Mathematica?为什么 Simplify[1/Sqrt[a] == Sqrt[1/a] 在 Mathematica 中没有给出“真实”的输出？
【发布时间】：2019-01-29 15:48:07
【问题描述】：

在 Mathematica 中，Simplify[1/Sqrt[a] == Sqrt[1/a]] 给出 Sqrt[1/a] == 1/Sqrt[a]。我真的不明白为什么当FullSimplify 给出所需的结果时，这没有给出true 的输出。

这可能是一个非常愚蠢的问题，但我就是不明白。

【问题讨论】：

标签： wolfram-mathematica equals sqrt simplification

【解决方案1】：

因为如果 a

例如

sqrt(1/-1)=i

同时

1/sqrt(-1)=-i

见wiki。

【讨论】：

【解决方案2】：

您可以将假设指定给Simplify。

Simplify[1/Sqrt[a] == Sqrt[1/a], a >= 0]
(* True *)

【讨论】：