find the range if $(x_1+x_2+cdots+x_2009)^2=4(x_1x_2+x_2x_3+cdots+x_2009x_1)$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite
3












let $x_ige 0(i=1,2,3,cdots,2009$,and such $$(x_1+x_2+cdots+x_2009)^2=4(x_1x_2+x_2x_3+cdots+x_2009x_1)=4$$
find the range $sum_i=1^2009x^2_i$



I guess the range is $[1.5,2]$
because I think when $x_1=1,x_2=1,x_3=x_4=cdots=x_2009=0$then is maximum of value $2$



and when $x_1=0.5,x_2=1,x_3=0.5,x_4=cdots=x_2009=0$ is minmum of the value $1.5$










share|cite|improve this question























  • The title and the question don't match. Equal to four is missing from the title, and the sum of mixed products is squared in the title but not in the body. Fix it, please. Not that it matters much :-)
    – Jyrki Lahtonen
    Aug 30 at 5:32











  • Is this from some old contest by any chance? Adding such details gives some context to the question, and helps answerers in gauging what tools you can use.
    – Jyrki Lahtonen
    Aug 30 at 5:43














up vote
2
down vote

favorite
3












let $x_ige 0(i=1,2,3,cdots,2009$,and such $$(x_1+x_2+cdots+x_2009)^2=4(x_1x_2+x_2x_3+cdots+x_2009x_1)=4$$
find the range $sum_i=1^2009x^2_i$



I guess the range is $[1.5,2]$
because I think when $x_1=1,x_2=1,x_3=x_4=cdots=x_2009=0$then is maximum of value $2$



and when $x_1=0.5,x_2=1,x_3=0.5,x_4=cdots=x_2009=0$ is minmum of the value $1.5$










share|cite|improve this question























  • The title and the question don't match. Equal to four is missing from the title, and the sum of mixed products is squared in the title but not in the body. Fix it, please. Not that it matters much :-)
    – Jyrki Lahtonen
    Aug 30 at 5:32











  • Is this from some old contest by any chance? Adding such details gives some context to the question, and helps answerers in gauging what tools you can use.
    – Jyrki Lahtonen
    Aug 30 at 5:43












up vote
2
down vote

favorite
3









up vote
2
down vote

favorite
3






3





let $x_ige 0(i=1,2,3,cdots,2009$,and such $$(x_1+x_2+cdots+x_2009)^2=4(x_1x_2+x_2x_3+cdots+x_2009x_1)=4$$
find the range $sum_i=1^2009x^2_i$



I guess the range is $[1.5,2]$
because I think when $x_1=1,x_2=1,x_3=x_4=cdots=x_2009=0$then is maximum of value $2$



and when $x_1=0.5,x_2=1,x_3=0.5,x_4=cdots=x_2009=0$ is minmum of the value $1.5$










share|cite|improve this question















let $x_ige 0(i=1,2,3,cdots,2009$,and such $$(x_1+x_2+cdots+x_2009)^2=4(x_1x_2+x_2x_3+cdots+x_2009x_1)=4$$
find the range $sum_i=1^2009x^2_i$



I guess the range is $[1.5,2]$
because I think when $x_1=1,x_2=1,x_3=x_4=cdots=x_2009=0$then is maximum of value $2$



and when $x_1=0.5,x_2=1,x_3=0.5,x_4=cdots=x_2009=0$ is minmum of the value $1.5$







inequality a.m.-g.m.-inequality cauchy-schwarz-inequality






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 30 at 7:55









Michael Rozenberg

89.2k1582180




89.2k1582180










asked Aug 30 at 4:53









communnites

1,2251431




1,2251431











  • The title and the question don't match. Equal to four is missing from the title, and the sum of mixed products is squared in the title but not in the body. Fix it, please. Not that it matters much :-)
    – Jyrki Lahtonen
    Aug 30 at 5:32











  • Is this from some old contest by any chance? Adding such details gives some context to the question, and helps answerers in gauging what tools you can use.
    – Jyrki Lahtonen
    Aug 30 at 5:43
















  • The title and the question don't match. Equal to four is missing from the title, and the sum of mixed products is squared in the title but not in the body. Fix it, please. Not that it matters much :-)
    – Jyrki Lahtonen
    Aug 30 at 5:32











  • Is this from some old contest by any chance? Adding such details gives some context to the question, and helps answerers in gauging what tools you can use.
    – Jyrki Lahtonen
    Aug 30 at 5:43















The title and the question don't match. Equal to four is missing from the title, and the sum of mixed products is squared in the title but not in the body. Fix it, please. Not that it matters much :-)
– Jyrki Lahtonen
Aug 30 at 5:32





The title and the question don't match. Equal to four is missing from the title, and the sum of mixed products is squared in the title but not in the body. Fix it, please. Not that it matters much :-)
– Jyrki Lahtonen
Aug 30 at 5:32













Is this from some old contest by any chance? Adding such details gives some context to the question, and helps answerers in gauging what tools you can use.
– Jyrki Lahtonen
Aug 30 at 5:43




Is this from some old contest by any chance? Adding such details gives some context to the question, and helps answerers in gauging what tools you can use.
– Jyrki Lahtonen
Aug 30 at 5:43










2 Answers
2






active

oldest

votes

















up vote
2
down vote



accepted










I think you are right!



We'll prove that
$$(x_1+x_2+...+x_2009)^2geq4(x_1x_2+x_2x_3+...+x_2009x_1)$$ for all non-negatives $x_i$.



Indeed, let $x_2=maxlimits_ix_i$.



Thus, $$x_2x_2009geq x_1x_2009$$ and by AM-GM we obtain:
$$4(x_1x_2+x_2x_3+...+x_2009x_1)leq4(x_1+x_3+...+x_2009)(x_2+x_4+...+x_2008)leqleft(sumlimits_i=1^2009x_iright)^2,$$
where the equality occurs for
$$x_1(x_4+x_6+...+x_2008)=0,$$
$$x_2(x_5+...+x_2007)=0,$$ which gives
$$x_5=...=x_2007=0.$$
Now, if $x_1=0$ then $x_2x_3=1,$ which gives
$$2=sum_i=1^2009x_igeq x_2+x_3geq2sqrtx_2x_3=2,$$
which gives $x_2=x_3=1$, $x_1=x_4=...=x_2009=0$ and $sumlimits_i=1^2009x_i^2=2$.



If $x_1>0$ we obtain:
$$x_1(x_4+...+x_2008)=0,$$
which gives $x_4=x_5=...=x_2008=0.$



Now, let $x_2=a$, $x_1=b$,$x_3=c$ and $x_2009=d$.



Thus, $$(a+b+c+d)^2=4(ab+bd+ca)=4,$$
which gives $a+b+c+d=2$ and $ab+bd+ca=1.$



Thus, by AM-GM $$1=ab+bd+ca=ab+bd+dc+ca-dc=(a+d)(b+c)-dcleq$$
$$leqleft(fraca+b+c+d2right)^2-dc=1-dcleq1,$$
which gives $dc=0$ and $a+d=b+c=1.$



Now, let $c=0$.



Thus, $b=1=a+d$ and since $ageq b$, we obtain $d=0$ and $sumlimits_i=1^2009x_i^2=2$ again.



Let $d=0$.



Id est, by C-S
$$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+frac12(1+1)(b^2+c^2)geq1+frac12(b+c)^2=1.5.$$
The equality occurs for $a=1$ and $b=c=frac12,$ which says that we got a minimal value.



Also, $$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+(b+c)^2-2bcleq1+(b+c)^2=2.$$
The equality occurs for $a=b=1$ and $c=0,$ which says that we got a maximal value.






share|cite|improve this answer






















  • Good job! Getting the maximum was, of course, easy (estimate the second symmetric polynomial). But the minimum was too difficult for me :-) I developed a suspicion that we can never have more than three non-zero entries, but couldn't prove it.
    – Jyrki Lahtonen
    Aug 30 at 6:54











  • $x_1=max?$,so LHS can't less than RHS
    – communnites
    Aug 30 at 9:10










  • @communnites About which LHS and RHS do you say?
    – Michael Rozenberg
    Aug 30 at 9:50






  • 1




    I think $x_2=max$,because if $x_1=max$ then why$$4(x_1x_2+cdots+x_2009x_1)le 4(x_1+x_3+cdots+x_2009)(x_2+x_4+cdots+x_2008)$$? and if $x_2$ it is right,I think $x_1$ is max not hold
    – communnites
    Aug 30 at 10:16







  • 1




    Moreover,I think we can not assume that $a_1=maxlefta_iright$ here, since the situation is not symmetric.
    – mengdie1982
    Aug 30 at 11:03

















up vote
0
down vote













Solution



We are to state a lemma, on which the whole thing is based.




Lemma



Let $n > 4$ and $x_0,x_1,ldots,x_n,x_n+1$ be non-negative real
numbers, with $x_0=x_n$ and $x_n+1 = x_1$. Then $$left (sum_i=1^n x_i right )^2 geq 4sum_i=1^n
x_ix_i+1,$$
with the equality holding if and only if, for any $j~~ (1leq jleq n)$ we have$$x_j =dfrac 12 sumlimits_i=1^n x_i = x_j-1+x_j+1$$ and the rest
of the variables are equal to $0$.




Come back to the present case. Since $n=2009> 4$, $sumlimits_i=1^n x_i = 2$ and $sumlimits_i=1^n x_ix_i+1 = 1$, thus the equality holds. Therefore, for any $j~~~(1 leq j leq 2009)$, we have $x_j=1$,$x_j-1+x_j+1=1,$ and the rest are equal to $0$.



Under these constraints, we obtain $$S = sum_i=1^n x_i^2 = x_j^2 + x_j-1^2 + x_j+1^2 =1 + x_j-1^2 + x_j+1^2,$$ where $x_j-1, x_j+1 geq 0$ and $x_j-1+x_j+1= 1$. Thus, $dfrac 12 leq x_j-1^2 + x_j+1^2 leq 1$, therefore $$dfrac 32 leq S leq 2.$$






share|cite|improve this answer






















  • How to get the only and only if?
    – communnites
    Aug 30 at 14:45










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2899143%2ffind-the-range-if-x-1x-2-cdotsx-20092-4x-1x-2x-2x-3-cdot%23new-answer', 'question_page');

);

Post as a guest






























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
2
down vote



accepted










I think you are right!



We'll prove that
$$(x_1+x_2+...+x_2009)^2geq4(x_1x_2+x_2x_3+...+x_2009x_1)$$ for all non-negatives $x_i$.



Indeed, let $x_2=maxlimits_ix_i$.



Thus, $$x_2x_2009geq x_1x_2009$$ and by AM-GM we obtain:
$$4(x_1x_2+x_2x_3+...+x_2009x_1)leq4(x_1+x_3+...+x_2009)(x_2+x_4+...+x_2008)leqleft(sumlimits_i=1^2009x_iright)^2,$$
where the equality occurs for
$$x_1(x_4+x_6+...+x_2008)=0,$$
$$x_2(x_5+...+x_2007)=0,$$ which gives
$$x_5=...=x_2007=0.$$
Now, if $x_1=0$ then $x_2x_3=1,$ which gives
$$2=sum_i=1^2009x_igeq x_2+x_3geq2sqrtx_2x_3=2,$$
which gives $x_2=x_3=1$, $x_1=x_4=...=x_2009=0$ and $sumlimits_i=1^2009x_i^2=2$.



If $x_1>0$ we obtain:
$$x_1(x_4+...+x_2008)=0,$$
which gives $x_4=x_5=...=x_2008=0.$



Now, let $x_2=a$, $x_1=b$,$x_3=c$ and $x_2009=d$.



Thus, $$(a+b+c+d)^2=4(ab+bd+ca)=4,$$
which gives $a+b+c+d=2$ and $ab+bd+ca=1.$



Thus, by AM-GM $$1=ab+bd+ca=ab+bd+dc+ca-dc=(a+d)(b+c)-dcleq$$
$$leqleft(fraca+b+c+d2right)^2-dc=1-dcleq1,$$
which gives $dc=0$ and $a+d=b+c=1.$



Now, let $c=0$.



Thus, $b=1=a+d$ and since $ageq b$, we obtain $d=0$ and $sumlimits_i=1^2009x_i^2=2$ again.



Let $d=0$.



Id est, by C-S
$$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+frac12(1+1)(b^2+c^2)geq1+frac12(b+c)^2=1.5.$$
The equality occurs for $a=1$ and $b=c=frac12,$ which says that we got a minimal value.



Also, $$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+(b+c)^2-2bcleq1+(b+c)^2=2.$$
The equality occurs for $a=b=1$ and $c=0,$ which says that we got a maximal value.






share|cite|improve this answer






















  • Good job! Getting the maximum was, of course, easy (estimate the second symmetric polynomial). But the minimum was too difficult for me :-) I developed a suspicion that we can never have more than three non-zero entries, but couldn't prove it.
    – Jyrki Lahtonen
    Aug 30 at 6:54











  • $x_1=max?$,so LHS can't less than RHS
    – communnites
    Aug 30 at 9:10










  • @communnites About which LHS and RHS do you say?
    – Michael Rozenberg
    Aug 30 at 9:50






  • 1




    I think $x_2=max$,because if $x_1=max$ then why$$4(x_1x_2+cdots+x_2009x_1)le 4(x_1+x_3+cdots+x_2009)(x_2+x_4+cdots+x_2008)$$? and if $x_2$ it is right,I think $x_1$ is max not hold
    – communnites
    Aug 30 at 10:16







  • 1




    Moreover,I think we can not assume that $a_1=maxlefta_iright$ here, since the situation is not symmetric.
    – mengdie1982
    Aug 30 at 11:03














up vote
2
down vote



accepted










I think you are right!



We'll prove that
$$(x_1+x_2+...+x_2009)^2geq4(x_1x_2+x_2x_3+...+x_2009x_1)$$ for all non-negatives $x_i$.



Indeed, let $x_2=maxlimits_ix_i$.



Thus, $$x_2x_2009geq x_1x_2009$$ and by AM-GM we obtain:
$$4(x_1x_2+x_2x_3+...+x_2009x_1)leq4(x_1+x_3+...+x_2009)(x_2+x_4+...+x_2008)leqleft(sumlimits_i=1^2009x_iright)^2,$$
where the equality occurs for
$$x_1(x_4+x_6+...+x_2008)=0,$$
$$x_2(x_5+...+x_2007)=0,$$ which gives
$$x_5=...=x_2007=0.$$
Now, if $x_1=0$ then $x_2x_3=1,$ which gives
$$2=sum_i=1^2009x_igeq x_2+x_3geq2sqrtx_2x_3=2,$$
which gives $x_2=x_3=1$, $x_1=x_4=...=x_2009=0$ and $sumlimits_i=1^2009x_i^2=2$.



If $x_1>0$ we obtain:
$$x_1(x_4+...+x_2008)=0,$$
which gives $x_4=x_5=...=x_2008=0.$



Now, let $x_2=a$, $x_1=b$,$x_3=c$ and $x_2009=d$.



Thus, $$(a+b+c+d)^2=4(ab+bd+ca)=4,$$
which gives $a+b+c+d=2$ and $ab+bd+ca=1.$



Thus, by AM-GM $$1=ab+bd+ca=ab+bd+dc+ca-dc=(a+d)(b+c)-dcleq$$
$$leqleft(fraca+b+c+d2right)^2-dc=1-dcleq1,$$
which gives $dc=0$ and $a+d=b+c=1.$



Now, let $c=0$.



Thus, $b=1=a+d$ and since $ageq b$, we obtain $d=0$ and $sumlimits_i=1^2009x_i^2=2$ again.



Let $d=0$.



Id est, by C-S
$$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+frac12(1+1)(b^2+c^2)geq1+frac12(b+c)^2=1.5.$$
The equality occurs for $a=1$ and $b=c=frac12,$ which says that we got a minimal value.



Also, $$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+(b+c)^2-2bcleq1+(b+c)^2=2.$$
The equality occurs for $a=b=1$ and $c=0,$ which says that we got a maximal value.






share|cite|improve this answer






















  • Good job! Getting the maximum was, of course, easy (estimate the second symmetric polynomial). But the minimum was too difficult for me :-) I developed a suspicion that we can never have more than three non-zero entries, but couldn't prove it.
    – Jyrki Lahtonen
    Aug 30 at 6:54











  • $x_1=max?$,so LHS can't less than RHS
    – communnites
    Aug 30 at 9:10










  • @communnites About which LHS and RHS do you say?
    – Michael Rozenberg
    Aug 30 at 9:50






  • 1




    I think $x_2=max$,because if $x_1=max$ then why$$4(x_1x_2+cdots+x_2009x_1)le 4(x_1+x_3+cdots+x_2009)(x_2+x_4+cdots+x_2008)$$? and if $x_2$ it is right,I think $x_1$ is max not hold
    – communnites
    Aug 30 at 10:16







  • 1




    Moreover,I think we can not assume that $a_1=maxlefta_iright$ here, since the situation is not symmetric.
    – mengdie1982
    Aug 30 at 11:03












