On Irrational Points in the Plane

ABSTRACT

This paper summarizes research intended to develop a pedagogically friendly argument that establishes the fact that (x,e^{x} ) is never a rational point in the
plane. A point (x, y)∈R^{2} is rational if both x and y are rational. Applying a
method based on Hurwitz polynomials, the research establishes simple irrationality
proofs for nonzero rational powers of e and logarithms of positive
rationals (excluding one).

This paper summarizes research intended to develop a pedagogically friendly argument that establishes the fact that (x,e

1. Introduction

A certain class of polynomials with integer coefficients displays divisibility properties which can be used to establish irrationality. The purpose of the present research is to exploit this property by evaluating such polynomials at zero and at the base of natural logarithms e, which, for the sake of contradiction, is assumed to be rational. Subsequent algebraic manipulations lead to a divisibility argument which forces a contradiction by producing an “integer” strictly between zero and one. This is a well-worn path in demonstrating irrationality, but the specifics for developing such contradictions are highly dependent on the number under consideration. Historically, irrationality proofs for the powers of e were developed for specific integer exponents. Euler [1] proved that both e and e^{2} were irrational in 1737, Liouville showed that e^{4} was irrational in 1840, and Hurwitz [2] proved that e^{3} was likewise irrational in 1891, however this was preceded by a comprehensive answer to all questions of this type when the transcendence of e

was established by Hermite [1] [3] in 1873. Observe that if ${e}^{\frac{m}{n}}\in \mathbb{Q}$ , then ${\left({e}^{\frac{m}{n}}\right)}^{n}={e}^{m}\in \mathbb{Q}$ , hence e solves ${x}^{m}-{e}^{m}=0$ , contradicting transcendence. The

method below establishes the same result, namely the irrationality of all non-zero powers of e, more simply by avoiding the necessity of showing the transcendence of e.

2. Overview

Given some $\alpha \in \mathbb{R}$ which is to be shown irrational, construct the following polynomial function with the property that it can be translated from zero to $\alpha $ subject to a controllable error by a simple exponential transformation. Let $G\left(x\right)\in \mathbb{Z}\left[x\right]$ be the polynomial. Specifically, write ${\text{e}}^{x}G\left(0\right)=G\left(x\right)+\left(\text{error}\right)$ , where the error term can be dominated by a fixed multiple $\beta $ of the degree of $G\left(x\right)$ . The trick in making this work is to define $G\left(x\right)$ so that it meshes with the pattern by which the Maclaurin expansion for ${\text{e}}^{x}$ restores powers of $x$ to $G\left(0\right)$ . The exact manner in which this can be done is the subject of a lemma below. The exponential transform is due to Hermite.

The form of $G\left(x\right)$ that emerges from the preceding considerations turns out to be the sum of the derivatives of a more basic polynomial, the Hurwitz polynomial of type $p$ , defined as $g\left(x\right)={x}^{p-1}{\left(x-\alpha \right)}^{p}$ . The primality of $p$ is not required by the definition, but in the sequel it will be taken to be prime. So define

$G\left(x\right)={\displaystyle {\sum}_{n=0}^{\mathrm{deg}g}}{g}^{\left(n\right)}\left(x\right)$ , where the sum runs from 0 to $2p-1$ , since all higher der-

ivatives vanish. Applying Leibnitz’ Rule for differentiating products to

$g\left(x\right)={x}^{p-1}{\left(x-\alpha \right)}^{p}$ , obtain ${g}^{\left(n\right)}\left(x\right)={\displaystyle {\sum}_{k=0}^{n}}\left(\begin{array}{c}n\\ k\end{array}\right){\left({x}^{p-1}\right)}^{\left(n-k\right)}{\left({\left(x-\alpha \right)}^{p}\right)}^{\left(k\right)}$ . Hence $G\left(x\right)={\displaystyle {\sum}_{n=0}^{2p-1}}\left[{\displaystyle {\sum}_{k=0}^{n}}\left(\begin{array}{c}n\\ k\end{array}\right){\left({x}^{p-1}\right)}^{\left(n-k\right)}{\left({\left(x-\alpha \right)}^{p}\right)}^{\left(k\right)}\right]$ , which is truly a cumbersome

expression to work with.

There is some computational relief provided by the fact that only $G\left(x\right)$ needs to be evaluated at the zeroes of $g\left(x\right)$ , namely 0 and $\alpha $ . Evaluation at these two points automatically eliminates a considerable number of terms.

The principal steps in the argument are:

1) Assume for the sake of contradiction that $\alpha \in {\mathbb{Q}}^{+}$ , say $\alpha =r/s$ , where $r,s\in \mathbb{N}$ and $\mathrm{gcd}\left(r,s\right)=1$

