IMO 1989 LL POL77

Origin: POL

Problem

Given that cos x + cos y + cos z cos(x + y + z) = sin x + sin y + sin z sin(x + y + z) = a, show that cos(y + z) + cos(z + x) + cos(x + y) = a.