A theorem that states that in a right-angled triangle, the square of the hypotenuse is equal to the sum of the squares on the other two sides. It is named after the Greek mathematician and philosopher Pythagoras (c.570 bc–c.495 bc), who provided a mathematical proof.