2) Show ${s}^{p-1}G\left(\alpha \right)$ is an integer divisible by $p!$

3) Show ${s}^{p}G\left(0\right)$ is an integer divisible by $\left(p-1\right)!$ but not by $p!$

(iv) Show $\left|{\text{e}}^{\alpha}G\left(0\right)-G\left(\alpha \right)\right|\le \beta \left(2p-1\right)$ recall that the degree of $g\left(x\right)$ is $2p-1$

4) If ${\text{e}}^{\alpha}\in {\mathbb{Q}}^{+}$ , say ${\text{e}}^{\alpha}=\frac{u}{v}$ , where $u,v\in \mathbb{N}$ and $\mathrm{gcd}\left(u,v\right)=1$ , then show

$\left|uG\left(0\right)-vG\left(\alpha \right)\right|\le \beta \left(2p-1\right)v$

5) Show $0<{s}^{p}\left|uG\left(0\right)-vG\left(\alpha \right)\right|\le {s}^{p}\beta \left(2p-1\right)v$

6) Show ${\mathrm{lim}}_{p\to \infty}\frac{{s}^{p}\beta \left(2p-1\right)v}{\left(p-1\right)!}=0$

7) Establish contradiction by concluding $\frac{{s}^{p}\left|uG\left(0\right)-vG\left(\alpha \right)\right|}{\left(p-1\right)!}$ is a positive

integer strictly less than one for large $p$

This contradiction yields the main theorem which asserts that $\alpha $ and ${\text{e}}^{\alpha}$ cannot both be positive rationals. This theorem is used by showing that if one is rational, the other is not. Interesting results flow immediately as corollaries. All positive rational powers of e must be irrational. Natural logarithms of positive rational numbers except 1 cannot be rational.

3. Main Theorem

Validation of the technical details of the preceding program follow. It is assumed

throughout that $g\left(x\right)$ and $G\left(x\right)$ are as defined above, $\alpha =\frac{r}{s}$ , with $r,s\in \mathbb{N}$

and $\mathrm{gcd}\left(r,s\right)=1$ , and $p$ is a prime.

Lemma 1: ${s}^{p-1}G\left(\alpha \right)$ is an integer divisible by $p!$ .

Proof: Setting $x=\alpha $ in $G\left(x\right)={\displaystyle {\sum}_{n=0}^{2p-1}}\left[{\displaystyle {\sum}_{k=0}^{n}}\left(\begin{array}{c}n\\ k\end{array}\right){\left({x}^{p-1}\right)}^{\left(n-k\right)}{\left({\left(x-\alpha \right)}^{p}\right)}^{\left(k\right)}\right]$

would eliminate all terms except those where ${\left(x-\alpha \right)}^{p}$ has been differentiated $p$ times. The surviving terms would be of the form

$p!\left(\begin{array}{c}p+k\\ p\end{array}\right)\frac{\left(p-1\right)!}{\left(p-k-1\right)!}{\left(\alpha \right)}^{p-k-1}$ , corresponding to the situation where ${x}^{p-1}$ has

also been differentiated $k$ times. Hence

$G\left(\alpha \right)=p!{\displaystyle {\sum}_{k=0}^{p}}\left(\begin{array}{c}p+k\\ k\end{array}\right)\frac{\left(p-1\right)!}{\left(p-k-1\right)!}{\left(\alpha \right)}^{p-k-1}$ .

Simplifying, it is clear that

