Maths Olympiad Prep

Library / /77 of 82

Algebra Difficulty 7.2 National olympiad, round 2 Prove it Croatia

Depending on the real parameter aa, solve the equation
(a1)(1+x+x2)2=(a+1)(1+x2+x4) (a - 1) (1 + x + x^2)^2 = (a + 1) (1 + x^2 + x^4)

Solution

First, expand both sides:

Left side:
(a1)(1+x+x2)2=(a1)(1+2x+3x2+2x3+x4)(a - 1)(1 + x + x^2)^2 = (a - 1)(1 + 2x + 3x^2 + 2x^3 + x^4)

Right side:
(a+1)(1+x2+x4)(a + 1)(1 + x^2 + x^4)

Bring all terms to one side:
(a1)(1+2x+3x2+2x3+x4)(a+1)(1+x2+x4)=0(a - 1)(1 + 2x + 3x^2 + 2x^3 + x^4) - (a + 1)(1 + x^2 + x^4) = 0

Expand:
(a1)(1)+(a1)(2x)+(a1)(3x2)+(a1)(2x3)+(a1)(x4)(a - 1)(1) + (a - 1)(2x) + (a - 1)(3x^2) + (a - 1)(2x^3) + (a - 1)(x^4)
(a+1)(1)(a+1)(x2)(a+1)(x4)=0- (a + 1)(1) - (a + 1)(x^2) - (a + 1)(x^4) = 0

Group like terms:
- Constant: (a1)(a+1)=2(a - 1) - (a + 1) = -2
- xx term: 2(a1)2(a - 1)
- x2x^2 term: 3(a1)(a+1)=3a3a1=2a43(a - 1) - (a + 1) = 3a - 3 - a - 1 = 2a - 4
- x3x^3 term: 2(a1)2(a - 1)
- x4x^4 term: (a1)(a+1)=2(a - 1) - (a + 1) = -2

So the equation becomes:
2+2(a1)x+(2a4)x2+2(a1)x32x4=0 -2 + 2(a - 1)x + (2a - 4)x^2 + 2(a - 1)x^3 - 2x^4 = 0

Divide both sides by 22:
1+(a1)x+(a2)x2+(a1)x3x4=0 -1 + (a - 1)x + (a - 2)x^2 + (a - 1)x^3 - x^4 = 0

Or:
x4+(a1)x3+(a2)x2+(a1)x1=0 -x^4 + (a - 1)x^3 + (a - 2)x^2 + (a - 1)x - 1 = 0

Or, multiplying both sides by 1-1:
x4(a1)x3(a2)x2(a1)x+1=0 x^4 - (a - 1)x^3 - (a - 2)x^2 - (a - 1)x + 1 = 0

Let us factor this quartic. Notice that if x=1x = 1:

x4(a1)x3(a2)x2(a1)x+1=1(a1)(a2)(a1)+1x^4 - (a - 1)x^3 - (a - 2)x^2 - (a - 1)x + 1 = 1 - (a - 1) - (a - 2) - (a - 1) + 1
=1a+1a+2a+1+1= 1 - a + 1 - a + 2 - a + 1 + 1
But let's compute step by step:
1(a1)=2a1 - (a - 1) = 2 - a
2a(a2)=2aa+2=42a2 - a - (a - 2) = 2 - a - a + 2 = 4 - 2a
42a(a1)=42aa+1=53a4 - 2a - (a - 1) = 4 - 2a - a + 1 = 5 - 3a
53a+1=63a5 - 3a + 1 = 6 - 3a
So x=1x = 1 is a root if 63a=06 - 3a = 0, i.e., a=2a = 2.

Try x=1x = -1:
(1)4(a1)(1)3(a2)(1)2(a1)(1)+1(-1)^4 - (a - 1)(-1)^3 - (a - 2)(-1)^2 - (a - 1)(-1) + 1
=1(a1)(1)(a2)(1)(a1)(1)+1= 1 - (a - 1)(-1) - (a - 2)(1) - (a - 1)(-1) + 1
=1+(a1)(a2)+(a1)+1= 1 + (a - 1) - (a - 2) + (a - 1) + 1
=1+a1a+2+a1+1= 1 + a - 1 - a + 2 + a - 1 + 1
=(11+2+1)+(aa+a)1= (1 - 1 + 2 + 1) + (a - a + a) - 1
=(3)+(a)1= (3) + (a) - 1
=a+2= a + 2
So x=1x = -1 is a root if a=2a = -2.

