Wolfram mathematica 为什么Simplify[1/Sqrt[a]==Sqrt[1/a]在Mathematica中不给出“true”输出?

Wolfram mathematica 为什么Simplify[1/Sqrt[a]==Sqrt[1/a]在Mathematica中不给出“true”输出?,wolfram-mathematica,equals,sqrt,simplification,Wolfram Mathematica,Equals,Sqrt,Simplification,在Mathematica中,Simplify[1/Sqrt[a]==Sqrt[1/a]给出了Sqrt[1/a]==1/Sqrt[a]。我真的不明白为什么当FullSimplify给出了期望的结果时,这不能给出true输出 这可能是一个非常愚蠢的问题,但我看不出来。因为如果你可以指定假设来简化 Simplify[1/Sqrt[a] == Sqrt[1/a], a >= 0] (* True *) 1/sqrt(-1)=-i Simplify[1/Sqrt[a] == Sqrt[1/a],

在Mathematica中,
Simplify[1/Sqrt[a]==Sqrt[1/a]
给出了
Sqrt[1/a]==1/Sqrt[a]
。我真的不明白为什么当
FullSimplify
给出了期望的结果时,这不能给出
true
输出


这可能是一个非常愚蠢的问题,但我看不出来。

因为如果你可以指定假设来简化

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