求证:|m|≤1是直线x+y+m=0与圆x2+y2=1/2有公共点的充要条件