同角三角函数及诱导公式