式子|a|/a=-1成立的条件是