Я написал доказательство, объясняющее, куда делся косинус, если кому-то интересно. Я опубликовал его на своем github по адресу https://github.com/darrenstarr/JupyterNotebooks/blob/master/Dot%20Product%20(law%20of%20cosines)%20Proof.ipynb####[]