Vereenvoudig volgende uitdrukking, steunende op de formules voor[br]verwante hoeken:[br][math]\frac{\sin\left(\frac{\pi}{2}- \alpha \right)\cdot \tan\left(\frac{\pi}{2}+ \alpha \right) }{\cos \left(\pi- \alpha\right) }-\frac{\sin\left( \alpha- \frac{\pi}{2}\right)\cdot \tan \left(\pi- \alpha \right)}{\cos\left(\frac{3\pi}{2}- \alpha \right)}[/math]
[math]cot(\alpha)(1 - tan(\alpha))[/math]
Bewijs:[br][math]sinx\cdot cos(180°-x)+cosx\cdot sin(180°-x)=0[/math]
[math]sinx\cdot(-cosx)+cosx\cdot sinx=0[/math]