同名三角函数的基本关系是怎么推出来的