Si x appartient à ]-Pi/2 + k.Pi ; Pi/2 + k.Pi[, alors (x - k.Pi) appartient à ]-Pi/2 ; Pi/2[ (ensemble d'arrivé de la fonction arctan)
Aussi, on a pour tout x de IR : tan(x) = tan(x -k.Pi) (avec k appartient à Z bien entendu)
Donc Arctan (tan(x)) = Arctan (tan(x - k.Pi)) = x - k.Pi