Identidad del coseno de la diferencia de ángulos

Se verifica que la identidad cos(a-b)= cos(a)cos(b)+sen(a)cos(b) Desplazar el punto C sobre la circunferencia trigonométrica y observar el valor constante de la variable dif que almacena cos(a-b)