Login

Concepts

Read through concept notes with worked explanations and diagrams, chapter by chapter.

Concept 10 / 10Complex Numbers and Quadratic Equations

Common Roots, Equations Reducible to Quadratics and Maximum-Minimum of Rational Expressions

Conditions for two quadratics to share one or both roots, solving equations that become quadratic after substitution (reciprocal, biquadratic, exponential, modulus), and extreme values of quadratic and rational expressions.

Common roots. Suppose a1x2+b1x+c1=0a_{1}x^{2} + b_{1}x + c_{1} = 0 and a2x2+b2x+c2=0a_{2}x^{2} + b_{2}x + c_{2} = 0 share a root α\alpha. Treat α2\alpha^{2} and α\alpha as two unknowns in the two linear equations a1α2+b1α+c1=0a_{1}\alpha^{2} + b_{1}\alpha + c_{1} = 0 and a2α2+b2α+c2=0a_{2}\alpha^{2} + b_{2}\alpha + c_{2} = 0. By cross-multiplication, α2b1c2−b2c1=αc1a2−c2a1=1a1b2−a2b1\frac{\alpha^{2}}{b_{1}c_{2} - b_{2}c_{1}} = \frac{\alpha}{c_{1}a_{2} - c_{2}a_{1}} = \frac{1}{a_{1}b_{2} - a_{2}b_{1}}. Since α2=(α)2\alpha^{2} = (\alpha)^{2}, the condition for a common root is (c1a2−c2a1)2=(b1c2−b2c1)(a1b2−a2b1)(c_{1}a_{2} - c_{2}a_{1})^{2} = (b_{1}c_{2} - b_{2}c_{1})(a_{1}b_{2} - a_{2}b_{1}), and the common root itself is α=c1a2−c2a1a1b2−a2b1\alpha = \frac{c_{1}a_{2} - c_{2}a_{1}}{a_{1}b_{2} - a_{2}b_{1}}. In practice it is often faster to subtract suitable multiples of the two equations to eliminate α2\alpha^{2}, solve the resulting linear equation for α\alpha, and substitute back. Both roots common: the two quadratics must be proportional, a1a2=b1b2=c1c2\frac{a_{1}}{a_{2}} = \frac{b_{1}}{b_{2}} = \frac{c_{1}}{c_{2}}. A useful special case: if two quadratics with real coefficients share one non-real root, they share both (since non-real roots come in conjugate pairs), so they are proportional. Similarly, if the coefficients are rational and they share one irrational root p+qp + \sqrt{q}, they share both. Equations reducible to quadratics. The idea is to spot a substitution t=g(x)t = g(x) that turns the equation into a quadratic in tt, solve for tt, then solve g(x)=tg(x) = t for each valid tt, rejecting values of tt outside the range of gg. Biquadratic, ax4+bx2+c=0ax^{4} + bx^{2} + c = 0: set t=x2≥0t = x^{2} \ge 0. Reciprocal equations, such as x4+ax3+bx2+ax+1=0x^{4} + ax^{3} + bx^{2} + ax + 1 = 0 (coefficients symmetric): divide by x2x^{2} and set t=x+1xt = x + \frac{1}{x}, using x2+1x2=t2−2x^{2} + \frac{1}{x^{2}} = t^{2} - 2. For real xx, ∣t∣≥2|t| \ge 2. Products of four linear factors, (x+a)(x+b)(x+c)(x+d)=k(x + a)(x + b)(x + c)(x + d) = k with a+d=b+ca + d = b + c: pair them as [(x+a)(x+d)][(x+b)(x+c)][(x + a)(x + d)][(x + b)(x + c)], and both brackets share the part x2+(a+d)xx^{2} + (a + d)x, which becomes the substitution. Exponential, a⋅p2x+b⋅px+c=0a \cdot p^{2x} + b \cdot p^{x} + c = 0: set t=px>0t = p^{x} > 0. Modulus, such as x2−5∣x∣+6=0x^{2} - 5|x| + 6 = 0: set t=∣x∣≥0t = |x| \ge 0, using x2=∣x∣2x^{2} = |x|^{2}. Radical, such as x+5=x−1\sqrt{x + 5} = x - 1: square, but then check each solution in the original equation, since squaring can introduce extra roots (here we need x−1≥0x - 1 \ge 0). Extreme values of expressions. For y=ax2+bx+cy = ax^{2} + bx + c, the extreme value −D4a-\frac{D}{4a} is at the vertex; on a closed interval, compare the vertex value (if the vertex is inside the interval) with the endpoint values. For y=a1x2+b1x+c1a2x2+b2x+c2y = \frac{a_{1}x^{2} + b_{1}x + c_{1}}{a_{2}x^{2} + b_{2}x + c_{2}}, rewrite as a quadratic in xx with coefficients depending on yy, and require a real root, so its discriminant must be ≥0\ge 0. This gives an inequality in yy whose solution set is the range. Remember to handle the value of yy at which the x2x^{2} coefficient vanishes, and to check that the xx obtained does not make the denominator zero. Key Takeaways: - One common root: (c1a2−c2a1)2=(b1c2−b2c1)(a1b2−a2b1)(c_{1}a_{2} - c_{2}a_{1})^{2} = (b_{1}c_{2} - b_{2}c_{1})(a_{1}b_{2} - a_{2}b_{1}). - Both roots common: a1a2=b1b2=c1c2\frac{a_{1}}{a_{2}} = \frac{b_{1}}{b_{2}} = \frac{c_{1}}{c_{2}}. - Real-coefficient quadratics sharing a non-real root share both roots. - Substitutions: t=x2t = x^{2}, t=x+1xt = x + \frac{1}{x} (∣t∣≥2|t| \ge 2), t=pxt = p^{x} (t>0t > 0), t=∣x∣t = |x| (t≥0t \ge 0). - After substituting, reject values of tt outside the range of the substitution. - After squaring, verify every candidate in the original equation. - Range of quadratic over quadratic: discriminant in xx must be ≥0\ge 0. - Pitfall: accepting t=−3t = -3 in 2x=t2^{x} = t, or t=1t = 1 in x+1x=tx + \frac{1}{x} = t when real xx is required. Brain-Teaser 1: Find kk such that x2+kx+1=0x^{2} + kx + 1 = 0 and x2+x+k=0x^{2} + x + k = 0 have a common root. Solution: Subtract the equations: (k−1)x+(1−k)=0(k - 1)x + (1 - k) = 0, that is, (k−1)(x−1)=0(k - 1)(x - 1) = 0. If k=1k = 1, the equations are identical (x2+x+1=0x^{2} + x + 1 = 0) and share both roots, ω\omega and ω2\omega^{2}. Otherwise the common root is x=1x = 1, and substituting into the second equation gives 1+1+k=01 + 1 + k = 0, so k=−2k = -2. Check: with k=−2k = -2 the equations are x2−2x+1=0x^{2} - 2x + 1 = 0 and x2+x−2=0x^{2} + x - 2 = 0, which share the root 11. So k=−2k = -2 (one common root) or k=1k = 1 (both common, non-real). Subtracting the equations to find the common root is much faster than the general formula. Brain-Teaser 2: Solve (x+1)(x+2)(x+3)(x+4)=120(x + 1)(x + 2)(x + 3)(x + 4) = 120. Solution: Pair the factors so the sums match: 1+4=2+3=51 + 4 = 2 + 3 = 5. Then (x+1)(x+4)=x2+5x+4(x + 1)(x + 4) = x^{2} + 5x + 4 and (x+2)(x+3)=x2+5x+6(x + 2)(x + 3) = x^{2} + 5x + 6. Let t=x2+5xt = x^{2} + 5x: (t+4)(t+6)=120(t + 4)(t + 6) = 120, so t2+10t−96=0t^{2} + 10t - 96 = 0, giving t=6t = 6 or t=−16t = -16. For t=6t = 6: x2+5x−6=0x^{2} + 5x - 6 = 0, so x=1x = 1 or x=−6x = -6. For t=−16t = -16: x2+5x+16=0x^{2} + 5x + 16 = 0 has D=25−64<0D = 25 - 64 < 0, giving the non-real roots −5±i392\frac{-5 \pm i\sqrt{39}}{2}. The real solutions are x=1x = 1 and x=−6x = -6. Check: 2×3×4×5=1202 \times 3 \times 4 \times 5 = 120. The pairing trick turns a quartic into two quadratics. Brain-Teaser 3: Solve 4x−3⋅2x+2+32=04^{x} - 3 \cdot 2^{x+2} + 32 = 0. Solution: Write 4x=(2x)24^{x} = (2^{x})^{2} and 2x+2=4⋅2x2^{x+2} = 4 \cdot 2^{x}. With t=2x>0t = 2^{x} > 0: t2−12t+32=0t^{2} - 12t + 32 = 0, so t=4t = 4 or t=8t = 8. Both are positive, so both are valid: 2x=42^{x} = 4 gives x=2x = 2, and 2x=82^{x} = 8 gives x=3x = 3. If one of the tt-values had been negative or zero it would have to be rejected, since 2x>02^{x} > 0 for all real xx. The substitution turns an exponential equation into a quadratic, and the range of the substitution is the filter for extraneous values.