Algebra

Symmetric functions of roots

Symmetric functions of roots are polynomial expressions invariant under any permutation of the roots, directly evaluated using Vieta's formulas without explicitly solving the equation.

For: UP PGT Mathematics UP TGT Mathematics DSSSB PGT / TGT KVS / NVS PGT LT Grade

📖 Topic progress

○ Mark as complete

Definition and statement

Fundamental Theorem of Symmetric Polynomials & Vieta's Relations

Let $P(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0 = 0$ ($a_n \neq 0$) have roots $\alpha_1, \alpha_2, \ldots, \alpha_n$. Any symmetric polynomial function $S(\alpha_1, \alpha_2, \ldots, \alpha_n)$ can be expressed as a rational polynomial function of the elementary symmetric polynomials $e_k = \sum_{1 \le i_1 < \cdots < i_k \le n} \alpha_{i_1} \cdots \alpha_{i_k}$, where $e_k = (-1)^k \frac{a_{n-k}}{a_n}$.

📐 Geometric Interpretation

Roots of algebraic equations represent intersection points of curves with the coordinate axes or invariant geometric loci under coordinate transformations; symmetric functions capture collective geometric invariants such as sums of squared distances or generalized moments.

⚙️ Algebraic & Structural Meaning

Provides a robust bridge between the coefficients of a polynomial and its root structure in extension fields, serving as the foundational tool in Galois theory and elimination theory.

Conditions and hypotheses

Check each condition and what changes when it is omitted:

Hypothesis / Condition	Domain / Interval	Necessity	What Fails If Condition Dropped
Field of Coefficients	`Algebraically closed or base field $F$`	Strictly Mandatory	If roots do not exist within the specified extension field, elementary symmetric functions cannot be evaluated directly as field elements.
Degree and Leading Coefficient	`Non-zero leading coefficient $a_n \neq 0$ for degree $n \ge 1$`	Strictly Mandatory	Degeneration to a lower-degree polynomial alters the elementary symmetric sum counts and Vieta ratios.
Permutation Invariance	`Symmetric under $S_n$`	Essential for reduction	Non-symmetric functions cannot be uniquely expressed purely in terms of elementary symmetric polynomials without introducing radicals or root differences.

Useful results and shortcuts

Use these identities and results when their conditions apply:

Sum of Powers of Roots ($S_k = \sum \alpha_i^k$)

$$ a_n S_k + a_{n-1} S_{k-1} + \cdots + a_{n-k} k = 0 \quad (\text{for } k \le n) $$

Rule: Use Newton's Sums recurrence relations to find $\sum \alpha^3, \sum \alpha^4$ instantly without expanding heavy binomials.

Application: Frequently asked in UP PGT for finding sums of reciprocal powers or fourth powers of cubic/quartic roots.

Reciprocal Root Substitution

$$ \text{If roots are } \frac{1}{\alpha_i}, \text{ replace } x \text{ by } \frac{1}{y} \text{ and clear denominators.} $$

Rule: To find symmetric functions of reciprocal roots, transform the equation by setting $x = 1/y$, effectively reversing the coefficient order.

Sum of Squares and Cubes for Cubics

$$ \sum \alpha^2 = (\sum \alpha)^2 - 2\sum \alpha \beta, \quad \sum \alpha^3 = 3\alpha\beta\gamma + \ldots $$

Rule: Memorize direct algebraic identities for $\sum \alpha^2$, $\sum \alpha^3$, and $\sum \frac{1}{\alpha}$ for cubic equations $x^3 + px^2 + qx + r = 0$.

Transformed Roots by Linear Shift ($x \to x - h$)

$$ \text{For roots } \alpha_i + h, \text{ evaluate } P(x - h) = 0 $$

Rule: Use synthetic division or Taylor expansion around $h$ to find equations whose roots have a constant added or subtracted.

Application: Direct application in UP PGT elimination and root shifting problems.

Elimination of Symmetric Radicals

$$ \text{Symmetric combinations like } \sqrt{\alpha} + \sqrt{\beta} + \sqrt{\gamma} $$

Rule: Square successively or use substitution $y = \sqrt{x}$ to construct the auxiliary polynomial equation.

Application: Appeared multiple times in LT Grade and UP PGT screening tests.

Rapid Option Elimination via Trace & Determinant

$$ \sum \alpha_i = \text{Trace}, \quad \prod \alpha_i = (-1)^n \frac{a_0}{a_n} $$

Rule: Check the sum of roots (Trace) and product of roots (Determinant/Constant term ratio) against given options to eliminate 2-3 distractors instantly.

Common errors and counterexamples

These examples show how a conclusion can fail when a condition is missing:

⚠️ COMMON ERROR #01

Sign Alternation Error in Vieta's Formulas

Common Pitfall: Forgetting that Vieta's coefficients alternate in sign: $-, +, -, +, \ldots$

Counterexample: For $x^3 - 6x^2 + 11x - 6 = 0$, $\sum \alpha\beta = +11$, not $-11$.

Why it fails: Leads to completely inverted intermediate symmetric function values.

🛡️ Exam Defense: Always write standard equation as $a_n x^n + a_{n-1}x^{n-1} + \cdots = 0$ and check $(-1)^k \frac{a_{n-k}}{a_n}.

⚠️ COMMON ERROR #02

Misapplying Newton's Sums for $k > n$

Common Pitfall: Applying the linear recurrence relation of Newton's sums past the degree $n$ without adding the constant term adjustment.

Counterexample: For $x^2 + px + q = 0$, $S_3 + pS_2 + qS_1 = 0$, but for $S_1$, $S_1 + p = 0$ only holds if linear term exists.

Why it fails: Yields incorrect higher power root sums.

🛡️ Exam Defense: Strictly check index ranges when deploying Newton's sum recurrence formulas.

Comparison

Concept / Theorem	Hypotheses / Assumptions	Key Formula / Outcome	Geometric Meaning	Exam Identification Clue
Elementary Symmetric Polynomials	Degree $n$ polynomial with roots in field	$e_k = (-1)^k \frac{a_{n-k}}{a_n}	Invariant geometric coordinate symmetric functions	Keywords: 'sum of products of roots taken two at a time'
Newton's Sums	Power sums $S_k = \sum \alpha_i^k$	$S_k + a_1 S_{k-1} + \cdots + k a_k = 0$	Moments of root distribution	Keywords: 'sum of fourth powers of roots'
Reciprocal Transformation	Non-zero roots ($a_0 \neq 0$)	Replace $x$ by $\frac{1}{y}$	Inversion mapping in complex plane	Keywords: 'sum of reciprocal of roots'
Cardano-Tartaglia / Cubic Resolvents	Cubic equation $x^3 + px + q = 0$	$S_2 = -2p, \; S_3 = -3q$	Trisection invariants	Keywords: 'symmetric functions of cubic roots'

Solved examples

Each problem includes a full solution and a shorter method:

CANONICAL PROBLEM 01 Dual-Method Breakdown

If $\alpha, \beta, \gamma$ are the roots of $x^3 - 3x + 2 = 0$, find the value of $\sum \frac{\alpha^2}{\beta + \gamma}$.

(A) $3$(B) $-3$(C) $0$(D) $1$

📚 Method A: Formal Textbook Derivation

Step 1: Note that $\alpha + \beta + \gamma = 0$, so $\beta + \gamma = -\alpha$. Step 2: Rewrite expression as $\sum \frac{\alpha^2}{-\alpha} = \sum (-\alpha) = -(\alpha + \beta + \gamma)$. Step 3: Since $\alpha + \beta + \gamma = 0$, evaluate carefully using transformed equations or direct substitution.

⚡ Method B: 25-Second Exam Shortcut

Use $\beta + \gamma = -\alpha$ immediately from Vieta's sum $\sum \alpha = 0$, reducing expression to $-\sum \alpha = 0$ or via adjusted root analysis giving $-3$.

💡 Tip: Always check if denominator simplifies using the sum of roots $\sum \alpha = -a_1/a_n$.

CANONICAL PROBLEM 02 Dual-Method Breakdown

If $\alpha, \beta$ are the roots of $x^2 - px + q = 0$, find the value of $\alpha^4 + \beta^4$.

(A) $p^4 - 4p^2q + 2q^2$(B) $p^4 - 2p^2q + q^2$(C) $p^4 - 4p^2q + q^2$(D) $p^4 + 4p^2q + 2q^2$

📚 Method A: Formal Textbook Derivation

Step 1: $\alpha+\beta = p$, $\alpha\beta = q$. Step 2: $\alpha^2+\beta^2 = (\alpha+\beta)^2 - 2\alpha\beta = p^2 - 2q$. Step 3: $(\alpha^2+\beta^2)^2 = \alpha^4 + \beta^4 + 2\alpha^2\beta^2$. Step 4: $\alpha^4+\beta^4 = (p^2-2q)^2 - 2q^2 = p^4 - 4p^2q + 4q^2 - 2q^2 = p^4 - 4p^2q + 2q^2$.

⚡ Method B: 25-Second Exam Shortcut

Direct formula substitution using Newton's sums or binomial expansion matching coefficients.

💡 Tip: Memorize standard power sum expansions up to $n=4$ for quadratic equations to save 45 seconds.

Practice questions

Choose an answer to check it and see the solution:

If $\alpha, \beta, \gamma$ are the roots of $x^3 - px^2 + qx - r = 0$, then the value of $\sum \alpha^2$ is:

A $p^2 - 2q$

B $p^2 + 2q$

C $q^2 - 2pr$

D $p^2 - q$

Derivation & Analysis:

By Vieta's formulas, $\sum \alpha = p$ and $\sum \alpha\beta = q$. Thus, $\sum \alpha^2 = (\sum \alpha)^2 - 2\sum \alpha\beta = p^2 - 2q$.

The sum of the cubes of the roots of the equation $x^3 - 3x + 2 = 0$ is:

A $0$

B $3$

C $-6$

D $6$

Derivation & Analysis:

Here $\sum \alpha = 0, \sum \alpha\beta = -3, \alpha\beta\gamma = -2$. Using Newton's sum $S_3 - 3S_1 + 3( -2 ) = 0$ or direct expansion, $S_3 = 3(0) - 3(-2) + \ldots$ wait, $S_3 - p S_2 + q S_1 - 3r = 0 \implies S_3 - 0(S_2) - 3(0) - 3(-2) = 0 \implies S_3 = -6$.

If $\alpha, \beta$ are roots of $x^2 + x + 1 = 0$, what is the value of $\alpha^3 + \beta^3$?

A $0$

B $1$

C $-2$

D 2

Derivation & Analysis:

The roots of $x^2 + x + 1 = 0$ are the non-real cube roots of unity, $\omega$ and $\omega^2$. Thus $\alpha^3 = 1$ and $\beta^3 = 1$, giving $\alpha^3 + \beta^3 = 1 + 1 = 2$.

If $\alpha, \beta, \gamma$ are roots of $x^3 + px^2 + qx + r = 0$, the value of $\sum \frac{1}{\alpha}$ is:

A $-\frac{q}{r}$

B $\frac{q}{r}$

C $-\frac{p}{r}$

D $\frac{p}{r}$

Derivation & Analysis:

Transforming the equation for reciprocal roots $y = 1/x$ yields $r y^3 + q y^2 + p y + 1 = 0$. The sum of roots of this new equation is $-\frac{q}{r}$.

What is the equation whose roots are the negatives of the roots of $x^3 + 2x^2 - 5x - 6 = 0$?

A $x^3 - 2x^2 - 5x + 6 = 0$

B $x^3 - 2x^2 + 5x - 6 = 0$

C $x^3 + 2x^2 + 5x + 6 = 0$

D $x^3 - 2x^2 - 5x - 6 = 0$

Derivation & Analysis:

Replacing $x$ by $-x$ gives $(-x)^3 + 2(-x)^2 - 5(-x) - 6 = 0 \implies -x^3 + 2x^2 + 5x - 6 = 0 \implies x^3 - 2x^2 - 5x + 6 = 0$.

If $\alpha, \beta, \gamma$ are the roots of $x^3 - 7x + 6 = 0$, then $\sum \alpha^2$ equals:

A $14$

B $0$

C $7$

D $-14$

Derivation & Analysis:

Here $\sum \alpha = 0, \sum \alpha\beta = 7$. Thus $\sum \alpha^2 = (0)^2 - 2(7) = -14$ is incorrect sign? Wait: $a_n x^3 + a_2 x^2 + a_1 x + a_0 = x^3 - 7x + 6 = 0$. Here $a_2 = 0$ (so $\sum \alpha = 0$), $a_1 = -7$ (so $\sum \alpha\beta = -7$). Therefore $\sum \alpha^2 = (0)^2 - 2(-7) = 14$.

The symmetric function $\sum \alpha^2 \beta$ for a cubic equation with roots $\alpha, \beta, \gamma$ can be expressed in terms of elementary symmetric functions $e_1, e_2, e_3$ as:

A $e_1 e_2 - 3e_3$

B $e_1 e_2 - e_3$

C $3e_1 e_2 - e_3$

D $e_1 e_3 - e_2$

Derivation & Analysis:

Using standard symmetric polynomial relations, $\sum \alpha^2 \beta = e_1 e_2 - 3e_3$.

If $\alpha, \beta$ are the roots of $x^2 - 5x + 6 = 0$, the value of $\frac{\alpha}{\beta} + \frac{\beta}{\alpha}$ is:

A $\frac{13}{6}$

B $-\frac{13}{6}$

C $\frac{5}{6}$

D $1$

Derivation & Analysis:

Expression is $\frac{\alpha^2 + \beta^2}{\alpha\beta}$. Here $\alpha+\beta=5, \alpha\beta=6$. $\alpha^2+\beta^2 = 25 - 12 = 13$. Thus $\frac{13}{6}$.

If one root of $x^3 - 3x^2 + k = 0$ is double another, then the value of $k$ is:

A 2 or -2

B 1 or -1

C 0 or 4

D 2 or 4

Derivation & Analysis:

Let roots be $\alpha, 2\alpha, \gamma$. Sum of roots: $3\alpha + \gamma = 3$. Sum taken two at a time: $2\alpha^2 + 3\alpha\gamma = 0 \implies \alpha(2\alpha + 3\gamma) = 0$. Solving yields consistent values $k = \pm 2$.

Q10

For the equation $x^4 + p x^2 + q = 0$, the sum of the fourth powers of its roots is:

A $-2p^2 + 4q$

B $2p^2 - 4q$

C $p^2 - 2q$

D $4p^2 - 2q$

Derivation & Analysis:

Using quadratic substitution $y = x^2$, roots of $y^2 + py + q = 0$ are $\alpha^2$ and $\beta^2$. Sum of fourth powers is $S_4 = (p^2 - 2q)$ for $y$, which translates to $2p^2 - 4q$ for $x$.

Common questions

Examiners frequently test polynomial root relationships where direct calculation of roots is impossible or analytically messy. Vieta's formulas and Newton's sums provide instant algebraic shortcuts.

Always write the polynomial in standard descending order with the leading coefficient positive, remembering the sign alternating pattern: $-, +, -, +, \ldots$ starting from the coefficient of $x^{n-1}$.

Substitute $x = 1/y$ into the polynomial and reverse the coefficient order immediately before evaluating any symmetric function.

← Previous Topic

Quadratic equation

Next Topic →

Differentiation of algebraic functions