Ask Your Question

Trigonometric equality (with arctan and arcsin)

asked 2017-02-23 08:29:32 -0500

Romuald_314 gravatar image

updated 2017-02-23 08:35:42 -0500


I found a strange issue:

ex = (arctan(1/2) + arcsin(sqrt(5)/5) == arctan(4/3))

And it gives False.

A simple numeric approximation allows to see that it's true, and wolfram alpha for instance gives the correct answer. But why is it like that and how can I fix it?


edit retag flag offensive close merge delete


In sagecell, giac('simplify(tExpand((arctan(1/2) + arcsin(sqrt(5)/5) - arctan(4/3))))') returns $0$. tExpand is a shortcut for expand trascendental expressions.

mforets gravatar imagemforets ( 2017-02-23 16:24:57 -0500 )edit

Seems to work. Thanks for the terminology.

Romuald_314 gravatar imageRomuald_314 ( 2017-02-27 10:38:03 -0500 )edit

2 answers

Sort by ยป oldest newest most voted

answered 2017-02-23 09:40:48 -0500

eric_g gravatar image

updated 2017-02-23 09:43:20 -0500

Actually, Sage returns False whenever it does not manage to prove that an equality is true or false. Therefore only True is a mathematically meaningful output for such a test.

edit flag offensive delete link more


Oh, that's problematical. It's a shame not to be able to verify such an equality. Really, there is no way?

Romuald_314 gravatar imageRomuald_314 ( 2017-02-23 11:51:40 -0500 )edit

answered 2017-02-25 10:51:44 -0500

dan_fulea gravatar image

I tried:

sage: tan( arctan(1/2) + arcsin(sqrt(5)/5) - arctan(4/3) ).simplify_full()


Usually, it is a good idea to put all expressions on one side. The symbolic expression simplifier has a simpler work.

edit flag offensive delete link more



Your way is also working, however I find weird having to add a 'tan(...)' to the expression to prove that it's equal to 0. Indeed, tan(0)=0 but that does not always work (tan(2k*pi)=0 too)

Romuald_314 gravatar imageRomuald_314 ( 2017-02-27 10:44:01 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2017-02-23 08:29:32 -0500

Seen: 90 times

Last updated: Feb 25