Use this tag if your question is about a well-known conjecture or a conjecture of your own.

learn more… | top users | synonyms

55
votes
12answers
5k views

Conjectures that have been disproved with extremely large counterexamples?

I just came back from my Number Theory course, and during the lecture there was mention of the Collatz Conjecture. I'm sure that everyone here is familiar with it; it describes an operation on a ...
47
votes
2answers
1k views

Integral $\int_1^\infty\frac{\operatorname{arccot}\left(1+\frac{2\pi}{\operatorname{arcoth}x-\operatorname{arccsc}x}\right)}{\sqrt{x^2-1}}dx$

Consider the following integral: $$\mathcal{I}=\int_1^\infty\frac{\operatorname{arccot}\left(1+\frac{2\,\pi}{\operatorname{arcoth}x\,-\,\operatorname{arccsc}x}\right)}{\sqrt{x^2-1}}dx,$$ where ...
43
votes
2answers
1k views

Conjecture $\int_0^1\frac{dx}{\sqrt[3]x\,\sqrt[6]{1-x}\,\sqrt{1-x\left(\sqrt{6}\sqrt{12+7\sqrt3}-3\sqrt3-6\right)^2}}=\frac\pi9(3+\sqrt2\sqrt[4]{27})$

Let $$\alpha=\sqrt{6}\ \sqrt{12+7\,\sqrt3}-3\,\sqrt3-6.\tag1$$ Note that $\alpha$ is the unique positive root of the polynomial equation $$\alpha^4+24\,\alpha^3+18\,\alpha^2-27=0.\tag2$$ Now consider ...
42
votes
1answer
1k views

Does $|n^2 \cos n|$ diverge to $+\infty$?

I was recently exposed to the problem of deciding whether $$ \lim_{n \to +\infty} |n \cos n| = +\infty$$ where the limit is taken over the integers. As $|\cos n|$ oscillates throughout the interval ...
40
votes
2answers
430 views

Conjecture $_2F_1\left(\frac14,\frac34;\,\frac23;\,\frac13\right)=\frac1{\sqrt{\sqrt{\frac4{\sqrt{2-\sqrt[3]4}}+\sqrt[3]{4}+4}-\sqrt{2-\sqrt[3]4}-2}}$

Using a numerical search on my computer I discovered the following inequality: $$\left|\,{_2F_1}\left(\frac14,\frac34;\,\frac23;\,\frac13\right)-\rho\,\right|<10^{-20000},\tag1$$ where $\rho$ is ...
39
votes
1answer
1k views

Conjecture $\int_0^1\frac{dx}{\sqrt{1-x}\ \sqrt[4]x\ \sqrt[4]{2-x\,\sqrt3}}\stackrel?=\frac{2\,\sqrt2}{3\,\sqrt[8]3}\pi$

$$\int_0^1\frac{dx}{\sqrt{1-x}\ \sqrt[4]x\ \sqrt[4]{2-x\,\sqrt3}}\stackrel?=\frac{2\,\sqrt2}{3\,\sqrt[8]3}\pi\tag1$$ The equality numerically holds up to at least $10^4$ decimal digits. Can we ...
32
votes
2answers
4k views

Symmetry of bicycle-lock numbers

Suppose you have a combination bicycle lock of this sort: with $n$ dials and $k$ numbers on each dial. Let $m(n,k)$ denote the minimum number of turns that always suffice to open the lock from any ...
25
votes
2answers
728 views

A conjectural closed form for $\sum\limits_{n=0}^\infty\frac{n!\,(2n)!}{(3n+2)!}$

Let $$S=\sum\limits_{n=0}^\infty\frac{n!\,(2n)!}{(3n+2)!},\tag1$$ its numeric value is approximately $S \approx 0.517977853388534047...$${}^{[more\ digits]}$ $S$ can be represented in terms of the ...
25
votes
1answer
308 views

Conjectured closed form for $\int_0^1x^{2\,q-1}\,K(x)^2dx$ where $K(x)$ is the complete elliptic integral of the 1ˢᵗ kind

I am interested in a general closed-form formula for integrals of the following form: $$\mathcal{J}_q=\int_0^1x^{2\,q-1}\,K(x)^2dx,\tag0$$ where $K(x)$ is the complete elliptic integral of the 1ˢᵗ ...
23
votes
3answers
622 views

