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?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/324.lean

Formal Conjectures

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

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Continue

Search problems.science