已知z是虚数,证明z+1\z为实数的充要条件是|z|=1