已知圆O:x2+y2=1,由直线l:x+y+k=0上一点P作圆O的两条切线,切点为A,B,若在直线l上至少存在一点P,使