ax+b=0
x=-b/a
∵解是负数
∴-b/a<0
∴b/a>0
即a、b同号
∴ab>0