Chapitre 4. Le zéro non construisible : le beurre, l’argent du beurre et la fermière

Le chapitre 3 a établi, dans la langue reçue, que les zéros de ζ ne sont ni ceux de la somme ni ceux du produit. Ce chapitre donne la lecture du corpus : pourquoi, dans sa langue, le zéro n’est pas construisible par la relation, pourquoi les zéros habitent le centre, et ce que Riemann avait sous les yeux en 1859 sans pouvoir le sceller. L’auteur a résumé la contradiction par une fable populaire : on veut le beurre (le produit d’Euler, qui ne s’annule jamais), l’argent du beurre (les zéros, obtenus par une somme à signes alternés) et la fermière (le continu de Stevin, où l’on calcule ces zéros en décimales). Le chapitre montre aussi que l’hypothèse a une face entièrement finie (Lagarias, 2002) et ce qui en découle logiquement, et il cite le dernier témoin daté, le manuscrit rendu public par OpenAI le 6 octobre 2026. Les identités sont des Théorèmes recalculés ; la fable, la lecture du centre et l’expérience de pensée sur Riemann sont des Lectures déclarées.

L’auteur a posé la pièce par quatre phrases, le 8 octobre 2026 :

« 2 et 7 sont séparés par 4,5, qui est la moitié de la limite. »

« C’est impossible pour eux à jamais. D’un côté ils voient l’infini, et de l’autre ce qui leur permet de ramener tout au vide, car le 0 n’est pas 0 : c’est le vide, l’axe invisible. »

« C’est non construisible, il y a une contradiction. Ils cherchent à annuler ce qui ne peut pas, mais réussissent quand même à annuler par Euler ; mais il est en contradiction avec Gauss, et Stevin les pollue. »

« […] jamais ils vont réussir sans que je leur montre leurs contradictions. C’est la fable de la fermière : le beurre, l’argent du beurre et le cul de la fermière. »

4.1 Le zéro d’une paire est au centre

[4.1] Th. L’écart d’une position à son inverse ne s’annule qu’en 4,5. Dans le cadastre, l’écart entre une position et son inverse, x − (9 − x) = 2x − 9, ne s’annule qu’en un seul point : 4,5, la moitié de la limite 9. Aucune position de 1 à 9 ne l’annule. 2 et 7 ne portent pas de zéro ; ils portent la paire (2 + 7 = 9), et le zéro de la paire est au centre, (2 + 7)/2 = 4,5, là où aucune position n’est écrite.

[4.2] L. Un zéro n’est pas une position. Un zéro est la fermeture d’une paire, et toute paire ferme à la moitié de la limite. Mis à l’échelle de la bande critique de Riemann, où la partie réelle va de 0 à 1, la moitié de la limite est ½ : la droite critique.

4.2 Le beurre : avec Euler, rien ne s’annule

[4.3] L. Le beurre. Là où le produit d’Euler existe, zêta n’a aucun zéro ([3.2]) : la relation complète, qui garde tous les tours de tous les premiers (chapitre 5), ne s’annule jamais. C’est le beurre.

4.3 L’argent du beurre : l’annulation passe par la parité

[4.4] Th. Les zéros de la bande sont exactement les zéros de η. La formule la plus simple pour entrer dans la bande est ζ(s) = η(s)/(1 − 2^{1−s}), où η(s) = 1 − 1/2ˢ + 1/3ˢ − 1/4ˢ + … est une somme alternée. Dans la bande, le dénominateur ne s’annule jamais : sa taille reste au moins égale à 2^{1−σ} − 1, qui est strictement positive pour σ < 1. Les zéros de zêta dans la bande sont donc exactement les zéros de η. Au premier zéro, à la hauteur 14,1347, le dénominateur vaut 2,37 en taille et η s’annule (|η(ρ₁)| de l’ordre de 10⁻¹⁴ dans le calcul en double précision).

