Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2025 USAMO Problems/Problem 2"

(→‎Solution)
(→‎Solution)
 
(10 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
== Problem ==   
 
== Problem ==   
−
Let <math>n</math> and <math>k</math> be positive integers with <math>k<n</math>. Let <math>P(x)</math> be a polynomial of degree <math>n</math> with real coefficients, nonzero constant term, and no repeated roots. Suppose that for any real numbers <math>a_0, a_1, \dots, a_k</math> such that the polynomial <math>a_kx^k+\cdots+a_1x+a_0</math> divides <math>P(x)</math>, the product <math>a_0a_1\cdots a_k</math> is zero. Prove that <math>P(x)</math> has a nonreal root.
 
−
 
−
== Problem ==
 
 
Let <math>n</math> and <math>k</math> be positive integers with <math>k<n</math>. Let <math>P(x)</math> be a polynomial of degree <math>n</math> with real coefficients, nonzero constant term, and no repeated roots. Suppose that for any real numbers <math>a_0, a_1, \dots, a_k</math> such that the polynomial <math>a_kx^k+\cdots+a_1x+a_0</math> divides <math>P(x)</math>, the product <math>a_0a_1\cdots a_k</math> is zero. Prove that <math>P(x)</math> has a nonreal root.
 
Let <math>n</math> and <math>k</math> be positive integers with <math>k<n</math>. Let <math>P(x)</math> be a polynomial of degree <math>n</math> with real coefficients, nonzero constant term, and no repeated roots. Suppose that for any real numbers <math>a_0, a_1, \dots, a_k</math> such that the polynomial <math>a_kx^k+\cdots+a_1x+a_0</math> divides <math>P(x)</math>, the product <math>a_0a_1\cdots a_k</math> is zero. Prove that <math>P(x)</math> has a nonreal root.
  
Line 9: Line 6:
  
 
Consider any subset of <math>k</math> roots <math>\{r_{i_1}, r_{i_2}, \ldots, r_{i_k}\}</math> and form the polynomial:
 
Consider any subset of <math>k</math> roots <math>\{r_{i_1}, r_{i_2}, \ldots, r_{i_k}\}</math> and form the polynomial:
−
<cmath> Q(x) = \prod_{j=1}^k (x - r_{i_j}) = x^k + a_{k-1}x^{k-1} + \cdots + a_0 </cmath>
+
<cmath> Q(x) = \prod_{j=1}^k (x - r_{i_j}) =a_{k} x^k + a_{k-1}x^{k-1} + \cdots + a_0 </cmath>
  
 
By Vieta's formulas:
 
By Vieta's formulas:
−
\begin{itemize}
+
 
−
\item <math>a_0 = (-1)^k \prod_{j=1}^k r_{i_j} \neq 0</math>
+
<math>a_0 = (-1)^k \prod_{j=1}^k r_{i_j} \neq 0</math>
−
\item <math>a_{k-1} = -\sum_{j=1}^k r_{i_j}</math>
+
<math>a_{k-1} = -\sum_{j=1}^k r_{i_j}</math>
−
\item <math>a_{k-2} = \sum_{1\leq m<n\leq k} r_{i_m}r_{i_n}</math>
+
<math>a_{k-2} = \sum_{1\leq m<n\leq k} r_{i_m}r_{i_n}</math>
−
\end{itemize}
+
 
  
 
The given condition requires that <math>a_0a_1\cdots a_k = 0</math>. Since <math>a_0 \neq 0</math>, at least one other coefficient must be zero.
 
The given condition requires that <math>a_0a_1\cdots a_k = 0</math>. Since <math>a_0 \neq 0</math>, at least one other coefficient must be zero.
Line 29: Line 26:
 
For any <math>k</math> roots, some symmetric sum must be zero. For <math>k=3</math>, this would require:
 
For any <math>k</math> roots, some symmetric sum must be zero. For <math>k=3</math>, this would require:
 
<cmath> r_i + r_j + r_m = 0 \quad \text{for all triples} </cmath>
 
<cmath> r_i + r_j + r_m = 0 \quad \text{for all triples} </cmath>
−
which leads to contradictions when <math>n \geq 4</math> as it would force roots to be equal.
+
which leads to contradictions for any <math>n \geq 4</math> as it would force roots to be equal.
−
 
 
−
Thus, our initial assumption is false, and <math>P(x)</math> must have at least one nonreal root.（By Jonathan)
 
  
−
== See Also ==
+
Thus, our initial assumption is false, and <math>P(x)</math> must have at least one nonreal root.~Jonathan
−
{{USAMO newbox|year=2025|num-b=1|num-a=3}}
 
−
{{WAA Notice}}
 
  
 
== See Also ==
 
== See Also ==
 
{{USAMO newbox|year=2025|num-b=1|num-a=3}}
 
{{USAMO newbox|year=2025|num-b=1|num-a=3}}
−
{{WAA Notice}}
+
{{MAA Notice}}

Latest revision as of 14:43, 5 June 2025

Problem

Let $n$ and $k$ be positive integers with $k<n$. Let $P(x)$ be a polynomial of degree $n$ with real coefficients, nonzero constant term, and no repeated roots. Suppose that for any real numbers $a_0, a_1, \dots, a_k$ such that the polynomial $a_kx^k+\cdots+a_1x+a_0$ divides $P(x)$, the product $a_0a_1\cdots a_k$ is zero. Prove that $P(x)$ has a nonreal root.

Solution

We proceed by contradiction. Assume that all roots of $P(x)$ are real. Let the distinct roots be $r_1, r_2, \ldots, r_n$, all nonzero since the constant term is nonzero.

Consider any subset of $k$ roots $\{r_{i_1}, r_{i_2}, \ldots, r_{i_k}\}$ and form the polynomial: \[Q(x) = \prod_{j=1}^k (x - r_{i_j}) =a_{k} x^k + a_{k-1}x^{k-1} + \cdots + a_0\]

By Vieta's formulas:

$a_0 = (-1)^k \prod_{j=1}^k r_{i_j} \neq 0$ $a_{k-1} = -\sum_{j=1}^k r_{i_j}$ $a_{k-2} = \sum_{1\leq m<n\leq k} r_{i_m}r_{i_n}$


The given condition requires that $a_0a_1\cdots a_k = 0$. Since $a_0 \neq 0$, at least one other coefficient must be zero.

Case $k=2$: For any pair of roots $(r_i, r_j)$, we have: \[Q(x) = x^2 - (r_i+r_j)x + r_ir_j\] The condition implies $-r_ir_j(r_i+r_j) = 0$, so $r_i + r_j = 0$ for all pairs. But with $n \geq 3$, considering three roots $r_1, r_2, r_3$ gives: \[r_1 + r_2 = 0 \quad \text{and} \quad r_1 + r_3 = 0 \implies r_2 = r_3\] contradicting distinct roots. In General $k$: For any $k$ roots, some symmetric sum must be zero. For $k=3$, this would require: \[r_i + r_j + r_m = 0 \quad \text{for all triples}\] which leads to contradictions for any $n \geq 4$ as it would force roots to be equal.

Thus, our initial assumption is false, and $P(x)$ must have at least one nonreal root.~Jonathan

See Also

2025 USAMO (Problems • Resources)
Preceded by
Problem 1 		Followed by
Problem 3
1 • 2 • 3 • 4 • 5 • 6
All USAMO Problems and Solutions

These problems are copyrighted © by the Mathematical Association of America, as part of the American Mathematics Competitions. AMC Logo.png

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2025_USAMO_Problems/Problem_2&oldid=249789"