Triangle geometry/Law of cosines/Fact/Proof/Exercise

< Triangle geometry < Law of cosines < Fact < Proof

Let a triangle be given, with side lengths . Let denote the angle at . Show that

holds.