Comprehensive Notes on Polynomial Factorization, Complex Roots, and Radical Equations

Fundamental Properties of Polynomials and Complex Roots

  • Fundamental Theorem of Algebra and Existence of Zeros:

    • For any polynomial function f(x)f(x) of degree nn where n≥1n \ge 1 (meaning f(x)f(x) is not a constant function), there exists at least one zero in the complex numbers.
    • Evaluating f(x)f(x) at this zero yields exactly 00, though finding it may require the use of complex numbers rather than strictly real numbers.
  • Complete Factorization and Multiplicity:

    • Every polynomial f(x)f(x) of degree n≥1n \ge 1 can be completely factored over the complex numbers into a product of its leading coefficient and linear factors:         f(x)=an(x−c1)m1(x−c2)m2…(x−ck)mkf(x) = a_n(x - c_1)^{m_1}(x - c_2)^{m_2}\dots(x - c_k)^{m_k}
    • The values c1,c2,…,ckc_1, c_2, \dots, c_k represent the distinct zeros (roots) of the polynomial, which may be complex numbers.
    • The exponents m1,m2,…,mkm_1, m_2, \dots, m_k represent the multiplicities of each corresponding root.
    • Summing all multiplicities always yields the total degree of the polynomial:         m1+m2+⋯+mk=nm_1 + m_2 + \dots + m_k = n
    • Counting roots with multiplicity guarantees that an nn-th degree polynomial possesses exactly nn roots.
  • Complex Conjugate Root Theorem:

    • For a complex number defined as a+bia + bi, the imaginary unit satisfies i2=−1i^2 = -1.
    • If a+bia + bi is a root of the polynomial f(x)f(x), and f(x)f(x) has exclusively real coefficients, then its complex conjugate a−bia - bi is guaranteed to also be a root of f(x)f(x).
    • This property requires that all coefficients multiplying the powers of xx in the polynomial are real numbers; it does not hold if the polynomial contains non-real complex coefficients.

Factoring Higher-Degree Polynomials Using Complex Conjugates

  • Polynomial Identification and Given Conditions:

    • Consider a fourth-degree polynomial with real coefficients: 11, −6-6, 2828, −18-18, and 7575, defined as:         f(x)=x4−6x3+28x2−18x+75f(x) = x^4 - 6x^3 + 28x^2 - 18x + 75
    • A known zero of this polynomial is 3−4i3 - 4i.
    • The objective is to find all other zeros and completely factor f(x)f(x).
  • Application of the Conjugate Root Theorem:

    • Because all coefficients of f(x)f(x) are real numbers, the presence of the complex root 3−4i3 - 4i guarantees that its complex conjugate, 3+4i3 + 4i, is also a root.
    • The polynomial must have (x−(3−4i))(x - (3 - 4i)) and (x−(3+4i))(x - (3 + 4i)) as linear factors.
  • Constructing the Quadratic Factor:

    • Express f(x)f(x) in terms of the known roots and an unknown remaining factor g(x)g(x):         f(x)=(x−(3−4i))(x−(3+4i))g(x)f(x) = (x - (3 - 4i))(x - (3 + 4i)) g(x)
    • Expand the product of the two conjugate factors:         (x−(3−4i))(x−(3+4i))=x2−x(3+4i)−x(3−4i)+(3−4i)(3+4i)(x - (3 - 4i))(x - (3 + 4i)) = x^2 - x(3 + 4i) - x(3 - 4i) + (3 - 4i)(3 + 4i)
    • Combine like terms:         −x(3+4i)−x(3−4i)=−3x−4ix−3x+4ix=−6x-x(3 + 4i) - x(3 - 4i) = -3x - 4ix - 3x + 4ix = -6x
    • Multiply the complex conjugate constants:         (3−4i)(3+4i)=32+42=9+16=25(3 - 4i)(3 + 4i) = 3^2 + 4^2 = 9 + 16 = 25
    • The product of the two linear factors simplifies to the real quadratic factor:         x2−6x+25x^2 - 6x + 25
  • Determining the Remaining Factor via Inspection:

    • Set up the relationship:         f(x)=(x2−6x+25)g(x)f(x) = (x^2 - 6x + 25) g(x)
    • Since f(x)f(x) is degree 44 and the known factor is degree 22, g(x)g(x) must be a quadratic expression of the form:         g(x)=Ax2+Bx+Cg(x) = A x^2 + B x + C
    • Analyze the leading term: to obtain x4x^4 when multiplied by x2x^2, the coefficient AA must be 11.
    • Analyze the constant term: to obtain 7575 when multiplied by 2525, the constant CC must satisfy 25×C=7525 \times C = 75, so C=3C = 3.
    • Analyze the cubic term: multiplying the components produces (x2)(Bx)+(−6x)(x2)=(B−6)x3(x^2)(B x) + (-6x)(x^2) = (B - 6)x^3. The target cubic coefficient in f(x)f(x) is −6-6, which requires B−6=−6B - 6 = -6, yielding B=0B = 0.
    • The remaining factor is:         g(x)=x2+3g(x) = x^2 + 3
  • Finding All Zeros and Complete Factorization:

    • Set the remaining quadratic factor equal to zero to determine the remaining roots:         x2+3=0x^2 + 3 = 0x2=−3x^2 = -3x=±−3=±i3x = \pm \sqrt{-3} = \pm i\sqrt{3}
    • The complete set of four zeros for f(x)f(x) consists of:         3−4i3 - 4i3+4i3 + 4ii3i\sqrt{3}−i3-i\sqrt{3}
    • The complete linear factorization over the complex numbers is:         f(x)=(x−(3−4i))(x−(3+4i))(x−i3)(x+i3)f(x) = (x - (3 - 4i))(x - (3 + 4i))(x - i\sqrt{3})(x + i\sqrt{3})

