Search arXiv⌕ Search

arXiv · 2610.40698

A Diophantine generalization of Fourier's irrationality trick

Abstract

We revisit Fourier's method for proving the irrationality of $e$ and generalize it into a unified Diophantine framework, which applies to a broad class of series with bounded or mildly growing integer numerators, and suitably growing, divisible denominators. Using integer linear forms, we establish a general criterion that recovers classical irrationality results while also generating new ones within a single structural approach.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Archan Chattopadhyay, Chandan Chattopadhyay. 2026-10-28. A Diophantine generalization of Fourier's irrationality trick. https://doi.org/10.1080/00255572.2026.2748847

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Wandering Must Continue: Pure Mathematicians as Rangers of the North

Pure mathematics is an honest barometer of a civilization's scientific capacity, maintaining an unwritten culture of rigor, structural perception, and intellectual honesty whose primary service is not merely proving theorems, but cultivating human judgment. In an era of automated theorem generation and formal verification, this essay argues that establishing a result and understanding both why it holds and why it matters remain distinct achievements, and outlines concrete institutional mechanisms to protect the exploratory core of the discipline.

math.HO↗

It is time for a New Deal for mathematics

The AI labs' vision is based on extraction (of data, wealth, and political power). Mathematicians must oppose it, moving past personal reflections and towards reforming mathematics' social contract.

math.HO↗

Balancing non-rectangular tables

Balancing square and rectangular tables by rotation has been an interesting way to illustrate the intermediate value theorem. This article studies the same question for tables whose feet form a cyclic quadrilateral, following a conjecture of A.~Martin. In the idealised model behind this conjecture, the balancing act works for every such table and is a nice application of the ergodic theorem. For the actual rigid table on a Lipschitz terrain, the situation is more subtle. If the terrain is flattened enough, the table can be stabilised unless an idealised wobbling function vanishes identically, \ie unless the terrain is degenerate for the table. Even if this should happen, the tables whose feet are vertices of a regular polygon and which satisfy a non-degeneracy condition of their own can still be stabilised on every terrain with a small enough Lipschitz constant (\eg a halved regular hexagon as long as the slope is less than $3.7$\textdegree{}). On the other hand, there is an isosceles trapezoid and another table, which are shown to wobble at every angle on suitable terrains however small the Lipschitz constant is. These counterexamples are fragile: for every table, if the idealised wobbling function vanishes identically for every position of the rotation axis in a small disc, then, near the feet, the terrain is a plane or a paraboloid of revolution with a vertical axis; so in practice a slight move of the axis makes the terrain non-degenerate. The results are, with minor exceptions, formalised in Lean.

math.HO↗