On 13 November 2010 04:36, Robert Bradshaw rober...@math.washington.edu wrote:
On Fri, Nov 12, 2010 at 3:44 PM, Derrick we.sana...@gmail.com wrote:
Any clue why bool(arcsin(x) == 2*arctan(x/(1+sqrt(1-x^2 returns
false where the expressions are mathematically equivalent.
Because an
On 6 December 2010 19:33, Mike Hansen mhan...@gmail.com wrote:
Here's the same sort of thing in Mathematica.
In[3]:= 12 == 2
Out[3]= False
In[4]:= 1 == 1
Out[4]= True
In[5]:= AcrSin[x] == 2 ArcTan[x/(1+Sqrt[1+x^2])]
x
Out[5]= AcrSin[x] == 2
On 6 December 2010 19:43, David Kirkby david.kir...@onetel.net wrote:
On 6 December 2010 19:33, Mike Hansen mhan...@gmail.com wrote:
Here's the same sort of thing in Mathematica.
In[3]:= 12 == 2
Out[3]= False
In[4]:= 1 == 1
Out[4]= True
In[5]:= AcrSin[x] == 2 ArcTan[x/(1+Sqrt[1+x^2])]
Any clue why bool(arcsin(x) == 2*arctan(x/(1+sqrt(1-x^2 returns
false where the expressions are mathematically equivalent.
I found that arcsin(x) - 2*arctan(x/(1+sqrt(1-x^2))) is not exactly 0
for all x in [-1,1]. In sage, is there any way to compare expressions
with some numerical precision?
On Fri, Nov 12, 2010 at 3:44 PM, Derrick we.sana...@gmail.com wrote:
Any clue why bool(arcsin(x) == 2*arctan(x/(1+sqrt(1-x^2 returns
false where the expressions are mathematically equivalent.
Because an expression being equal to zero is, in general, and
undecideable question. If it can't