MHB Prove |a1+2a2+...+nan|≤1 for P(x) with |P(x)|≤|sinx|

  • Thread starter Thread starter anemone
  • Start date Start date
  • Tags Tags
    2016
AI Thread Summary
The discussion centers on proving the inequality |a1 + 2a2 + ... + nan| ≤ 1 for the polynomial P(x) defined as a linear combination of sine functions, constrained by |P(x)| ≤ |sin x| for all x. Participants share their approaches to the proof, emphasizing the relationship between the coefficients and the sine function's properties. The correct solution is attributed to members Opalg and lfdahl, who successfully demonstrated the required inequality. The thread encourages further engagement with the Problem of the Week format and highlights the importance of mathematical rigor in such proofs. Overall, the discussion fosters a collaborative environment for solving complex mathematical problems.
anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Here is this week's POTW:

-----

Let $P(x)=a_1\sin x+a_2\sin 2x+\cdots+a_n\sin nx$ where $a_1,\,a_2,\,\cdots,\,a_n$ are real numbers. Suppose that $|P(x)|\le |\sin x|$ for all real $x$, prove that

$$|a_1+2a_2+\cdots+na_n|\le 1$$

-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
Congratulations to the following members for their correct solution::)

1. Opalg
2. lfdahl

Solution from Opalg:

Notice that $|P(0)| \leqslant |\sin0| = 0$, and so $P(0)=0.$

Next, $\left|\dfrac{P(x) - P(0)}x\right| = \left|\dfrac{P(x)}x\right| \leqslant \left|\dfrac{\sin x}x\right|$. Since weak inequalities are preserved by taking limits, it follows that $$\left|\lim_{x\to0}\dfrac{P(x) - P(0)}x\right| \leqslant \left|\lim_{x\to0}\dfrac{\sin x}x\right|.$$ But by the definition of a derivative, the left side is $|P'(0)| = |a_1 + 2a_2 + \ldots + na_n|$; and the limit on he right side is $1$. Therefore $|a_1 + 2a_2 + \ldots + na_n| \leqslant 1.$
 
Back
Top