J'ai écrit une preuve expliquant où est passé le cosinus si quelqu'un est intéressé. J'ai publié sur mon github à l'adresse https://github.com/darrenstarr/JupyterNotebooks/blob/master/Dot%20Product%20(law%20of%20cosines)%20Proof.ipynb####[]