これは必要十分条件。証明はピタゴラスの定理を使う。ここからピタゴラスの定理が簡単に導けるが、どう変形したら良いのだろうか？