这是我不会用还是Mathematica不会解...

In[26]:= Refine[a + b, Assumptions :> {(a + b)^2 == 4, a + b > 0}]
Out[26]= a + b
为啥不能化简出a+b=2...