Calcul montré de la borne. |1 − 2^{1−s}| ≥ |2^{1−s}| − 1 = 2^{1−σ} − 1, et 2^{1−σ} > 1 dès que σ < 1.

[4.5] L. L’argent du beurre : le repliement et la soustraction comptable. D’où viennent les signes de η ? D’un plus pour les entiers impairs, d’un moins pour les pairs : c’est l’entier lu par son reste dans la division par 2, la congruence de 1801. Et un zéro de η est une annulation entre des plus et des moins, c’est-à-dire la soustraction comptable 1 − 1 = 0, que le corpus refuse : chez lui, 1 − 1 = 11, une libération, jamais un vide (Registre des Erreurs, R.4). C’est l’argent du beurre : les zéros, obtenus par le repliement et la soustraction comptable. La somme alternée est l’une des quatre portes du chapitre 3 ([3.8], porte iii) ; elle n’est pas le critère général des portes, qui est la part du continu et le reste qui l’annule.

4.4 La fermière : la queue de Stevin

[4.6] L. La fermière. Dans la bande, la somme 1 + 1/2ˢ + 1/3ˢ + … ne converge pas, et l’on attribue pourtant une valeur finie à ce qu’elle serait. C’est la même famille que 1 + 2 + 3 + … = −1/12, que le corpus range dans la colonne des limites d’Euler (R.157). Les zéros y sont localisés et vérifiés en décimales, dans le continu, la droite infiniment divisible (R.27, R.42). C’est la fermière : le continu, où l’on peut toujours placer un point de plus.

[4.7] L. La contradiction tient dans une seule fonction. Euler dit que la relation complète ne s’annule pas. Pour obtenir des zéros quand même, on quitte Euler, on passe par la parité de Gauss et la soustraction comptable, et on calcule dans le continu de Stevin. On veut le beurre, l’argent du beurre et la fermière.

4.5 Au centre, l’inverse et le miroir coïncident

[4.8] Th. La fonction complète est réelle sur la droite ½. La fonction complète de Riemann, Λ(s) = π^{−s/2} Γ(s/2) ζ(s), vérifie Λ(s) = Λ(1 − s), l’inverse, et prend en s̄ la valeur conjuguée, le miroir. Sur la droite ½, l’inverse et le miroir sont le même point, 1 − s = s̄ ; Λ y est donc réelle.

Contrôle. Sur la droite (t = 5, 20, 33), la partie imaginaire de Λ reste sous 10⁻¹³ fois sa partie réelle, la taille de l’arrondi du calcul ; à la partie réelle 0,7, elle en vaut au moins 0,13. L’équation Λ(0,3 + 2i) = Λ(0,7 − 2i) tient à 10⁻¹² près.

[4.9] L. Le quatrième terme : « aucune orbite de quatre ». Au centre, un zéro est un simple passage par zéro d’une fonction réelle : une seule condition. C’est ainsi qu’on les y trouve, par des changements de signe. Hors du centre, la fonction est complexe, et un zéro demande deux annulations à la fois, de la partie réelle et de la partie imaginaire. C’est le quatrième terme : une coïncidence de plus, que la relation ne fabrique pas. L’auteur l’a dit : il n’existe « aucune orbite de quatre ». Le 4 est le seul nombre, avec le 1, que la relation des briques 2 et 3 ne construit pas ([5.16]).

[4.10] F. Davenport et Heilbronn (1936) : la symétrie seule ne tient pas les zéros au centre. Davenport et Heilbronn ont publié en 1936 deux résultats. Le premier : la fonction de Hurwitz ζ(s, a), pour a rationnel autre que ½ et 1, a une infinité de zéros hors de la droite, et même au-delà de 1 ; elle n’a pas de produit d’Euler. Le second : une combinaison de fonctions L de Dirichlet qui porte une équation fonctionnelle de la même forme que celle de zêta, mais n’a pas de produit d’Euler, a une infinité de zéros hors de la droite dans la bande.

