Arranging numbers problem (induction)

  • Thread starter Thread starter issacnewton
  • Start date Start date
  • Tags Tags
    Induction Numbers
Click For Summary
SUMMARY

The discussion revolves around the mathematical problem of arranging the numbers 1 through n such that the average of any two numbers does not appear between them. The initial base case for n=2 is established, demonstrating that the arrangement 1, 2 satisfies the condition. The inductive step is outlined, assuming a configuration for n numbers and attempting to extend it to n+1. The user seeks guidance on how to derive a contradiction from their assumption regarding the arrangement of n+1 numbers, particularly in the context of the hint provided about powers of 2.

PREREQUISITES
  • Understanding of mathematical induction
  • Familiarity with average calculations
  • Knowledge of number theory concepts
  • Ability to construct logical proofs
NEXT STEPS
  • Study mathematical induction techniques in detail
  • Research arrangements of numbers and their properties
  • Explore proofs involving powers of 2 in combinatorial contexts
  • Learn about contradiction proofs and their applications in mathematics
USEFUL FOR

Mathematicians, students studying number theory, and anyone interested in combinatorial proofs and mathematical induction techniques.

issacnewton
Messages
1,035
Reaction score
37
hi

Here is a problem I am trying to do ..

Show that it is possible to arrange the numbers 1, 2, . . . , n
in a row so that the average of any two of these numbers
never appears between them.

Here is my attempt. The base case will consist of first two numbers.
So

Base Case: [tex]n=2[/tex]

The arrangment 1,2 doesn't have average of 1 and 2 between them.
So this proves [tex]P(2)[/tex]

Induction case: Let [tex]n\geqslant 2[/tex] be arbitrary.
Suppose [tex]P(n)[/tex]. To prove [tex]P(n+1)[/tex],
consider numbers [tex]1,2,\cdots,n,n+1[/tex]

Now I am negating the goal and seeking the contradiction.
So assume that with any configuration of these [tex]n+1[/tex]
numbers, there always is at least a pair of numbers such that
their average is between them. Now due to the inductive hypothesis,
we know that for first [tex]n[/tex] numbers, there is a configuration
such that for any pair of numbers, their average is not between them.
So let's put these [tex]n[/tex] numbers in that particular
configuration. And now put [tex]n+1[/tex] at the end of this
list. But due to our assumption, for the list of all these
numbers (including [tex]n+1[/tex]), there is no desired
configuration possible. So there must exist a number
[tex]1\leqslant i < n[/tex] such that the average of [tex]i[/tex]
and [tex]n+1[/tex] is between these two numbers. That average
is

[tex]\frac{n+1+i}{2}[/tex]

Now after this point I don't know how to seek the contradiction.
Any hints will be helpful. There is one hint given in the problem.

Hint: Show that it suffices to prove this fact when n
is a power of 2. Then use mathematical induction to
prove the result when n is a power of 2.

But I don't know how to use it, so I started with another approach.Thanks
 
Physics news on Phys.org
I think that you have to come up with a scheme for the arrangement.
 
Sammy , can you give some hints for this arrangement ?
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 22 ·
Replies
22
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K