Geometric Demonstration of the Law of Cosines, from Jason Merrill