通过AB两点易得AB直线方程为x-1/-1=y/1=z/1.
设（x,y,z）为旋转面上一点,对应直线上的点（x0,y0,z0）,则
x^2+y^2=x0^2+y0^2
因为x0=1-z0,y0=z0,代入得
x^2+y^2=(1-z0)^2+z0^2=2z0^2-2z0+1=2z^2-2z+1
即x^2+y^2-2z^2+2z=1