Back to Mathematical Olympiad
Difficulty: 10/102018 IMO 2018 (Q3)

An anti-Pascal triangle is an equilateral triangular array of numbers such that, except for the numbers in the bottom row, each number is the absolute value of the difference of the two numbers immediately below it. Does there exist an anti-Pascal triangle with rows which contains every integer from to ?

Options:

  • No, such an anti-Pascal triangle does not exist.

  • B.

    The relation holds only for sufficiently large values in the system.

  • C.

    There is no general solution for all cases.

  • D.

    No such configuration exists under the given conditions.

Guide / Hint

Hint 1: Consider all entries modulo 2. Note that , so the parity structure resembles Pascal's triangle mod 2.

Hint 2: Count how many odd and even numbers must appear among . Compare with how many odd entries the anti-Pascal structure can produce.

Hint 3: Use the fact that in Pascal's triangle mod 2, the number of ones in each row follows a specific pattern (related to powers of 2). Show this creates a parity mismatch.

Solution

Step 1 (Parity argument): Consider the entries modulo 2. In the anti-Pascal triangle, each entry (except bottom row) equals where are the two entries below. Modulo 2, (since and have the same parity).

Step 2 (Counting parities): The total number of entries is . Among , about half are odd and half are even.

Step 3 (Constraint from the triangle structure): The parity of each non-bottom entry is determined by the parities of entries below it (via XOR / addition mod 2). This creates a rigid structure: the parities in the bottom row determine all parities in the triangle.

Step 4 (Contradiction): The number of odd entries in the triangle is determined by the bottom row's parity pattern via Pascal's-triangle-mod-2 structure (which follows Sierpinski triangle patterns). One can show that the required number of odd values () cannot match the number of odd positions forced by the parity propagation rules for any choice of bottom row.

Therefore, no such anti-Pascal triangle exists.

Ready to track your progress and master these topics?

Create a free account
    2018 IMO 2018 Q3 - Olympiad Math Olympiad Question | Leminno