应该还有其他条件,否则不一定成立.
比如 a=b < 1时,原式 = 根号 (2a²）= a *根号2,
明显 a < 1,根号2 < 2,原式 < 2