In a right-angled triangle, the square of the length of the side opposite to the right angle is equal to the sum of the squares of the lengths of the other two sides.
The triangle ABC is right-angled at A.
There is a demonstration of the theorem here
