当a,b是什么有理数时,等式-ab=|ab|一定成立?