Wyprowadzania wzorów na funkcje trygononometryczne sumy lub różnicy kątów