Numbers not expressible as a ratio of two integers. Examples: $\sqrt{2},\phi,e,\pi,\zeta(3)$. Some of them are algebraic ($\sqrt{2},\phi$) and some transcendental ($e,\pi$).

learn more… | top users | synonyms

6
votes
1answer
181 views

Chinese estimate for $\pi$. Were they lucky?

The famous chinese estimate $\pi\approx\frac{355}{113}$ is good. I think that is too good. As a continued fraction: $$\pi=[3:7,15,1,292,\ldots]$$ That $292$ is a bit too big. Is there a reason for a ...
3
votes
1answer
38 views

Are there any number systems better suited to nature?

For example, number such as $\pi$ and $e$ cannot be represented as rational numbers in our number study and extend in decimal places to infinity. QUESTION: Is there a possibility that some other ...
2
votes
1answer
109 views

Do circles exist

So I was wondering about circles today and if they really do exsist. If you graph a circle in function mode, your equation looks like$$y=\sqrt{1-x^2}$$ Now for simple purposes lets take a portion of ...
2
votes
1answer
132 views

Irrationality of $\pi$ and circumference to diameter ratio.

How is $\pi$ actually defined? If it is defined as the ratio of the circumference of a circle to its diameter then from this definition itself either of the circumference and diameter has to be ...
16
votes
0answers
306 views

If $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, then $\alpha=0.a_1a_2a_3\cdots\in\mathbb Q$?

