MathDB
1-\cos^2x-\cos^2y- y-\cos^2z +2 \cos x \cos y \cos z = ...

Source: Polish MO Second Round 1961 p3

August 31, 2024
trigonometry

Problem Statement

Prove that for any angles x,y,zx,y,z holds the equality 1cos2xcos2yycos2z+2cosxcosycosz=4sinx+y+z2sinx+yz2sinxy+z2sinxy+z2.1-\cos^2x-\cos^2y- y-\cos^2z +2 \cos x \cos y \cos z= 4 \sin \frac{x+y+z}{2} \sin \frac{x+y-z}{2} \sin \frac{x-y+z}{2} \sin\frac{-x-y+z}{2}.