Demonstration of the law of cosines