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 : Friday, August 5, 2022 - 11:59:58 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