Pythagorean theorem
複素数の絶対値は、ピタゴラスの定理により、複素数平面における原点 とのユークリッド距離に等しい。そして次が成り立つ。