Let and be positive integers. A baby uses blocks to form a grid, with each of the blocks having a positive integer no greater than on it. The father passes by and notice that:
1. each row on the grid can be viewed as an arithmetic sequence with the left most number being its leading term, with all of them having distinct common differences;
2. each column on the grid can be viewed as an arithmetic sequence with the top most number being its leading term, with all of them having distinct common differences,
Find the smallest possible value of (as a function of .)
Note: The common differences might not be positive.
Solution
For an grid, when , the smallest possible value of is ; when , the smallest possible value of is .
Estimate: First, let denote the greatest integer not exceeding , and let . Since all the common differences of the rows are distinct, we need distinct common differences; and since from to there are only numbers in total, there must be a row whose common difference is or . Without loss of generality, suppose that row's common difference is , then since the leading term , we have
Construction: First consider the case . Let , and consider the construction
It is easy to verify that each row is respectively an arithmetic sequence with common difference from to , and each column is also respectively an arithmetic sequence with common difference from to , and the largest number is .
If , then consider the construction above, and remove the last row and the last column. It is easy to see that each row and each column is still an arithmetic sequence with distinct common differences, and the largest number at this time is .