Claim 3 — the hyperbola $xy+a(x+y)=b$ meets $[0,1]^2$ along a convex (resp. concave) decreasing segment

Initializing...

Claim 3 — the hyperbola $xy+a(x+y)=b$ meets $[0,1]^2$ along a convex (resp. concave) decreasing segment · Prove2Me