>>245
λ_1が実数でなければλ_1の複素共役も固有値になることを示す。
すると　|λ_1|＞|λ_2|≧|λ_3|≧・・・≧|λ_m| から矛盾が生じることを使う。