Solveeit Logo

Question

Question: The ordered pair (a, b) such that $x^2 - x - 1$ divides $ax^9 + bx^8 + 1$ is...

The ordered pair (a, b) such that x2x1x^2 - x - 1 divides ax9+bx8+1ax^9 + bx^8 + 1 is

A

(-21,34)

B

(21,-34)

C

(47,-58)

D

(58,-47)

Answer

(21,-34)

Explanation

Solution

If a polynomial P(x)P(x) divides another polynomial Q(x)Q(x), then all the roots of P(x)P(x) must also be roots of Q(x)Q(x).

First, find the roots of the divisor polynomial x2x1=0x^2 - x - 1 = 0. Using the quadratic formula x=b±b24ac2ax = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}: x=(1)±(1)24(1)(1)2(1)=1±1+42=1±52x = \frac{-(-1) \pm \sqrt{(-1)^2 - 4(1)(-1)}}{2(1)} = \frac{1 \pm \sqrt{1 + 4}}{2} = \frac{1 \pm \sqrt{5}}{2}. Let α=1+52\alpha = \frac{1 + \sqrt{5}}{2} be one of the roots. Since α\alpha is a root of x2x1=0x^2 - x - 1 = 0, it satisfies the equation α2α1=0\alpha^2 - \alpha - 1 = 0, which implies α2=α+1\alpha^2 = \alpha + 1.

Next, we need to evaluate powers of α\alpha. The powers of α\alpha follow a pattern related to the Fibonacci sequence. Let FnF_n be the Fibonacci sequence defined by F0=0,F1=1,Fn=Fn1+Fn2F_0 = 0, F_1 = 1, F_n = F_{n-1} + F_{n-2} for n2n \ge 2. The sequence starts: 0,1,1,2,3,5,8,13,21,34,0, 1, 1, 2, 3, 5, 8, 13, 21, 34, \dots For a root α\alpha of x2x1=0x^2 - x - 1 = 0, it is a known property that αn=Fnα+Fn1\alpha^n = F_n \alpha + F_{n-1}. Let's list the required Fibonacci numbers: F0=0F_0 = 0 F1=1F_1 = 1 F2=1F_2 = 1 F3=2F_3 = 2 F4=3F_4 = 3 F5=5F_5 = 5 F6=8F_6 = 8 F7=13F_7 = 13 F8=21F_8 = 21 F9=34F_9 = 34

Using the formula: α8=F8α+F7=21α+13\alpha^8 = F_8 \alpha + F_7 = 21\alpha + 13. α9=F9α+F8=34α+21\alpha^9 = F_9 \alpha + F_8 = 34\alpha + 21.

Since x2x1x^2 - x - 1 divides ax9+bx8+1ax^9 + bx^8 + 1, the root α\alpha must satisfy aα9+bα8+1=0a\alpha^9 + b\alpha^8 + 1 = 0. Substitute the expressions for α8\alpha^8 and α9\alpha^9: a(34α+21)+b(21α+13)+1=0a(34\alpha + 21) + b(21\alpha + 13) + 1 = 0 Expand and group terms by α\alpha: (34a+21b)α+(21a+13b+1)=0(34a + 21b)\alpha + (21a + 13b + 1) = 0

Since α=1+52\alpha = \frac{1 + \sqrt{5}}{2} is an irrational number, and a,ba, b are rational coefficients, for this equation to hold, both the coefficient of α\alpha and the constant term must be zero. This gives us a system of two linear equations:

  1. 34a+21b=034a + 21b = 0
  2. 21a+13b+1=021a + 13b + 1 = 0

From equation (1), we can express bb in terms of aa: 21b=34a    b=3421a21b = -34a \implies b = -\frac{34}{21}a.

Substitute this expression for bb into equation (2): 21a+13(3421a)+1=021a + 13\left(-\frac{34}{21}a\right) + 1 = 0 21a44221a+1=021a - \frac{442}{21}a + 1 = 0 Multiply the entire equation by 21 to clear the denominator: 21(21a)442a+21(1)=021(21a) - 442a + 21(1) = 0 441a442a+21=0441a - 442a + 21 = 0 a+21=0-a + 21 = 0 a=21a = 21

Now substitute the value of aa back into the expression for bb: b=3421(21)b = -\frac{34}{21}(21) b=34b = -34

Thus, the ordered pair (a,b)(a, b) is (21,34)(21, -34).