I am looking for a program that will accept equations containing trig functions, determine whether they are identities, & if so, display the proof line by line. For example,the following equation can be proven to be an identity in about 11 steps: sec(u + t) = (cos(u)*cos(t)+sin(u)*sin(t))/(cos(u)^2-sin(t)^2) If such a program does not exist, I think it might be a useful exercise to write one. Alla

Please Wait...