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