三角函数诱导公式的形成是借助了单位圆的对称性。