$G\left(\alpha \right)=p!{\displaystyle {\sum}_{k=0}^{p-1}}\frac{\left(p+k\right)!}{p!k!}\frac{\left(p-1\right)!}{\left(p-k-1\right)!}{\left(\alpha \right)}^{p-k-1}={\displaystyle {\sum}_{k=0}^{p-1}}\left(p+k\right)!\left(\begin{array}{c}p-1\\ k\end{array}\right){\left(\alpha \right)}^{p-k-1}$ .

Rewriting $\alpha =\frac{r}{s}$ , evidently ${s}^{p-1}G\left(\alpha \right)={\displaystyle {\sum}_{k=0}^{p-1}}\left(p+k\right)!\left(\begin{array}{c}p-1\\ k\end{array}\right){s}^{p-1}{\left(\frac{r}{s}\right)}^{p-k-1}$ ,

which is an integer divisible by $p!$ , since it divides $\left(p+k\right)!$ for $k\ge 0$ and

$\left(\begin{array}{c}p-1\\ k\end{array}\right)$ is always an integer, establishing the result. $\ufffd$

Lemma 2: ${s}^{p}G\left(0\right)$ is an integer divisible by $\left(p-1\right)!$ but not by $p!$ for sufficiently large p.

Proof: Setting $x=0$ in $G\left(x\right)={\displaystyle {\sum}_{n=0}^{2p-1}}\left[{\displaystyle {\sum}_{k=0}^{n}}\left(\begin{array}{c}n\\ k\end{array}\right){\left({x}^{p-1}\right)}^{\left(n-k\right)}{\left({\left(x-\alpha \right)}^{p}\right)}^{\left(k\right)}\right]$

would eliminate all terms except those where ${x}^{p-1}$ has been differentiated $p-1$ times. The surviving terms would be of the form

$\left(p-1\right)!\left(\begin{array}{c}p+k-1\\ k\end{array}\right)\frac{p!}{\left(p-k\right)!}{\left(0-\alpha \right)}^{p-k}$ , corresponding to the situation where

${\left(x-\alpha \right)}^{p}$ has also been differentiated $k$ times. Hence $G\left(0\right)=\left(p-1\right)!{\displaystyle {\sum}_{k=0}^{p}}\left(\begin{array}{c}p+k-1\\ k\end{array}\right)\frac{p!}{\left(p-k\right)!}{\left(-\alpha \right)}^{p-k}$ . Simplifying further it follows $\begin{array}{c}\text{that}\text{\hspace{0.17em}}G\left(0\right)=\left(p-1\right)!{\displaystyle {\sum}_{k=0}^{p}}{\left(-1\right)}^{{}^{p-k}}\frac{\left(p+k-1\right)!}{\left(p-1\right)!k!}\frac{p!}{\left(p-k\right)!}{\left(\alpha \right)}^{p-k}\\ ={\displaystyle {\sum}_{k=0}^{p}}{\left(-1\right)}^{{}^{p-k}}\left(p+k-1\right)!\left(\begin{array}{c}p\\ k\end{array}\right){\left(\alpha \right)}^{p-k}\end{array}$ . Rewriting $\alpha =\frac{r}{s}$ as above, clearly ${s}^{p}G\left(0\right)={\displaystyle {\sum}_{k=0}^{p}}{\left(-1\right)}^{{}^{p-k}}\left(p+k-1\right)!\left(\begin{array}{c}p\\ k\end{array}\right){s}^{p}{\left(\frac{r}{s}\right)}^{p-k}$ . Evidently

$\left(p-1\right)!$ divides ${s}^{p}G\left(0\right)$ , since it divides $\left(p+k-1\right)!$ for $k\ge 0$ and $\left(\begin{array}{c}p\\ k\end{array}\right)$ is

always an integer. On the other hand, for the sake of contradiction, if $p!$ were to divide ${s}^{p}G\left(0\right)$ , then it would divide

$\left[{s}^{p}G\left(0\right)-\left[{\displaystyle {\sum}_{k=1}^{p}}{\left(-1\right)}^{{}^{p-k}}\left(p+k-1\right)!\left(\begin{array}{c}p\\ k\end{array}\right){s}^{p}{\left(\frac{r}{s}\right)}^{p-k}\right]\right]={\left(-1\right)}^{{}^{p}}\left(p-1\right)!\left(\begin{array}{c}p\\ 0\end{array}\right){\left(r\right)}^{p}$ .

