(Proof right now?) Induction Inequality with sum
up vote
1
down vote
favorite
Have a short question to this equation.
I have to proof it per induction.
$$sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k} geq n^2 = ncdot n$$
...
so:
For induction proof can I use this? Is the following step correct?
$$sum_{k=1}^n a_k geq n$$
$$sum_{k=1}^n dfrac{1}{a_k} geq n$$
Thanks for your answers!
--EDIT--
I should proof that:
$$sum_{k=1}^{n+1} a_kcdotsum_{k=1}^{n+1} dfrac{1}{a_k} geq (n+1)^2 = n^2+2n+1$$
At the end of my proof there are following lines:
$$left(sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k}right) + left(dfrac{1}{a_{n+1}}cdot sum_{k=1}^n a_kright) +left((a_{n+1}) cdot sum_{k=1}^n dfrac{1}{a_k}right) + 1 $$
Now we can see that this part
$$left(sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k}right) +1 geq n^2+1$$
But what about the other 2 parts?
--- NEW STEPS ---
$$left(sum_{k=1}^n dfrac{a_k}{a_{n+1}}+ dfrac{a_{n+1}}{a_k}right)geq 2n$$
so now I substitute these:
$$left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right)geq 2n$$
induction start:
...
Induction end:
$$left(sum_{k=1}^{n+1} b_k+ dfrac{1}{b_k}right) = left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right) + left(sum_{k=n+1}^{n+1} b_k+ dfrac{1}{b_k}right) $$
$$ left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right) geq 2n$$
$$ left(sum_{k=n+1}^{n+1} b_k+ dfrac{1}{b_k}right) geq 2$$
So the whole of this:
$$left(sum_{k=1}^n dfrac{a_k}{a_{n+1}}+ dfrac{a_{n+1}}{a_k}right)geq 2n$$
and now the first equation is proofed.
Is this right, and finally the end? :)
analysis induction
add a comment |
up vote
1
down vote
favorite
Have a short question to this equation.
I have to proof it per induction.
$$sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k} geq n^2 = ncdot n$$
...
so:
For induction proof can I use this? Is the following step correct?
$$sum_{k=1}^n a_k geq n$$
$$sum_{k=1}^n dfrac{1}{a_k} geq n$$
Thanks for your answers!
--EDIT--
I should proof that:
$$sum_{k=1}^{n+1} a_kcdotsum_{k=1}^{n+1} dfrac{1}{a_k} geq (n+1)^2 = n^2+2n+1$$
At the end of my proof there are following lines:
$$left(sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k}right) + left(dfrac{1}{a_{n+1}}cdot sum_{k=1}^n a_kright) +left((a_{n+1}) cdot sum_{k=1}^n dfrac{1}{a_k}right) + 1 $$
Now we can see that this part
$$left(sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k}right) +1 geq n^2+1$$
But what about the other 2 parts?
--- NEW STEPS ---
$$left(sum_{k=1}^n dfrac{a_k}{a_{n+1}}+ dfrac{a_{n+1}}{a_k}right)geq 2n$$
so now I substitute these:
$$left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right)geq 2n$$
induction start:
...
Induction end:
$$left(sum_{k=1}^{n+1} b_k+ dfrac{1}{b_k}right) = left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right) + left(sum_{k=n+1}^{n+1} b_k+ dfrac{1}{b_k}right) $$
$$ left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right) geq 2n$$
$$ left(sum_{k=n+1}^{n+1} b_k+ dfrac{1}{b_k}right) geq 2$$
So the whole of this:
$$left(sum_{k=1}^n dfrac{a_k}{a_{n+1}}+ dfrac{a_{n+1}}{a_k}right)geq 2n$$
and now the first equation is proofed.
Is this right, and finally the end? :)
analysis induction
Shouldn't $a_n$ be positive?
– Mostafa Ayaz
Nov 22 at 22:14
I presume you want each $a_i>0$.
– Lord Shark the Unknown
Nov 22 at 22:14
$sum a_k$ can be any positive number.
– Lord Shark the Unknown
Nov 22 at 22:15
Yeah it can be any positive number. Can i assume in this inequality that the one sum is bigger than n and the other sum is bigger than n?
– John M
Nov 22 at 22:18
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Have a short question to this equation.
I have to proof it per induction.
$$sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k} geq n^2 = ncdot n$$
...
so:
For induction proof can I use this? Is the following step correct?
$$sum_{k=1}^n a_k geq n$$
$$sum_{k=1}^n dfrac{1}{a_k} geq n$$
Thanks for your answers!
--EDIT--
I should proof that:
$$sum_{k=1}^{n+1} a_kcdotsum_{k=1}^{n+1} dfrac{1}{a_k} geq (n+1)^2 = n^2+2n+1$$
At the end of my proof there are following lines:
$$left(sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k}right) + left(dfrac{1}{a_{n+1}}cdot sum_{k=1}^n a_kright) +left((a_{n+1}) cdot sum_{k=1}^n dfrac{1}{a_k}right) + 1 $$
Now we can see that this part
$$left(sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k}right) +1 geq n^2+1$$
But what about the other 2 parts?
--- NEW STEPS ---
$$left(sum_{k=1}^n dfrac{a_k}{a_{n+1}}+ dfrac{a_{n+1}}{a_k}right)geq 2n$$
so now I substitute these:
$$left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right)geq 2n$$
induction start:
...
Induction end:
$$left(sum_{k=1}^{n+1} b_k+ dfrac{1}{b_k}right) = left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right) + left(sum_{k=n+1}^{n+1} b_k+ dfrac{1}{b_k}right) $$
$$ left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right) geq 2n$$
$$ left(sum_{k=n+1}^{n+1} b_k+ dfrac{1}{b_k}right) geq 2$$
So the whole of this:
$$left(sum_{k=1}^n dfrac{a_k}{a_{n+1}}+ dfrac{a_{n+1}}{a_k}right)geq 2n$$
and now the first equation is proofed.
Is this right, and finally the end? :)
analysis induction
Have a short question to this equation.
I have to proof it per induction.
$$sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k} geq n^2 = ncdot n$$
...
so:
For induction proof can I use this? Is the following step correct?
$$sum_{k=1}^n a_k geq n$$
$$sum_{k=1}^n dfrac{1}{a_k} geq n$$
Thanks for your answers!
--EDIT--
I should proof that:
$$sum_{k=1}^{n+1} a_kcdotsum_{k=1}^{n+1} dfrac{1}{a_k} geq (n+1)^2 = n^2+2n+1$$
At the end of my proof there are following lines:
$$left(sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k}right) + left(dfrac{1}{a_{n+1}}cdot sum_{k=1}^n a_kright) +left((a_{n+1}) cdot sum_{k=1}^n dfrac{1}{a_k}right) + 1 $$
Now we can see that this part
$$left(sum_{k=1}^n a_kcdotsum_{k=1}^n dfrac{1}{a_k}right) +1 geq n^2+1$$
But what about the other 2 parts?
--- NEW STEPS ---
$$left(sum_{k=1}^n dfrac{a_k}{a_{n+1}}+ dfrac{a_{n+1}}{a_k}right)geq 2n$$
so now I substitute these:
$$left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right)geq 2n$$
induction start:
...
Induction end:
$$left(sum_{k=1}^{n+1} b_k+ dfrac{1}{b_k}right) = left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right) + left(sum_{k=n+1}^{n+1} b_k+ dfrac{1}{b_k}right) $$
$$ left(sum_{k=1}^n b_k+ dfrac{1}{b_k}right) geq 2n$$
$$ left(sum_{k=n+1}^{n+1} b_k+ dfrac{1}{b_k}right) geq 2$$
So the whole of this:
$$left(sum_{k=1}^n dfrac{a_k}{a_{n+1}}+ dfrac{a_{n+1}}{a_k}right)geq 2n$$
and now the first equation is proofed.
Is this right, and finally the end? :)
analysis induction
analysis induction
edited Nov 22 at 23:16
asked Nov 22 at 22:11
John M
154
154
Shouldn't $a_n$ be positive?
– Mostafa Ayaz
Nov 22 at 22:14
I presume you want each $a_i>0$.
– Lord Shark the Unknown
Nov 22 at 22:14
$sum a_k$ can be any positive number.
– Lord Shark the Unknown
Nov 22 at 22:15
Yeah it can be any positive number. Can i assume in this inequality that the one sum is bigger than n and the other sum is bigger than n?
– John M
Nov 22 at 22:18
add a comment |
Shouldn't $a_n$ be positive?
– Mostafa Ayaz
Nov 22 at 22:14
I presume you want each $a_i>0$.
– Lord Shark the Unknown
Nov 22 at 22:14
$sum a_k$ can be any positive number.
– Lord Shark the Unknown
Nov 22 at 22:15
Yeah it can be any positive number. Can i assume in this inequality that the one sum is bigger than n and the other sum is bigger than n?
– John M
Nov 22 at 22:18
Shouldn't $a_n$ be positive?
– Mostafa Ayaz
Nov 22 at 22:14
Shouldn't $a_n$ be positive?
– Mostafa Ayaz
Nov 22 at 22:14
I presume you want each $a_i>0$.
– Lord Shark the Unknown
Nov 22 at 22:14
I presume you want each $a_i>0$.
– Lord Shark the Unknown
Nov 22 at 22:14
$sum a_k$ can be any positive number.
– Lord Shark the Unknown
Nov 22 at 22:15
$sum a_k$ can be any positive number.
– Lord Shark the Unknown
Nov 22 at 22:15
Yeah it can be any positive number. Can i assume in this inequality that the one sum is bigger than n and the other sum is bigger than n?
– John M
Nov 22 at 22:18
Yeah it can be any positive number. Can i assume in this inequality that the one sum is bigger than n and the other sum is bigger than n?
– John M
Nov 22 at 22:18
add a comment |
2 Answers
2
active
oldest
votes
up vote
0
down vote
accepted
Hint: In the inductive step, observe that $displaystyle sum_{k=1}^nleft(dfrac{a_{n+1}}{a_k}+dfrac{a_k}{a_{n+1}}right)ge 2n$ by AM-GM inequality, and together with the inductive step we're done.I want to point out that in using your answer $LHS =$ inductive part $+$ the two parts $+1ge n^2+2n+1=(n+1)^2=RHS$ ,completing the proof.
Thanks for the answer, but i don't know how I should start with this..
– John M
Nov 22 at 22:45
Edited my solution, i think now it should be final, i guess so. Thanks for your help!
– John M
Nov 22 at 23:22
add a comment |
up vote
0
down vote
$a_n$ must be always positive. Here is a better way to attain to this:$$sum_{k=1}^{n}a_ksum_{l=1}^{n}{1over a_l}=sum_{k,l}{a_kover a_l}=sum_{k<l}{a_kover a_l}+sum_{k>l}{a_kover a_l}+sum_{k=l}{a_kover a_l}=n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)$$also we know that $${xover y}+{yover x}ge2$$therefore$$n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)ge n+sum_{k<l}2=n+2cdot {n^2-nover 2}=n^2$$which completes the proof.
Thanks for your help!!
– John M
Nov 22 at 23:23
You're welcome. Hope it helps you!
– Mostafa Ayaz
Nov 23 at 7:27
add a comment |
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: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009729%2fproof-right-now-induction-inequality-with-sum%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
accepted
Hint: In the inductive step, observe that $displaystyle sum_{k=1}^nleft(dfrac{a_{n+1}}{a_k}+dfrac{a_k}{a_{n+1}}right)ge 2n$ by AM-GM inequality, and together with the inductive step we're done.I want to point out that in using your answer $LHS =$ inductive part $+$ the two parts $+1ge n^2+2n+1=(n+1)^2=RHS$ ,completing the proof.
Thanks for the answer, but i don't know how I should start with this..
– John M
Nov 22 at 22:45
Edited my solution, i think now it should be final, i guess so. Thanks for your help!
– John M
Nov 22 at 23:22
add a comment |
up vote
0
down vote
accepted
Hint: In the inductive step, observe that $displaystyle sum_{k=1}^nleft(dfrac{a_{n+1}}{a_k}+dfrac{a_k}{a_{n+1}}right)ge 2n$ by AM-GM inequality, and together with the inductive step we're done.I want to point out that in using your answer $LHS =$ inductive part $+$ the two parts $+1ge n^2+2n+1=(n+1)^2=RHS$ ,completing the proof.
Thanks for the answer, but i don't know how I should start with this..
– John M
Nov 22 at 22:45
Edited my solution, i think now it should be final, i guess so. Thanks for your help!
– John M
Nov 22 at 23:22
add a comment |
up vote
0
down vote
accepted
up vote
0
down vote
accepted
Hint: In the inductive step, observe that $displaystyle sum_{k=1}^nleft(dfrac{a_{n+1}}{a_k}+dfrac{a_k}{a_{n+1}}right)ge 2n$ by AM-GM inequality, and together with the inductive step we're done.I want to point out that in using your answer $LHS =$ inductive part $+$ the two parts $+1ge n^2+2n+1=(n+1)^2=RHS$ ,completing the proof.
Hint: In the inductive step, observe that $displaystyle sum_{k=1}^nleft(dfrac{a_{n+1}}{a_k}+dfrac{a_k}{a_{n+1}}right)ge 2n$ by AM-GM inequality, and together with the inductive step we're done.I want to point out that in using your answer $LHS =$ inductive part $+$ the two parts $+1ge n^2+2n+1=(n+1)^2=RHS$ ,completing the proof.
edited Nov 22 at 22:51
answered Nov 22 at 22:21
DeepSea
70.8k54487
70.8k54487
Thanks for the answer, but i don't know how I should start with this..
– John M
Nov 22 at 22:45
Edited my solution, i think now it should be final, i guess so. Thanks for your help!
– John M
Nov 22 at 23:22
add a comment |
Thanks for the answer, but i don't know how I should start with this..
– John M
Nov 22 at 22:45
Edited my solution, i think now it should be final, i guess so. Thanks for your help!
– John M
Nov 22 at 23:22
Thanks for the answer, but i don't know how I should start with this..
– John M
Nov 22 at 22:45
Thanks for the answer, but i don't know how I should start with this..
– John M
Nov 22 at 22:45
Edited my solution, i think now it should be final, i guess so. Thanks for your help!
– John M
Nov 22 at 23:22
Edited my solution, i think now it should be final, i guess so. Thanks for your help!
– John M
Nov 22 at 23:22
add a comment |
up vote
0
down vote
$a_n$ must be always positive. Here is a better way to attain to this:$$sum_{k=1}^{n}a_ksum_{l=1}^{n}{1over a_l}=sum_{k,l}{a_kover a_l}=sum_{k<l}{a_kover a_l}+sum_{k>l}{a_kover a_l}+sum_{k=l}{a_kover a_l}=n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)$$also we know that $${xover y}+{yover x}ge2$$therefore$$n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)ge n+sum_{k<l}2=n+2cdot {n^2-nover 2}=n^2$$which completes the proof.
Thanks for your help!!
– John M
Nov 22 at 23:23
You're welcome. Hope it helps you!
– Mostafa Ayaz
Nov 23 at 7:27
add a comment |
up vote
0
down vote
$a_n$ must be always positive. Here is a better way to attain to this:$$sum_{k=1}^{n}a_ksum_{l=1}^{n}{1over a_l}=sum_{k,l}{a_kover a_l}=sum_{k<l}{a_kover a_l}+sum_{k>l}{a_kover a_l}+sum_{k=l}{a_kover a_l}=n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)$$also we know that $${xover y}+{yover x}ge2$$therefore$$n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)ge n+sum_{k<l}2=n+2cdot {n^2-nover 2}=n^2$$which completes the proof.
Thanks for your help!!
– John M
Nov 22 at 23:23
You're welcome. Hope it helps you!
– Mostafa Ayaz
Nov 23 at 7:27
add a comment |
up vote
0
down vote
up vote
0
down vote
$a_n$ must be always positive. Here is a better way to attain to this:$$sum_{k=1}^{n}a_ksum_{l=1}^{n}{1over a_l}=sum_{k,l}{a_kover a_l}=sum_{k<l}{a_kover a_l}+sum_{k>l}{a_kover a_l}+sum_{k=l}{a_kover a_l}=n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)$$also we know that $${xover y}+{yover x}ge2$$therefore$$n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)ge n+sum_{k<l}2=n+2cdot {n^2-nover 2}=n^2$$which completes the proof.
$a_n$ must be always positive. Here is a better way to attain to this:$$sum_{k=1}^{n}a_ksum_{l=1}^{n}{1over a_l}=sum_{k,l}{a_kover a_l}=sum_{k<l}{a_kover a_l}+sum_{k>l}{a_kover a_l}+sum_{k=l}{a_kover a_l}=n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)$$also we know that $${xover y}+{yover x}ge2$$therefore$$n+sum_{k<l}left({a_kover a_l}+{a_lover a_k} right)ge n+sum_{k<l}2=n+2cdot {n^2-nover 2}=n^2$$which completes the proof.
answered Nov 22 at 22:19
Mostafa Ayaz
13.5k3836
13.5k3836
Thanks for your help!!
– John M
Nov 22 at 23:23
You're welcome. Hope it helps you!
– Mostafa Ayaz
Nov 23 at 7:27
add a comment |
Thanks for your help!!
– John M
Nov 22 at 23:23
You're welcome. Hope it helps you!
– Mostafa Ayaz
Nov 23 at 7:27
Thanks for your help!!
– John M
Nov 22 at 23:23
Thanks for your help!!
– John M
Nov 22 at 23:23
You're welcome. Hope it helps you!
– Mostafa Ayaz
Nov 23 at 7:27
You're welcome. Hope it helps you!
– Mostafa Ayaz
Nov 23 at 7:27
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009729%2fproof-right-now-induction-inequality-with-sum%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Shouldn't $a_n$ be positive?
– Mostafa Ayaz
Nov 22 at 22:14
I presume you want each $a_i>0$.
– Lord Shark the Unknown
Nov 22 at 22:14
$sum a_k$ can be any positive number.
– Lord Shark the Unknown
Nov 22 at 22:15
Yeah it can be any positive number. Can i assume in this inequality that the one sum is bigger than n and the other sum is bigger than n?
– John M
Nov 22 at 22:18