Решение:
Преобразуем левую часть тождества, используя формулы тригонометрии.
- Вспомним формулу синуса двойного угла: \( \sin(2\alpha) = 2 \sin \alpha \cos \alpha \).
- Тогда \( 4 \sin \alpha \cos \alpha = 2 \cdot (2 \sin \alpha \cos \alpha) = 2 \sin(2\alpha) \).
- Выражение в числителе: \( 2 \sin(2\alpha) \cos(2\alpha) \).
- Вспомним формулу синуса двойного угла ещё раз: \( \sin(2\beta) = 2 \sin \beta \cos \beta \). Если \( \beta = 2\alpha \), то \( \sin(4\alpha) = 2 \sin(2\alpha) \cos(2\alpha) \).
- Значит, числитель равен \( \sin(4\alpha) \).
- Теперь рассмотрим знаменатель: \( \cos^2 2\alpha - \sin^2 2\alpha \).
- Это формула косинуса двойного угла \( \cos(2\gamma) = \cos^2 \gamma - \sin^2 \gamma \). Если \( \gamma = 2\alpha \), то знаменатель равен \( \cos(2 \cdot 2\alpha) = \cos(4\alpha) \).
- Таким образом, дробная часть выражения равна \( \frac{\sin(4\alpha)}{\cos(4\alpha)} \).
- Вспомним определение котангенса: \( \text{ctg} \beta = \frac{\cos \beta}{\sin \beta} \), и \( \text{ctg} 4\alpha = \frac{\cos 4\alpha}{\sin 4\alpha} \).
- У нас есть \( \frac{\sin(4\alpha)}{\cos(4\alpha)} \), что является \( \text{tg}(4\alpha) \).
- Исходное выражение теперь выглядит так: \( \text{tg}(4\alpha) \cdot \text{ctg}(4\alpha) \).
- Вспомним основное тригонометрическое тождество: \( \text{tg} \beta \cdot \text{ctg} \beta = 1 \) для всех \( \beta \), для которых оба выражения определены.
- Следовательно, \( \text{tg}(4\alpha) \cdot \text{ctg}(4\alpha) = 1 \).
Тождество доказано.