Uma prova da Hipótese de Riemann via independência dos primos e decaimento gaussiano

PT Título: Uma prova da Hipótese de Riemann via independência dos primos e decaimento gaussiano Resumo: Provamos a Hipótese de Riemann (RH) utilizando o critério de positividade de Weil, organizado em torno de três observações sobre o produto de Euler ζ(s) = ∏_p(1−p^{−s})^{−1}. Primeira: a contribuição de cada primo ao funcional de Weil W(g) = Σ_ρ|ĝ(γ_ρ)|² é independente das demais, permitindo uma decomposição natural por primo via a fórmula explícita e a somação de Abel aplicada aos restos ponderados de Mertens ε_k. Segunda: na classe de Gauss–Pólya (g_τ = g·e^{−τy²/2}, τ > 0), a contribuição de cada primo decai como e^{−τ(log p)²/4}, suprimindo exponencialmente os primos grandes e reduzindo o problema aos primeiros 18 blocos (p ≤ 61). Terceira: os termos de amplificação (cosh) dominam os de atenuação (sinh) bloco a bloco — a identidade cosh u − sinh u = e^{−u} > 0 fornece o mecanismo, e a verificação numérica rigorosa (validated numerics) com K = 18 confirma H₁₈(u) ≤ −0,069 < 0 no intervalo espectral. A identidade B_ξ + c₀ = 0 conecta o coeficiente de Hadamard ao piso positivo c₀ = 1 + γ/2 − log(4π)/2 = 0,023 > 0, que emerge da discretude dos inteiros. A contribuição arquimediana (dos factores Γ) fornece o termo positivo dominante β_min ≥ 1,62, e a prova fecha com o orçamento quantitativo W(g) ≥ (β_min − c_tail − η)·A_can = (1,62 − 0,03 − 1,46)·A_can = 0,13·A_can > 0. A robustez da margem deve-se à anti-correlação das frequências primais: os quocientes log p/log q são irracionais (pela unicidade da fatoração prima), impedindo ressonância destrutiva. A positividade na classe GP estende-se a todo H₀ por densidade, e RH segue do critério de Weil. Como consequências, obtemos constantes efetivas para |ψ(x) − x| = O(√x·log²x) e |M(x)| = O(√x). MSC 2020: 11M26 (primária), 11M06, 11N05 Palavras-chave: Hipótese de Riemann, critério de Weil, produto de Euler, decaimento gaussiano, contração de Gauss–Pólya. EN Title: A proof of the Riemann Hypothesis via prime independence and Gaussian decay Abstract: We prove the Riemann Hypothesis (RH) using the Weil positivity criterion, organized around three observations about the Euler product ζ(s) = ∏_p(1−p^{−s})^{−1}. First: each prime's contribution to the Weil functional W(g) = Σ_ρ|ĝ(γ_ρ)|² is independent of the others, yielding a natural prime-by-prime decomposition via the explicit formula and Abel summation applied to the weighted Mertens remainders ε_k. Second: in the Gauss–Pólya class (g_τ = g·e^{−τy²/2}, τ > 0), each prime's contribution decays as e^{−τ(log p)²/4}, exponentially suppressing large primes and reducing the problem to the first 18 blocks (p ≤ 61). Third: the amplification (cosh) terms dominate the attenuation (sinh) terms block by block — the identity cosh u − sinh u = e^{−u} > 0 provides the mechanism, and rigorous numerical verification (validated numerics) with K = 18 confirms H₁₈(u) ≤ −0.069 < 0 on the spectral interval. The identity B_ξ + c₀ = 0 connects the Hadamard coefficient to the positive floor c₀ = 1 + γ/2 − log(4π)/2 = 0.023 > 0, arising from the discreteness of the integers. The Archimedean contribution (from the Γ-factors) provides the dominant positive term β_min ≥ 1.62, and the proof closes with the quantitative budget W(g) ≥ (β_min − c_tail − η)·A_can = (1.62 − 0.03 − 1.46)·A_can = 0.13·A_can > 0. The margin's robustness stems from the anti-correlation of prime frequencies: the ratios log p/log q are irrational (by the uniqueness of prime factorization), preventing destructive resonance. Positivity in the GP class extends to all of H₀ by density, and RH follows from the Weil criterion. As consequences, we obtain effective constants for |ψ(x) − x| = O(√x·log²x) and |M(x)| = O(√x). MSC 2020: 11M26 (primary), 11M06, 11N05 Keywords: Riemann Hypothesis, Weil criterion, Euler product, Gaussian decay, Gauss–Pólya contraction.