q:
圆:x²+(y-a)² = 1
圆心(0,a)
相切的条件圆心到直线的距离等于半径
1=|0+a| / √2
|a|=√2
当p成立时,q一定成立;反之,q成立时,p不一定成立,因为a也可能是-√2
p是q的充分而不必要的条件