A short proof of the functional equation of the Riemann zeta function (Q2568003)

A classical summation formula of Lindelöf states that \[ \sum_{k=1}^n f(k) = {\pi\over2}\int_{\mathbb R}{F(n+ {1\over2}+it) - F({1\over2}+it)\over \cosh^2\pi t}\,dt, \tag{1} \] where \(F'(z) = f(z)\) and \(F(z)\) satisfies some (reasonably mild) conditions. The author gives a proof of (1), notes that that it can be applied to \(f(z) = z^{-s}, F(z) = z^{1-s}/(1-s)\), and then with the aid of (1) derives quickly \[ \zeta(1-s) = 2(2\pi)^{-s}\cos \biggl({\pi s\over2}\biggr)\Gamma(s)\zeta(s)\tag{2} \] for all \(s\). The relation (2) is, of course, the classical functional equation for the Riemann zeta-function in unsymmetric form. A quick proof, indeed.