A new approach to the results of Kövari, Sós, and Turán concerning rectangle-free subsets of the grid
For positive integers m and n, define f(m,n) to be the smallest integer such that any subset A of the m×n integer grid with ∣A∣≥f(m,n) contains a rectangle; that is, there are x∈[m] and y∈[n] and d1,d2∈Z+ such that all four points (x,y), (x+d1,y), (x,y+d2), and (x+d1,y+d2) are contained in A. In \cite{kovarisosturan}, Kövari, Sós, and Turán showed that $\dlim_{k \to \infty}\dfrac{f(k,k)}{k^{3/2}} = 1$. They also showed that whenever p is a prime number, f(p2,p2+p)=p2(p+1)+1. We recover their asymptotic result and strengthen the second, providing cleaner proofs which exploit a connection to projective planes, first noticed by Mendelsohn in \cite{mendelsohn87}. We also provide an explicit lower bound for f(k,k) which holds for all k.