This is absurd, since it cannot divide the right hand side if $p$ is chosen greater than $r$ . Recall $\alpha $ , hence $r$ , is fixed, but $p$ can be an arbitrary prime. The contradiction establishes that $p!$ does not divide ${s}^{p}G\left(0\right)$ and the result follows. $\ufffd$

Lemma 3.1: Let ${\epsilon}_{k}\left(x\right)$ denote the infinite series

$\frac{x}{k+1}+\frac{{x}^{2}}{\left(k+1\right)\left(k+2\right)}+\cdots ={\displaystyle {\sum}_{j=1}^{\infty}}\frac{k!{x}^{j}}{\left(k+j\right)!}$ . Then $\frac{{x}^{k}}{k!}{\epsilon}_{k}\left(x\right)={E}_{k}\left(x\right)$ ,

where

${E}_{k}\left(x\right)={\displaystyle {\sum}_{j=k+1}^{\infty}}\frac{{x}^{j}}{j!}$ .

(Note that ${E}_{k}\left(x\right)$ is the series for ${\text{e}}^{x}$ with the first $k+1$ terms removed.)

Proof: Observe that $\frac{{x}^{k}}{k!}\left[{\displaystyle {\sum}_{j=1}^{\infty}}\frac{k!{x}^{j}}{\left(k+j\right)!}\right]={\displaystyle {\sum}_{j=1}^{\infty}}\frac{{x}^{j+k}}{\left(k+j\right)!}$ , which is equivalent to ${\sum}_{j=k+1}^{\infty}}\frac{{x}^{j}}{j!$ . $\ufffd$

Lemma 3.2: Suppose $g\left(x\right)={c}_{n}{x}^{n}+\cdots +{c}_{1}x+{c}_{0}\in \mathbb{Z}\left[x\right]$ . Let $G\left(x\right)$ be the corresponding sum-of-derivatives polynomial. Then

${e}^{x}G\left(0\right)=G\left(x\right)+{\displaystyle {\sum}_{k=0}^{n}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)$ , with ${\epsilon}_{k}\left(x\right)$ as in Lemma 3.1.

Proof: By induction on $\mathrm{deg}g$ . If $\mathrm{deg}g=0$ , then $g\left(x\right)={c}_{0}$ . There is only the zeroth derivative to sum, so $G\left(0\right)=G\left(x\right)={c}_{0}$ . Since ${\epsilon}_{0}\left(x\right)={\text{e}}^{x}-1$ .,

evidently ${\text{e}}^{x}G\left(0\right)=\left(1+{\epsilon}_{0}\left(x\right)\right){c}_{0}={c}_{0}+{\displaystyle {\sum}_{k=0}^{0}}{c}_{0}{x}^{0}{\epsilon}_{0}\left(x\right)$ , establishing the base case.

The induction hypothesis is that for any polynomial $\varphi \left(x\right)={c}_{n-1}{x}^{n-1}+\cdots +{c}_{1}x+{c}_{0}$ of degree $n-1$ , we have

${\text{e}}^{x}\Phi \left(0\right)=\Phi \left(x\right)+{\displaystyle {\sum}_{k=0}^{n-1}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)$ . It is to be shown that for a polynomial of de- gree $n$ , namely $g\left(x\right)=\varphi \left(x\right)+{c}_{n}{x}^{n}$ , ${\text{e}}^{x}G\left(0\right)=G\left(x\right)+{\displaystyle {\sum}_{k=0}^{n}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)$ it is true that. Now $G\left(x\right)=\Phi \left(x\right)+{\displaystyle {\sum}_{j=0}^{n}}{\left({c}_{n}{x}^{n}\right)}^{\left(j\right)}$ , since the only derivatives of $G\left(x\right)$

missing from $\Phi \left(x\right)$ are those attributable to the leading monomial ${c}_{n}{x}^{n}$ . Then $G\left(0\right)=\Phi \left(0\right)+n!{c}_{n}$ , as all the derivatives except the ${n}^{th}$ of ${c}_{n}{x}^{n}$ evaluate to zero at zero. Forming ${\text{e}}^{x}G\left(0\right)={\text{e}}^{x}\left[\Phi \left(0\right)+n!{c}_{n}\right]$ , we have

${\text{e}}^{x}\left[\Phi \left(0\right)+n!{c}_{n}\right]=\Phi \left(x\right)+{\displaystyle {\sum}_{k=0}^{n-1}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)+{\text{e}}^{x}n!{c}_{n}$ by the induction hypothesis. Observe that ${\text{e}}^{x}n!{c}_{n}=\left(\left[1+\frac{x}{1!}+\frac{{x}^{2}}{2!}+\cdots +\frac{{x}^{n}}{n!}\right]+\left[\frac{{x}^{n+1}}{\left(n+1\right)!}+\cdots \right]\right)n!{c}_{n}$ . But $\left[1+\frac{x}{1!}+\frac{{x}^{2}}{2!}+\cdots +\frac{{x}^{n}}{n!}\right]n!{c}_{n}={c}_{n}{x}^{n}+n{c}_{n}{x}^{n-1}+n\left(n-1\right){c}_{n}{x}^{n-2}+n!{c}_{n}x+n!{c}_{n}$ , which is precisely ${\sum}_{j=0}^{n}}{\left({c}_{n}{x}^{n}\right)}^{\left(j\right)$ . It follows that

${\text{e}}^{x}G\left(0\right)=\left[\Phi \left(x\right)+{\displaystyle {\sum}_{j=0}^{n}}{\left({c}_{n}{x}^{n}\right)}^{\left(j\right)}\right]+{\displaystyle {\sum}_{k=0}^{n-1}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)+{E}_{n}\left(x\right)n!{c}_{n}$

where ${E}_{n}\left(x\right)={\displaystyle {\sum}_{j=n+1}^{\infty}}\frac{{x}^{j}}{j!}$ as in Lemma 3.1. But the term ${E}_{n}\left(x\right)n!{c}_{n}=\left(\frac{{x}^{n}}{n!}{\epsilon}_{n}\left(x\right)\right)n!{c}_{n}={c}_{n}{x}^{n}{\epsilon}_{n}\left(x\right)$ by Lemma 3.1, hence it can be absor- bed and evidently ${\sum}_{k=0}^{n-1}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)+{E}_{n}\left(x\right)n!{c}_{n}={\displaystyle {\sum}_{k=0}^{n}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)$ . Recognizing that $\Phi \left(x\right)+{\displaystyle {\sum}_{j=0}^{n}}{\left({c}_{n}{x}^{n}\right)}^{\left(j\right)}=G\left(x\right)$ , it is now clear that ${\text{e}}^{x}G\left(0\right)=G\left(x\right)+{\displaystyle {\sum}_{k=0}^{n}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)$ , as required. $\ufffd$

