hi {7/3}
I did wonder if that's what you wanted. I could remember the formulas I gave easily so I took the line of least effort.
There are many ways of proving the compound angle formulas. The trig. approach is the first I met whilst still at school, but I haven't used it since. So I've had to dig deep in my memory.

So, make a triangle ABC with angle A = alpha and angle B = 90
Make a perpendicular line CD so that angle DCA = 90.
Choose the position of D so that DAC = beta.
Draw DF perpendicular to AB with F on AB, and finally CE perpendicular to DF with E on DF.
Call the point where DF and AC cross point G.
AGF = CGD = 90 minus alpha so GDC = alpha.
note EF = CB
The cosine formula is very similar. I'll leave it as an exercise.

hint AF = AB - FB
Bob