Constructing Polynomials from Specified Zeros and Constraints

  • Constructing a Polynomial with Whole Number Coefficients:

    • Requirements: degree 33, integer (whole number) coefficients, with zeros at 23\frac{2}{3} and 4+2i4 + 2i.
    • Because the polynomial must have real (and integer) coefficients, the complex conjugate of 4+2i4 + 2i, which is 4−2i4 - 2i, must also be a root.
    • Form preliminary linear factors:         (x−23)(x - \frac{2}{3})(x−(4+2i))(x - (4 + 2i))(x−(4−2i))(x - (4 - 2i))
    • Expand the pair of complex conjugate factors:         (x−(4+2i))(x−(4−2i))=((x−4)−2i)((x−4)+2i)(x - (4 + 2i))(x - (4 - 2i)) = ((x - 4) - 2i)((x - 4) + 2i)=(x−4)2−(2i)2= (x - 4)^2 - (2i)^2=x2−8x+16−(−4)= x^2 - 8x + 16 - (-4)=x2−8x+20= x^2 - 8x + 20
    • Address the fraction in the linear factor (x−23)(x - \frac{2}{3}) to ensure integer coefficients:         3×(x−23)=3x−23 \times (x - \frac{2}{3}) = 3x - 2
    • Combine the factors into the final polynomial:         f(x)=(3x−2)(x2−8x+20)f(x) = (3x - 2)(x^2 - 8x + 20)
    • Expand to standard form:         f(x)=3x(x2−8x+20)−2(x2−8x+20)f(x) = 3x(x^2 - 8x + 20) - 2(x^2 - 8x + 20)f(x)=3x3−24x2+60x−2x2+16x−40f(x) = 3x^3 - 24x^2 + 60x - 2x^2 + 16x - 40f(x)=3x3−26x2+76x−40f(x) = 3x^3 - 26x^2 + 76x - 40
  • Constructing a Polynomial from Multiplicities and a Fixed Value:

    • Requirements: root at −2-2 with multiplicity 11, root at 44 with multiplicity 33, and a vertical scaling constraint f(0)=256f(0) = 256.
    • Set up the linear factors with their respective multiplicity exponents:         f(x)=a(x−(−2))1(x−4)3=a(x+2)(x−4)3f(x) = a(x - (-2))^1 (x - 4)^3 = a(x + 2)(x - 4)^3
    • Multiplying by any non-zero real scalar aa preserves the roots and their multiplicities.
    • Substitute x=0x = 0 into the expression to solve for aa:         f(0)=a(0+2)(0−4)3f(0) = a(0 + 2)(0 - 4)^3f(0)=a(2)(−64)=−128af(0) = a(2)(-64) = -128a
    • Equate to the target value 256256:         −128a=256-128a = 256a=256−128=−2a = \frac{256}{-128} = -2
    • The specific polynomial satisfying all constraints is:         f(x)=−2(x+2)(x−4)3f(x) = -2(x + 2)(x - 4)^3

