# Induction problem 2

### Hints

You'll want to look up the formulas for the sin and cosine of the sum of two angles, if you don't still have a clear memory for those formulas.

There are two variables in the claim. However, only one of them is of the right type (integer) to be the moving variable in an induction proof.