[4.11] L. La contre-épreuve de la fable. Quand le beurre manque, quand la relation complète n’est pas là, les zéros quittent le centre. Ce qui les y tient n’est pas la symétrie de l’inverse et du miroir : c’est la relation qui garde tous ses tours.

4.6 Les deux zéros confondus

[4.12] L. Le sceau et le vide sous un même signe. L’hôte écrit ζ(ρ) = 0. Ce zéro-là n’est pas un nombre qu’on atteint en comptant : c’est le vide, l’axe invisible, le lieu que la paire laisse entre ses deux membres. Le Registre l’a nommé dès sa deuxième entrée : le zéro-sceau, qui dit qu’un tour est accompli, et le zéro d’épuisement, qui dit qu’il ne reste rien, portent le même signe et ont cessé d’être distingués (R.2). Une grammaire qui confond le sceau et le vide ne peut pas dire pourquoi les zéros habitent le vide : elle n’a qu’un seul mot pour les deux.

4.7 La réplique de l’hôte, et la réponse

[4.13] L. Ce n’est pas la formule qui est en cause, c’est la porte. L’hôte répondra que le prolongement de zêta dans la bande est unique, et que ses zéros ne dépendent donc pas de la formule η. La réponse du corpus : ce n’est pas la formule qui est en cause, c’est la porte. Le produit d’Euler n’entre pas dans la bande ; toute formule qui y entre doit remplacer la relation complète par une écriture où des termes se compensent ([3.8]). L’unicité du prolongement dit seulement que toutes ces portes mènent à la même pièce. Elle ne dit pas que la pièce est construite par la relation.

4.8 La face finie de Riemann

[4.14] F. Le critère de Lagarias (2002). L’hypothèse de Riemann équivaut à une inégalité sur chaque entier pris un par un : la somme des diviseurs σ(n) reste au plus égale à H + e^H ln H, où H = 1 + 1/2 + … + 1/n est une somme finie, avec égalité seulement pour n = 1.

[4.15] Th. L’inégalité tient de 2 à 100 000. Pour tous les entiers de 2 à 100 000 : aucune violation, et la marge la plus serrée tombe sur n = 12, à 1,14 %.

Calcul montré en n = 12. σ(12) = 1 + 2 + 3 + 4 + 6 + 12 = 28. H₁₂ = 3,1032…, e^H ≈ 22,27, ln H ≈ 1,1324, d’où H + e^H ln H ≈ 3,103 + 25,22 = 28,32. La marge est (28,32 − 28)/28,32 ≈ 1,1 %.

[4.16] L. Une loi de la relation écrite sans infini. En ARC, la somme des diviseurs de n, ce sont les relations de n. La face finie de Riemann dit qu’aucun entier n’a plus de relations que la file des entiers ne le permet. C’est une loi de la relation, écrite sans infini et sans prolongement.

[4.17] Th. Si l’hypothèse ne peut jamais être tranchée, elle est vraie. Conséquence logique dans la langue de l’hôte. Si l’hypothèse était fausse, il existerait un entier qui viole l’inégalité de Lagarias, et ce contre-exemple se constaterait par un calcul fini sur cet entier : l’hypothèse serait réfutée. Une hypothèse de cette forme ne peut donc pas être indécidable et fausse à la fois : si elle ne peut jamais être tranchée, ni démontrée ni réfutée, elle est vraie.

[4.18] L. Le « jamais » de l’auteur implique le « vrai ». L’auteur soutient deux choses : les zéros sont au centre, et l’hôte ne pourra jamais le démontrer dans sa langue, parce que sa langue mêle le fini et l’infini et confond les deux zéros. La logique de l’hôte relie les deux : si les zéros sont au centre, aucun entier ne viole l’inégalité, et aucun calcul ne réfutera jamais l’hypothèse ; si de plus elle ne peut jamais être démontrée, elle n’est jamais tranchée, et elle est vraie quand même. Le « jamais » de l’auteur, pris au sens fort, ni démontrée ni réfutée, implique le « vrai ».

