https://en.wikipedia.org/wiki/Law_of_cosines
[1] https://www.cs.utexas.edu/~EWD/transcriptions/EWD09xx/EWD975...