Lemma 3.3: With the notation of Lemma 3.2, for a given $g\left(x\right)\in \mathbb{Z}\left[x\right]$ of de-

gree $n$ and fixed $x$ , the function $\left|\epsilon \left(n\right)\right|={\displaystyle {\sum}_{k=0}^{n}}{c}_{k}{x}_{0}^{k}{\epsilon}_{k}\left({x}_{0}\right)$ is $O\left(n\right)$ .

Proof: It may be assumed that the fixed $x\ne 0$ . From Lemma 3.1

$\left|\epsilon \left(n\right)\right|=\left|{\displaystyle {\sum}_{k=0}^{n}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)\right|\le {\displaystyle {\sum}_{k=0}^{n}}\left|{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)\right|={\displaystyle {\sum}_{k=0}^{n}}\left|{c}_{k}\right|\left|{x}^{k}\right|\left|{\epsilon}_{k}\left(x\right)\right|$ . Note that $\left|{E}_{k}\left(x\right)\right|<\infty $ since ${E}_{k}\left(x\right)$ is dominated by the absolutely convergent series ${e}^{x}$ . Then $\left|{\epsilon}_{k}\left(x\right)\right|=\frac{k!}{\left|{x}^{k}\right|}\left|{E}_{k}\left(x\right)\right|$ is bounded, and hence ${\sum}_{k=0}^{n}}\left|{c}_{k}\right|\left|{x}^{k}\right|\left|{\epsilon}_{k}\left(x\right)\right|\le n\cdot {\mathrm{max}}_{k\le n}\left[\left|{c}_{k}\right|\left|{x}^{k}\right|\left|{\epsilon}_{k}\left(x\right)\right|\right]$ . It follow that $\left|\epsilon \left(n\right)\right|\le n\beta $ , where $\beta ={\mathrm{max}}_{k\le n}\left[\left|{c}_{k}\right|\left|{x}^{k}\right|\left|{\epsilon}_{k}\left(x\right)\right|\right]$ . $\ufffd$

