Skip to content

Erdős problem 1148

Can every large integer nn be written as n=x2+y2−z2n=x^2+y^2-z^2 with max⁡(x2,y2,z2)≤n\max(x^2,y^2,z^2)\leq n?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1148.lean

Retained formal statement2 of 3

The integer 65636563 cannot be written as x2+y2−z2x^2 + y^2 - z^2 with max⁡(x2,y2,z2)≤6563\max(x^2, y^2, z^2) \leq 6563.

FormalConjectures/ErdosProblems/1148.leanErdos1148.erdos_1148.variants.lower_bound1 lineExact file
¬Erdos1148.Erdos1148Prop 6563
TextbookStatement only, no proof