小明同学说自己发现了判断一类方程有无实数根的一种简易方法：若一元二次方程a 的系数a、c异号（即两数为一正一负），那么这个方程一定有两个不相等的实数根．他的发现符合题意吗？请你先举实例验证一下是否符合题意，若你认为他的发现是一般规律，请加以证明．