USAJMO 2026 (Problem 1)

Let a,b,ca,b,c be distinct positive integers such that ab+c=c2ab+c=c^2. Prove that (a−b)2≥4c(a-b)^2\ge 4c.