在数学中取正平方根

Solve 不是这样的。你可以试试 Reduce 相反,例如

In[1]:= Reduce[{x^2 == 1, x > 0}, x]
Out[1]= x == 1

然后将这个输出转换为替换规则就有点困难了,至少在一般情况下是这样,因为 减少 可以使用任意多个逻辑连接。在这种情况下,我们可以黑客:

In[2]:= Solve[Reduce[{x^2 == 1, x > 0}, x], x]
Out[2]= {{x->1}}

ToRules 按框中的说明:转换公式(如 Reduce 输出)到规则。在你的情况下:

In[1]:= ToRules[Reduce[{x^2==1,x>0},x]]
Out[1]= {x->1}

In[2]:= {ToRules[Reduce[{x^2==1},x]]}
Out[2]= {{x->-1},{x->1}}  

对于更复杂的情况,我经常发现在插入典型参数值之后检查符号解决方案的值是很有用的。当然,这不是万无一失的,但是如果你知道有一个而且只有一个解决方案,那么这是一个简单而有效的方法:

Solve[x^2==someparameter,x]
Select[%,((x/.#)/.{someparameter-> 0.1})>0&]

Out[3]= {{x->-Sqrt[someparameter]},{x->Sqrt[someparameter]}}
Out[4]= {{x->Sqrt[someparameter]}}