In a set of lattice points, define a "grid square" to be a square whose vertices are lattice points and sides are along the axis. Define a "tilted square" to be a square whose vertices are lattice points and sides are **not** along the axis.

Prove that in a \( n \times n \) grid, the number of grid squares and tilted squares, is equal to the number of tilted squares in a \( (n+1) \times ( n+1 ) \) grid.

For example, in the above image, the \( 2 \times 2 \) grid has 5 grid squares and 1 tilted square, and the \( 3 \times 3 \) grid has 6 tilted squares.

For the solution, scroll and see the last rooted comment. It's been downvoted so that there is spoiler space for you to think about this problem.

## Comments

Sort by:

TopNewestI found a bijection, but I can't explain the rule. But basically, for all the squares on the \(n\times n\) grid, you move one corner NE \(\dfrac{1}{\sqrt{2}}\) units, one corner NW\(\dfrac{1}{\sqrt{2}}\) units, one corner SW \(\dfrac{1}{\sqrt{2}}\) units, and one corner SE \(\dfrac{1}{\sqrt{2}}\) units. – Daniel Liu · 1 year, 9 months ago

Log in to reply

You have to be careful with how/where you're moving, so that you don't step out of the box. – Calvin Lin Staff · 1 year, 9 months ago

Log in to reply

– Daniel Liu · 1 year, 9 months ago

Well, I'm moving the vertices \(\dfrac{1}{\sqrt{2}}\) to the side, so actually the vertices of the squares are mapped from the centers of the unit squares of the grid to the corners of the grid. For example, if there was a \(3\times 3\) grid, it maps it to the corners of the unit squares of the \(3\times 3\) grid, which is a \(4\times 4\) grid (if that made any sense)Log in to reply

It is possible to explain how/why the large yellow square and the green square, both end up mapping to the red squares. – Calvin Lin Staff · 1 year, 9 months ago

Log in to reply

But they do map, because if you sort of rotate the outermost points of the \(n^2\) grid in a clockwise direction a little, and then add in 4 corner points, it becomes the \((n+1)^2\) grid. – Daniel Liu · 1 year, 9 months ago

Log in to reply

– Calvin Lin Staff · 1 year, 9 months ago

That induction bijection step that you described, is most likely just the bijection step directly. IE if the bijections are all equal throughout the induction steps, you can just apply them all at once.Log in to reply

Is there yet a better solution? – Daniel Liu · 1 year, 9 months ago

Log in to reply

– Calvin Lin Staff · 1 year, 9 months ago

Scroll down and see my solution :)Log in to reply

– Karthik Venkata · 1 year, 9 months ago

I too am interested in induction for this problem....Log in to reply

We can do this by brute force. For a \(n \times n\) grid, the number of grid squares is simply the sum of squares, as there is \(1\) largest square, \(4\) next largest square, etc, so we have

\(\displaystyle\sum _{ k=1 }^{ n }{ { k }^{ 2 } } =\dfrac { 1 }{ 6 } n(n+1)(2n+1)=\{ 1,5,14,30,55,91,...)\)

Figuring out the number of tilted squares is harder, but we can discern a pattern by inspection, looking at the number of different sized tilted squares (touching sides of largest square grids to the smallest) by way of a kind of an induction

\(0=0\\ 1=1(1)\\ 6=1(2)+4(1)\\ 20=1(3)+4(2)+9(1)\\ 50=1(4)+4(3)+9(2)+16(1)\\ 105=1(5)+4(4)+9(3)+16(2)+25(1)\)

So that we have

\(\displaystyle\sum _{ k=1 }^{ n }{ { k }^{ 2 } } (n-k)=\dfrac { 1 }{ 12 } (n-1){ n }^{ 2 }(n+1)=\{ 0,1,6,20,50,105,...)\)

From these two, we can show that

\(\dfrac { 1 }{ 6 } n(n+1)(2n+1)+\dfrac { 1 }{ 12 } (n-1){ n }^{ 2 }(n+1)=\dfrac { 1 }{ 12 } n{ (n+1) }^{ 2 }(n+2)\)

And thus the conjecture is proven. I’m sure there might be an more elegant way of showing this, which would mean a quicker way of working out the total number of squares, grid and tilted, in a square lattice, but I’d have to think about it. – Michael Mendrin · 1 year, 9 months ago

Log in to reply

Yes, there is an extremely elegant bijection. – Calvin Lin Staff · 1 year, 9 months ago

Log in to reply

I can see sort of a bijection based on the pattern that I've described, but the geometrical transformation rule eludes me. Hmm.

Okay, it has to do with the centers of the squares. Some kind of a bijection between the centers of the squares from one grid to the next largest. I don't know quite the best way to express it. But the key is that the center of any square, grid or tilted, always fall in integral coordinate multiples of \(\frac { 1 }{ 2 } \), in any grid, so we set up a bijection accordingly. For example, the two largest squares in the \(2 x 2\) grid share the same center as the two largest squares in the \(3 x 3\) grid, and likewise for the next \(4\) squares of each. – Michael Mendrin · 1 year, 9 months ago

Log in to reply

– Michael Mendrin · 1 year, 9 months ago

Man.... still scratching my head with that one, there's actually a bijection?Log in to reply

– Karthik Venkata · 1 year, 9 months ago

Sir, can you disclose the bijection ?Log in to reply

On the left side are a series of squares of increasing sides, with inscribed tilted squares. It is readily seen that the number of inscribed tilted squares in a \(n-1\times n-1\) square plus \(1\) equals to the number of inscribed tilted squares in a \(n\times n\) square.