up vote
2
down vote



accepted







up vote
2
down vote



accepted






I think you are right!



We'll prove that
$$(x_1+x_2+...+x_2009)^2geq4(x_1x_2+x_2x_3+...+x_2009x_1)$$ for all non-negatives $x_i$.



Indeed, let $x_2=maxlimits_ix_i$.



Thus, $$x_2x_2009geq x_1x_2009$$ and by AM-GM we obtain:
$$4(x_1x_2+x_2x_3+...+x_2009x_1)leq4(x_1+x_3+...+x_2009)(x_2+x_4+...+x_2008)leqleft(sumlimits_i=1^2009x_iright)^2,$$
where the equality occurs for
$$x_1(x_4+x_6+...+x_2008)=0,$$
$$x_2(x_5+...+x_2007)=0,$$ which gives
$$x_5=...=x_2007=0.$$
Now, if $x_1=0$ then $x_2x_3=1,$ which gives
$$2=sum_i=1^2009x_igeq x_2+x_3geq2sqrtx_2x_3=2,$$
which gives $x_2=x_3=1$, $x_1=x_4=...=x_2009=0$ and $sumlimits_i=1^2009x_i^2=2$.



If $x_1>0$ we obtain:
$$x_1(x_4+...+x_2008)=0,$$
which gives $x_4=x_5=...=x_2008=0.$



