三平方の定理って英訳は何?