0でない複素数α，βに対して，
α/βが正の実数⇔|α+β|=|α|+|β|
を示せ。