已知圆C:x的平方+(y-1)的平方=1和直线l:y=-1由圆C外一点P(a,b)向圆C引一条切线PQ,切点为Q,并且满