application of fundamental theorem of integral calculus

We will derive the addition formulas of the sine and the cosine functions supposing known only their derivatives and the chain rule.

Define the function  $F:ℝ\to ℝ$  through

$$F(x):={[\sin x\cos \alpha +\cos x\sin \alpha -\sin (x+\alpha )]}^2+{[\cos x\cos \alpha -\sin x\sin \alpha -\cos (x+\alpha )]}^2$$

where $\alpha$ is, for the , a constant.  The derivative of $F$ is easily calculated:
$F^{\prime }(x)=2[\sin x\cos \alpha +\cos x\sin \alpha -\sin (x+\alpha )][\cos x\cos \alpha -\sin x\sin \alpha -\cos (x+\alpha )]+2[\cos x\cos \alpha -\sin x\sin \alpha -\cos (x+\alpha )][-\sin x\cos \alpha -\cos x\sin \alpha +\sin (x+\alpha )]$

But this expression is identically 0.  By the fundamental theorem of integral calculus, $F$ must be a constant function.  Since  $F(0)=0$,  we have

$$F(x)\equiv \mathrm{\hspace{0.33em}0}$$

for any $x$ and naturally also for any $\alpha$.  Because $F(x)$ is a sum of two squares, the both addends of it have to vanish identically, which yields the equalities

$$\sin x\cos \alpha +\cos x\sin \alpha -\sin (x+\alpha )=\mathrm{\hspace{0.33em}0},\cos x\cos \alpha -\sin x\sin \alpha -\cos (x+\alpha )=\mathrm{\hspace{0.33em}0}.$$

These the addition formulas (http://planetmath.org/GoniometricFormulae)

$$\sin (x+\alpha )=\sin x\cos \alpha +\cos x\sin \alpha ,$$

$$\cos (x+\alpha )=\cos x\cos \alpha -\sin x\sin \alpha .$$

Title	application of fundamental theorem of integral calculus
Canonical name	ApplicationOfFundamentalTheoremOfIntegralCalculus
Date of creation	2013-03-22 18:50:52
Last modified on	2013-03-22 18:50:52
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	6
Author	pahio (2872)
Entry type	Example
Classification	msc 26A06
Related topic	TrigonometricFormulasFromSeries