First, a probably unsatisfactory answer to your first question.  I believe that Hanner proved his inequalities because he was investigating the modulus of convexity of $L^p$.  So possibly he formed a guess on whatever basis, saw that guess would be correct if what have come to be known as Hanner's inequalities were true, then found that he could prove the inequalities.  (I haven't actually looked at Hanner's paper so I might be wrong about the history, and in any case this is the kind of thought process that is seldom recorded in papers.)

A better answer is that Hanner's inequalities generalize the parallelogram identity in a very natural way.

As for your second question, I don't know that this really fits what you're asking for either, but [this paper][1] contains the most natural-looking proof of Hanner's inequalities that I've seen.

**Added:** On further reflection, the best answer to the first question combines my first two paragraphs above.  The parallelogram identity very precisely expresses the uniform convexity of $L^2$.  So in investigating the modulus of convexity of $L^p$, it is natural to look for some inequality that generalizes the parallelogram identity to $L^p$.

  [1]: http://www.jstor.org/stable/2695768