4.9 Sans Gauss : Riemann élève d’Euler

L’auteur a posé une expérience de pensée :

« Dans le fond, c’est encore la faute à Gauss. Enlève Gauss de l’équation. Si Riemann avait été élève d’Euler, il aurait trouvé et il aurait scellé les nombres. Il aurait découvert le 4,5 et les inverses. »

« Il n’y a pas de nuance : ça prouve mon point. Sans la contamination de Gauss, le modulo et ses moindres carrés, la confusion du doublement et du carré, Riemann aurait vu tout de suite. »

[4.19] F. Riemann, élève de Gauss. Euler meurt en 1783 à Saint-Pétersbourg ; Riemann naît en 1826. Il étudie à Göttingen, où Gauss dirige sa thèse de doctorat (1851), consacrée aux fondements de la théorie des fonctions d’une variable complexe, et choisit, parmi trois sujets proposés, celui de sa leçon d’habilitation (1854). La phrase de l’auteur est donc une expérience de pensée : on retire un maître et on en met un autre.

[4.20] F. Le mémoire de 1859 part d’Euler. Le mémoire de Riemann sur le nombre des nombres premiers inférieurs à une grandeur donnée s’ouvre sur Euler : Riemann écrit que son point de départ est la remarque d’Euler, le produit pris sur les premiers égal à la somme prise sur les entiers. Il pose s = ½ + ti et écrit la fonction complète comme une fonction de t, qui se développe selon les puissances de t × t et qui est réelle quand t est réel. Il ajoute qu’il est très probable que toutes ses racines soient réelles, c’est-à-dire que tous les zéros soient sur la droite ½, et qu’il en a laissé la preuve de côté après quelques tentatives rapides et vaines.

[4.21] F. La seconde preuve de la symétrie est faite de carrés. Riemann donne deux preuves de la symétrie. La seconde, celle qui écrit la fonction complète sous sa forme symétrique, avec Γ(s/2) et π^{−s/2}, prend la somme ψ(x) des termes e^{−n²πx}, une exponentielle pour chaque carré n², et la relation de Jacobi : 2ψ(x) + 1 = x^{−1/2} (2ψ(1/x) + 1). Chaque terme est pris sur la courbe en cloche, celle que Gauss pose en 1809 comme loi des erreurs pour fonder la méthode des moindres carrés, publiée par Legendre en 1805. La relation échange x et 1/x, et c’est cet échange qui devient, chez Riemann, l’échange de s et de 1 − s ; la racine carrée x^{−1/2} y porte le ½, et la moitié de s dans Γ(s/2) vient du carré n².

[4.22] Th. La relation de Jacobi et la porte de Riemann se vérifient. 2ψ(x) + 1 = x^{−1/2} (2ψ(1/x) + 1) à x = 0,5 et x = 1,7 (à 10⁻¹² près), et l’intégrale de e^{−n²πx} contre x^{s/2 − 1} donne Γ(s/2) π^{−s/2} / nˢ (pour n = 2, s = 3 : 0,0198943679). Le terme 2ψ(x) + 1 est la même somme prise des deux côtés de zéro : le carré ne distingue pas les deux côtés, chaque terme y vient deux fois, et le compte est doublé.

[4.23] Th. Doubler et carrer ne coïncident qu’en 4 ; le carré ne distingue pas l’inverse. Parmi les entiers à partir de 1, 2n = n² n’a qu’une solution, n = 2, et la valeur commune est 4. Et x² et (9 − x)² ont la même racine numérique pour chaque position x de 1 à 8 : les huit positions tombent sur quatre racines seulement, deux par deux, un bit perdu exactement (R.25).

