三平方の定理とピタゴラスの定理ってどっちが正式なの?