按这上面说的，l1//l2，则A1B2-A2B1=0且B1C2-B2C1≠0（斜率存在、相同且截距不同）或A1C2-A2C1≠0（斜率不存在，必平行，保证x不同即可）。那该题为什么用了第一个证明证一半跑第二个上去了，而且根据题意，l1斜率必存在（y前系数不为0），若l2斜率不存在，则二者必有交点，也就没有讨论必要，因此只要用第一个证明就好了（个人观点，如有狭隘之处，劳烦不吝赐教。