Да, существует формула, которая меняет синус на косинус и обратно при условии, что n - неотрицательное целое число. Формула выглядит следующим образом:

cos((pi/2)n+a) = sin((pi/2)n+a + pi/2)

Таким образом, если вам нужно заменить синус на косинус или наоборот при n, которое является неотрицательным целым числом, вы можете использовать данную формулу.