把直线与圆的方程联立，消去y得到一个关于x的一元二次方程，根据直线与圆有两个不同的交点得到此方程有两个不等的实根，即△＞0，列出关于m的不等式，求出不等式的解集得到m的范围，在四个选项中找出解集的一个真子集即为满足题意的充分不必要条件．
【解析】
联立直线与圆的方程得：
，
消去y得：2x2+（2m-2）x+m2-1=0，
由题意得：△=（2m-2）2-8（m2-1）=-4（m+1）2+16＞0，
变形得：（m+3）（m-1）＜0，
解得：-3＜m＜1，
∵0＜m＜1是-3＜m＜1的一个真子集，
∴直线与圆有两个不同交点的一个充分不必要条件是0＜m＜1．
故选C．
，则△ABC为钝角三角形”的逆否命题；
则成立为（ ）
，
则（ ）