This isn't a geometric progression?

Algebra Level 4

x 2 , x 3 , x 4 x^2, \quad x^3, \quad x^4

The above shows the first three terms of an arithmetic progression , but not necessarily in that order.

If all the terms of this arithmetic progression are distinct integers, then which of the following numbers cannot appear later in this progression?

x 5 x^5 x 6 x^6 x 7 x^7 x 8 x^8 They all can appear later in this progression

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Daniel Hinds
May 16, 2019

To find a value of x x that would allow such a sequence to exist, we can set up several systems of equations based on all possible orderings of the first 3 terms:

Case 1: x 2 + d = x 3 , x 2 + 2 d = x 4 \text{Case 1: } x^2 + d = x^3, \enspace x^2 + 2d = x^4 where d d is the common difference. This system represents the ordering x 2 , x 3 , x 4 x^2, x^3, x^4 when d d is positive and the ordering x 4 , x 3 , x 2 x^4, x^3, x^2 when d d is negative.

Case 2: x 2 + d = x 3 , x 2 d = x 4 \text{Case 2: } x^2 + d = x^3, \enspace x^2 - d = x^4 which represents the ordering x 4 , x 2 , x 3 x^4, x^2, x^3 when d d is positive and the ordering x 3 , x 2 , x 4 x^3, x^2, x^4 when d d is negative.

Case 3: x 2 + 2 d = x 3 , x 2 + d = x 4 \text{Case 3: } x^2 + 2d = x^3, \enspace x^2 + d = x^4 which represents the ordering x 2 , x 4 , x 3 x^2, x^4, x^3 when d d is positive and the ordering x 3 , x 4 , x 2 x^3, x^4, x^2 when d d is negative.

Now solve each system of equations, starting with case 1:

x 2 + d = x 3 d = x 3 x 2 x 2 + 2 ( x 3 x 2 ) = x 4 x 4 + 2 x 3 x 2 = 0 x 4 2 x 3 + x 2 = 0 x 2 ( x 1 ) 2 = 0 x = 0 , 1 \begin{aligned} x^2 + d &= x^3 \\ d &= x^3 - x^2 \\ \implies x^2 + 2(x^3 - x^2) &= x^4 \\ -x^4 + 2x^3 - x^2 &= 0 \\ x^4 - 2x^3 + x^2 &= 0 \\ x^2(x-1)^2 &= 0 \\ x &= 0, 1 \end{aligned} However, neither of these solutions are valid, since every term in the sequence must be distinct.

Case 2: x 2 + d = x 3 d = x 3 x 2 x 2 ( x 3 x 2 ) = x 4 x 4 x 3 + 2 x 2 = 0 x 4 + x 3 2 x 2 = 0 x 2 ( x 1 ) ( x + 2 ) = 0 x = 0 , 1 , 2 \begin{aligned} x^2 + d &= x^3 \\ d &= x^3 - x^2 \\ \implies x^2 - (x^3 - x^2) &= x^4 \\ -x^4 - x^3 + 2x^2 &= 0 \\ x^4 + x^3 - 2x^2 &= 0 \\ x^2(x-1)(x+2) &= 0 \\ x &= 0, 1, -2 \end{aligned} The only valid solution here is x = 2 x=-2

Case 3: x 2 + d = x 4 d = x 4 x 2 x 2 + 2 ( x 4 x 2 ) = x 3 2 x 4 x 3 x 2 = 0 x 2 ( x 1 ) ( 2 x + 1 ) = 0 x = 0 , 1 , 1 2 \begin{aligned} x^2 + d &= x^4 \\ d &= x^4 - x^2 \\ \implies x^2 + 2(x^4 - x^2) &= x^3 \\ 2x^4 - x^3 - x^2 &= 0 \\ x^2(x-1)(2x+1) &= 0 \\ x &= 0, 1, -\frac{1}{2} \end{aligned} Again, this gives us no valid solutions since none of these values of x x give a sequence of distinct integers.

Thus, our only possible sequences come from case 2, with x = 2 x=-2 . This gives us two sequences, whose first three terms are:

( 2 ) 4 , ( 2 ) 2 , ( 2 ) 3 (-2)^4, (-2)^2, (-2)^3 , with d = 12 d=-12

( 2 ) 3 , ( 2 ) 2 , ( 2 ) 4 (-2)^3, (-2)^2, (-2)^4 , with d = 12 d=12