Solving Radical and Rational Exponent Equations

  • Definition and General Principles of Radical Equations:

    • Radical equations contain variables inside a root (square root, cube root, fourth root, etc.).
    • Standard procedure requires isolating the radical term on one side of the equation before applying the reciprocal power to eliminate the root.
    • Solving radical equations can generate extraneous solutions that do not satisfy the original equality, necessitating a validation step for all candidates.
  • Basic Square Root Isolation:

    • Consider the equation:         x+5=9\sqrt{x} + 5 = 9
    • Isolate the radical by subtracting 55 from both sides:         x=4\sqrt{x} = 4
    • Square both sides:         x=42=16x = 4^2 = 16
    • Check: 16+5=4+5=9\sqrt{16} + 5 = 4 + 5 = 9, which confirms x=16x = 16 is valid.
  • Radical Equated to a Binomial:

    • Consider the equation:         −17+6w=w−2\sqrt{-17 + 6w} = w - 2
    • Square both sides directly to eliminate the radical:         −17+6w=(w−2)2-17 + 6w = (w - 2)^2
    • Expand the binomial on the right side:         −17+6w=w2−4w+4-17 + 6w = w^2 - 4w + 4
    • Rearrange into standard quadratic form by subtracting 6w6w and adding 1717 to both sides:         w2−10w+21=0w^2 - 10w + 21 = 0
    • Factor the quadratic expression:         (w−3)(w−7)=0(w - 3)(w - 7) = 0
    • Candidate solutions are w=3w = 3 and w=7w = 7.
    • Validation for w=3w = 3:         −17+6(3)=−17+18=1=1\sqrt{-17 + 6(3)} = \sqrt{-17 + 18} = \sqrt{1} = 1w−2=3−2=1w - 2 = 3 - 2 = 11=11 = 1 (Valid)
    • Validation for w=7w = 7:         −17+6(7)=−17+42=25=5\sqrt{-17 + 6(7)} = \sqrt{-17 + 42} = \sqrt{25} = 5w−2=7−2=5w - 2 = 7 - 2 = 55=55 = 5 (Valid)
    • Both w=3w = 3 and w=7w = 7 are legitimate solutions.
  • Equations with Fractional Exponents:

    • Consider an equation of the form:         2(x+1)2/3=82(x + 1)^{2/3} = 8
    • Isolate the exponential term by dividing both sides by 22:         (x+1)2/3=4(x + 1)^{2/3} = 4
    • Raise both sides to the reciprocal power, 32\frac{3}{2}.
    • Crucial caveat: Because the denominator of the power 32\frac{3}{2} is an even integer (22), it represents an even root (square root), which requires the introduction of ±\pm:         x+1=±43/2x + 1 = \pm 4^{3/2}
    • Evaluate the numerical power:         43/2=(4)3=23=84^{3/2} = (\sqrt{4})^3 = 2^3 = 8
    • Solve the two resulting linear cases:
      • Positive branch: x+1=8  ⟹  x=7x + 1 = 8 \implies x = 7
      • Negative branch: x+1=−8  ⟹  x=−9x + 1 = -8 \implies x = -9
    • Both x=7x = 7 and x=−9x = -9 satisfy the original equation.

