已知z=a+bi是虚数,且z+1/z是实数,求证:a^2+b^2=1