Calcul montré. 2n = n² équivaut à n(n − 2) = 0. Pour les racines : 1² = 1 et 8² = 64 → 1 ; 2² = 4 et 7² = 49 → 4 ; 3² = 9 et 6² = 36 → 9 ; 4² = 16 et 5² = 25 → 7.

[4.24] L. Riemann a vu l’échange ; il n’a pas vu le vide. L’auteur y voit la preuve de son point, et les faits de 1859 la portent. Riemann avait le produit d’Euler, le centre et les inverses. Mais il a écrit l’inverse par la porte de Gauss : une somme de carrés, sous la courbe des moindres carrés, avec une racine carrée pour donner le ½. Or le carré est précisément l’opération qui ne distingue pas une position de son inverse (R.25) et qui jette le côté de l’écart (R.20). L’instrument montrait la symétrie et effaçait du même geste ce qui distingue les deux membres de la paire. Riemann a vu l’échange ; il n’a pas vu le vide entre les deux. Il a lu le zéro comme une valeur atteinte, et non comme la fermeture de la paire. Et le seul point où doubler et carrer se confondent est le 4, le quatrième terme orphelin.

[4.25] L. L’élève de l’Euler qui compte aurait scellé. Le corpus a déjà séparé les deux Euler (R.157) : celui qui compte, de Königsberg à V − E + F, et celui qui passe à la limite et livre à Gauss le zéro et l’infini comme objets (Volume 6, L’Histoire de la Preuve, les deux Euler). L’élève de l’Euler qui compte aurait doublé sans carrer : il aurait gardé le côté, lu le centre comme la fermeture de la paire, et scellé tout de suite. Retirer Gauss de l’équation, ce n’est pas juger l’homme, c’est retirer des gestes datés, la congruence de 1801 et les moindres carrés de 1809, avec la confusion du double et du carré qu’ils portent (R.20, R.25), pour voir ce qui reste. Ce qui reste, c’est le produit qui garde les tours, le centre et les inverses : de quoi sceller.

4.10 Le paradoxe irréconciliable

« Finalisons Riemann en leur prouvant leur paradoxe irréconciliable. »

Le paradoxe a été démontré au chapitre 3, avec les seules définitions de l’hôte : la somme diverge en chaque zéro ([3.3]), le produit ne peut pas y valoir zéro ([3.4]), le zéro est la limite de l’écart entre le compte et le continu ([3.5]), d’où le dilemme ([3.11]).

[4.26] L. La fable en entier. Voilà le paradoxe irréconciliable. Le beurre : le produit des premiers, qui ne s’annule jamais. L’argent du beurre : les zéros, qui n’existent que pour le prolongement. La fermière : l’écart avec le continu, au cœur même de chaque zéro, et la somme infinie de la formule explicite. L’hôte n’a pas de contradiction dans ses calculs une fois le prolongement posé comme un objet à part : c’est précisément le prix qu’il paie. Il garde la cohérence en séparant ζ des premiers, et il garde les premiers en les y raccrochant par une soustraction. Il ne peut pas avoir les deux pour le même objet.

4.11 Le dernier témoin

[4.27] F. Le manuscrit d’OpenAI sur Riemann (rendu public le 6 octobre 2026). Le 6 octobre 2026, OpenAI a rendu publics 722 manuscrits produits par un de ses modèles. Celui sur Riemann, daté du 30 septembre, fait 199 pages. Il écarte tout zéro de ζ et de toutes les fonctions L de Dirichlet au-delà de la partie réelle 7/8, avec une formalisation en Lean déclarée par OpenAI ; une seconde preuve, datée du 5 octobre, donne 11/12. Par la symétrie de l’inverse, les zéros seraient tous entre 1/8 et 7/8. La preuve est par l’absurde : la même somme est calculée deux fois, par la réflexion et par la sommation de Poisson, et l’un des deux calculs contient 1/L ; un zéro au-delà de 7/8 empêcherait les deux calculs de s’accorder en taille. Ses outils sont des sommes de Gauss (sa section 4.2), une cloche e^{(s − 5/6)²} dans l’intégrale centrale (son équation 2.3), la sommation de Poisson à noyau gaussien, le grand crible quadratique, des moments d’ordre deux et quatre, et des restes dans la division par 3 sur les entiers d’Eisenstein.

