Для проверки правильности Ваших преобразований в последней формуле.

Пусть k(w-k)=-4 Подставьте это в последнюю формулу. Если получиться тождество, то преобразовали верно.