Erdős problem 324 · problems.science

Does there exist a polynomial $f(x)\in\mathbb{Z}[x]$ such that all the sums $f(a)+f(b)$ with $a < b$ nonnegative integers are distinct?

Sources

Browse retained paths and inspect the exact material available for this Problem.

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

324.lean

Retained formal statement1 of 2

Does there exist a polynomial $f(x)\in\mathbb{Z}[x]$ such that all the sums $f(a)+f(b)$ with $a < b$ nonnegative integers are distinct?

FormalConjectures/ErdosProblems/324.leanErdos324.erdos_3247 linesExact file

1sorry ↔2  ∃ f,3    Set.InjOn4      (fun x =>5        match x with6        | (a, b) => Polynomial.eval (↑a) f + Polynomial.eval (↑b) f)7      {(a, b) | a < b}

OpenStatement only, no proof

Sources

Search problems.science