同角的三函数的基本关系式