I don't understand this. These identities are given in the online notes for MIT's 18.01 calculus class. It's related to taking the sum of two trig functions and transforming them into a single trig function. I can use the formulas to do this, but I am having trouble finding anything on the internet to use a proof for my understanding.
Thanks for any responses!
EDITED (added after the first answer):
Sorry, the identity goes like this:
$A\sin{k(x-c)}=a\sin{kx}+b\cos{kx}$ ,
with the relationships
$a=A\cos{kc}$ , $b=-A\sin{kc}$ , $A=\sqrt{a^2+b^2}$ , and $\tan{kc}=-b/a$

You might want $\sin (kx+c)$ rather than $\sin k(x+c)$, and lose a minus sign on the $\tan$ expression, but the shape of the argument is as follows:
We start by noting that $A\sin (P+Q)=A\sin P\cos Q+A\cos P\sin Q$, for any values of $P,Q$ and we choose to use $P=kx$ and $Q=kc$
Now equating coefficients on the right-hand side we need $a=A\cos Q$ and $b=A\sin Q$ whence $a^2+b^2=A^2(\sin^2 Q+\cos^2 Q)=A^2$, and we also have $\tan Q=\cfrac ba$
This would give you what you wanted if you had $Q=c$ rather than $Q=kc$ and changed the sign - which is why I suggested checking the question carefully.