Now, let $x_2=a$, $x_1=b$,$x_3=c$ and $x_2009=d$.



Thus, $$(a+b+c+d)^2=4(ab+bd+ca)=4,$$
which gives $a+b+c+d=2$ and $ab+bd+ca=1.$



Thus, by AM-GM $$1=ab+bd+ca=ab+bd+dc+ca-dc=(a+d)(b+c)-dcleq$$
$$leqleft(fraca+b+c+d2right)^2-dc=1-dcleq1,$$
which gives $dc=0$ and $a+d=b+c=1.$



Now, let $c=0$.



Thus, $b=1=a+d$ and since $ageq b$, we obtain $d=0$ and $sumlimits_i=1^2009x_i^2=2$ again.



Let $d=0$.



Id est, by C-S
$$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+frac12(1+1)(b^2+c^2)geq1+frac12(b+c)^2=1.5.$$
The equality occurs for $a=1$ and $b=c=frac12,$ which says that we got a minimal value.



Also, $$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+(b+c)^2-2bcleq1+(b+c)^2=2.$$
The equality occurs for $a=b=1$ and $c=0,$ which says that we got a maximal value.






share|cite|improve this answer














I think you are right!



We'll prove that
$$(x_1+x_2+...+x_2009)^2geq4(x_1x_2+x_2x_3+...+x_2009x_1)$$ for all non-negatives $x_i$.



