已知直线ax+by+c=0与圆O:x的平方+y的平方=1