Questions on more advanced topics of number theory, such as quadratic residues, primitive roots, prime numbers, non-linear Diophantine equations, etc.. Consider first if (elementary-number-theory) might be a more appropriate tag before adding this tag.

learn more… | top users | synonyms (1)

296
votes
12answers
85k views

Does Pi contain all possible number combinations?

I came across the following image, which states: $\pi$ Pi Pi is an infinite, nonrepeating (sic) decimal - meaning that every possible number combination exists somewhere in pi. Converted ...
196
votes
10answers
18k views

Is '10' a magical number or I am missing something?

It's a hilarious witty joke that points out how every base is '10' in its base. Like, 2 = 10 (base 2) 8 = 10 (base 8) My question is if whoever invented the ...
121
votes
3answers
5k views

How to show $e^{e^{e^{79}}}$ is not an integer

In this question, I needed to assume in my answer that $e^{e^{e^{79}}}$ is not an integer. Is there some standard result in number theory that applies to situations like this? Much later addendum: ...
113
votes
3answers
9k views

Is 2048 the highest power of 2 with all even digits (base ten)?

I have a friend who turned 32 recently. She has an obsessive compulsive disdain for odd numbers, so I pointed out that being 32 was pretty good since not only is it even, it also has no odd factors. ...
104
votes
29answers
34k views

Best book ever on Number Theory

Which is the single best book for Number Theory that everyone who loves Mathematics should read?
97
votes
1answer
11k views

Proof that ${\left(\pi^\pi\right)}^{\pi^\pi}$ (and now $\pi^{\left(\pi^{\pi^\pi}\right)}$) is a noninteger

Conor McBride asks for a fast proof that $$x = {\left(\pi^\pi\right)}^{\pi^\pi}$$ is not an integer. It would be sufficient to calculate a very rough approximation, to a precision of less than 1, and ...
97
votes
1answer
20k views

Can $x^{x^{x^x}}$ be a rational number?

If $x$ is a positive rational number, but not an integer, then can $x^{x^{x^x}}$ be a rational number ? We can prove that if $x$ is a positive rational number but not an integer, then $x^x$ can ...
94
votes
8answers
21k views

What is the importance of the Collatz conjecture?

I have been fascinated by this problem since I first heard about it in high school. From the Wikipedia article http://en.wikipedia.org/wiki/Collatz_problem: Take any natural number $n$. If $n$ is ...
89
votes
1answer
3k views

All polynomials with no natural roots and integer coefficients such that $\phi(n)|\phi(P(n))$

Let $P(x)$ be a polynomial with integer coefficients such that the equation $P(x)=0$ has no positive integer solutions. Find all polynomials $P(x)$ such that for all positive integers $n$ we have ...
84
votes
9answers
4k views

How far can one get in analysis without leaving $\mathbb{Q}$?

Suppose you're trying to teach analysis to a stubborn algebraist who refuses to acknowledge the existence of any characteristic $0$ field other than $\mathbb{Q}$. How ugly are things going to get for ...
83
votes
15answers
7k views

Infiniteness of non-twin primes.

Well, we all know the twin prime conjecture. There are infinitely many primes $p$, such that $p+2$ is also prime. Well, I actually got asked in a discrete mathematics course, to prove that there are ...
83
votes
7answers
8k views

Is there an elementary proof that $\sum \limits_{k=1}^n \frac1k$ is never an integer?

If $n>1$ is an integer, then $\sum \limits_{k=1}^n \frac1k$ is not an integer. If you know Bertrand's Postulate, then you know there must be a prime $p$ between $n/2$ and $n$, so $\frac 1p$ ...
82
votes
4answers
3k views

Least prime of the form $38^n+31$

I search the least n such that $$38^n+31$$ is prime. I checked the $n$ upto $3000$ and found none, so the least prime of that form must have more than $4000$ digits. I am content with a probable ...
71
votes
1answer
1k views

Is There An Injective Cubic Polynomial $\mathbb Z^2 \rightarrow \mathbb Z$?

Earlier, I was curious about whether a polynomial mapping $\mathbb Z^2\rightarrow\mathbb Z$ could be injective, and if so, what the minimum degree of such a polynomial could be. I've managed to ...
70
votes
4answers
2k views

Complexity class of comparison of power towers

Consider the following decision problem: given two lists of positive integers $a_1, a_2, \dots, a_n$ and $b_1, b_2, \dots, b_m$ the task is to decide if $a_1^{a_2^{\cdot^{\cdot^{\cdot^{a_n}}}}} < ...
61
votes
6answers
5k views

How can adding an infinite number of rationals yield an irrational number?

For example how come $\zeta(2)=\sum_{n=1}^{\infty}n^{-2}=\frac{\pi^2}{6}$. It seems counter intuitive that you can add numbers in $\mathbb{Q}$ and get an irrational number.
60
votes
5answers
5k views

Is it possible to represent every huge number in abbreviated form?

Consider the following expression. 16313107343153908912074032799466965289077771751767944648966669091376847859711382649033004075188224 This is a 98 decimal digit number. This can be represented as ...
60
votes
1answer
3k views

