垂直于直线y=x+1且与圆x2+y2=1相切于第一象限的直线方程是( )
·x+y-=0
·x+y+1=0
·x+y-1=0
·x+y+=0
出自:佳木斯大学语言治疗学