$5$ real numbers tied by two equations: understanding a proof of the related problem.
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
If $a,b,c,d,e$ are real numbers such that
$$
left{
beginarraylcl
phantom040-e &=& a+b+c+d, \
400-e^2 &=& a^2+b^2+c^2+d^2,
endarray
right.
$$
find $max(e)$.
In the solution provided, I don't understand equation $(1)$:
We know that
beginalign*
(40-e)^2
&= (a+b+c+d)^2 \
&= a^2 + b^2 + c^2 + d^2 + 2(ab+ac+ad+bc+bd+cd).
endalign*
Now note that $2xyleq x^2+y^2$ for all reals $x,y$. Hence
$$
(40-e)^2 leq 4(a^2+b^2+c^2+d^2).
tag1
$$
I understand why $2xyleq x^2+y^2$, but I'm not sure how the author derives the above inequality. $4(a^2+b^2+c^2+d^2)$ doesn't seem to represent the sum of two squares. The way the proof is worded so far implies this is obvious, so I think I'm clearly missing something. An explanation as to why the above inequality is true would be very much appreciated.
inequality systems-of-equations proof-explanation real-numbers
add a comment |Â
up vote
0
down vote
favorite
If $a,b,c,d,e$ are real numbers such that
$$
left{
beginarraylcl
phantom040-e &=& a+b+c+d, \
400-e^2 &=& a^2+b^2+c^2+d^2,
endarray
right.
$$
find $max(e)$.
In the solution provided, I don't understand equation $(1)$:
We know that
beginalign*
(40-e)^2
&= (a+b+c+d)^2 \
&= a^2 + b^2 + c^2 + d^2 + 2(ab+ac+ad+bc+bd+cd).
endalign*
Now note that $2xyleq x^2+y^2$ for all reals $x,y$. Hence
$$
(40-e)^2 leq 4(a^2+b^2+c^2+d^2).
tag1
$$
I understand why $2xyleq x^2+y^2$, but I'm not sure how the author derives the above inequality. $4(a^2+b^2+c^2+d^2)$ doesn't seem to represent the sum of two squares. The way the proof is worded so far implies this is obvious, so I think I'm clearly missing something. An explanation as to why the above inequality is true would be very much appreciated.
inequality systems-of-equations proof-explanation real-numbers
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
If $a,b,c,d,e$ are real numbers such that
$$
left{
beginarraylcl
phantom040-e &=& a+b+c+d, \
400-e^2 &=& a^2+b^2+c^2+d^2,
endarray
right.
$$
find $max(e)$.
In the solution provided, I don't understand equation $(1)$:
We know that
beginalign*
(40-e)^2
&= (a+b+c+d)^2 \
&= a^2 + b^2 + c^2 + d^2 + 2(ab+ac+ad+bc+bd+cd).
endalign*
Now note that $2xyleq x^2+y^2$ for all reals $x,y$. Hence
$$
(40-e)^2 leq 4(a^2+b^2+c^2+d^2).
tag1
$$
I understand why $2xyleq x^2+y^2$, but I'm not sure how the author derives the above inequality. $4(a^2+b^2+c^2+d^2)$ doesn't seem to represent the sum of two squares. The way the proof is worded so far implies this is obvious, so I think I'm clearly missing something. An explanation as to why the above inequality is true would be very much appreciated.
inequality systems-of-equations proof-explanation real-numbers
If $a,b,c,d,e$ are real numbers such that
$$
left{
beginarraylcl
phantom040-e &=& a+b+c+d, \
400-e^2 &=& a^2+b^2+c^2+d^2,
endarray
right.
$$
find $max(e)$.
In the solution provided, I don't understand equation $(1)$:
We know that
beginalign*
(40-e)^2
&= (a+b+c+d)^2 \
&= a^2 + b^2 + c^2 + d^2 + 2(ab+ac+ad+bc+bd+cd).
endalign*
Now note that $2xyleq x^2+y^2$ for all reals $x,y$. Hence
$$
(40-e)^2 leq 4(a^2+b^2+c^2+d^2).
tag1
$$
I understand why $2xyleq x^2+y^2$, but I'm not sure how the author derives the above inequality. $4(a^2+b^2+c^2+d^2)$ doesn't seem to represent the sum of two squares. The way the proof is worded so far implies this is obvious, so I think I'm clearly missing something. An explanation as to why the above inequality is true would be very much appreciated.
inequality systems-of-equations proof-explanation real-numbers
edited Aug 26 at 12:49
Jendrik Stelzner
7,58221037
7,58221037
asked Aug 26 at 12:38
user
527
527
add a comment |Â
add a comment |Â
3 Answers
3
active
oldest
votes
up vote
2
down vote
accepted
He is using it for $$2ab leq a^2+b^2$$ $$2ac leq a^2+c^2$$ $$2ad leq a^2+d^2$$ $$2bc leq b^2+c^2$$ $$2bd leq b^2+d^2$$ and $$2cd leq c^2+d^2$$
As per your answer, summing all these inequalities yields $$3(a^2+b^2+c^2+d^2)geq 2(ab+ac+ad+bc+bd+cd)$$ so $$(40-e)^2=a^2+b^2+c^2+d^2+2(ab+ac+ad+bc+bd+cd)leq 4(a^2+b^2+c^2+d^2)$$ For a continuation, we know that $4(a^2+b^2+c^2+d^2)=4(400-e^2)=1600-4e^2, $ hence $1600-80-e^2leq 1600-4e^2$. So $5e^2leq 80eimplies eleq 16$. Therefore, $max(e)=16$. Thank you very much!
â user
Aug 26 at 12:50
Apart from some little typos, it is correct. But it only proves $e leq 16$, in order to prove $max(e)=16$ you should also provide some $(a,b,c,d,e)$ for which $e=16$ and the other two equalities are satisfied.
â LucaMac
Aug 26 at 12:54
You're right, $a=b=c=d=6$ works.
â user
Aug 26 at 12:56
add a comment |Â
up vote
0
down vote
You must write $$2able a^2+b^2$$ and so on.
add a comment |Â
up vote
0
down vote
I think the following way is much more better.
By C-S $$400-e^2=a^2+b^2+c^2+d^2=frac14(1+1+1+1)(a^2+b^2+c^2+d^2)geq$$
$$geqfrac14(a+b+c+d)^2=frac14(40-e)^2,$$
which gives $0leq eleq16.$
The equality occurs for $(a,b,c,d,e)=(6,6,6,6,16),$ which says that $16$ is a maximal value.
There's also a neat solution using Jensen, but this is cool!
â user
Aug 26 at 13:27
Yes, Jensen for $f(x)=x^2.$
â Michael Rozenberg
Aug 26 at 13:31
add a comment |Â
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
He is using it for $$2ab leq a^2+b^2$$ $$2ac leq a^2+c^2$$ $$2ad leq a^2+d^2$$ $$2bc leq b^2+c^2$$ $$2bd leq b^2+d^2$$ and $$2cd leq c^2+d^2$$
As per your answer, summing all these inequalities yields $$3(a^2+b^2+c^2+d^2)geq 2(ab+ac+ad+bc+bd+cd)$$ so $$(40-e)^2=a^2+b^2+c^2+d^2+2(ab+ac+ad+bc+bd+cd)leq 4(a^2+b^2+c^2+d^2)$$ For a continuation, we know that $4(a^2+b^2+c^2+d^2)=4(400-e^2)=1600-4e^2, $ hence $1600-80-e^2leq 1600-4e^2$. So $5e^2leq 80eimplies eleq 16$. Therefore, $max(e)=16$. Thank you very much!
â user
Aug 26 at 12:50
Apart from some little typos, it is correct. But it only proves $e leq 16$, in order to prove $max(e)=16$ you should also provide some $(a,b,c,d,e)$ for which $e=16$ and the other two equalities are satisfied.
â LucaMac
Aug 26 at 12:54
You're right, $a=b=c=d=6$ works.
â user
Aug 26 at 12:56
add a comment |Â
up vote
2
down vote
accepted
He is using it for $$2ab leq a^2+b^2$$ $$2ac leq a^2+c^2$$ $$2ad leq a^2+d^2$$ $$2bc leq b^2+c^2$$ $$2bd leq b^2+d^2$$ and $$2cd leq c^2+d^2$$
As per your answer, summing all these inequalities yields $$3(a^2+b^2+c^2+d^2)geq 2(ab+ac+ad+bc+bd+cd)$$ so $$(40-e)^2=a^2+b^2+c^2+d^2+2(ab+ac+ad+bc+bd+cd)leq 4(a^2+b^2+c^2+d^2)$$ For a continuation, we know that $4(a^2+b^2+c^2+d^2)=4(400-e^2)=1600-4e^2, $ hence $1600-80-e^2leq 1600-4e^2$. So $5e^2leq 80eimplies eleq 16$. Therefore, $max(e)=16$. Thank you very much!
â user
Aug 26 at 12:50
Apart from some little typos, it is correct. But it only proves $e leq 16$, in order to prove $max(e)=16$ you should also provide some $(a,b,c,d,e)$ for which $e=16$ and the other two equalities are satisfied.
â LucaMac
Aug 26 at 12:54
You're right, $a=b=c=d=6$ works.
â user
Aug 26 at 12:56
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
He is using it for $$2ab leq a^2+b^2$$ $$2ac leq a^2+c^2$$ $$2ad leq a^2+d^2$$ $$2bc leq b^2+c^2$$ $$2bd leq b^2+d^2$$ and $$2cd leq c^2+d^2$$
He is using it for $$2ab leq a^2+b^2$$ $$2ac leq a^2+c^2$$ $$2ad leq a^2+d^2$$ $$2bc leq b^2+c^2$$ $$2bd leq b^2+d^2$$ and $$2cd leq c^2+d^2$$
answered Aug 26 at 12:42
LucaMac
1,01014
1,01014
As per your answer, summing all these inequalities yields $$3(a^2+b^2+c^2+d^2)geq 2(ab+ac+ad+bc+bd+cd)$$ so $$(40-e)^2=a^2+b^2+c^2+d^2+2(ab+ac+ad+bc+bd+cd)leq 4(a^2+b^2+c^2+d^2)$$ For a continuation, we know that $4(a^2+b^2+c^2+d^2)=4(400-e^2)=1600-4e^2, $ hence $1600-80-e^2leq 1600-4e^2$. So $5e^2leq 80eimplies eleq 16$. Therefore, $max(e)=16$. Thank you very much!
â user
Aug 26 at 12:50
Apart from some little typos, it is correct. But it only proves $e leq 16$, in order to prove $max(e)=16$ you should also provide some $(a,b,c,d,e)$ for which $e=16$ and the other two equalities are satisfied.
â LucaMac
Aug 26 at 12:54
You're right, $a=b=c=d=6$ works.
â user
Aug 26 at 12:56
add a comment |Â
As per your answer, summing all these inequalities yields $$3(a^2+b^2+c^2+d^2)geq 2(ab+ac+ad+bc+bd+cd)$$ so $$(40-e)^2=a^2+b^2+c^2+d^2+2(ab+ac+ad+bc+bd+cd)leq 4(a^2+b^2+c^2+d^2)$$ For a continuation, we know that $4(a^2+b^2+c^2+d^2)=4(400-e^2)=1600-4e^2, $ hence $1600-80-e^2leq 1600-4e^2$. So $5e^2leq 80eimplies eleq 16$. Therefore, $max(e)=16$. Thank you very much!
â user
Aug 26 at 12:50
Apart from some little typos, it is correct. But it only proves $e leq 16$, in order to prove $max(e)=16$ you should also provide some $(a,b,c,d,e)$ for which $e=16$ and the other two equalities are satisfied.
â LucaMac
Aug 26 at 12:54
You're right, $a=b=c=d=6$ works.
â user
Aug 26 at 12:56
As per your answer, summing all these inequalities yields $$3(a^2+b^2+c^2+d^2)geq 2(ab+ac+ad+bc+bd+cd)$$ so $$(40-e)^2=a^2+b^2+c^2+d^2+2(ab+ac+ad+bc+bd+cd)leq 4(a^2+b^2+c^2+d^2)$$ For a continuation, we know that $4(a^2+b^2+c^2+d^2)=4(400-e^2)=1600-4e^2, $ hence $1600-80-e^2leq 1600-4e^2$. So $5e^2leq 80eimplies eleq 16$. Therefore, $max(e)=16$. Thank you very much!
â user
Aug 26 at 12:50
As per your answer, summing all these inequalities yields $$3(a^2+b^2+c^2+d^2)geq 2(ab+ac+ad+bc+bd+cd)$$ so $$(40-e)^2=a^2+b^2+c^2+d^2+2(ab+ac+ad+bc+bd+cd)leq 4(a^2+b^2+c^2+d^2)$$ For a continuation, we know that $4(a^2+b^2+c^2+d^2)=4(400-e^2)=1600-4e^2, $ hence $1600-80-e^2leq 1600-4e^2$. So $5e^2leq 80eimplies eleq 16$. Therefore, $max(e)=16$. Thank you very much!
â user
Aug 26 at 12:50
Apart from some little typos, it is correct. But it only proves $e leq 16$, in order to prove $max(e)=16$ you should also provide some $(a,b,c,d,e)$ for which $e=16$ and the other two equalities are satisfied.
â LucaMac
Aug 26 at 12:54
Apart from some little typos, it is correct. But it only proves $e leq 16$, in order to prove $max(e)=16$ you should also provide some $(a,b,c,d,e)$ for which $e=16$ and the other two equalities are satisfied.
â LucaMac
Aug 26 at 12:54
You're right, $a=b=c=d=6$ works.
â user
Aug 26 at 12:56
You're right, $a=b=c=d=6$ works.
â user
Aug 26 at 12:56
add a comment |Â
up vote
0
down vote
You must write $$2able a^2+b^2$$ and so on.
add a comment |Â
up vote
0
down vote
You must write $$2able a^2+b^2$$ and so on.
add a comment |Â
up vote
0
down vote
up vote
0
down vote
You must write $$2able a^2+b^2$$ and so on.
You must write $$2able a^2+b^2$$ and so on.
answered Aug 26 at 12:43
Dr. Sonnhard Graubner
67.8k32660
67.8k32660
add a comment |Â
add a comment |Â
up vote
0
down vote
I think the following way is much more better.
By C-S $$400-e^2=a^2+b^2+c^2+d^2=frac14(1+1+1+1)(a^2+b^2+c^2+d^2)geq$$
$$geqfrac14(a+b+c+d)^2=frac14(40-e)^2,$$
which gives $0leq eleq16.$
The equality occurs for $(a,b,c,d,e)=(6,6,6,6,16),$ which says that $16$ is a maximal value.
There's also a neat solution using Jensen, but this is cool!
â user
Aug 26 at 13:27
Yes, Jensen for $f(x)=x^2.$
â Michael Rozenberg
Aug 26 at 13:31
add a comment |Â
up vote
0
down vote
I think the following way is much more better.
By C-S $$400-e^2=a^2+b^2+c^2+d^2=frac14(1+1+1+1)(a^2+b^2+c^2+d^2)geq$$
$$geqfrac14(a+b+c+d)^2=frac14(40-e)^2,$$
which gives $0leq eleq16.$
The equality occurs for $(a,b,c,d,e)=(6,6,6,6,16),$ which says that $16$ is a maximal value.
There's also a neat solution using Jensen, but this is cool!
â user
Aug 26 at 13:27
Yes, Jensen for $f(x)=x^2.$
â Michael Rozenberg
Aug 26 at 13:31
add a comment |Â
up vote
0
down vote
up vote
0
down vote
I think the following way is much more better.
By C-S $$400-e^2=a^2+b^2+c^2+d^2=frac14(1+1+1+1)(a^2+b^2+c^2+d^2)geq$$
$$geqfrac14(a+b+c+d)^2=frac14(40-e)^2,$$
which gives $0leq eleq16.$
The equality occurs for $(a,b,c,d,e)=(6,6,6,6,16),$ which says that $16$ is a maximal value.
I think the following way is much more better.
By C-S $$400-e^2=a^2+b^2+c^2+d^2=frac14(1+1+1+1)(a^2+b^2+c^2+d^2)geq$$
$$geqfrac14(a+b+c+d)^2=frac14(40-e)^2,$$
which gives $0leq eleq16.$
The equality occurs for $(a,b,c,d,e)=(6,6,6,6,16),$ which says that $16$ is a maximal value.
edited Aug 26 at 13:12
answered Aug 26 at 13:05
Michael Rozenberg
88.9k1581179
88.9k1581179
There's also a neat solution using Jensen, but this is cool!
â user
Aug 26 at 13:27
Yes, Jensen for $f(x)=x^2.$
â Michael Rozenberg
Aug 26 at 13:31
add a comment |Â
There's also a neat solution using Jensen, but this is cool!
â user
Aug 26 at 13:27
Yes, Jensen for $f(x)=x^2.$
â Michael Rozenberg
Aug 26 at 13:31
There's also a neat solution using Jensen, but this is cool!
â user
Aug 26 at 13:27
There's also a neat solution using Jensen, but this is cool!
â user
Aug 26 at 13:27
Yes, Jensen for $f(x)=x^2.$
â Michael Rozenberg
Aug 26 at 13:31
Yes, Jensen for $f(x)=x^2.$
â Michael Rozenberg
Aug 26 at 13:31
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%2f2894999%2f5-real-numbers-tied-by-two-equations-understanding-a-proof-of-the-related-pro%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