https://instazu.net/how-is-the-law-of-cosines-derived/