On the right side note that for any \(n\times n\) square there is \(1\) largest grid square, \(4\) next largest grid square, \(9\) next largest, etc. This corresponds to the number of grid squares in the \(n-1\times n-1\) square, i.e. \(1\) largest grid square, \(4\) next largest square, etc. Hence, there's a bijection of the number of grid squares, but for the number of the smallest grid square in the \(n\times n\) square.

But since we are counting only tilted squares in the \(n\times n\) square, the count of the smallest grid square does not matter.Every grid square of any size has associated with it tilted squares that are inscribed in it, and every tilted square of any size has associated with it a grid square that circumscribes it. So, counting all the tilted squares in a \(n\times n\) square is the same as counting all the squares, grid and titled, in a \(n-1\times n-1\) square. This is the bijection. – Michael Mendrin · 1 year, 9 months ago

Log in to reply

Spoiler space. If you do not want to see the bijection, then stop scrolling down.

\[\] \[\] \[\] \[\] \[\] \[\] \[\] \[\] \[\] \[\] \[\] \[\] – Calvin Lin Staff · 1 year, 9 months ago

Log in to reply

Given any square in the \( n \times n \) grid, we define the TR = TOP (RIGHT) corner to the the topmost corner. If there are 2 such corners (then we have a grid square), and we will take the right most one.

Creating the bijection:

Fix the TR corner.

The corner that is clockwise from it is the RB = RIGHT (Bottom) corner. We will move this corner to the right by 1.

The corner that is clockwise from it is the BL = BOTTOM (left) corner. We will move this corner to the right by 1 and bottom by 1.

The corer that is clockwise form it is the LT = LEFT (top) corner. We will move this corner to the bottom by 1.

Claim: This gives us a square in the \(n+1 \) grid.

Proof: It is clear that the defined points lie in the grid due to the extra row and column that we have. It remains to show that the side lengths are equal. This is obvious by definition, since if the original square length is \( \sqrt{ a^2 + b^2 } \), then the new length is \( \sqrt{ ( a+1) ^2 + b^2 } \).

Claim: This does not give us a grid square in the \(n+1 \) grid.

Proof: Suppose it does. Then show that the TR corner would not be the top most. This is because the LT corner gets moved down 1 to become parallel to TR.

Claim: This is a surjection.

Following the TR-RB corners, it is clear that each \(n\) square gives a unique \(n+1\) square.

Claim: This is an injection.

It remains to show how we can go back. The mapping is obvious, starting again with the TOP corner (which is unique since there are no grid square), which will be our TR corner.

Hence, we have a bijection, and we are done.

Here is the bijection for the \( n = 3 \) case that was depicted above. Notice that the TR corner of each square is fixed, and then they are rotated counter-clockwise.

– Calvin Lin Staff · 1 year, 9 months agoLog in to reply

This is great and generalises well to triangle analogue of this question in an obvious way. I'm going to see if this kind of relation generalises to the 3D case of counting cubes. Thanks! – Roberto Nicolaides · 11 months, 1 week ago

Log in to reply

I would love to see the triangle analogue and the 3-D case :) – Calvin Lin Staff · 11 months, 1 week ago

Log in to reply

I wrote a quick programme to get some data on 3D and 4D cubes to help see if a simple pattern like this exists. It doesn't look like a simple pattern exists (at least I couldn't see one immediately) but maybe something more complicated with quarternions and similar things may exist - interesting stuff. Some seemingly useful (but too complicated for me right now ) paper solving this higher dimensional problem. – Roberto Nicolaides · 9 months, 3 weeks ago

Log in to reply

– Michael Mendrin · 1 year, 9 months ago

I was looking for the actual formula or transform that will "plot" the points of each square from one grid to the next, but so far all of my efforts are anything but elegant. But, given any square of side length \(m\) in the smaller grid, there corresponds to that a square of side length \(m+1\) in the larger grid, and if you consider just the squares that are "inscribed" in such squares, it's easy to see that the one grid square and \(m-1\) tilted squares inscribed in the square of side length \(m\) sums up to the \(m\) tilted squares inscribed in the square of side length \(m+1\). That's the basic idea. How to implement that with an actual transform formula, I haven't been able to work out in an elegant way, without using lots of things like Floor functions.Log in to reply

I'm not too sure what you mean by "given any square of side length \(m \), ...". Is there the possibility that you mean the mapping is from \(m^2 \) to \( m^2 + 1 \)? If so, that will only work for small cases of \(n\), where we do not have too many different lengths. For example, the square with side length \( \sqrt{10} \) cannot map to a square of side length \( \sqrt{11} \). – Calvin Lin Staff · 1 year, 9 months ago

Log in to reply

Once again, I got sidetracked on the whole idea of how to even define or describe a "transform" for something like this. But I know that's not what this problem calls for. – Michael Mendrin · 1 year, 9 months ago

Log in to reply

In fact, with the problem, the issue is to define / describe the bijection, and finding a clear explanation for how to establish the mapping. To me, it is still slightly surprising that the number of squares are equal and that such a mapping exists.

I use a program called OmniGraffle, which is great for such designs. However, it doesn't deal well with mathematical constructions. – Calvin Lin Staff · 1 year, 9 months ago

Log in to reply

Why is that when I'm using ever larger computer monitors in which to do my work, the rest of the world is going to smaller and smaller monitors, down to the size of a watch? I don't get it. If I ever get convicted and sent to prison, one way I could be tortured is to be forced to do math on Apple watch. Oh, the inhumanity. – Michael Mendrin · 1 year, 9 months ago

Log in to reply

I love screen real estate. I already use a 20 inch display at work (in addition to my laptop), and am considering adding an additional screen. – Calvin Lin Staff · 1 year, 9 months ago

Log in to reply

Downvoted your post and upvoted your solution :) – Daniel Liu · 1 year, 9 months ago

Log in to reply