Cos(пи/4+альфа)-cos(пи/4-альфа) упростите выражение пожалуйста,это не тождество !!!...

Решите задачу:

$cos(\pi/4)cos(\alpha)-sin(\pi/4)sin(\alpha) - (cos(\pi/4)cos(\alpha)+sin(\pi/4)sin(\alpha))$

$cos(\pi/4)cos(\alpha)-sin(\pi/4)sin(\alpha) - cos(\pi/4)cos(\alpha)-sin(\pi/4)sin(\alpha)$

$-sin(\pi/4)sin(\alpha) - sin(\pi/4)sin(\alpha) = -2 \cdot sin(\pi/4)sin(\alpha)$