Est ce que cos (2020pi-x)+cos (1000pi+x)=0