Конечно, давайте подробно докажем данное тождество:
[ \frac{\cos^2 a - \sin^2 a}{\cos a - \sin a} - \tan a \cdot \cos a = \cos a ]
Для начала упростим выражение в числителе. Напомним тригонометрическое тождество:
[ \cos^2 a - \sin^2 a = \cos(2a) ]
Тогда выражение приобретает вид:
[ \frac{\cos(2a)}{\cos a - \sin a} - \tan a \cdot \cos a ]
Теперь рассмотрим первую часть выражения:
[ \frac{\cos(2a)}{\cos a - \sin a} ]
Используем тождество для (\cos(2a)):
[ \cos(2a) = \cos^2 a - \sin^2 a = 2\cos^2 a - 1 \quad \text{или} \quad \cos(2a) = 1 - 2\sin^2 a ]
Однако в этом случае более удобно использовать:
[ \cos(2a) = \cos^2 a - \sin^2 a ]
Теперь давайте обратим внимание на вторую часть выражения:
[ \tan a \cdot \cos a ]
Поскольку (\tan a = \frac{\sin a}{\cos a}), умножим это на (\cos a):
[ \tan a \cdot \cos a = \frac{\sin a}{\cos a} \cdot \cos a = \sin a ]
Теперь наше выражение выглядит так:
[ \frac{\cos(2a)}{\cos a - \sin a} - \sin a ]
Подставим (\cos(2a) = \cos^2 a - \sin^2 a) обратно:
[ \frac{\cos^2 a - \sin^2 a}{\cos a - \sin a} - \sin a ]
Распределим числитель на знаменатель:
[ \frac{(\cos a + \sin a)(\cos a - \sin a)}{\cos a - \sin a} - \sin a ]
Знаменатель (\cos a - \sin a) сокращается:
[ \cos a + \sin a - \sin a ]
Сокращаем (\sin a):
[ \cos a ]
Таким образом, мы доказали, что исходное выражение тождественно равно (\cos a):
[ \frac{\cos^2 a - \sin^2 a}{\cos a - \sin a} - \tan a \cdot \cos a = \cos a ]
Тождество доказано.