La prostaféresis utiliza identidades trigonométricas que relacionan productos de funciones trigonométricas con sumas, tales como las siguientes: