find the range if $(x_1+x_2+cdots+x_2009)^2=4(x_1x_2+x_2x_3+cdots+x_2009x_1)$
Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
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
add a comment |Â
up vote
2
down vote
favorite
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
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
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
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
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
inequality a.m.-g.m.-inequality cauchy-schwarz-inequality
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
add a comment |Â
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
add a comment |Â
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.
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
 |Â
show 8 more comments
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.$$
How to get the only and only if?
â communnites
Aug 30 at 14:45
add a comment |Â
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.
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
 |Â
show 8 more comments
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.
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
 |Â
show 8 more comments
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.
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.
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
 |Â
show 8 more comments
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
 |Â
show 8 more comments
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.$$
How to get the only and only if?
â communnites
Aug 30 at 14:45
add a comment |Â
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.$$
How to get the only and only if?
â communnites
Aug 30 at 14:45
add a comment |Â
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.$$
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.$$
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
add a comment |Â
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
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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