ピタゴラスの定理
で与えられる。これはピタゴラスの定理と同値。