三角函数、同角三角函数与诱导公式