为了比较两个实数的大小,常用的方法是判定这两个数的差的符号,我们称这种方法为“作差比较法”.要比较两个代数式的大小,同样可以采用类似的方法,因此,可以利用不等式比较大小.如果要证明

,只需要证明

;同样的,要证明

,只需要证明

.
例如:
小明对于命题:任意的实数
a和
b,总有

,当

并且只有

时,等号成立,给出了如下证明:
证明:∵

,
∴

,当

并且只有

时,等号成立.
(1)请仿照小明 的证明方法,证明如下命题:
若
a,
b,
x,

,且

,则

.
(2)若

,

,且

,
求

的最大值.