[dispmath]\sin\left(\alpha+\beta\right)=\cos\alpha\sin\beta+\sin\alpha\cos\beta\\
\cos\left(\alpha+\beta\right)=\cos\alpha\cos\beta-\sin\alpha\sin\beta[/dispmath]
One se mogu dokazati geometrijskim putem.
Prvo dokazujemo formulu [inlmath]\sin\left(\alpha+\beta\right)=\cos\alpha\sin\beta+\sin\alpha\cos\beta[/inlmath]
Ako pogledamo sliku [inlmath]\angle BAC=\alpha[/inlmath], [inlmath]\angle DAB=\beta[/inlmath], [inlmath]\angle ABD=90^\circ[/inlmath] i [inlmath]\angle DEA=90^\circ[/inlmath], zatim ako primenimo pravilo:
Uglovi sa normalnim kracima su dva ugla čiji kraci leže na normalnim pravama. Ovi uglovi su jednaki
Odatle sledi [inlmath]\angle BDF=\alpha[/inlmath]
[inlmath]\displaystyle\sin x=\frac{\text{naspramna}}{\text{hipotenuza}}[/inlmath] i [inlmath]\displaystyle\cos x=\frac{\text{nalegla}}{\text{hipotenuza}}[/inlmath]
Kada smo ovo uradili onda mozemo da pristupimo dokazivanju.
[dispmath]\sin\left(\alpha+\beta\right)=\frac{\overline{DE}}{\overline{AD}}=\frac{\overline{DF}+\overline{FE}}{\overline{AD}}=\frac{\cos\alpha\cdot\overline{DB}}{\overline{AD}}+\frac{\overline{BC}}{\overline{AD}}\\
=\frac{\cos\alpha\cdot\sin\beta\cdot\overline{AD}}{\overline{AD}}+\frac{\sin\alpha\cdot\overline{AB}}{\overline{AD}}=\cos\alpha\cdot\sin\beta+\frac{\sin\alpha\cdot\cos\beta\cdot\overline{AD}}{\overline{AD}}\\
\Rightarrow\;\sin\left(\alpha+\beta\right)=\cos\alpha\sin\beta+\sin\alpha\cos\beta[/dispmath]
Sa iste slike se moze dokazati i formula [inlmath]\cos\left(\alpha+\beta\right)=\cos\alpha\cos\beta-\sin\alpha\sin\beta[/inlmath]
[dispmath]\cos\left(\alpha+\beta\right)=\frac{\overline{AE}}{\overline{AD}}=\frac{\overline{AC}-\overline{EC}}{\overline{AD}}=\frac{\cos\alpha\cdot\overline{AB}}{\overline{AD}}-\frac{\overline{FB}}{\overline{AD}}\\
=\frac{\cos\alpha\cdot\cos\beta\cdot\overline{AD}}{\overline{AD}}-\frac{\sin\alpha\cdot\overline{DB}}{\overline{AD}}=\cos\alpha\cdot\cos\beta-\frac{\sin\alpha\cdot\sin\beta\cdot\overline{AD}}{\overline{AD}}\\
\Rightarrow\;\cos\left(\alpha+\beta\right)=\cos\alpha\cos\beta-\sin\alpha\sin\beta[/dispmath]




