我想再问一下,是怎么用二倍角公式变到2cos(π/4-α)=√2/2一步的?