Difference between revisions of "Law of cosines"