Q38E

Question

Prove the sum of angles formula for the sine function by following these steps. Fix x .

 

(a)  Let  f(t)=sin(x+t). Show that f''(t)+f(t)=0, the standard sum of angles formula for sin(x+t) f(0)=sinx , and f'(0)=cosx.

 

 (b) Use the auxiliary equation technique to solve the initial value problem y''+y=0,y(0)=sinx, and y'(0)=cosx 

 

(c) By uniqueness, the solution in part (b)  is the same as following these steps. Fix xf(t) from part (a). Write this equality; this should be the standard sum of angles formula for sin(x+t).

Step-by-Step Solution

Verified
Answer
  1. Differentiating with respect to t we find that f'(t)=cos(x+t)  and f''(t)=-sin(x+t)   then show that f''(t)+f(t)=0,f(0)=sinx  and f'(0)=cosx .
  2. The solution to the given initial value problem is  y(t)=sinxcost+cosxsint.
  3. By uniqueness of the solution of the initial value problems, one has that  sin(x+t)=sinxcost+cosxsint.
1Step 1: Differentiate the given value of f

To prove that  f''(t)+f(t)=0 and  f'(0)=cosx.

 

First, one will find the required derivatives: -

f'(t)=ddt(sin(x+t))     =cos(x+t)×ddt(x+t)     =cos(x+t)f''(t)=ddt(f'(t))=ddt(cos(x+t))       =-sin(x+t)×ddt(x+t)      =-sin(x+t).


Now we can prove that:

 f''(t)+f(t)=sin(x+t)+(-sin(x+t))                 =0


f(0)=sin(x+0)=sinx


And

 

 f'(0)=cos(x+0)=cosx

 

 

2Step 2: Finding the general solution.

The auxiliary equation is r2+1=0  and its roots are r1,2=±i.

The general solution to this problem has the form of y(t)=c1eαtcosβt+c2eαtsinβt, where  r1,2=α±βi.

In this case α=0  and  β=1, so the general solution is y(t)=c1cost+c2sint 

 

One will find the constants c1  and  c2 from the initial conditions.


y(0)=c1cos0+c2sin0=c1=sinxy(t)=sinxcost+c2sint;y'(t)=ddt(sinxcost+c2sint)=-sinxsint+c2cost;y'(0)=-sinxsin0+c2cos0=c2=cosx;y(t)=sinxcost+cosxsint.


 

 

3Step 3: Solve the initial value problem.

The formula for the sum of angles is given as:

 

sin(x+t)=sinxcost+cosxsint 

 

One recognizes this as the formula of sine of the sum of two angles. This equality stands from the uniqueness of the solution to the initial value problem.