Sa se arate ca dacă x+y=z atunci:

cos^2 x + cos^2 y + cos^2 z - 2cos x cos y cos z = 1​