HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Six Exponentials Theorem — Irrationality

Abstract : Let p, q, r be three multiplicatively independent positive rational numbers and u a positive real number such that the three numbers pu, qu, ru are rational. Then u is also rational. We prove this result by introducing a parameter L and a square L × L matrix, the entries of which are functions (ps1qs2rs3)(t0+t1u)x. The determinant Δ(x) of this matrix vanishes at a real point x ≠ 0 if and only if u is rational. From the hypotheses, it follows that Δ(1) is a rational number; one easily estimates a denominator of it. An upper bound for ∣Δ(1)∣ follows from the fact that the first L(L − 1)/2 Taylor coefficients of Δ(x) at the origin vanish.
Document type :
Journal articles
Complete list of metadata

Contributor : Equipe Hal Université Paris Cité Connect in order to contact the contributor
Submitted on : Tuesday, May 10, 2022 - 5:18:11 PM
Last modification on : Wednesday, May 11, 2022 - 3:48:15 AM



Michel Waldschmidt. Six Exponentials Theorem — Irrationality. Resonance, Indian Academy of Sciences, 2022, 27, pp.599-607. ⟨10.1007/s12045-022-1351-0⟩. ⟨hal-03664120⟩



Record views