根号a加根号b是绝对值a-b小于绝对值c-d的充要条件