＝k·＋m＝，

　　设AC的中点为M，

　　则M，

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

　　所以直线OB的斜率为－.

　　因为k·≠－1，

　　所以AC与OB不垂直．

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

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

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

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

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

　　1．设函数f(x)＝ax2＋bx＋c(a≠0)中，a，b，c均为整数，且f(0)，f(1)均为奇数．求证：f(x)＝0无整数根．

　　证明：假设f(x)＝0有整数根n，则an2＋bn＋c＝0(n∈Z)，

　　而f(0)，f(1)均为奇数，即c为奇数，a＋b为偶数，

　　则an2＋bn＝－c为奇数，即n(an＋b)为奇数．

　　∴n，an＋b均为奇数，又∵a＋b为偶数，

　　∴an－a为奇数，即a(n－1)为奇数，

　　∴n－1为奇数，这与n为奇数矛盾．

　　∴f(x)＝0无整数根．

用反证法证明"至多""至少"型命题