Для доказательства данного тождества используем тригонометрические тождества для синуса и косинуса.
Имеем:
2cos^2(π/4 - 2α) = 2cos(π/4 - 2α)cos(π/4 - 2α) = 2(cos(π/4)cos(2α) + sin(π/4)sin(2α))^2= 2(√(2)/2cos(2α) + √(2)/2sin(2α))^2= (cos(2α) + sin(2α))^2= cos^2(2α) + 2cos(2α)sin(2α) + sin^2(2α)= cos^2(2α) + sin^2(2α) + 2sin(2α)cos(2α)= sin^2(2α) + 1
Получаем 2cos^2(π/4 - 2α) = sin^2(2α) + 1
С учётом того, что sin(2α) = 2sinαcosα, окончательно получаем:
2cos^2(π/4 - 2α) = sin(4α) + 1
Тождество 2cos^2(π/4 - 2α) = sin(4α) + 1 доказано.
Для доказательства данного тождества используем тригонометрические тождества для синуса и косинуса.
По формуле двойного угла для синуса: sin2α = 2sinαcosαПо формуле разности для косинуса: cos(a - b) = cosacosb + sinasinbПо формуле синуса разности: sin(a - b) = sinacosb - cosasinbИмеем:
2cos^2(π/4 - 2α) = 2cos(π/4 - 2α)cos(π/4 - 2α) = 2(cos(π/4)cos(2α) + sin(π/4)sin(2α))^2
= 2(√(2)/2cos(2α) + √(2)/2sin(2α))^2
= (cos(2α) + sin(2α))^2
= cos^2(2α) + 2cos(2α)sin(2α) + sin^2(2α)
= cos^2(2α) + sin^2(2α) + 2sin(2α)cos(2α)
= sin^2(2α) + 1
Получаем 2cos^2(π/4 - 2α) = sin^2(2α) + 1
С учётом того, что sin(2α) = 2sinαcosα, окончательно получаем:
2cos^2(π/4 - 2α) = sin(4α) + 1
Тождество 2cos^2(π/4 - 2α) = sin(4α) + 1 доказано.