当a不等于0,b不等于0,ab等于ab的绝对值成立的条件是什么?