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