Example 8 A positive integer, if it can be expressed as the difference of squares of two positive integers, is called a "wise number". Arrange all the wise numbers in ascending order. Find the wise number at the 2009th position.
Solution
Solution: Let be any positive integer.
When , we have .
Thus, every odd number greater than 1 is a wise number.
When , we have
Thus, every number greater than 4 and divisible by 4 is a wise number.
When , let .
Then .
Thus, is even.
Since and have the same parity, both and are even. Therefore, . Hence, , which implies , a contradiction.
Therefore, every number of the form is not a wise number.
If all wise numbers are arranged in ascending order and, except for the first wise number, the rest are grouped into sets of 3:
According to the above discussion, the last number in each set is a multiple of 4, so the -th set is
Since , the 2009th position in the sequence is the first number of the 670th set, which is .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.