三平方の定理の発見