Advanced Radical Equations and Extraneous Solutions

  • Algebraic Fallacy of Exponentiating Binomials:

    • A radical must be fully isolated before exponentiation because powers do not distribute across addition or subtraction:         (a−b)3≠a3−b3(a - b)^3 \ne a^3 - b^3(a−b)3=(a−b)(a−b)(a−b)=a3−3a2b+3ab2−b3(a - b)^3 = (a - b)(a - b)(a - b) = a^3 - 3a^2 b + 3ab^2 - b^3
    • Attempting to cube or square an un-isolated radical sum produces cross terms rather than clearing the root.
  • Solving Cube Root Equations:

    • Consider the equation:         x−13−2=2\sqrt[3]{x - 1} - 2 = 2
    • Isolate the cube root term by adding 22 to both sides:         x−13=4\sqrt[3]{x - 1} = 4
    • Cube both sides to eliminate the radical:         x−1=43=64x - 1 = 4^3 = 64
    • Solve for xx:         x=65x = 65
    • Odd roots (such as cube roots) do not require a ±\pm sign, as odd powers preserve the sign of the base.
  • Equations with Identical Radicals on Both Sides:

    • Consider the equation:         8x−14=5x+16\sqrt{8x - 14} = \sqrt{5x + 16}
    • Square both sides directly:         8x−14=5x+168x - 14 = 5x + 16
    • Subtract 5x5x and add 1414 to both sides:         3x=303x = 30x=10x = 10
    • Validation:         8(10)−14=80−14=66\sqrt{8(10) - 14} = \sqrt{80 - 14} = \sqrt{66}5(10)+16=50+16=66\sqrt{5(10) + 16} = \sqrt{50 + 16} = \sqrt{66}66=66\sqrt{66} = \sqrt{66} (Valid)
  • Equations with Two Distinct Square Roots:

    • Consider the equation:         5y+26−y+6=2\sqrt{5y + 26} - \sqrt{y + 6} = 2
    • Squaring both sides directly introduces intermediate cross terms:         (5y+26−y+6)2=22(\sqrt{5y + 26} - \sqrt{y + 6})^2 = 2^2(5y+26)−25y+26y+6+(y+6)=4(5y + 26) - 2\sqrt{5y + 26}\sqrt{y + 6} + (y + 6) = 4
    • Combine non-radical terms:         6y+32−25y+26y+6=46y + 32 - 2\sqrt{5y + 26}\sqrt{y + 6} = 4
    • Isolate the radical expression:         6y+32−4=25y+26y+66y + 32 - 4 = 2\sqrt{5y + 26}\sqrt{y + 6}6y+28=25y+26y+66y + 28 = 2\sqrt{5y + 26}\sqrt{y + 6}
    • Simplify by dividing all terms by 22:         3y+14=5y+26y+63y + 14 = \sqrt{5y + 26}\sqrt{y + 6}
    • Square both sides a second time. Note that for products, (ab)2=a2b2(ab)^2 = a^2 b^2, allowing radicals to clear without cross terms:         (3y+14)2=(5y+26y+6)2(3y + 14)^2 = (\sqrt{5y + 26}\sqrt{y + 6})^29y2+84y+196=(5y+26)(y+6)9y^2 + 84y + 196 = (5y + 26)(y + 6)
    • Expand the right-hand side:         (5y+26)(y+6)=5y2+30y+26y+156=5y2+56y+156(5y + 26)(y + 6) = 5y^2 + 30y + 26y + 156 = 5y^2 + 56y + 156
    • Equate and set to zero:         9y2+84y+196=5y2+56y+1569y^2 + 84y + 196 = 5y^2 + 56y + 1564y2+28y+40=04y^2 + 28y + 40 = 0
    • Divide the entire equation by the common factor of 44:         y2+7y+10=0y^2 + 7y + 10 = 0
    • Factor the quadratic equation:         (y+2)(y+5)=0(y + 2)(y + 5) = 0
    • Potential candidate solutions: y=−2y = -2 and y=−5y = -5.
  • Testing Candidates and Mechanism of Extraneous Solutions:

    • Test candidate y=−2y = -2 in the original equation:         5(−2)+26−−2+6=−10+26−4\sqrt{5(-2) + 26} - \sqrt{-2 + 6} = \sqrt{-10 + 26} - \sqrt{4}=16−4=4−2=2= \sqrt{16} - \sqrt{4} = 4 - 2 = 22=22 = 2 (Valid)
    • Test candidate y=−5y = -5 in the original equation:         5(−5)+26−−5+6=−25+26−1\sqrt{5(-5) + 26} - \sqrt{-5 + 6} = \sqrt{-25 + 26} - \sqrt{1}=1−1=1−1=0= \sqrt{1} - \sqrt{1} = 1 - 1 = 00≠20 \ne 2 (Extraneous)
    • Mechanism: Squaring both sides is a non-reversible operation because both 22=42^2 = 4 and (−2)2=4(-2)^2 = 4. The squaring process allows an equation whose difference is −2-2 to satisfy the squared equation, introducing an invalid extraneous solution into the original radical relationship.
    • The only valid solution is y=−2y = -2.

Questions and Discussion

  • Origin of Constants during Radical Simplification:

    • Question: In the step 6y+32−25y+26y+6=46y + 32 - 2\sqrt{5y + 26}\sqrt{y + 6} = 4, where does the constant 44 on the right-hand side originate?
    • Response: The value 44 comes directly from squaring the original right-hand side of the equation, which was 22, producing 22=42^2 = 4.
  • Elimination of Cross Terms in Product Radicals:

    • Question: Why is squaring the product 5y+26y+6\sqrt{5y + 26}\sqrt{y + 6} simpler than squaring the sum of two radicals?
    • Response: For any product, the power distributes directly across factors according to the rule (ab)2=a2b2(ab)^2 = a^2 b^2. Therefore, squaring a product of square roots clears each square root simultaneously without producing cross terms, unlike squaring a binomial sum or difference (a+b)2=a2+2ab+b2(a + b)^2 = a^2 + 2ab + b^2.
  • Handling Non-Integer Coefficients When Constructing Factors:

    • Question: Why convert (x−23)(x - \frac{2}{3}) to (3x−2)(3x - 2) when building a polynomial from zeros?
    • Response: While (x−23)(x - \frac{2}{3}) correctly establishes the zero at 23\frac{2}{3}, the problem constraint specifically demands whole number or integer coefficients. Multiplying the factor by the denominator 33 clears the fraction while preserving the exact zero value since 3(23)−2=03(\frac{2}{3}) - 2 = 0.