圆C:x^2+(y-1)^2=1和直线l:y=-1,由圆C外一点P(a,b)向圆C引切线PQ,切点为Q,且满足PQ等于点