Lemma 3.4: With the notation above, $\left|{\text{e}}^{\alpha}G\left(0\right)-G\left(\alpha \right)\right|\le \left(2p-1\right)\beta $ for some fixed $\beta >0$ .

Proof: Lemma 3.2 shows ${\text{e}}^{x}G\left(0\right)-G\left(x\right)={\displaystyle {\sum}_{k=0}^{n}}{c}_{k}{x}^{k}{\epsilon}_{k}\left(x\right)$ . Hence for $x=\alpha $ it must be that $\left|{\text{e}}^{\alpha}G\left(0\right)-G\left(\alpha \right)\right|=\left|{\displaystyle {\sum}_{k=0}^{n}}{c}_{k}{\alpha}^{k}{\epsilon}_{k}\left(\alpha \right)\right|=\left|\epsilon \left(p\right)\right|\le \left(2p-1\right)\beta $ by Lemma

3.3, since the degree of the Hurwitz polynomial $g\left(x\right)$ , which defines $G\left(x\right)$ via summation of derivatives, is $2p-1$ . The result is now immediate. $\ufffd$

Lemma 4: If ${\text{e}}^{\alpha}\in {\mathbb{Q}}^{+}$ , say ${\text{e}}^{\alpha}=\frac{u}{v}$ , where $u,v\in \mathbb{N}$ and $\mathrm{gcd}\left(u,v\right)=1$ , then $\left|uG\left(0\right)-vG\left(\alpha \right)\right|\le \beta \left(2p-1\right)v$ Moreover, if $\alpha =\frac{r}{s}$ as above, then

$0<{s}^{p}\left|uG\left(0\right)-vG\left(\alpha \right)\right|\le {s}^{p}\beta \left(2p-1\right)v$ for sufficiently large p.

Proof: From Lemma 3.4, $\left|{\text{e}}^{\alpha}G\left(0\right)-G\left(\alpha \right)\right|=\left|\frac{u}{v}G\left(0\right)-G\left(\alpha \right)\right|\le \left(2p-1\right)\beta $ , so

$\left|uG\left(0\right)-vG\left(\alpha \right)\right|\le \beta \left(2p-1\right)v$ . Hence (since $s>0$ ) ${s}^{p}\left|uG\left(0\right)-vG\left(\alpha \right)\right|\le {s}^{p}\beta \left(2p-1\right)v$ Note that ${s}^{p}uG\left(0\right)$ is an integer that is not divisible by $p!$ for sufficiently large $p$ by Lemma 2, but that ${s}^{p}vG\left(\alpha \right)$ is an integer that is divisible by $p!$ for any large $p$ by Lemma 1. Here $p$ can be chosen large enough to not appear in any prime factorization of $s$ . It follows that ${s}^{p}\left|uG\left(0\right)-vG\left(\alpha \right)\right|$ would be a nonzero integer, establishing the claim. $\ufffd$

Theorem 1: If $\alpha \in {\mathbb{Q}}^{+}$ then ${e}^{\alpha}\notin {\mathbb{Q}}^{+}$ .

Proof: To the contrary, suppose $\alpha \in {\mathbb{Q}}^{+}$ and ${e}^{\alpha}\in {\mathbb{Q}}^{+}$ , then by the lemmas above, ${s}^{p}\left|uG\left(0\right)-vG\left(\alpha \right)\right|$ would be an integer, and for sufficiently large $p$ would satisfy $0<{s}^{p}\left|uG\left(0\right)-vG\left(\alpha \right)\right|\le {s}^{p}\beta \left(2p-1\right)v$ . In the expression on the right hand side, once $\alpha $ is fixed the terms $s,u,v$ , and $\beta $ are constant. Claim:

