Theorem T38 In a right-angled triangle with hypotenuse ccc and legs aaa and bbb (see figure) we have a2+b2=c2a^2 + b^2 = c^2 a2+b2=c2