Доказываются шесть тригонометрических формул связи между тригонометрическими функциями одного аргумента