Indeed, let $x_2=maxlimits_ix_i$.



Thus, $$x_2x_2009geq x_1x_2009$$ and by AM-GM we obtain:
$$4(x_1x_2+x_2x_3+...+x_2009x_1)leq4(x_1+x_3+...+x_2009)(x_2+x_4+...+x_2008)leqleft(sumlimits_i=1^2009x_iright)^2,$$
where the equality occurs for
$$x_1(x_4+x_6+...+x_2008)=0,$$
$$x_2(x_5+...+x_2007)=0,$$ which gives
$$x_5=...=x_2007=0.$$
Now, if $x_1=0$ then $x_2x_3=1,$ which gives
$$2=sum_i=1^2009x_igeq x_2+x_3geq2sqrtx_2x_3=2,$$
which gives $x_2=x_3=1$, $x_1=x_4=...=x_2009=0$ and $sumlimits_i=1^2009x_i^2=2$.



If $x_1>0$ we obtain:
$$x_1(x_4+...+x_2008)=0,$$
which gives $x_4=x_5=...=x_2008=0.$



Now, let $x_2=a$, $x_1=b$,$x_3=c$ and $x_2009=d$.



Thus, $$(a+b+c+d)^2=4(ab+bd+ca)=4,$$
which gives $a+b+c+d=2$ and $ab+bd+ca=1.$



