A conjecture inspired by the abc-conjecture

Question

This conjecture is obviously inspired by the abc-conjecture:

Let $\gcd(a,b)=1$ then $\operatorname{rad}((a+b)ab(ab+a+b))> ab+a+b$

I am not asking for a proof, just for possible counterexamples, if they exist. I checked this with the computer for some numbers, and didn't find any counterexample.

What I checked so far $(\gcd(a,b)=1)$:

1. $1 \le a,b \le 1000$
2. $a=1$, $1 \le b \le 10^6$
3. $1 \le m \le 10^6$, $a=m,b=m+1$

Heuristic that this is true for infinetly many $b$: If $p\neq 2$ is a prime, then set $b = \frac{p-1}{2}, a = 1$. Then $\operatorname{rad}((a+b)ab(ab+a+b)) = \operatorname{rad}(\frac{p-1}{2}\frac{p+1}{2}p) > p = ab+a+b$

Another way to prove that there are infinitely many $(a,b)$ which fulfill the conjecture: Choose some $a \in \mathbb{N}$. Since $\gcd(a,a+1)=1$, by the (https://en.wikipedia.org/wiki/Dirichlet%27s_theorem_on_arithmetic_progressions) Dirichlet theorem on arithmetic progression there are infinitely many primes of the form $p = b(a+1)+a = ab + a +b$. Then necessarily $\gcd(a,b)=1$, otherwise if $g=\gcd(a,b)$ $a = g a_1$ and $b=g b_1$ then $g | p$ and hence $g=p$, which is impossible since $p = g ( a_1 b_1+a_1+b_1)$ and we must have $3 \le a_1b_1+a_1+b_1=1$, which can not work. Then $\operatorname{rad}((a+b)ab(ab+a+b)) = \operatorname{rad}((a+b)ab \cdot p) > p = ab + a +b$

Edit: If someone finds another way to produce infinitely many tuples $(a,b)$ which fulfill the conjecture, that would also be interesting.

Second Edit: Related question: https://mathoverflow.net/questions/343245/other-examples-of-irreducible-similarities-over-the-natural-numbers

Answer 1

This is not an answer, but a community wiki to avoid a lot of comments.

What I have tested without failure, so far:

$a=2$ and $b=1,\dots, 1,000,000$
$0<a,b<10,000$

Also tested without failure:

1. $3 \le p \le 10^6 $, $p$ prime. $a = 1$, $b = \frac{p^2-1}{2}$
2. $ p \neq q, p,q \le 10^4$, $p,q$ primes, $a=p$, $b=q$
3. $ 3 \le p \le 10^6$, $p$ prime, $a=\frac{p-1}{2},b=\frac{p+1}{2}$

Answer 2

One easy way to get infinitely many true cases is to assume $a$ and $b$ are squarefree. Then the radical of $(a+b)ab(ab+a+b)$ is necessarily a multiple of $ab$. Both $a+b$ and $ab+a+b$, being coprime to $ab$ and mutually coprime, must contribute some nontrivial prime factor to the radical. Therefore the radical is at least $2 \cdot 3 \cdot ab$, which is strictly greater than $ab+a+b$.

Answer 3

Exhaustive list of triples $(A,B,C)$ (for $C<10^{18}$) such that $$A+B=C,\\rad(ABC)<C,\tag{1}$$ is accessible by the link Bart de Smit/ABC triples/by size, file abctriples_below_1018.gz .

If such pair-counterexample $(a,b)$ exists (as described in the question), then $GCD(a+b,ab)=1$, and if construct $$\begin{array}{l}A=a+b,\\B=ab, \\C=ab+a+b;\end{array}\tag{2}$$ then $(1)$ must be true for constructed $(A,B,C)$.

But there are no triples $(A,B,C)$ from the database above of the form $(2)$.

(If numbers $A,B$ can be written in the form $A=a+b,B=ab$, then polynomial $f(x)=x^2-Bx+A$ has $2$ positive integer roots.)

So, to find counterexample $(a,b)$, one needs search in the range $ab+a+b\ge 10^{18}$. $\color{#E0E0E0}{Hopeless...}$

Answer 4

This question is related to the following conjecture: $$(x+y)^2<\operatorname{rad}\bigl[xy(x+y)(x^2+xy+y^2)\bigr]$$

Assuming $a<b$, we can consider other triples: $$(a,b(a+1),a+b+ab) \tag{1}$$ $$(b,a(b+1),a+b+ab) \tag{2}$$ $$(2(a+b),ab-a-b,a+b+ab) \tag{3}$$

(1) and (2) can be an ABC-triple, although for (2) I only found two examples checking the mentioned ABC-database: $(2^{16}.5^2,3^6.41.89^2.449,571^4)$ and $(2^4.5^6,53^2.89.499^2,3^2.7^2.109^4)$.

(3) seems to have the same property as the above conjecture: $$ab+a+b < \text{rad} \big( 2(a+b)(ab-a-b)(ab+a+b) \big)=\text{rad} \big( 2(a+b)(a^2b^2-(a+b)^2)\big)$$