Формулировка основного тригонометрического тождества