Thus, by AM-GM $$1=ab+bd+ca=ab+bd+dc+ca-dc=(a+d)(b+c)-dcleq$$
$$leqleft(fraca+b+c+d2right)^2-dc=1-dcleq1,$$
which gives $dc=0$ and $a+d=b+c=1.$



Now, let $c=0$.



Thus, $b=1=a+d$ and since $ageq b$, we obtain $d=0$ and $sumlimits_i=1^2009x_i^2=2$ again.



Let $d=0$.



Id est, by C-S
$$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+frac12(1+1)(b^2+c^2)geq1+frac12(b+c)^2=1.5.$$
The equality occurs for $a=1$ and $b=c=frac12,$ which says that we got a minimal value.



Also, $$sum_i=1^2009x_i^2=a^2+b^2+c^2=1+(b+c)^2-2bcleq1+(b+c)^2=2.$$
The equality occurs for $a=b=1$ and $c=0,$ which says that we got a maximal value.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Aug 30 at 11:17

























answered Aug 30 at 6:47









Michael Rozenberg

89.2k1582180




89.2k1582180











  • Good job! Getting the maximum was, of course, easy (estimate the second symmetric polynomial). But the minimum was too difficult for me :-) I developed a suspicion that we can never have more than three non-zero entries, but couldn't prove it.
    – Jyrki Lahtonen
    Aug 30 at 6:54











  • $x_1=max?$,so LHS can't less than RHS
    – communnites
    Aug 30 at 9:10










  • @communnites About which LHS and RHS do you say?
    – Michael Rozenberg
    Aug 30 at 9:50






  • 1




    I think $x_2=max$,because if $x_1=max$ then why$$4(x_1x_2+cdots+x_2009x_1)le 4(x_1+x_3+cdots+x_2009)(x_2+x_4+cdots+x_2008)$$? and if $x_2$ it is right,I think $x_1$ is max not hold
    – communnites
    Aug 30 at 10:16







  • 1




    Moreover,I think we can not assume that $a_1=maxlefta_iright$ here, since the situation is not symmetric.
    – mengdie1982
    Aug 30 at 11:03
















  • Good job! Getting the maximum was, of course, easy (estimate the second symmetric polynomial). But the minimum was too difficult for me :-) I developed a suspicion that we can never have more than three non-zero entries, but couldn't prove it.
    – Jyrki Lahtonen
    Aug 30 at 6:54











  • $x_1=max?$,so LHS can't less than RHS
    – communnites
    Aug 30 at 9:10










  • @communnites About which LHS and RHS do you say?
    – Michael Rozenberg
    Aug 30 at 9:50






  • 1




    I think $x_2=max$,because if $x_1=max$ then why$$4(x_1x_2+cdots+x_2009x_1)le 4(x_1+x_3+cdots+x_2009)(x_2+x_4+cdots+x_2008)$$? and if $x_2$ it is right,I think $x_1$ is max not hold
    – communnites
    Aug 30 at 10:16







  • 1




    Moreover,I think we can not assume that $a_1=maxlefta_iright$ here, since the situation is not symmetric.
    – mengdie1982
    Aug 30 at 11:03















