Skip to content

Erdős problem 324

Start work

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

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

324.lean

Retained formal statement2 of 2

Probably f(x)=x5f(x) = x^5 has the property that the sums f(a)+f(b)f(a)+f(b) with a<ba < b nonnegative integers are distinct.

FormalConjectures/ErdosProblems/324.leanErdos324.erdos_324.variants.quintic5 linesExact file
Set.InjOn  (fun x =>    match x with    | (a, b) => a ^ 5 + b ^ 5)  {(a, b) | a < b}
OpenStatement only, no proof