.垂直于直线y=x+1且与圆x2+y2=1相切于第一象限的直线方程是( )