Good job! Getting the maximum was, of course, easy (estimate the second symmetric polynomial). But the minimum was too difficult for me :-) I developed a suspicion that we can never have more than three non-zero entries, but couldn't prove it.
– Jyrki Lahtonen
Aug 30 at 6:54





Good job! Getting the maximum was, of course, easy (estimate the second symmetric polynomial). But the minimum was too difficult for me :-) I developed a suspicion that we can never have more than three non-zero entries, but couldn't prove it.
– Jyrki Lahtonen
Aug 30 at 6:54













$x_1=max?$,so LHS can't less than RHS
– communnites
Aug 30 at 9:10




$x_1=max?$,so LHS can't less than RHS
– communnites
Aug 30 at 9:10












@communnites About which LHS and RHS do you say?
– Michael Rozenberg
Aug 30 at 9:50




@communnites About which LHS and RHS do you say?
– Michael Rozenberg
Aug 30 at 9:50




1




1




I think $x_2=max$,because if $x_1=max$ then why$$4(x_1x_2+cdots+x_2009x_1)le 4(x_1+x_3+cdots+x_2009)(x_2+x_4+cdots+x_2008)$$? and if $x_2$ it is right,I think $x_1$ is max not hold
– communnites
Aug 30 at 10:16





I think $x_2=max$,because if $x_1=max$ then why$$4(x_1x_2+cdots+x_2009x_1)le 4(x_1+x_3+cdots+x_2009)(x_2+x_4+cdots+x_2008)$$? and if $x_2$ it is right,I think $x_1$ is max not hold
– communnites
Aug 30 at 10:16