A conjectured closed form of $\int_0^\infty\frac{x-1}{\sqrt{2^x-1}\ \ln\left(2^x-1\right)}dx$

Consider the following integral: $$\mathcal{I}=\int_0^\infty\frac{x-1}{\sqrt{2^x-1}\ \ln\left(2^x-1\right)}dx.$$ I tried to evaluate $\mathcal{I}$ in a closed form (both manually and using ...
22
votes
4answers
1k views

Proving a known zero of the Riemann Zeta has real part exactly 1/2

Much effort has been expended on a famous unsolved problem about the Riemann Zeta function $\zeta(s)$. Not surprisingly, it's called the Riemann hypothesis, which asserts: $$ \zeta(s) = 0 ...
21
votes
2answers
467 views

Conjecture: $\int_0^1\frac{3x^3-2x}{(1+x)\sqrt{1-x}}K\big(\!\frac{2x}{1+x}\!\big)\,dx\stackrel ?=\frac\pi{5\sqrt2}$

$$\int_0^1\frac{3x^3-2x}{(1+x)\sqrt{1-x}}K\left(\frac{2x}{1+x}\right)\,dx\stackrel ?=\frac\pi{5\sqrt2}$$ The integral above comes from the evaluation of the integral ...
19
votes
2answers
385 views

An integral $\int_0^\infty P_s(x-1)\,e^{-x}\,dx$ involving Legendre functions

Let $P_s(x)$ denote the Legendre functions of the $1^{st}$ kind, i.e. the Legendre polynomial generalized to an arbitrary (not necessarily integer) order $s$. It can be expressed using the ...
18
votes
1answer
402 views

Simplify $\frac{_3F_2\left(\frac{1}{2},\frac{3}{4},\frac{5}{4};1,\frac{3}{2};\frac{3}{4}\right)}{\Pi\left(\frac{1}{4}\big|\frac{1}{\sqrt{3}}\right)}$

Is it possible to simplify the ratio $$\mathcal{E}=\frac{_3F_2\left(\frac{1}{2},\frac{3}{4},\frac{5}{4};\ 1,\frac{3}{2};\ \frac{3}{4}\right)}{\Pi\left(\frac{1}{4}\Big|\frac{1}{\sqrt{3}}\right)},$$ ...
17
votes
2answers
277 views

How to prove $4\times{_2F_1}(-1/4,3/4;7/4;(2-\sqrt3)/4)-{_2F_1}(3/4,3/4;7/4;(2-\sqrt3)/4)\stackrel?=\frac{3\sqrt[4]{2+\sqrt3}}{\sqrt2}$

I have the following conjecture, which is supported by numerical calculations up to at least $10^5$ decimal digits: ...
16
votes
4answers
542 views

Closed form for $\int_{-1}^1\frac{\ln\left(2+x\,\sqrt3\right)}{\sqrt{1-x^2}\,\left(2+x\,\sqrt3\right)^n}dx$

I'm trying to find a closed form for the following integral: $$\mathcal{J}(n)=\int_{-1}^1\frac{\ln\left(2+x\,\sqrt3\right)}{\sqrt{1-x^2}\,\left(2+x\,\sqrt3\right)^n}dx\tag1$$ I have conjectured values ...
16
votes
3answers
582 views

Interesting Property of Numbers in English

I was playing with the letters in numbers written in English and I found something quite funny. I found that if you count the number of letters in the number and write this as a number and then count ...
16
votes
2answers
418 views

How to prove $\int_0^\infty J_\nu(x)^3dx\stackrel?=\frac{\Gamma(1/6)\ \Gamma(1/6+\nu/2)}{2^{5/3}\ 3^{1/2}\ \pi^{3/2}\ \Gamma(5/6+\nu/2)}$?

I am interested in finding a general formula for the following integral: $$\int_0^\infty J_\nu(x)^3dx,\tag1$$ where $J_\nu(x)$ is the Bessel function of the first kind: $$J_\nu(x)=\sum ...
16
votes
1answer
455 views

Status of a conjecture about powers of 2

I recently saw a conjecture on a blog ( http://blog.tanyakhovanova.com/?p=311 ) which the author refers to as the 86 conjecture. The conjecture claims that all powers of 2 greater than $2^{86}$ have a ...
15
votes
1answer
218 views

Is $K\left(\frac{\sqrt{2-\sqrt3}}2\right)\stackrel?=\frac{\Gamma\left(\frac16\right)\Gamma\left(\frac13\right)}{4\ \sqrt[4]3\ \sqrt\pi}$

Working on this conjecture, I found its corollary, which is also supported by numeric caclulations up to at least $10^5$ decimal digits: ...
15
votes
1answer
424 views

Examples of falsified (or currently open) longstanding conjectures leading to large bodies of incorrect results.

In general, the way that modern mathematical research is conducted isn't the way that many would assume is the ideal method of research. That is, mathematics is not the linear progression of ...
14
votes
2answers
507 views

open conjectures in real analysis targeting real valued functions of a single real variable

I am hoping that this question (if in acceptable form) be community wiki. Are there any open conjectures in real analysis primarily targeting real valued functions of a single real variable ? (it may ...
14
votes
1answer
316 views

Density of odd numbers in a sequence relating base 2 and base 3 expansion

Define the function $$f(4n)=6n+1\\ f(4n+1)=6n+2\\ f(4n+2)=6n+3\\ f(4n+3)=6n+5$$ and the sequence $u_0=2$, $u_{k+1}=f(u_k)$. Let $d_1\le d_2$ be the lower and upper asymptotic density of odd numbers ...
13
votes
3answers
1k views

The $5n+1$ Problem

The Collatz Conjecture is a famous conjecture in mathematics that has lasted for over 70 years. It goes as follows: Define $f(n)$ to be as a function on the natural numbers by: $f(n) = n/2$ if $n$ ...
13
votes
1answer
495 views

Big-Daddy-Conjectures and Hierarchy of Mathematical Conjectures

I am interested in the Hierarchy and Connections between various different open problems in Mathematics, and the most general conjectures in various fields of Mathematics. Examples of Hierachy ...
12
votes
4answers
2k views

How to propose a conjecture

What are the basic things (about when and how) to be kept in mind while proposing a conjecture in Mathematics. Should it accompany solid efforts at proof. When should any one think of proposing a ...
12
votes
2answers
291 views

Conjecture $\int_0^1\frac{\ln\left(\ln^2x+\arccos^2x\right)}{\sqrt{1-x^2}}dx\stackrel?=\pi\,\ln\ln2$

$$\int_0^1\frac{\ln\left(\ln^2x+\arccos^2x\right)}{\sqrt{1-x^2}}dx\stackrel?=\pi\,\ln\ln2$$ Is it possible to prove this?
11
votes
1answer
359 views

The Goldbach Conjecture and Hardy-Littlewood Asymptotic

A source I am reading refers to the Goldbach conjecture (that every even number is the sum of two primes), and then immediately follows with the "Hardy-Littlewood conjecture" that $\sum ...
11
votes
1answer
286 views

Is there any theoretical indication that this conjecture of Catalan could be true?

Belgian mathematician Catalan in $1876$ made next conjecture: If we consider the following sequence of Mersenne prime numbers: $2^2-1=3 , 2^3-1=7 , 2^7-1=127 , 2^{127}-1$ then $$2^{2^{127}-1}-1$$ is ...
10
votes
1answer
386 views

Continuous Collatz Conjecture

Has anyone studied the real function $$ f(x) = \frac{ 2 + 7x - ( 2 + 5x )\cos{\pi x}}{4}$$ (and $f(f(x))$ and $f(f(f(x)))$ and so on) with respect to the Collatz conjecture? It does what Collatz ...
9
votes
4answers
1k views

What does proving the Collatz Conjecture entail?

From the get go: i'm not trying to prove the Collatz Conjecture where hundreds of smarter people have failed. I'm just curious. I'm wondering where one would have to start in proving the Collatz ...
8
votes
3answers
631 views

Branches of mathematics not having a general method to solve

I studied applied math, so each course (except abstract algebra) was dedicated to solution of a similar problems. After those courses it seems that every branch of mathematics has a developed theory ...
8
votes
1answer
183 views

Proving infinitude of primes in a certain form.

Here I have the following conjecture -Let $$S_1(n)= \frac{(n-1)! +1}{n}$$ then there exist infinite prime numbers $p$ for which $S_1(p)$ is prime. And I don't know how to prove it. EDIT Let ...
8
votes
1answer
135 views
7
votes
1answer
234 views

What is the importance of 3n in the Collatz Conjecture?

I'm not mathematician, so forgive me if I make wrong assumptions. I was wondering what the importance of the $3n$ is in the Collatz Conjuncture. If you just do $n + 1$, it seems you'll end up at $1$ ...
7
votes
1answer
214 views

Integral $\int_0^\infty\frac{dx}{\frac{x^4-1}{x\cos(\pi\ln x)+1}+2x^2+2}$

I need your help with this integral: $$\int_0^\infty\frac{dx}{\frac{x^4-1}{x\cos(\pi\ln x)+1}+2\,x^2+2}.$$ I wasn't able to evaluate it in a closed form, although an approximate numerical evaluation ...
7
votes
0answers
255 views

Asymptotic FLT $\implies$FLT using ABC Conjecture

Edit: I'm beginning to suspect I either misread the sources or perhaps something wasn't stated, but it's my guess now that there is no nontrivial way of showing the ABC conjecture implies Fermat's ...
6
votes
1answer
406 views

Is it known or new? [duplicate]

Possible Duplicate: Starting digits of 2^n While I was randomly working with number patterns, I came along with some interesting pattern which seems to turn to a conjecture in fact. My ...
6
votes
2answers
221 views

About the hyperplane conjecture.

I have recently heard about the hyperplane conjecture and I would like to understand better the problematic behind this conjecture. The hyperplane conjecture: There exists a universal constant ...
6
votes
0answers
89 views

Question regarding the status of Erdős' conjectures

Has Erdős' conjecture on arithmetic progressions or his conjecture on Sylvester's sequence been proven?
5
votes
1answer
180 views

A conjecture $\int_{-\infty}^\infty\frac{\arctan e^x}{\cosh x}\cdot\frac{\tanh\frac{x}2}{x}dx\stackrel?=\frac\pi2\ln2$

I need to find a closed form for this integral: $$\mathcal{I}=\int_{-\infty}^\infty\frac{\arctan e^x}{\cosh x}\cdot\frac{\tanh\frac{x}2}{x}dx.$$ A numerical integration results in an approximation ...
5
votes
2answers
2k views

Which notable mathematicans have tried solving the Riemann hypothesis?

I have read that the Riemann hypothesis is the most important open question in mathematics and has been open since 1859. I am wondering which famous mathematicians have actually tried to solve it and ...
5
votes
1answer
292 views

Is this number theory conjecture known to be true?

I've been working on proving that there is always a prime between $n$ and $2n$, and also that there is always a prime between $n^2$ and $(n+1)^2$ (Legendre's conjecture). I believe I've proven those ...
5
votes
3answers
220 views

Isoperimetric inequality, isodiametric inequality, hyperplane conjecture… what are the inequalities of this kind known or conjectured?

Question: Which inequalities similar to the famous isoperimetric inequality is known? conjectured? I recently learned about some inequalities which are all similar to the famous isoperimetric ...
5
votes
2answers
260 views

Is this conjecture on Fibonacci sums correct?

I have the following conjecture, need to know a proof just in case mine is wrong, or the conjecture itself is wrong. The sum of $k$ distinct Fibonacci numbers can be written in at most $k$ ways as ...
5
votes
1answer
163 views

How to prove the equivalence between the two statements of ABC conjecture?

The ABC conjecture stated by wikipedia says the following statements are equivalent: I. For $\epsilon>0$, there are finite coprime triple $(a,b,c)$ satisfying $a+b=c$ such that ...
5
votes
1answer
265 views

Does this $\zeta(s)$ identity have a name?

I have generalized the product from this thread: Let $s=2n+1$ for $n\ge1$, $$\zeta (s)=\frac{\zeta (2 s)}{\zeta (2)} \prod _{n=1}^{\infty } \frac{\sum _{i=0}^{s-1}(-p_n){}^i}{(p_{n}-1)p_{n}^{s-2}}$$ ...
5
votes
3answers
425 views

Erdös-Straus conjecture

I'm reading a lot about the Erdös-Straus Conjecture (ESC), a conjecture that states that for every natural number $p \geq 2$, there exists a set of natural numbers $a, b, c$ , such that the following ...
5
votes
1answer
312 views

Prove that there exists an $m$ such that for any $n>m$ there exists at least one prime between $c_n$ and $n$

Let $c_n$ be the $n$-th composite. Then the problem is to prove that- $\pi(c_n)-\pi(n)>0$ $\forall n>m$ I have tried to progress in the problem using an elementary approach. So far I have ...