中数学必修4的三角函数中的基本式子有哪些?