Question

A quadratic polynomial (x−α)(x−β)(x - \alpha)(x - \beta) over complex numbers is said to be square invariant if (x−α)(x−β)=(x−α2)(x−β2)(x - \alpha)(x - \beta) = (x - \alpha^2)(x - \beta^2). Suppose from the set of all square invariant quadratic polynomials we choose one at random.

The probability that the roots of the chosen polynomial are equal is __________. (rounded off to one decimal place)

Official answer and solution
Official answer
0.5
From
Official GATE 2025 answer key

Solution

Find all unordered root multisets {α,β}⊂C\{\alpha, \beta\} \subset \mathbb{C} satisfying {α,β}={α2,β2}\{\alpha, \beta\} = \{\alpha^2, \beta^2\} and count how many have α=β\alpha = \beta.

Two monic quadratic polynomials (x−α)(x−β)(x - \alpha)(x - \beta) and (x−α2)(x−β2)(x - \alpha^2)(x - \beta^2) are identical if and only if their root multisets are equal: {α,β}={α2,β2}\{\alpha, \beta\} = \{\alpha^2, \beta^2\}. There are two cases:

  1. Case 1 (α=α2\alpha = \alpha^2 and β=β2\beta = \beta^2):
    Since z=z2  ⟺  z∈{0,1}z = z^2 \iff z \in \{0, 1\}, both α\alpha and β\beta belong to {0,1}\{0, 1\}. This yields 33 distinct polynomials:
    • α=β=0  ⟹  x2\alpha = \beta = 0 \implies x^2 (equal roots)
    • α=β=1  ⟹  (x−1)2\alpha = \beta = 1 \implies (x - 1)^2 (equal roots)
    • {α,β}={0,1}  ⟹  x(x−1)\{\alpha, \beta\} = \{0, 1\} \implies x(x - 1) (distinct roots)
  2. Case 2 (α=β2\alpha = \beta^2 and β=α2\beta = \alpha^2 with α≠α2\alpha \neq \alpha^2):
    Substituting β=α2\beta = \alpha^2 into α=β2\alpha = \beta^2 gives α4=α  ⟹  α(α−1)(α2+α+1)=0\alpha^4 = \alpha \implies \alpha(\alpha - 1)(\alpha^2 + \alpha + 1) = 0. Since α∉{0,1}\alpha \notin \{0, 1\}, α\alpha and β=α2\beta = \alpha^2 must be the two distinct complex cube roots of unity ω,ω2\omega, \omega^2, yielding 11 additional polynomial:
    • (x−ω)(x−ω2)=x2+x+1(x - \omega)(x - \omega^2) = x^2 + x + 1 (distinct roots)

In total, there are 3+1=43 + 1 = 4 square-invariant quadratic polynomials, of which 22 (x2x^2 and (x−1)2(x-1)^2) have equal roots. Thus the probability is 24=0.5\frac{2}{4} = 0.5.

Final answer

0.5

Common trap

Overlooking the complex cube roots of unity (x−ω)(x−ω2)=x2+x+1(x - \omega)(x - \omega^2) = x^2 + x + 1 or treating (x−0)(x−1)(x - 0)(x - 1) and (x−1)(x−0)(x - 1)(x - 0) as two different polynomials.

The answer is the one in the official GATE answer key. The solution is this site's own explanation.

Source

Paper
GATE 2025 Computer Science and Information Technology - Session 2 (CS2)
Question
64 of 65
Section
Computer Science and Information Technology

Report an error in this question

GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.