Assertion: right triangle's side | /r/CapableOf | join at right angle
Facets:
Source sentences:
text: He proved that, for a right triangle, the sum of the squares of the two sides that join at a right angle equals the square of the third side.
text: In any right triangle, the area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares whose sides are the two legs (the two sides that meet at a right angle).