Question: RE: How to check if two expressions are the same

Hello there, 

Would you tell me how to check if the two expressions presented below are the same?

My simple attempt (at the end of the worksheet below) failed. 

This page might be helpful to check the equality: https://www.myphysicslab.com/springs/trig-identity-en.html
 

restart;

subexpx := Ls*cos(omega*t + phi__l + theta)*omega + sin(omega*t + phi__l + theta)*Rs;

Ls*cos(omega*t+phi__l+theta)*omega+sin(omega*t+phi__l+theta)*Rs

(1)

subexpx2 := sqrt((omega*Ls)^2+Rs^2)*sin(omega*t + phi__l + theta + arctan(omega*Ls/Rs));

(Ls^2*omega^2+Rs^2)^(1/2)*sin(omega*t+phi__l+theta+arctan(omega*Ls/Rs))

(2)

is(subexpx - subexpx2 = 0) assuming omega::positive, Ls::positive, Rs::positive;

false

(3)

 

 


Thank you,

Download Q20201108.mw

Please Wait...