(1)は不等式を2つに分けて証明すればよいでしょう．
(2)は(1)との関係を探ります．右辺の第2項が正の実数なら(1)の仮定を満たすことになり，x と y に関する不等式を得ることになります．

右辺の積と左辺の 2^a の約数を比較しましょう．
(1)は(2)を解くための適切な誘導になっています．
問題を解決するためにはまず特殊化したもの具体的のものを考えるという姿勢は大切です．