从点(0,-1,1)作直线y+1=0,x+2z-7=0的垂线,求垂线的方程和长度(老师教的是法向量的方法)