cos 2a = -√(1-sin^2 2a)怎么推导出来的