${\mathrm{lim}}_{p\to \infty}\frac{{s}^{p}\beta \left(2p-1\right)v}{\left(p-1\right)!}=0$ . The expression can be rewritten $\frac{{s}^{p-2}}{\left(p-2\right)!}\cdot \frac{2p-1}{p-1}\cdot {s}^{2}\beta v$ and it is then apparent that the limit must be

$2{s}^{2}\beta v\cdot {\mathrm{lim}}_{p\to \infty}\frac{{s}^{p-2}}{\left(p-2\right)!}$ , which is zero due to the factorial dominance over the exponential. So choose a prime ${p}_{0}$ for which $\frac{{s}^{p}\beta \left(2p-1\right)v}{\left(p-1\right)!}<1$ . Now

$0<\frac{{s}^{{p}_{0}}\left|uG\left(0\right)-vG\left(\alpha \right)\right|}{\left({p}_{0}-1\right)!}<1$ . But since $\left({p}_{0}-1\right)!$ divides both $G\left(0\right)$ and $G\left(\alpha \right)$ but does not, by virtue of its selection, divide $s\mathrm{,}u$ , or $v$ , it is clear that $\frac{{s}^{{p}_{0}}\left|uG\left(0\right)-vG\left(\alpha \right)\right|}{\left({p}_{0}-1\right)!}$ is an integer. Moreover, it is apparently an integer strictly

between zero and one, which is absurd. The contradiction establishes the theorem. $\ufffd$

4. Conclusions

Based on the preceding Theorem 1, the following conclusions are immediate.

Corollary 1: The nonzero rational powers of $e$ are irrational

Proof: For the positive rational powers the statement is true immediately by

Theorem 1. If $\gamma >0$ , then ${\text{e}}^{-\gamma}$ cannot be of the form $\frac{r}{s}$ with $r,s\in {\mathbb{N}}^{+}$ , otherwise ${\text{e}}^{\gamma}=\frac{s}{r}$ , contrary to Theorem 1. $\ufffd$

Corollary 2: The natural logarithm of a positive rational number is irrational

Proof: By the contrapositive of Theorem 1, If $\gamma ={\text{e}}^{\mathrm{ln}\gamma}$ is rational (necessarily positive), then $\mathrm{ln}\gamma $ is irrational. $\ufffd$

Corollary 3: If $\mathrm{ln}\gamma +\mathrm{ln}\delta $ is rational, then either $\gamma \delta $ is irrational or $\gamma \delta =1$

Proof: If $\mathrm{ln}\gamma +\mathrm{ln}\delta $ is a nonzero rational, then ${\text{e}}^{\mathrm{ln}\gamma +\mathrm{ln}\delta}={\text{e}}^{\mathrm{ln}\left(\gamma \delta \right)}=\gamma \delta $ is irrational. If $\mathrm{ln}\gamma +\mathrm{ln}\delta =0$ , then $\gamma \delta =1$ . $\ufffd$

Cite this paper

Beatty, T. and Jones, T. (2017) On Irrational Points in the Plane.*Advances in Pure Mathematics*, **7**, 299-305. doi: 10.4236/apm.2017.74016.

Beatty, T. and Jones, T. (2017) On Irrational Points in the Plane.

References

[1] Herstein, I.N. (1975) Topics in Algebra. 2nd Edition, John Wiley & Sons, New York, 175-178.

[2] Hurwitz, A. (1893) Beweis der Transendenz der Zahl e. Mathematische Annalen, 43, 220-221.

https://doi.org/10.1007/BF01443646

[3] Hermite, C. (1873) Sur la fonction exponientielle. Comptes Rendus de l'Academie des Sciences, 77, 18-24.

[1] Herstein, I.N. (1975) Topics in Algebra. 2nd Edition, John Wiley & Sons, New York, 175-178.

[2] Hurwitz, A. (1893) Beweis der Transendenz der Zahl e. Mathematische Annalen, 43, 220-221.

https://doi.org/10.1007/BF01443646

[3] Hermite, C. (1873) Sur la fonction exponientielle. Comptes Rendus de l'Academie des Sciences, 77, 18-24.