It can be seen that every number in the form ( 2 ) 2 + 12 k (-2)^2 + 12k for some integer k k must be a member of either of these sequences. So, if integer values of k k can be found such that ( 2 ) 2 + 12 k = ( 2 ) 5 , ( 2 ) 6 , ( 2 ) 7 , or ( 2 ) 8 (-2)^2 + 12k = (-2)^5, (-2)^6, (-2)^7, \text{or } (-2)^8 , then we know that they can appear later in either sequence. This can be checked fairly easily:

( 2 ) 2 + 12 k = ( 2 ) 5 , ( 2 ) 6 , ( 2 ) 7 , ( 2 ) 8 4 + 12 k = 32 , 64 , 128 , 256 12 k = 36 , 60 , 132 , 252 k = 3 , 5 , 11 , 21 \begin{aligned} (-2)^2 + 12k &= (-2)^5, (-2)^6, (-2)^7, (-2)^8 \\ 4 + 12k &= -32, 64, -128, 256 \\ 12k &= -36, 60, -132, 252 \\ k &= -3, 5, -11, 21 \end{aligned}

All values of k k turn out to be integers, so ( 2 ) 5 , ( 2 ) 6 , ( 2 ) 7 , and ( 2 ) 8 (-2)^5, (-2)^6, (-2)^7, \text{and } (-2)^8 can ALL appear later in either sequence.

Interestingly, ( 2 ) n (-2)^n is guaranteed to appear somewhere in one of these sequences for all integers n 2 n \geq 2 , since it will always be congruent to 4 modulo 12. This is because ( 2 ) 2 4 ( m o d 12 ) (-2)^2 \equiv 4 \pmod{12} and if ( 2 ) k 4 ( m o d 12 ) (-2)^k \equiv 4 \pmod{12} then ( 2 ) k + 1 8 ( m o d 12 ) ( 2 ) k + 1 4 ( m o d 12 ) (-2)^{k+1} \equiv -8 \pmod{12} \implies (-2)^{k+1} \equiv 4 \pmod{12} , so we see by induction that it must be true.

Daniel Hinds - 2 years, 1 month ago

Log in to reply

An incredibly fantastic write-up. Thank you for the detailed explanation. =)

Pi Han Goh - 2 years, 1 month ago

Log in to reply

Thanks! I like to be thorough :D

Daniel Hinds - 2 years, 1 month ago
  • If x 3 x^3 is the middle term, we have 2 x 3 = x 2 + x 4 2x^3=x^2+x^4 . Dividing both sides by x 2 x^2 and rearranging we have x 2 2 x + 1 = ( x 1 ) 2 = 0 x^2-2x+1=(x-1)^2=0

Therefore x = 1 x=1 and all the terms in the A.P. are 1 1 which is not possible as all terms are distinct.

  • If x 2 x^2 is the middle term, we have 2 x 2 = x 3 + x 4 2x^2=x^3+x^4 . Dividing both sides by x 2 x^2 and rearranging we have x 2 + x 2 = 0 x^2+x-2=0 .

Therefore x = 1 x=1 or x = 2 x=-2 . x = 1 x=1 is not possible(same reason as the previous case). If x = 2 x=-2 , we must have x 3 x^3 as the first term as x 3 x^3 is negative and x 2 , x 4 x^2,x^4 are positive. Therefore the terms of the A.P are 8 , 4 , 16 , . . -8,4,16,..

We can observe that x 6 x^6 and x 8 x^8 are terms of this sequence.

  • If x 4 x^4 is the middle term, we have 2 x 4 = x 2 + x 3 2x^4=x^2+x^3 . Dividing both sides by x 2 x^2 and rearranging we have 2 x 2 x 1 = 0 2x^2-x-1=0 .

Therefore we have x = 1 x=1 or x = 0.5 x=-0.5 . x = 1 x=1 is not possible(same reason as first case). If x = 0.5 x=-0.5 , we must we must have x 3 x^3 as the first term as x 3 x^3 is negative and x 2 , x 4 x^2,x^4 are positive. Therefore the terms of the A.P are 0.125 , 0.0625 , 0.25 , . . . -0.125,0.0625,0.25,...

If all the terms of this arithmetic progression are distinct integers..

Pi Han Goh - 4 years, 7 months ago

Log in to reply

Oops missed that condition. I am trying to write a new solution but I am not getting the case where x 5 , x 7 x^5,x^7 are terms in the A.P.

A Former Brilliant Member - 4 years, 7 months ago

I think the only solution to having integers in an A.P. is for x = -2, in which case the three first terms are -8, 4, 16. x^6 and x^8 are welcome followers, but x^5 and x^7 are forbidden.

Edwin Gray - 2 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...