原题为:已知直线l:ax-y+根号2-a=0 (a为一切实数),圆o:x^2+y^2=4 (1)求证:直线l与圆o相交