An anti-Pascal pyramid is a finite set of numbers, placed in a triangle-shaped array so that the first row of the array contains one number, the second row contains two numbers, the third row contains three numbers, and so on; and, except for the numbers in the bottom row, each number equals the absolute value of the difference of the two numbers below it. For instance, the triangle below is an anti-Pascal pyramid with four rows, in which every integer from 1 to occurs exactly once:
Is it possible to form an anti-Pascal pyramid with 2018 rows, using every integer from 1 to exactly once? (Iran) Answer: No, it is not possible.
Solution
Let be an anti-Pascal pyramid with rows, containing every integer from 1 to , and let be the topmost number in (Figure 1). The two numbers below are some and , the two numbers below are some and , and so on and so forth all the way down to the bottom row, where some and are the two neighbors below . Since the are pairwise distinct positive integers whose sum does not exceed the largest number in , which is , it follows that they form a permutation of . ! Figure 1 ! Figure 2 Consider now (Figure 2) the two 'equilateral' subtriangles of whose bottom rows contain the numbers to the left, respectively right, of the pair . (One of these subtriangles may very well be empty.) At least one of these subtriangles, say , has side length . Since obeys the anti-Pascal rule, it contains pairwise distinct positive integers , where is at the apex, and and are the two neighbors below for each . Since the all lie outside , and they form a permutation of , the are all greater than . Consequently, which is greater than for . A contradiction. Comment. The above estimate may be slightly improved by noticing that . This implies , so if is odd, and if is even. It seems that the largest anti-Pascal pyramid whose entries are a permutation of the integers from 1 to has 5 rows.