设z1是虚数,z2=z1+1/z1是实数,且-1≤z2≤1.若W=(1-Z1)/(1+Z1),求证W是纯虚数