inequality with power function
$begingroup$
Hello. Let $0<bleq1$ and $n in mathbb{N}$ with $ngeq1$, does this inequality hold?
$(n-1)^b leq n^b-1$
Ive tried quite a few combinations of $n$ and $b$ and it seems to be true but I dont know how to prove it (if its true)
inequality
$endgroup$
add a comment |
$begingroup$
Hello. Let $0<bleq1$ and $n in mathbb{N}$ with $ngeq1$, does this inequality hold?
$(n-1)^b leq n^b-1$
Ive tried quite a few combinations of $n$ and $b$ and it seems to be true but I dont know how to prove it (if its true)
inequality
$endgroup$
$begingroup$
For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
$endgroup$
– Martin R
Nov 27 '18 at 19:47
$begingroup$
It is the way around, see math.stackexchange.com/questions/1990936/….
$endgroup$
– Martin R
Nov 27 '18 at 20:00
$begingroup$
alright thanks for your help
$endgroup$
– StefanWK
Nov 27 '18 at 20:16
add a comment |
$begingroup$
Hello. Let $0<bleq1$ and $n in mathbb{N}$ with $ngeq1$, does this inequality hold?
$(n-1)^b leq n^b-1$
Ive tried quite a few combinations of $n$ and $b$ and it seems to be true but I dont know how to prove it (if its true)
inequality
$endgroup$
Hello. Let $0<bleq1$ and $n in mathbb{N}$ with $ngeq1$, does this inequality hold?
$(n-1)^b leq n^b-1$
Ive tried quite a few combinations of $n$ and $b$ and it seems to be true but I dont know how to prove it (if its true)
inequality
inequality
edited Nov 27 '18 at 19:47
user376343
3,4033826
3,4033826
asked Nov 27 '18 at 19:29
StefanWKStefanWK
727
727
$begingroup$
For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
$endgroup$
– Martin R
Nov 27 '18 at 19:47
$begingroup$
It is the way around, see math.stackexchange.com/questions/1990936/….
$endgroup$
– Martin R
Nov 27 '18 at 20:00
$begingroup$
alright thanks for your help
$endgroup$
– StefanWK
Nov 27 '18 at 20:16
add a comment |
$begingroup$
For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
$endgroup$
– Martin R
Nov 27 '18 at 19:47
$begingroup$
It is the way around, see math.stackexchange.com/questions/1990936/….
$endgroup$
– Martin R
Nov 27 '18 at 20:00
$begingroup$
alright thanks for your help
$endgroup$
– StefanWK
Nov 27 '18 at 20:16
$begingroup$
For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
$endgroup$
– Martin R
Nov 27 '18 at 19:47
$begingroup$
For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
$endgroup$
– Martin R
Nov 27 '18 at 19:47
$begingroup$
It is the way around, see math.stackexchange.com/questions/1990936/….
$endgroup$
– Martin R
Nov 27 '18 at 20:00
$begingroup$
It is the way around, see math.stackexchange.com/questions/1990936/….
$endgroup$
– Martin R
Nov 27 '18 at 20:00
$begingroup$
alright thanks for your help
$endgroup$
– StefanWK
Nov 27 '18 at 20:16
$begingroup$
alright thanks for your help
$endgroup$
– StefanWK
Nov 27 '18 at 20:16
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.
$endgroup$
$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48
1
$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51
$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47
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',
autoActivateHeartbeat: false,
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%2f3016206%2finequality-with-power-function%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.
$endgroup$
$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48
1
$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51
$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47
add a comment |
$begingroup$
The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.
$endgroup$
$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48
1
$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51
$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47
add a comment |
$begingroup$
The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.
$endgroup$
The inequality is actually the other way around. You can consider the function
$$f(x)=(x-1)^b-x^b+1$$
well-defined for every $xgeq 1$. Then
$$f'(x)=b(x-1)^{b-1}-bx^{b-1}$$
and since $xgeq 1$ we have $0leq x-1leq x$ so that $f'(x)geq 0$ for all $xgeq 1$ (here we use $b-1leq 0$) Hence $f$ is increasing. Moreover
$$f(1)=0$$
so that $f(x)geq 0$ for every $xgeq 1$ that is
$$(x-1)^bgeq x^b-1$$
for all $xgeq 1$, in particular if $xinmathbb{N}$.
edited Nov 27 '18 at 21:48
answered Nov 27 '18 at 19:38
Olivier MoschettaOlivier Moschetta
2,8311411
2,8311411
$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48
1
$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51
$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47
add a comment |
$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48
1
$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51
$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47
$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48
$begingroup$
Either my above counter-example or your proof must be wrong...
$endgroup$
– Martin R
Nov 27 '18 at 19:48
1
1
$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51
$begingroup$
Olivier your idea is good, but you maybe forgot that $b-1$ is negative. You might want to fix you proof starting the sign of $f'.$
$endgroup$
– user376343
Nov 27 '18 at 19:51
$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47
$begingroup$
True enough, I'll change it!
$endgroup$
– Olivier Moschetta
Nov 27 '18 at 21:47
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.
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%2f3016206%2finequality-with-power-function%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
$begingroup$
For $b=0.5$ and $n=2$ you get $sqrt 1 le sqrt 2 - 1$, which is wrong.
$endgroup$
– Martin R
Nov 27 '18 at 19:47
$begingroup$
It is the way around, see math.stackexchange.com/questions/1990936/….
$endgroup$
– Martin R
Nov 27 '18 at 20:00
$begingroup$
alright thanks for your help
$endgroup$
– StefanWK
Nov 27 '18 at 20:16