同角三角函数关系与诱导公式