I was wondering whether we can prove that $\zeta$ has at least one zero on the critical line $\mathrm{Re}(s)=1/2$.
For instance, Hardy proved in 1914 that $\zeta$ has infinitely many zeros on the critical line. See also here for the critical strip. I'm asking a much easier question, which to prove that $\zeta$ has at least one zero on the critical line.
The point of my question is that I don't need a constructive answer. I know that we have many examples of zeros with $\mathrm{Re}(s)=1/2$, but we can only compute approximations of these zeros (see here), because the imaginary parts of these zeros are conjecturally transcendental numbers, and probably algebraically independent with usual constants as $\pi,e$, etc (so that there is probably no closed formula...). So my question is different from that one, because I'm talking about any "known" or any "specific" zero, or any kind of numerical computation/approximation.
My question is similar but more specific than this one, which is just asking about the existence of at least one non-trivial zero. I would like an argument from analytic number theory (without approximations nor numerical computations) which shows the existence of a zero of $\zeta$ with $\mathrm{Re}(s)=1/2$.
I hope that my question is clear enough. Thank you.