Maths Olympiad Prep

Track / Stage 5 / 345 of 400 #945 of 1964

Problem 945

AIME late
Algebra Difficulty 5.8 Prove it

3.039. cos4αsin4αctg2α=1\cos 4 \alpha-\sin 4 \alpha \operatorname{ctg} 2 \alpha=-1.

Translate the above text into English, keeping the original text's line breaks and format, and output the translation result directly.

3.039. cos4αsin4αcot2α=1\cos 4 \alpha-\sin 4 \alpha \cot 2 \alpha=-1.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Solution.

cos4αsin4αctg2α=cos4αsin4αcos2αsin2α==sin2αcos4αcos2αsin4αsin2α=sin(2α)sin2α=sin2αsin2α=1 \begin{aligned} & \cos 4 \alpha-\sin 4 \alpha \operatorname{ctg} 2 \alpha=\cos 4 \alpha-\sin 4 \alpha \cdot \frac{\cos 2 \alpha}{\sin 2 \alpha}= \\ & =\frac{\sin 2 \alpha \cos 4 \alpha-\cos 2 \alpha \sin 4 \alpha}{\sin 2 \alpha}=\frac{\sin (-2 \alpha)}{\sin 2 \alpha}=\frac{-\sin 2 \alpha}{\sin 2 \alpha}=-1 \end{aligned}

The identity is proven.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.