A Problem of Satisfying Inequalities

James Tanton has recently tweeted the following problem:

Is it always possible to replace the (10) X's in the expression X > X > X < X < X > X < X < X > X < X with numbers 1, ..., 10 so that inequality signs be respected.

Solution

|Contact| |Front page| |Contents| |Arithmetic| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny

Is it always possible to replace the (10) X's in the expression X > X > X < X < X > X < X < X > X < X with numbers 1, ..., 10 so that inequality signs be respected.

The answer is Yes, and the induction seems to be a suitable tool to tackle this problem. To see that, let's first agree to replace the inequality signs with a more generic symbol, say "?".

Second, observe, that the problem of replacing the X's with integers 1, 2, ..., n is equivalent to that of replacing the X's with members of an arbitrary increasing sequence a1 < a2 < ... < an. Indeed, if the expression

α1 ? α2 ? ... ? αn

where α's are distinct members of {1, ..., n} then also

aα1 ? aα2 ? ... ? aαn,

and vice versa. This is so because, when the sequence {ak} is increasing, the inequality m < n is equivalent to am < an.

The induction is on the number N of the inequality signs. The statement is obvious for N = 1.

Assume it holds for k = m and let's show that it then holds for k = m + 1. Given an expression X?X?...?X with m + 1 inequality signs, remove the last one and the terminating X. The remaining expression contains m inequality signs and is, therefore, under the inductive hypothesis, solvable. In other words, integers 1 through m can replace the m remaining X's so that all (m-1) inequalities be satisfied.

The next step depends on whether the removed inequality sign is "<" or ">". In the former case all we have to do is to replace the last X with m + 1. In the latter case, we fill the shortened expression X?X?...?X with integers from the set {2, 3, ..., m + 1}, and then replace the last X with 1.

|Contact| |Front page| |Contents| |Algebra| |Mathematical induction|

Copyright © 1996-2018 Alexander Bogomolny

 62825675

Search by google: