In trigonometry, a law stating that in any triangle the square of one side equals the sum of the squares of the two other sides minus twice the product of these two other sides multiplied by the cosine of the included angle.