1




1




Moreover,I think we can not assume that $a_1=maxlefta_iright$ here, since the situation is not symmetric.
– mengdie1982
Aug 30 at 11:03




Moreover,I think we can not assume that $a_1=maxlefta_iright$ here, since the situation is not symmetric.
– mengdie1982
Aug 30 at 11:03










up vote
0
down vote













Solution



We are to state a lemma, on which the whole thing is based.




Lemma



Let $n > 4$ and $x_0,x_1,ldots,x_n,x_n+1$ be non-negative real
numbers, with $x_0=x_n$ and $x_n+1 = x_1$. Then $$left (sum_i=1^n x_i right )^2 geq 4sum_i=1^n
x_ix_i+1,$$
with the equality holding if and only if, for any $j~~ (1leq jleq n)$ we have$$x_j =dfrac 12 sumlimits_i=1^n x_i = x_j-1+x_j+1$$ and the rest
of the variables are equal to $0$.




Come back to the present case. Since $n=2009> 4$, $sumlimits_i=1^n x_i = 2$ and $sumlimits_i=1^n x_ix_i+1 = 1$, thus the equality holds. Therefore, for any $j~~~(1 leq j leq 2009)$, we have $x_j=1$,$x_j-1+x_j+1=1,$ and the rest are equal to $0$.



Under these constraints, we obtain $$S = sum_i=1^n x_i^2 = x_j^2 + x_j-1^2 + x_j+1^2 =1 + x_j-1^2 + x_j+1^2,$$ where $x_j-1, x_j+1 geq 0$ and $x_j-1+x_j+1= 1$. Thus, $dfrac 12 leq x_j-1^2 + x_j+1^2 leq 1$, therefore $$dfrac 32 leq S leq 2.$$






share|cite|improve this answer






















  • How to get the only and only if?
    – communnites
    Aug 30 at 14:45














up vote
0
down vote













Solution



We are to state a lemma, on which the whole thing is based.




Lemma



Let $n > 4$ and $x_0,x_1,ldots,x_n,x_n+1$ be non-negative real
numbers, with $x_0=x_n$ and $x_n+1 = x_1$. Then $$left (sum_i=1^n x_i right )^2 geq 4sum_i=1^n
x_ix_i+1,$$
with the equality holding if and only if, for any $j~~ (1leq jleq n)$ we have$$x_j =dfrac 12 sumlimits_i=1^n x_i = x_j-1+x_j+1$$ and the rest
of the variables are equal to $0$.




Come back to the present case. Since $n=2009> 4$, $sumlimits_i=1^n x_i = 2$ and $sumlimits_i=1^n x_ix_i+1 = 1$, thus the equality holds. Therefore, for any $j~~~(1 leq j leq 2009)$, we have $x_j=1$,$x_j-1+x_j+1=1,$ and the rest are equal to $0$.



