I'm too lazy to work out a good solution... We can assume that
and
(otherwise take the symmetrisation of it; the "mean-value" fact for the initial function will follow easily from the one for the symmetrised function). Denote
the harmonic conjugate of
(Of course,
. Integrate
along the contour consisting of diagonal
going from
to
, side
going from
to
and side
going from
to
. (Let
denote the mean value of a function
on a line
.) We obtain
, now add these and use that
(because
is analytic). I think I wrote too much for this problem. I should stop here.