We are given a2 + b2 = c2 for ?ABC and right ?DEF constructed with legs a and b and hypotenuse n. Since ?DEF is a right triangle, we know that a2 + b2 = n2