Sum of sines and cosines with arguments in arithmetic progression:
] if
α ≠ 0, then
For any a and b:
where atan2(y, x) is the generalization of arctan(y/x) that covers the entire circular range.
The above identity is sometimes convenient to know when thinking about the Gudermannian function, which relates the circular and hyperbolic trigonometric functions without resorting to complex numbers.
If x, y, and z are the three angles of any triangle, i.e. if x + y + z = π, then