设AC的中点为M，

　　则M，

　　因为M为AC和OB的交点，且m≠0，k≠0，

　　所以直线OB的斜率为－.

　　因为k·≠－1，

　　所以AC与OB不垂直．

　　所以OABC不是菱形，与假设矛盾．

　　所以四边形OABC不可能是菱形．

　　1．用反证法证明否定性命题的适用类型

　　结论中含有"不""不是""不可能""不存在"等词语的命题称为否定性命题，此类问题的正面比较模糊，而反面比较具体，适合使用反证法．

　　2．用反证法证明数学命题的步骤

　　[活学活用]

　　如果a，b，c是不全相等的实数，且a，b，c成等差数列，求证：，，不成等差数列．

　　证明：假设，，成等差数列，

　　则＝＋＝.

　　由a，b，c成等差数列，得2b＝a＋c.①

　　所以＝＝，

　　即b2＝ac.②

由①②，得a＝b＝c，这与a，b，c是不全相等的实数矛盾．故，，不成等差数列.