5.03 Law of cosines