Wzory redukcyjne pozwalają „zredukować” funkcje trygonometryczne dowolnego kąta do wartości funkcji trygonometrycznych kąta ostrego (z przedziału ).
Korzystając ze wzorów na sinus i cosinus sumy kątów (bądź z własności wykresów funkcji) wyprowadzić można następujące wzory:
Dowód (tego, że ):
Podobnie udowodnić można wzór dla cosinusa.
Dowód (dla wzoru ):
Podobnie dowodzi się wzoru dla cotangensa.
Wprost z wykresów funkcji trygonometrycznych (i z podstawowych własności tych funkcji) wynikają następujące wzory:
Powyższe wzory można także wyprowadzić korzystając z wzorów na sinus i cosinus sumy.
Wzory redukcyjne są wykorzystywane do obliczania wartości funkcji kąta innego niż ostry.
Przykład:
Zadania:
Obliczyć:
a) ,
b) ,
c) .
Odpowiedzi:
a) ,
b)
c) .