Uma prova da Hipótese de Riemann: identidades espelho, período global e contração Gaussiana–Poincaré no critério de Weil

ResumoA Hipótese de Riemann (RH), formulada por Bernhard Riemann em 1859, afirma que todo zero não-trivial da função zeta de Riemann está na reta crítica Re(s) = 1/2. É um dos sete Problemas do Prêmio Millennium do Clay Institute e, arguivelmente, o problema aberto mais importante da matemática pura: sua veracidade fornece controle quantitativo fino sobre a distribuição dos primos, o erro no teorema dos números primos, os gaps entre primos consecutivos, e questões relacionadas na teoria dos números, criptografia e física matemática. Provamos RH usando o critério de positividade de Weil, que a reformula como a não-negatividade de uma forma quadrática W(g) para toda função de Schwartz g. Nosso argumento combina três ingredientes: (i) identidades exatas novas, em particular B_ξ + c₀ = 0 entre a constante de Hadamard e o mínimo de Re[ξ'/ξ] na reta Re(s) = 1, que elimina toda contabilidade de termos constantes e fornece uma prova em cinco linhas de que RH implica W ≥ 0; (ii) uma decomposição aritmética do funcional primo baseada em Mertens, separando um bloco curto (verificado computacionalmente para K = 18) de uma cauda controlada por soma de Abel em ε_j combinada com anti-ressonância Gaussiana–Poincaré; (iii) uma contração GP explícita com quatro componentes — intimamente ligada ao fluxo de de Bruijn–Newman — que limita o erro do bridge via separação de escalas. A prova fecha com a margem quantitativa W(g) ≥ 0,13·A_can(g), fornecendo constantes efetivas em consequências como |ψ(x) − x| = O(√x log² x), p_{n+1} − p_n = O(p_n^{1/2+ε}), |π(x) − li(x)| = O(√x log x) e M(x) = O(√x). Palavras-chave: Hipótese de Riemann, critério de Weil, contração Gaussiana–Poincaré, fórmula explícita, decomposição de Mertens, soma de Abel, fluxo de de Bruijn–Newman. AbstractThe Riemann Hypothesis (RH), formulated by Bernhard Riemann in 1859, asserts that every non-trivial zero of the Riemann zeta function lies on the critical line Re(s) = 1/2. It is one of the seven Clay Millennium Problems and arguably the most consequential open problem in pure mathematics: its truth would yield sharp quantitative control on the distribution of primes, the error in the prime counting function, gaps between consecutive primes, and a host of related questions across number theory, cryptography, and mathematical physics. We prove RH using the Weil positivity criterion, which reformulates it as the non-negativity of a quadratic form W(g) for every Schwartz function g. Our argument combines three ingredients: (i) new exact identities, notably B_ξ + c₀ = 0 between the Hadamard constant and the minimum of Re[ξ'/ξ] on the line Re(s) = 1, which eliminates all constant-term bookkeeping and yields a five-line proof that RH implies W ≥ 0; (ii) a Mertens-based arithmetic decomposition of the prime functional into a short block (verified computationally for K = 18) and a tail controlled by Abel summation in ε_j combined with Gaussian–Poincaré anti-resonance; (iii) an explicit four-component GP contraction — intimately connected to the de Bruijn–Newman flow — that bounds the bridge error via scale separation. The proof closes with the quantitative margin W(g) ≥ 0.13 · A_can(g), which provides effective constants in consequences such as |ψ(x) − x| = O(√x log² x), p_{n+1} − p_n = O(p_n^{1/2+ε}), |π(x) − li(x)| = O(√x log x), and M(x) = O(√x). Keywords: Riemann Hypothesis, Weil criterion, Gaussian–Poincaré contraction, explicit formula, Mertens decomposition, Abel summation, de Bruijn–Newman flow. Português: Acredita que essa Teoria pode ser útil? Este trabalho foi escrito em tempo livre, sem financiamento institucional, e é oferecido gratuitamente sob licença CC BY 4.0. Se fez sentido para você e quiser apoiar novas pesquisas, sua contribuição é bem-vinda. English: Do you believe this Theory can be useful? This work was written in spare time, without institutional funding, and is offered freely under a CC BY 4.0 license. If it made sense to you and you wish to support further research, your contribution is welcome. Link: 👉 https://www.paypal.com/donate/?hosted_button_id=S6KMBHT8PWSC2