cosx是一个三角函数。
平方公式：sinx=±√（1-cosx∧2）cosx=±√（1-sinx∧2）。
诱导公式：sin（π/2+x）=cosx，cos（π/2+x）=—sinx。
证明：sinx∧2+cosx∧2=1，移项得sinx∧2=1-cosx∧2，开平方得sinx=±√（1-cosx∧2）。
同理sinx∧2+cosx∧2=1，移项得cosx∧2=1-sinx∧2，开平方得cosx=±√（1-sinx∧2）。