Erdős problem 1148 · problems.science

Can every large integer $n$ be written as $n=x^2+y^2-z^2$ with $\max(x^2,y^2,z^2)\leq n$ ?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

1148.lean

Retained formal statement3 of 3

[Va99] reports this is 'obvious' if we replace $\leq n$ with $\leq n+2\sqrt{n}$ .

FormalConjectures/ErdosProblems/1148.leanErdos1148.erdos_1148.variants.weaker1 lineExact file

1∀ (n : ℕ), Erdos1148.erdos_1148_weaker_prop n

SolvedStatement only, no proof