Does Fermat's Last Theorem hold for cyclotomic integers in $\mathbb{Q(\zeta_{37})}$?

The first irregular prime is 37. Does FLT(37) $$x^{37} + y^{37} = z^{37}$$ have any solutions in the ring of integers of $\mathbb Q(\zeta_{37})$, where $\zeta_{37}$ is a primitive 37th root of ...
58
votes
9answers
10k views

$\sqrt a$ is either an integer or an irrational number.

I got this interesting question in my mind: How do we prove that if $a \in \mathbb N$, then $\sqrt a$ is an integer or an irrational number? Can we extend this result? That is, can it be shown ...
57
votes
3answers
962 views

A real number $x$ such that $x^n$ and $(x+1)^n$ are rational is itself rational

Let $x$ be a real number and let $n$ be a positive integer. It is known that both $x^n$ and $(x+1)^n$ are rational. Prove that $x$ is rational. What I have tried: Denote $x^n=r$ and $(x+1)^n=s$ ...
57
votes
1answer
3k views

Direct proof that $\pi$ is not constructible

Is there a direct proof that $\pi$ is not constructible, that is, that squaring the circle cannot be done by rule and compass? Of course, $\pi$ is not constructible because it is transcendental and ...
56
votes
17answers
8k views

Different ways to prove there are infinitely many primes?

This is just a curiosity. I have come across multiple proofs of the fact that there are infinitely many primes, some of them were quite trivial, but some others were really, really fancy. I'll show ...
54
votes
4answers
4k views

Fibonacci number that ends with 2014 zeros?

