Proof: Let A=cos7π−cos72π+cos73π, and construct its complementary conjugate B=sin7π−sin72π+ sin73π
Then A2+B2=3−4cos7π+2cos72π,
A2−B2=−cos7π+3cos72π−5cos73π.
(1) + (2) gives 2A2=3−5A.
Solving for A yields A=21 or A=−3 (discard the latter).