MathDB

4

Part of 1995 Balkan MO

Problems(1)

There are exactly k squares in T having these two points

Source: Balkan MO 1995, Problem 4

4/24/2006
Let nn be a positive integer and S\mathcal S be the set of points (x,y)(x, y) with x,y∈{1,2,…,n}x, y \in \{1, 2, \ldots , n\}. Let T\mathcal T be the set of all squares with vertices in the set S\mathcal S. We denote by aka_k (k≥0k \geq 0) the number of (unordered) pairs of points for which there are exactly kk squares in T\mathcal T having these two points as vertices. Prove that a0=a2+2a3a_0 = a_2 + 2a_3.
Yugoslavia
analytic geometryinductioncombinatorics proposedcombinatorics