三平方の定理　導入