Use area of triangles to prove cosine formula