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 statement2 of 3

The integer $6563$ cannot be written as $x^2 + y^2 - z^2$ with $\max(x^2, y^2, z^2) \leq 6563$ .

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

1¬Erdos1148.Erdos1148Prop 6563

TextbookStatement only, no proof