>384
複素数a,bについて
a,bがともに実数⇔a+b、a-bがともに実数⇔(a+b)^2≧0かつ(a+b)^2≧0