在什么情况下式子|a+(-5)|=|a|+|-5|成立