A função f(x)=[sen2x⋅(2cosx1+2senx1)]2−sen2x é definida para todo x real e x=2kπ, com k inteiro. Nessas condições, pode-se afirmar que