Pythagorean theorem
ピタゴラスの定理より以下の2式が得られる。