Escrevi uma prova explicando para onde o cosseno foi, caso alguém esteja interessado. Publiquei no meu github em https://github.com/darrenstarr/JupyterNotebooks/blob/master/Dot%20Product%20(law%20of%20cosines)%20Proof.ipynb####[]