Question : For every even $k\ge 4$, is the following $(\star)$ true? $$\begin{align}\text{If $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, then $\alpha=0.a_1a_2a_3\cdots\in\mathbb ...
13
votes
0answers
389 views

Irrationality of e

I have a question about the irrationality of $e$: In proving the irrationality of $e$, one can prove the irrationality of $e^{-1}$ by using the series $$e^x = 1+x+\frac{x^2}{2!} + \cdots + ...
10
votes
0answers
206 views

Irrationality of $\displaystyle\sum_{p\in\mathbb{P}} \frac{1}{2^{p}}$

Let $\mathbb{P}$ be the set of prime numbers, and consider $m=\displaystyle\sum_{p\in\mathbb{P}} \frac{1}{2^{p}}$. Is $m$ irrational? In the following paper, the author recalls several sufficient ...
8
votes
0answers
117 views

The “trick” functions in the “$\pi$ is transcendental” proofs

I was reading this paper and I wondered how did Hermite decide to define a function $$f(x)=\frac{x^{p-1}(x-1)^p\cdots (x-m)^p}{(p-1)!}$$ Are these functions only tricks or there is a deeper meaning?
7
votes
0answers
231 views

How does one prove that $\zeta(3)$ is irrational?

How does one prove that $\zeta(3)$ is irrational ? I would like to know how Apery did it. In particular how a recursion gives rise to irrationality !?
6
votes
0answers
77 views

Does the Cantor set contain any irrational algebraic numbers?

I've been trying to characterise the irrationals in the Cantor set $\mathcal{C}$ and this is proving to be surprisingly difficult. In particular I am trying to investigate whether $\mathcal{C}$ ...
5
votes
0answers
133 views

Are there integers $a, b$ s.th. $\pi^a = e^b$?

Is $\log \pi $ a rational number? That is, are there non-zero integers $a, b$ s.th. $\pi^a = e^b$ ?
5
votes
0answers
96 views

Irrationality proof by fast converging series?

I read here http://www.mathpages.com/home/kmath455.htm that $\sum_{n=1}^\infty \frac{1}{d_n}$ is irrational if $d_{n+1} > d_{n}^2$ for all $n > N_0$. Can we prove $\pi$, $e$ or some other ...
4
votes
0answers
150 views

Proof of $\pi$ not being a quadratic irrational number.

Does someone know a proof (books , articles) that $\pi$ is not a quadratic irrational? The proof should not use that $\pi$ is transcendental. Any hints would be appreciated.
4
votes
0answers
62 views

Digits of two irrational numbers, given their power with fixed number of digits

I have $a, b \in \mathbb{R} \setminus \mathbb{Q}$, I want to know the result of $a^b$, but I don't know exact $a, b$ because I write them in numeric form. My question is how many digits of $a, b$ have ...
4
votes
0answers
110 views

Finding a closed expression for a calculated value.

Sometimes, when getting some numerical results when investigating number theory sequences with a computer, I find myself suspecting that a decimal value ($a$) I have found might be a quadratic ...
4
votes
0answers
146 views

Is the maximal temperature of the curlicue fractal acheived by $e\times\gamma$?

The Curlicue Fractal is defined as follows: Choose an irrational number $s$ and a horizontal unit segment with angle $\phi_0 = 0$. Define $\theta_{n+1} = \theta_{n} + 2 \pi s \pmod{2 \pi}$, with ...
3
votes
0answers
48 views

Is this irrationality proof correct?

Consider a non-square integer $n$. If its square root was rational, then we would have $$\sqrt n=\frac{a}{b}$$ for some $a,b\in\mathbb{Z}$ and so $a^2=nb^2$. But this is impossible, because $n$ is ...
3
votes
0answers
46 views

Euclidean geometry and irrational numbers.

I was wondering, given a square that is $1 \times 1$, how can we know that the diagonal is an irrational length geometrically??? We could use the Pythagorean Theorem to see that the diagonal of a ...
3
votes
0answers
146 views

Must be rational number

Let $a$, $b$ positive rational number. Suppose that there exist two odd positive integers $p$, $q$ such that $\sqrt[p]{a}+\sqrt[q]{b}$ is rational. Prove that both $\sqrt[p]{a}$ and $\sqrt[q]{b}$ are ...
3
votes
0answers
91 views

how many numbers of irrationality measure $x$

Does there exist $x>2$ such that uncountably many reals have irrationality measure x? Must there exist at least one number of irrationality measure $x$? related question on sets of constant ...
3
votes
0answers
84 views

Linear independence of reciprocals of logarithms

I would like to ask whether there is a proof of the following statement: Let $p$, $q$ be primes and $n$ positive integer coprime with $pq$. Then $\frac1{\log p}$, $\frac1{\log q}$ and $\frac1{\log n}$ ...
2
votes
0answers
45 views

How to represent an algebraic number in algorithm

I'm studying the problem of computing $n$th digit of given (irrational) algebraic number. Is there some canonical way to represent an algebraic number as a string I could use in computing? Basically ...
2
votes
0answers
72 views

Question about $e^{e^{e^e}}$

Is there a proof that the power tower of length $4$ of $e$ is irrational? Is it known whether or not $$e^{e^{e^e}}$$ is transcendental?
2
votes
0answers
126 views

Irrational numbers to the power of other irrational numbers: A beautiful proof question

The following theorem has a very beautiful proof. Theorem: There exist two irrational numbers $x$ and $y$ such that $x^y$ is rational. Proof: If $\sqrt{2}^{\sqrt{2}}$ is rational then we ...
2
votes
0answers
87 views

Minkowski's question mark function iterations

The Minkowski's question mark function (we use the sign $?$ to note this function) was designed in 1904 by Minkowski. It can be defined as an increasing bijection between $\mathbb Q$ and the set of ...
2
votes
0answers
42 views

Experimental calculation and $\mathbb{Q}$

I have been reading this article and have a question about the first line of the second paragraph on the first page. It says: The basis for this suggestion is the simple fact that all experimental ...
2
votes
0answers
118 views

Can every string of numbers be found in the number pi (cfr. infinite monkey theorem)?

The infinite monkey theorem states that a monkey hitting keys at random on a typewriter keyboard for an infinite amount of time will almost surely type a given text, such as the complete works of ...
2
votes
0answers
123 views

Irrationality of $\pi$ from the spigot algorithm?

The spigot algorithm for BPP formula gives hexadecimal digits of $\pi$ one at a time. Is it possible to prove directly that this algorithm cannot be computed with bounded-memory? (From R J Lipton It ...
1
vote
0answers
40 views

What is the limit of $k^2|\pi-n(k)/k |$, where $k$ minimizes $|k\pi -n|$?

Let $k\in \mathbb N$ and for any such n, let $k=k(n)$ minimizes the distance $|k\pi-n|\leq 2 \pi$. It is clear that, by fixing the value of $n$, it is possible to choose $k$ (and vice versa). ...
1
vote
0answers
48 views

“Building blocks” for computable functions

In an (otherwise very enlightening) answer to another question of mine the question came up What functions are allowed as building blocks for computable functions? I was astonished that there ...
1
vote
0answers
53 views

Products of irrational numbers field of mathematics?

Recently a friend posed the question "can the product of two irrational numbers be rational?" We the trivial answers like for example $\sqrt{2}\sqrt{8} = 4$. I have become somewhat obsessed with the ...
1
vote
0answers
60 views

Irrational numbers and series

Let $$f(x) = \prod_{n = 0}^\infty \left(1 + \frac{x}{2^n}\right)$$ According to an exercise in a packet of problems in elementary number theory, this function and all its derivatives are irrational ...
1
vote
0answers
37 views

Proving irrationality i p,s and k are primes number?

Can you prove that $\frac{k^{\frac13}-p^{\frac13}}{s^{\frac13}-p^{\frac23}}$ is irrational if p, k and s are different prime numbers. I am certain it is but i dont know how to prove it.
1
vote
0answers
227 views

Third degree polynomial with integer coefficient and three irrational roots

There are some polynomial with the above characteristic, and real roots of such polynomials cannot be found using rational number theorem and irrational conjugate theorem. The example of such function ...
1
vote
0answers
44 views

Apery's constant

I read that it is unknown if $\zeta (3)$ is algebraic but it is known to be irrational. Has anyone proved anything of the form $\zeta (3)$ is not a root of a polynomial of degree $12345$ with integer ...
1
vote
0answers
88 views

Gelfond-Schneider Constant $2^{\sqrt{2}}$

Someone knows a proof (books , articles) that $2^{\sqrt{2}}$ is irrational ? Without using that $2^{\sqrt{2}}$ is transcendent. Any hints would be appreciated.
1
vote
0answers
116 views

Asymptotic behavior of $\sum_{j=1}^n \cos^p(\pi u j)$ for large $n$ and $p$?

Consider the sum $$S=\sum_{j=1}^n \cos^p(\pi u j),$$ where $n$ and $p$ are positive integers and $u$ is irrational. Let's say $p$ is even. I'm interested in the asymptotic behavior of this for $n$ ...
1
vote
0answers
248 views

What is the exact definition of a rational power?

I was taught in school that $$x^{a/b} = \sqrt[b]{x^a}$$ however, wolfram says this is not always true: $\sqrt[3]{x^2} \ne x^{2/3}$ ...
1
vote
0answers
76 views

Are limits on exponents in moduli possible, if the modulus is relatively prime?

I asked a similar question to this recently. Here, I consider an arbitrary, but fixed, modulus m, which is relatively prime to x and y. Can anybody extend the answer given in the previous question? ...
0
votes
0answers
38 views

Are there any general results about the irrationality of $a^{\frac{p}{q}}$?

Are there any general results about the irrationality of $a^{\frac{p}{q}}$ for $a\in\mathbb{Z}^+$, $p,q\in\mathbb{Z}$, $q\neq 0$ and $a\neq 1$?
0
votes
0answers
35 views

Calculate digits of pi without needing to reuse them

I am looking for some algorithms that can calculate digits of pi. without needing to reuse previous digits. I would like to find the most simple and fast algorithms possible. Thanks!
0
votes
0answers
20 views

Verify if the following demonstration is correct

THEOREM: "There are $a, b$ irrationals, such that $a^b$ is rational." PROOF: " If $\sqrt{2} ^ \sqrt{2}$ is rational, $a = b = \sqrt{2}$, otherwise, $a = \sqrt{2} ^ \sqrt{2}$ and $b = \sqrt{2}$, so ...
0
votes
0answers
37 views

Archimedes' Apprxomation of Square Roots

Supposing a square root $\sqrt{X}$, let $x$ be the approximation of $\sqrt{X}$, then we get these 2 formulas to estimate $\sqrt{X}$: $x_{n+1}=\frac{x_n+\frac{X}{x_n}}{2}$ and ...
0
votes
0answers
36 views

Curve avoiding semi-rational points

A rational point is a point in $\mathbb{R}^d$ all of whose $d$ coordinates are rational. Let me define a semi-rational point as one that has at least one rational coordinate (but whose other ...
0
votes
0answers
19 views

Using Descarte’s rule of signs to determine the number of positive roots.

Using the Descarte’s rule of signs to determine the number of positive roots. \begin{equation} f(q)=[(k_f+k_d+k_p*(1-q))(\lambda_b* \gamma ...
0
votes
0answers
31 views

Integer algorithm

I have this equation: $$\ln_p y = x+\ln_k z$$ for $p, y, x, k, z \in \mathbb{N}$ Now consider that I have the values for $y$ and I can generate in anyway possible, the value for $x$. How would i ...
0
votes
0answers
59 views

Related to $\pi$ and $\tau$ constants, are they transcendental, irrational, or rational numbers?

Below are three OEIS constant sequences and values. Are they transcendental, irrational, or rational numbers? Note: $\tau = 2*\pi$ and the last two values are in radians. A233700. Decimal ...
0
votes
0answers
41 views

Combination of integers and irrationals numbers

Show that if $j$ is a positive irrational number, then for all $\varepsilon>0$ there exist integers $h$ and $k$ such that $0<h+kj<\varepsilon$. I need this result in a problem, but I don't ...
0
votes
0answers
530 views

The Conjugate Roots Theorem for Irrational Roots

The Conjugate Roots Theorem for Irrational Roots states that for a polynomial $f(x)$ with integer coefficients, if a root of the equation $f(x) = 0$ is expressed as $a+\alpha$, where $a\in\mathbb{Q}$ ...
0
votes
0answers
88 views

Continued fraction of $\gamma+1$ using recursion

Number $\gamma,$ the Euler-Mascheroni constant, is defined as the value of $$\gamma = \lim_{n\to\infty} \sum_{k=1}^n \frac{1}{k} - \ln(n).$$ We know that $$\lim_{n\to\infty} ...