Under these constraints, we obtain $$S = sum_i=1^n x_i^2 = x_j^2 + x_j-1^2 + x_j+1^2 =1 + x_j-1^2 + x_j+1^2,$$ where $x_j-1, x_j+1 geq 0$ and $x_j-1+x_j+1= 1$. Thus, $dfrac 12 leq x_j-1^2 + x_j+1^2 leq 1$, therefore $$dfrac 32 leq S leq 2.$$






share|cite|improve this answer






















  • How to get the only and only if?
    – communnites
    Aug 30 at 14:45












up vote
0
down vote










up vote
0
down vote









Solution



We are to state a lemma, on which the whole thing is based.




Lemma



Let $n > 4$ and $x_0,x_1,ldots,x_n,x_n+1$ be non-negative real
numbers, with $x_0=x_n$ and $x_n+1 = x_1$. Then $$left (sum_i=1^n x_i right )^2 geq 4sum_i=1^n
x_ix_i+1,$$
with the equality holding if and only if, for any $j~~ (1leq jleq n)$ we have$$x_j =dfrac 12 sumlimits_i=1^n x_i = x_j-1+x_j+1$$ and the rest
of the variables are equal to $0$.




Come back to the present case. Since $n=2009> 4$, $sumlimits_i=1^n x_i = 2$ and $sumlimits_i=1^n x_ix_i+1 = 1$, thus the equality holds. Therefore, for any $j~~~(1 leq j leq 2009)$, we have $x_j=1$,$x_j-1+x_j+1=1,$ and the rest are equal to $0$.



Under these constraints, we obtain $$S = sum_i=1^n x_i^2 = x_j^2 + x_j-1^2 + x_j+1^2 =1 + x_j-1^2 + x_j+1^2,$$ where $x_j-1, x_j+1 geq 0$ and $x_j-1+x_j+1= 1$. Thus, $dfrac 12 leq x_j-1^2 + x_j+1^2 leq 1$, therefore $$dfrac 32 leq S leq 2.$$






share|cite|improve this answer














Solution



We are to state a lemma, on which the whole thing is based.




Lemma



Let $n > 4$ and $x_0,x_1,ldots,x_n,x_n+1$ be non-negative real
numbers, with $x_0=x_n$ and $x_n+1 = x_1$. Then $$left (sum_i=1^n x_i right )^2 geq 4sum_i=1^n
x_ix_i+1,$$
with the equality holding if and only if, for any $j~~ (1leq jleq n)$ we have$$x_j =dfrac 12 sumlimits_i=1^n x_i = x_j-1+x_j+1$$ and the rest
of the variables are equal to $0$.




Come back to the present case. Since $n=2009> 4$, $sumlimits_i=1^n x_i = 2$ and $sumlimits_i=1^n x_ix_i+1 = 1$, thus the equality holds. Therefore, for any $j~~~(1 leq j leq 2009)$, we have $x_j=1$,$x_j-1+x_j+1=1,$ and the rest are equal to $0$.



Under these constraints, we obtain $$S = sum_i=1^n x_i^2 = x_j^2 + x_j-1^2 + x_j+1^2 =1 + x_j-1^2 + x_j+1^2,$$ where $x_j-1, x_j+1 geq 0$ and $x_j-1+x_j+1= 1$. Thus, $dfrac 12 leq x_j-1^2 + x_j+1^2 leq 1$, therefore $$dfrac 32 leq S leq 2.$$







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Aug 30 at 13:17

























answered Aug 30 at 12:54









mengdie1982

3,633216




3,633216











  • How to get the only and only if?
    – communnites
    Aug 30 at 14:45
















  • How to get the only and only if?
    – communnites
    Aug 30 at 14:45















How to get the only and only if?
– communnites
Aug 30 at 14:45




How to get the only and only if?
– communnites
Aug 30 at 14:45

















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2899143%2ffind-the-range-if-x-1x-2-cdotsx-20092-4x-1x-2x-2x-3-cdot%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?