求解三角函数二倍角的证明题...