cos2A+cos2B-cos2C
=2*cos(A+B)*cos(A-B)-2cos^2C+1
=-2*cosC+cos(A-B)-2cos^2C+1
=-2*cosC[cos(A-B)+cosC]+1
=-2*cosC[cos(A-B)-cos(A+B)]+1
=\(=2\cdot cosC\cdot2\left[sin\left(\dfrac{A-B+A+B}{2}\right)\cdot sin\left(\dfrac{A-B-A-B}{2}\right)\right]+1\)
\(=-4\cdot cosC\cdot\left[sinA\cdot sinB\right]+1\)
=>\(1-4\cdot sinA\cdot sinB\cdot cosC\)(ĐPCM)