Alternatively, factor the quartic as follows:

Let us try to factor as (x2+bx+1)(x2+cx+1)(x^2 + bx + 1)(x^2 + cx + 1).

Expand:
(x2+bx+1)(x2+cx+1)=x4+(b+c)x3+(bc+2)x2+(b+c)x+1(x^2 + bx + 1)(x^2 + cx + 1) = x^4 + (b + c)x^3 + (bc + 2)x^2 + (b + c)x + 1

Compare with x4(a1)x3(a2)x2(a1)x+1x^4 - (a - 1)x^3 - (a - 2)x^2 - (a - 1)x + 1:

So:
- x4x^4 coefficient: 11
- x3x^3 coefficient: b+c=(a1)b + c = -(a - 1)
- x2x^2 coefficient: bc+2=(a2)bc + 2 = -(a - 2)
- xx coefficient: b+c=(a1)b + c = -(a - 1)
- constant: 11

So b+c=(a1)b + c = -(a - 1)
bc+2=(a2)bc + 2 = -(a - 2)

Let b+c=s=(a1)b + c = s = -(a - 1)
bc=(a2)2=(a)+22=abc = -(a - 2) - 2 = -(a) + 2 - 2 = -a

So bb and cc are roots of t2sta=0t^2 - s t - a = 0

So t2+(a1)ta=0t^2 + (a - 1)t - a = 0

Thus, the quartic factors as:
(x2+bx+1)(x2+cx+1)=0 (x^2 + b x + 1)(x^2 + c x + 1) = 0
where bb and cc are roots of t2+(a1)ta=0t^2 + (a - 1)t - a = 0.

Therefore, the solutions are all real xx such that
x2+bx+1=0orx2+cx+1=0 x^2 + b x + 1 = 0 \quad \text{or} \quad x^2 + c x + 1 = 0
where bb and cc are roots of t2+(a1)ta=0t^2 + (a - 1)t - a = 0.

Explicitly, b,c=(a1)±(a1)2+4a2=(a1)±a2+2a+1+4a2=(a1)±a2+6a+12b, c = \frac{-(a - 1) \pm \sqrt{(a - 1)^2 + 4a}}{2} = \frac{-(a - 1) \pm \sqrt{a^2 + 2a + 1 + 4a}}{2} = \frac{-(a - 1) \pm \sqrt{a^2 + 6a + 1}}{2}

So the solutions are all real xx such that
x2+((a1)+a2+6a+12)x+1=0 x^2 + \left(\frac{-(a - 1) + \sqrt{a^2 + 6a + 1}}{2}\right)x + 1 = 0
or
x2+((a1)a2+6a+12)x+1=0 x^2 + \left(\frac{-(a - 1) - \sqrt{a^2 + 6a + 1}}{2}\right)x + 1 = 0

That is, for each aa, the equation has at most four real solutions, given by the roots of these two quadratics.

Special cases:
- If a=2a = 2, then b+c=(21)=1b + c = -(2 - 1) = -1, bc=2bc = -2; so bb and cc are roots of t2+t2=0t^2 + t - 2 = 0, i.e., t=1,2t = 1, -2.
So the quadratics are x2+x+1=0x^2 + x + 1 = 0 and x22x+1=0x^2 - 2x + 1 = 0.
The first has no real roots, the second is (x1)2=0(x - 1)^2 = 0, so x=1x = 1 is a double root.
- If a=2a = -2, then b+c=(21)=3b + c = -(-2 - 1) = 3, bc=2bc = 2; so t23t2=0t^2 - 3t - 2 = 0, t=3±9+82=3±172t = \frac{3 \pm \sqrt{9 + 8}}{2} = \frac{3 \pm \sqrt{17}}{2}.
Both quadratics x2+bx+1=0x^2 + b x + 1 = 0 and x2+cx+1=0x^2 + c x + 1 = 0 have real roots.

In summary:

For each real aa, the solutions are all real xx such that
x2+bx+1=0orx2+cx+1=0 x^2 + b x + 1 = 0 \quad \text{or} \quad x^2 + c x + 1 = 0
where bb and cc are the roots of t2+(a1)ta=0t^2 + (a - 1)t - a = 0.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.