This problem is giving me the hardest time: Prove or disprove that there is a Fibonacci number that ends with 2014 zeros. I tried mathematical induction (for stronger statement that claims that ...
54
votes
3answers
3k views

$5^n+n$ is never prime?

In the comments to the question: If $(a^{n}+n ) \mid (b^{n}+n)$ for all $n$, then $ a=b$, there was a claim that $5^n+n$ is never prime (for integer $n>0$). It does not look obvious to prove, nor ...
53
votes
2answers
777 views

Does $\lfloor \sqrt{p} \rfloor$ generate all natural numbers?

Our algebra teacher usually gives us a paper of $20-30$ questions for our homework. But each week, he tells us to do all the questions which their number is on a specific form. For example, last ...
52
votes
8answers
6k views

The myth of no prime formula?

Terence Tao claims: For instance, we have an exact formula for the $n^\text{th}$ square number – it is $n^2$ – but we do not have a (useful) exact formula for the $n^\text{th}$ ...
52
votes
1answer
3k views

Quadratic reciprocity via generalized Fibonacci numbers?

This is a pet idea of mine which I thought I'd share. Fix a prime $q$ congruent to $1 \bmod 4$ and define a sequence $F_n$ by $F_0 = 0, F_1 = 1$, and $\displaystyle F_{n+2} = F_{n+1} + \frac{q-1}{4} ...
52
votes
2answers
963 views

Can $\sqrt{p}^{\sqrt{p}^{\sqrt{p}}}$ be an integer, if $p$ is a non-square positive integer?

Can $\sqrt{p}^{\sqrt{p}^{\sqrt{p}}}$ be an integer, when $p$ is a non-square positive integer? Of course, it seems it would never but is there a proof of the fact, or maybe we have some spooky $p$ ...
52
votes
1answer
3k views

Trigonometric sums related to the Verlinde formula

Original question (see also the revised, possibly simpler, version below): Let $g > 1, r > 1$ be integers. Playing around with the Verlinde formula (see below), I came across the expression ...
51
votes
5answers
5k views

Is this of any real importance to the mathematical scientific community?

I'm a 31 year old engineer, and I've recently came up with a way to exactly predict the probability of the number of prime numbers between two different integers. For example using my way, the number ...
49
votes
4answers
671 views

Integers $n$ such that $i(i+1)(i+2) \cdots (i+n)$ is real or pure imaginary

A couple of days ago I happened to come across [1], where the curious fact that $i(i-1)(i-2)(i-3)=-10$ appears ($i$ is the imaginary unit). This led me to the following question: Problem 1: Is $3$ ...
48
votes
6answers
4k views

$x^y = y^x$ for integers $x$ and $y$

We know that $2^4 = 4^2$ and $(-2)^{-4} = (-4)^{-2}$. Is there another pair of integers $x, y$ ($x\neq y$) which satisfies the equality $x^y = y^x$?
48
votes
5answers
4k views

Is the notorious $n^2 + n + 41$ prime generator the last of its type?

The polynomial $n^2+n+41$ famously takes prime values for all $0\le n\lt 40$. I have read that this is closely related to the fact that 163 is a Heegner number, although I don't understand the ...
48
votes
1answer
2k views

What's the value of this Viète-style product involving the golden ratio?

One way of looking at the Viète (Viete?) product $${2\over\pi} = {\sqrt{2}\over 2}{\sqrt{2+\sqrt{2}}\over 2}{\sqrt{2+\sqrt{2+\sqrt{2}}}\over 2}\dots$$ is as the infinite product of a series of ...
47
votes
8answers
8k views

Nice proofs of $\zeta(4) = \pi^4/90$?

I know some nice ways to prove that $\zeta(2) = \sum_{n=1}^{\infty} \frac{1}{n^2} = \pi^2/6$. For example, see Robin Chapman's list or the answers to the question "Different methods to compute ...
47
votes
2answers
5k views

The square roots of different primes are linearly independent over the field of rationals

I need to find a way of proving that the square roots of a finite set of different primes are linearly independent over the field of rationals. I've tried to solve the problem using ...
47
votes
4answers
5k views

Is 128 the only multi-digit power of 2 such that each of its digits is also a power of 2?

The number $128$ can be written as $2^n$ with integer $n$, and so can its every individual digit. Is this the only number with this property, apart from the one-digit numbers $1$, $2$, $4$ and $8$? ...
45
votes
8answers
8k views

Can someone please explain the Riemann Hypothesis to me… in English?

I've read so much about it but none of it makes a lot of sense. Also, what's so unsolvable about it?
45
votes
5answers
2k views

Golden Number Theory

The Gaussian $\mathbb{Z}[i]$ and Eisenstein $\mathbb{Z}[\omega]$ integers have been used to solve some diophantine equations. I have never seen any examples of the golden integers ...
44
votes
12answers
6k views

Proof that every number ≥ $8$ can be represented by a sum of fives and threes.

Can you check if my proof is right? Theorem. $\forall x\geq8, x$ can be represented by $5a + 3b$ where $a,b \in \mathbb{N}$. Base case(s): $x=8 = 3\cdot1 + 5\cdot1 \quad \checkmark\\ x=9 = 3\cdot3 ...
44
votes
3answers
5k views

Why is $e^{\pi \sqrt{163}}$ almost an integer?

The fact that Ramanujan's Constant $e^{\pi \sqrt{163}}$ is almost an integer ($262 537 412 640 768 743.99999999999925...$) doesn't seem to be a coincidence, but has to do with the $163$ appearing in ...
44
votes
5answers
1k views

Prime as sum of three numbers whose product is a cube

Good evening! I am very new to this site. I would like to put the following materiel from Prof. Gandhi's note book and my observations. Of course it is little long with more questions. But, with good ...
42
votes
14answers
10k views

For any prime $p > 3$, why is $p^2-1$ always divisible by 24?

I know this is very basic and old hat to many, but I love this question and I am interested in seeing whether there are any proofs beyond the two I already know.
42
votes
2answers
1k views

Do the Möbius function, totient function, sum of divisors and number of divisors uniquely specify a number?

Let $\mu\left(n\right)$ be the Möbius function. Let $\phi\left(n\right)$ be Euler's totient function. Let $\sigma\left(n\right)$ be the sum of divisors and $\tau\left(n\right)$ be the number of ...
40
votes
5answers
2k views

Intuition for the Importance of Modular Forms

I am learning about modular forms for the first time this term and am just starting to wrap my head around what might be the big picture of things. I was wondering if the following interpretation of ...
40
votes
2answers
1k views

Why is $\varphi$ called “the most irrational number”?

I have heard $\varphi$ called the most irrational number. Numbers are either irrational or not though, one cannot be more "irrational" in the sense of a number that can not be represented as a ratio ...
40
votes
1answer
1k views

Sums of prime powers

You are given positive integers N, m, and k. Is there a way to check if $$\sum_{\stackrel{p\le N}{p\text{ prime}}}p^k\equiv0\pmod m$$ faster than computing the (modular) sum? For concreteness, you ...
40
votes
1answer
820 views

Are there infinite many $n\in\mathbb N$ such that $\pi(n)=\sum_{p\leq\sqrt n}p$?

Are there infinite many $n\in\mathbb N$ such that $$\pi(n)=\sum_{p\leq\sqrt n}p,\tag{1}$$ where $\pi(n)$ is the Prime-counting_function? For example, ...
39
votes
6answers
2k views

Is $\sqrt[3]{p+q\sqrt{3}}+\sqrt[3]{p-q\sqrt{3}}=n$, $(p,q,n)\in\mathbb{N} ^3$ solvable?

In this recent answer to this question by Eesu, Vladimir Reshetnikov proved that $$ \begin{equation} \left( 26+15\sqrt{3}\right) ^{1/3}+\left( 26-15\sqrt{3}\right) ^{1/3}=4.\tag{1} \end{equation} $$ ...
39
votes
5answers
914 views

Generalizing the sum of consecutive cubes $\sum_{k=1}^n k^3 = \Big(\sum_{k=1}^n k\Big)^2$ to other odd powers

We have, $$\sum_{k=1}^n k^3 = \Big(\sum_{k=1}^n k\Big)^2$$ $$2\sum_{k=1}^n k^5 = -\Big(\sum_{k=1}^n k\Big)^2+3\Big(\sum_{k=1}^n k^2\Big)^2$$ $$2\sum_{k=1}^n k^7 = \Big(\sum_{k=1}^n ...