Olympiad Maths Prep

Track / Stage 6 / 372 of 400 #1372 of 2000

Problem 1372

National olympiad, first round
Number theory Difficulty 6.9 Prove it

Let k k and s s be positive integers. For sets of real numbers {α1,α2,,αs} \{\alpha_1, \alpha_2, \ldots , \alpha_s\} and {β1,β2,,βs} \{\beta_1, \beta_2, \ldots, \beta_s\} that satisfy

i\equal1sαij\equali\equal1sβijj\equal{1,2,k} \sum^s_{i\equal{}1} \alpha^j_i \equal{} \sum^s_{i\equal{}1} \beta^j_i \quad \forall j \equal{} \{1,2 \ldots, k\}

we write {α1,α2,,αs}\equalk{β1,β2,,βs}. \{\alpha_1, \alpha_2, \ldots , \alpha_s\} \overset{k}{\equal{}} \{\beta_1, \beta_2, \ldots , \beta_s\}.

Prove that if {α1,α2,,αs}\equalk{β1,β2,,βs} \{\alpha_1, \alpha_2, \ldots , \alpha_s\} \overset{k}{\equal{}} \{\beta_1, \beta_2, \ldots , \beta_s\} and sk, s \leq k, then there exists a permutation π \pi of {1,2,,s} \{1, 2, \ldots , s\} such that

βi\equalαπ(i)i\equal1,2,,s. \beta_i \equal{} \alpha_{\pi(i)} \quad \forall i \equal{} 1,2, \ldots, s.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Given the sets of real numbers {α1,α2,,αs}\{\alpha_1, \alpha_2, \ldots , \alpha_s\} and {β1,β2,,βs}\{\beta_1, \beta_2, \ldots, \beta_s\} that satisfy:
i=1sαij=i=1sβijj={1,2,,k} \sum_{i=1}^s \alpha_i^j = \sum_{i=1}^s \beta_i^j \quad \forall j = \{1, 2, \ldots, k\}
we need to prove that if sks \leq k, then there exists a permutation π\pi of {1,2,,s}\{1, 2, \ldots, s\} such that:
βi=απ(i)i=1,2,,s. \beta_i = \alpha_{\pi(i)} \quad \forall i = 1, 2, \ldots, s.

2. Consider the polynomial P(x)P(x) defined by the roots α1,α2,,αs\alpha_1, \alpha_2, \ldots, \alpha_s:
P(x)=i=1s(xαi) P(x) = \prod_{i=1}^s (x - \alpha_i)
Similarly, define the polynomial Q(x)Q(x) with roots β1,β2,,βs\beta_1, \beta_2, \ldots, \beta_s:
Q(x)=i=1s(xβi) Q(x) = \prod_{i=1}^s (x - \beta_i)

3. The sums of powers of the roots of a polynomial are related to the coefficients of the polynomial. Specifically, the elementary symmetric polynomials in the roots can be expressed in terms of the sums of powers of the roots using Newton's identities.

4. Given that:
i=1sαij=i=1sβijj={1,2,,k} \sum_{i=1}^s \alpha_i^j = \sum_{i=1}^s \beta_i^j \quad \forall j = \{1, 2, \ldots, k\}
and sks \leq k, we can use these sums to determine the coefficients of the polynomials P(x)P(x) and Q(x)Q(x).

5. Since the sums of powers of the roots are equal for all j=1,2,,kj = 1, 2, \ldots, k, the coefficients of P(x)P(x) and Q(x)Q(x) must be identical. Therefore, the polynomials P(x)P(x) and Q(x)Q(x) are identical:
i=1s(xαi)=i=1s(xβi) \prod_{i=1}^s (x - \alpha_i) = \prod_{i=1}^s (x - \beta_i)

6. If two polynomials with real coefficients are identical, their roots must be identical up to a permutation. Hence, there exists a permutation π\pi of {1,2,,s}\{1, 2, \ldots, s\} such that:
βi=απ(i)i=1,2,,s. \beta_i = \alpha_{\pi(i)} \quad \forall i = 1, 2, \ldots, s.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.