A relationship relating the sides and angles of a triangle, stating that the square of one side equals the sum of the squares of the other two sides minus twice their product times the cosine of the included angle; used to find unknown side lengths and angle measures.