Law of cosines - Wikipedia