generated at
law of cosines
List of trigonometric identities

wikipedia law of cosines