Mostrar a veracidade de:

cos²a + cos²b + cos²c + 2cosa.cosb.cosc -1 = 0,
sendo a, b e c ângulos internos de um triângulo no plano.

Eu demonstrei utilizando um ângulo externo desse triângulo,

por exemplo:
cos(180 - c)= cos(a + b)