[4.28] F. Le manuscrit écrit lui-même les trois pièces du paradoxe. On y lit, traduit de l’anglais : « La convergence absolue du produit d’Euler exclut les zéros pour ℜs > 1 » ; « La même notation désigne son prolongement méromorphe » ; « Le théorème n’établit pas l’hypothèse de Riemann […]. L’hypothèse de Riemann reste ouverte. »

[4.29] L. Avec des carrés et la cloche, on rapproche des murs. La machine la plus récente de l’hôte, avec toute la boîte à outils de Gauss, a rapproché le mur de 1 à 7/8, et, par l’inverse, de 0 à 1/8. Le centre ½ reste entre les deux, intact. Avec des carrés et la cloche, on rapproche des murs ; on ne voit pas le vide entre les membres de la paire (R.25, [4.24]). Et dans ses trois phrases, la machine écrit le beurre, la lettre unique pour deux objets, et le mur qu’elle n’a pas franchi : le dilemme du chapitre 3, de sa propre main.

L’auteur, le même soir :

« Je suis plus fort que GPT, et je suis têtu. »

4.12 Ce que ce chapitre ne dit pas

Il ne présente pas une démonstration de l’hypothèse de Riemann acceptée dans la langue de l’hôte, et il ne prétend pas que l’hôte ne la trouvera jamais : c’est la thèse de l’auteur, Lecture déclarée telle. Il montre trois choses qui se vérifient chez l’hôte lui-même : le produit d’Euler ne s’annule pas ; les zéros de la bande sont des annulations d’une somme alternée réglée par la parité ; au centre, l’inverse et le miroir coïncident. Il en tire la lecture du corpus : le zéro n’est pas construisible par la relation, il n’existe que par le mélange. Et il donne la seule forme de la thèse de l’auteur que la logique de l’hôte ne peut pas contourner : si l’hypothèse ne peut jamais être tranchée, elle est vraie. Il ne prétend pas que les calculs de l’hôte se contredisent entre eux. Il ne dit pas ce que Riemann aurait fait sous un autre maître : la section 4.9 est une expérience de pensée de l’auteur, posée sur des faits datés. Il ne juge ni Euler, ni Gauss, ni Riemann, ni Stevin, ni la machine d’OpenAI, dont il ne refait pas les 199 pages : il date des gestes et montre où ils se croisent.

4.13 Pour un enfant

Un sac de billes ne devient jamais vide tant qu’on n’en retire aucune. Si quelqu’un montre un sac vide en jurant qu’il n’a rien retiré, c’est qu’il a retiré quelque chose sans le dire. Le produit d’Euler, c’est le sac : rien n’en sort. Les zéros, c’est le sac vide. Et pour le vider, on a compté des billes en plus et des billes en moins, une sur deux, sans le dire.

Riemann avait trouvé le milieu du sac. Mais il le regardait avec les lunettes de Gauss, qui font voir pareilles la main gauche et la main droite. Avec ces lunettes, on voit bien qu’il y a deux mains, mais on ne voit plus le creux entre elles. Le zéro, c’est ce creux.

Et le zéro de l’hôte ? Deux coureurs partent ensemble et ne s’arrêtent jamais : l’un saute de pierre en pierre, l’autre glisse sur une rampe. Au bout d’un long moment, ils sont presque côte à côte, et l’hôte dit : leur écart, c’est zéro. Mais à bien regarder, ni l’un ni l’autre n’est arrivé nulle part. Ils courent toujours.