Related papers: Thue's Fundamentaltheorem, II: Further Refinements…

The irrationality exponent $\mu(t)$ of an irrational number t, defined using the irrationality measure $1/q^\mu$, distinguishes among non-Liouville numbers and is infinite for Liouville numbers. Using the irrationality measure $1/\beta^q$,…

We study the polynomials $x^n + (1-x)^n + a^n, a \in\mathbb{Q}$, whose rational roots would yield counterexamples to Fermat's Last Theorem. We investigate their factorization over $\mathbb{Q}$. In the case $a \notin \{0, \pm 1\}$, we ask…

Using the section method we characterize the solutions $ f:U\rightarrow Y$ of the following four equations \begin{equation*} \sum\limits_{i=0}^{n}\left( -1\right) ^{n-i}\tbinom{n}{i}f\left( \sqrt[m]{ u^{m}+iv^{m}}\right) =\left( n!\right)…

In this paper we review a general proof for the irrationality property of numbers which take a certain form of infinite sums.

Many problems in computer algebra and numerical analysis can be reduced to counting or approximating the real roots of a polynomial within an interval. Existing verified root-counting procedures in major proof assistants are mainly based on…

We propose an approach to constructing iterative methods for finding polynomial roots simultaneously. One feature of this approach is using the fundamental theorem of symmetric polynomials. Within this framework, we reconstruct many of the…

The Ehrhart polynomial of the $d$-th hypersimplex $\Delta(d,n)$ of order $n$ is studied. By computational experiments and a known result for $d=2$, we conjecture that the real part of every roots of the Ehrhart polynomial of $\Delta(d,n)$…

Let $x$ be a periodic continued fraction with the initial block $0$ and the repeating block $c_1,\ldots,c_n$. So $x$ is a quadratic irrational of the form $x=a+\sqrt b$, where $a$, $b$ are rational numbers, $b>0$, $b$ not a square. The…

This is an expanded version of our earlier paper. Let the $n$th partial sum of the Taylor series $e = \sum_{r=0}^{\infty} 1/r!$ be $A_n/n!$, and let $p_k/q_k$ be the $k$th convergent of the simple continued fraction for $e$. Using a recent…

Let $b \ge 2$ be an integer and $\xi$ an irrational real number. We prove that, if the irrationality exponent of $\xi$ is equal to $2$ or slightly greater than $2$, then the $b$-ary expansion of $\xi$ cannot be `too simple', in a suitable…

We obtain a polynomial type upper bound for the size of the integral solutions of Thue equations $F(X,Y) = b$ defined over a totally real number field $K$, assuming that $F(X,1)$ has a root $\alpha$ such that $K(\alpha)$ is a CM-field.…

Given any polynomial with real coefficients, the existence of a real quadratic polynomial factor is proven using only basic real analysis. The aim is to provide an approachable proof to anybody who is familiar with the least upper bound…

Given a natural number $n \geq 2$, an integer $k$ and for a judiciously chosen $l = l(n)$ we give necessary and sufficient conditions for the polynomial $f_{n,k} = \big( \sum_{i=1}^{l} x_{i}^{n} \big) - k$ to have roots modulo every…

Theorem 1 is a formula expressing the mean number of real roots of a random multihomogeneous system of polynomial equations as a multiple of the mean absolute value of the determinant of a random matrix. Theorem 2 derives closed form…

We obtain two sequences of rational numbers which converge to the Euler-Gompertz constant. Denote by <f(x)> the integral of f(x)e^{-x} from 0 to infinity. Recall that the Euler-Gompertz constant \delta is <ln(x+1)>. Main idea. Let P_n(x) be…

Let $n>m>k$ be positive integers and let $a,b,c$ be nonzero rational numbers. We consider the reducibility of some special quadrinomials $x^n+ax^m+bx^k+c$ with $n=4$ and 5, which related to the study of rational points on certain elliptic…

Continued fractions are used to give an alternate proof of $e^{x/y}$ is irrational.

Let $K$ be a number field of degree $d\geq 3$ and fix $s$ multiplicatively independent algebraic integers $\gamma_1, \dots, \gamma_s \in K^*$ that fulfil some technical requirements, which can be vastly simplified to $\mathbb{Q}$-linearly…

Let $F(x,y)$ be an irreducible form of degree $r\geq 3$ and having $s+1$ non-zero coefficients. Let $h\geq 1$ be an integer and consider the Thue inequality $$|F(x,y)|\leq h.$$ Following the seminal work of Thue in 1909, several papers were…

Finding polynomial solutions to Pell's equation is of interest as such solutions sometimes allow the fundamental units to be determined in an infinite class of real quadratic fields. In this paper, for each triple of positive integers…