Advanced Search

Question: evalb() evaluates addition theorem to "false"

Question:evalb() evaluates addition theorem to "false"

janfromm 10 Maple
conditional simplification evalb
May 27 2024
2

Hello,
can anyone tell me why the following expression evaluates to false in Maple?

restart;
evalb(sin(x + y) = sin(x)*cos(y) + cos(x)*sin(y));                 
false

The underlying term "sin(x+y) = sin(x) cos(y) + cos(x) sin(y)" is one of the addition theorems that have been proven to be valid.

Thank you in advance for your answer.

Best regards
Jan
Please Wait...