Let y = a sin x + b cos x.
Use the symbolic manipulator of a computer algebra system (CAS) to help you with the following:
(a) Express y as a sinusoid for the following pairs of values

(b) Conjecture another formula for y for any pair of positive integers. Try other values if necessary.
(c) Check your conjecture with a CAS.
(d) Use the following formulas for the sine or cosine of a sum or difference of two angles to confirm your conjecture.

a=2, b=1; a = 1, b = 2; a=5,b=2; a = 2, b = 5; a = 3, b=4.