同角三角函数及三角函数的诱导公式