Which of the following statements are true for $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$?
$begingroup$
Let $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$.
Then
$sup (A)<frac{2}{pi}+frac{1}{npi}$ for all $nge 1$.
$inf (A)> frac{-2}{3pi}-frac{1}{npi}$ for all $nge 1$.
- $sup (A)=1$
- $inf (A)=-1$
My answer was options $1$ and $2$ which matched with prelim answer key provided by organization, but the final answer key changed the answer to option $1$ only. Why is option $2$ not correct?
My attempt-
As $-tle tsin(1/t)le t$. So $tsin(1/t)$ will always be less than $frac{2}{pi}$ which is strictly less than $1$. So option $3$ is false and option $1$ is true. Also value of $tsin(1/t)$ is always greater than or equal to $-2/pi=-0.63$, so infimum cannot be $-1$.
Now at $t=2/3pi$ , function has value $frac{-2}{3pi}$. So if option $2$ is false we must have some value of $t$ in $A$ for which the function attains value strictly less than $frac{-2}{3pi}$. Right?
Can you please help me with option $2$ now. Thanks in advance.
real-analysis supremum-and-infimum
$endgroup$
add a comment |
$begingroup$
Let $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$.
Then
$sup (A)<frac{2}{pi}+frac{1}{npi}$ for all $nge 1$.
$inf (A)> frac{-2}{3pi}-frac{1}{npi}$ for all $nge 1$.
- $sup (A)=1$
- $inf (A)=-1$
My answer was options $1$ and $2$ which matched with prelim answer key provided by organization, but the final answer key changed the answer to option $1$ only. Why is option $2$ not correct?
My attempt-
As $-tle tsin(1/t)le t$. So $tsin(1/t)$ will always be less than $frac{2}{pi}$ which is strictly less than $1$. So option $3$ is false and option $1$ is true. Also value of $tsin(1/t)$ is always greater than or equal to $-2/pi=-0.63$, so infimum cannot be $-1$.
Now at $t=2/3pi$ , function has value $frac{-2}{3pi}$. So if option $2$ is false we must have some value of $t$ in $A$ for which the function attains value strictly less than $frac{-2}{3pi}$. Right?
Can you please help me with option $2$ now. Thanks in advance.
real-analysis supremum-and-infimum
$endgroup$
$begingroup$
Please show us some work.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 17:28
$begingroup$
@GNUSupporter8964民主女神地下教會 please see edit.
$endgroup$
– blabla
Nov 30 '18 at 17:51
$begingroup$
Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
$endgroup$
– Thinking
Nov 30 '18 at 17:56
$begingroup$
@Thinking yes...
$endgroup$
– blabla
Nov 30 '18 at 18:00
$begingroup$
Thx for pinging me. Close vote removed.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 18:56
add a comment |
$begingroup$
Let $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$.
Then
$sup (A)<frac{2}{pi}+frac{1}{npi}$ for all $nge 1$.
$inf (A)> frac{-2}{3pi}-frac{1}{npi}$ for all $nge 1$.
- $sup (A)=1$
- $inf (A)=-1$
My answer was options $1$ and $2$ which matched with prelim answer key provided by organization, but the final answer key changed the answer to option $1$ only. Why is option $2$ not correct?
My attempt-
As $-tle tsin(1/t)le t$. So $tsin(1/t)$ will always be less than $frac{2}{pi}$ which is strictly less than $1$. So option $3$ is false and option $1$ is true. Also value of $tsin(1/t)$ is always greater than or equal to $-2/pi=-0.63$, so infimum cannot be $-1$.
Now at $t=2/3pi$ , function has value $frac{-2}{3pi}$. So if option $2$ is false we must have some value of $t$ in $A$ for which the function attains value strictly less than $frac{-2}{3pi}$. Right?
Can you please help me with option $2$ now. Thanks in advance.
real-analysis supremum-and-infimum
$endgroup$
Let $A={tsin(frac{1}{t}) | tin (0,frac{2}{pi})}$.
Then
$sup (A)<frac{2}{pi}+frac{1}{npi}$ for all $nge 1$.
$inf (A)> frac{-2}{3pi}-frac{1}{npi}$ for all $nge 1$.
- $sup (A)=1$
- $inf (A)=-1$
My answer was options $1$ and $2$ which matched with prelim answer key provided by organization, but the final answer key changed the answer to option $1$ only. Why is option $2$ not correct?
My attempt-
As $-tle tsin(1/t)le t$. So $tsin(1/t)$ will always be less than $frac{2}{pi}$ which is strictly less than $1$. So option $3$ is false and option $1$ is true. Also value of $tsin(1/t)$ is always greater than or equal to $-2/pi=-0.63$, so infimum cannot be $-1$.
Now at $t=2/3pi$ , function has value $frac{-2}{3pi}$. So if option $2$ is false we must have some value of $t$ in $A$ for which the function attains value strictly less than $frac{-2}{3pi}$. Right?
Can you please help me with option $2$ now. Thanks in advance.
real-analysis supremum-and-infimum
real-analysis supremum-and-infimum
edited Nov 30 '18 at 18:23
blabla
asked Nov 30 '18 at 17:24
blablablabla
444211
444211
$begingroup$
Please show us some work.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 17:28
$begingroup$
@GNUSupporter8964民主女神地下教會 please see edit.
$endgroup$
– blabla
Nov 30 '18 at 17:51
$begingroup$
Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
$endgroup$
– Thinking
Nov 30 '18 at 17:56
$begingroup$
@Thinking yes...
$endgroup$
– blabla
Nov 30 '18 at 18:00
$begingroup$
Thx for pinging me. Close vote removed.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 18:56
add a comment |
$begingroup$
Please show us some work.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 17:28
$begingroup$
@GNUSupporter8964民主女神地下教會 please see edit.
$endgroup$
– blabla
Nov 30 '18 at 17:51
$begingroup$
Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
$endgroup$
– Thinking
Nov 30 '18 at 17:56
$begingroup$
@Thinking yes...
$endgroup$
– blabla
Nov 30 '18 at 18:00
$begingroup$
Thx for pinging me. Close vote removed.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 18:56
$begingroup$
Please show us some work.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 17:28
$begingroup$
Please show us some work.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 17:28
$begingroup$
@GNUSupporter8964民主女神地下教會 please see edit.
$endgroup$
– blabla
Nov 30 '18 at 17:51
$begingroup$
@GNUSupporter8964民主女神地下教會 please see edit.
$endgroup$
– blabla
Nov 30 '18 at 17:51
$begingroup$
Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
$endgroup$
– Thinking
Nov 30 '18 at 17:56
$begingroup$
Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
$endgroup$
– Thinking
Nov 30 '18 at 17:56
$begingroup$
@Thinking yes...
$endgroup$
– blabla
Nov 30 '18 at 18:00
$begingroup$
@Thinking yes...
$endgroup$
– blabla
Nov 30 '18 at 18:00
$begingroup$
Thx for pinging me. Close vote removed.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 18:56
$begingroup$
Thx for pinging me. Close vote removed.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 18:56
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.
$endgroup$
$begingroup$
(you have functions of $t$ but you evaluate at $x=...$)
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:55
$begingroup$
Thank you for heads up. That was a typo....
$endgroup$
– Mostafa Ayaz
Nov 30 '18 at 20:04
add a comment |
$begingroup$
The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.
Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.
To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
$$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$
Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.
Something slightly more general is true:
Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.
Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.
$endgroup$
$begingroup$
Can you prove it using the first derivative test?
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 19:10
$begingroup$
@GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:12
$begingroup$
Yes, thx for edit.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 20:12
add a comment |
$begingroup$
Like some other answers, but written differently:
Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have
$$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$
For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.
$endgroup$
add a comment |
$begingroup$
Let $x=1/timplies A={frac{sin x}x:x>pi/2}$
Let $f(x)=frac{sin x}x, x>pi/2$
$f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$
This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$
$endgroup$
$begingroup$
This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
$endgroup$
– Thinking
Nov 30 '18 at 18:47
$begingroup$
at $0$ it doesn't verify what you are saying
$endgroup$
– Thinking
Nov 30 '18 at 19:22
$begingroup$
$sin x/x$ is continuously differentiable for $x>pi/2$
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:26
$begingroup$
That's not my point. Look at my first comment.
$endgroup$
– Thinking
Nov 30 '18 at 19:27
$begingroup$
The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:37
|
show 3 more comments
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%2f3020365%2fwhich-of-the-following-statements-are-true-for-a-t-sin-frac1t-t-in%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.
$endgroup$
$begingroup$
(you have functions of $t$ but you evaluate at $x=...$)
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:55
$begingroup$
Thank you for heads up. That was a typo....
$endgroup$
– Mostafa Ayaz
Nov 30 '18 at 20:04
add a comment |
$begingroup$
If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.
$endgroup$
$begingroup$
(you have functions of $t$ but you evaluate at $x=...$)
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:55
$begingroup$
Thank you for heads up. That was a typo....
$endgroup$
– Mostafa Ayaz
Nov 30 '18 at 20:04
add a comment |
$begingroup$
If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.
$endgroup$
If the option $2$ is true, it means that $$inf Age -{2over 3pi}$$ since $inf A> -{2over 3pi}-{1over npi}$ is true for all $n>1$. Since $$large tsin {1over t}Big|_{t={2over 3pi}in A}=-{2over 3pi}$$ then we must have $inf A= -{2over 3pi}$ and $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=0$$ because the infimum is equal to minimum now (since it is attained in $t={2over 3pi}in A$) and as the function is differentiable in $A$. But this doesn't hold since $$large {dover dt}tsin {1over t}Big|_{t={2over 3pi}in A}=large sin {1over t}-{1over t}cos {1over t}Big|_{t={2over 3pi}}=-1ne 0$$therefore option $2$ is incorrect.
edited Nov 30 '18 at 20:03
answered Nov 30 '18 at 19:10
Mostafa AyazMostafa Ayaz
15.6k3939
15.6k3939
$begingroup$
(you have functions of $t$ but you evaluate at $x=...$)
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:55
$begingroup$
Thank you for heads up. That was a typo....
$endgroup$
– Mostafa Ayaz
Nov 30 '18 at 20:04
add a comment |
$begingroup$
(you have functions of $t$ but you evaluate at $x=...$)
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:55
$begingroup$
Thank you for heads up. That was a typo....
$endgroup$
– Mostafa Ayaz
Nov 30 '18 at 20:04
$begingroup$
(you have functions of $t$ but you evaluate at $x=...$)
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:55
$begingroup$
(you have functions of $t$ but you evaluate at $x=...$)
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:55
$begingroup$
Thank you for heads up. That was a typo....
$endgroup$
– Mostafa Ayaz
Nov 30 '18 at 20:04
$begingroup$
Thank you for heads up. That was a typo....
$endgroup$
– Mostafa Ayaz
Nov 30 '18 at 20:04
add a comment |
$begingroup$
The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.
Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.
To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
$$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$
Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.
Something slightly more general is true:
Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.
Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.
$endgroup$
$begingroup$
Can you prove it using the first derivative test?
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 19:10
$begingroup$
@GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:12
$begingroup$
Yes, thx for edit.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 20:12
add a comment |
$begingroup$
The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.
Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.
To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
$$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$
Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.
Something slightly more general is true:
Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.
Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.
$endgroup$
$begingroup$
Can you prove it using the first derivative test?
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 19:10
$begingroup$
@GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:12
$begingroup$
Yes, thx for edit.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 20:12
add a comment |
$begingroup$
The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.
Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.
To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
$$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$
Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.
Something slightly more general is true:
Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.
Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.
$endgroup$
The graph of $sin(1/t)$ turns at $t=2/3pi$, but this is not true of $tsin(1/t)$. Multiplying by $t$ has the effect of pushing the minimum point to the right and down slightly.
Since $a>b-frac{1}{pi n}$ for all $nge 1$ iff $age b$, we are done.
To see this without a graph, lets start from your correct observation that for $f(t) = tsin (1/t)$, $f(2/3pi) = -2/3pi$. The derivative at this point however is
$$ f'(3pi/2) = sin(3pi/2) + 2/3pi cos(3pi/2) = -1 $$
Since $f$ is smooth on a small neighbourhood of $2/3pi$, $f'le -1/2<0$ on this neighbourhood. Thus $f$ is decreasing at $2/3pi$.
Something slightly more general is true:
Suppose $f$ is smooth, $f(1)=0=f(2)$, $fle 0$ and $f$ has a unique non degenerate minimum point $x_0$ in $[1,2]$. Then $g(x)=xf(x)$ has a minimum point to the right and below of $x_0$.
Proof- by a similar computation to the above, $g$ is decreasing at $x_0$. As $g(2)=2f(2)=0$, we conclude by Intermediate Value Theorem and Rolles' Theorem.
edited Nov 30 '18 at 19:30
answered Nov 30 '18 at 18:34
Calvin KhorCalvin Khor
11.8k21438
11.8k21438
$begingroup$
Can you prove it using the first derivative test?
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 19:10
$begingroup$
@GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:12
$begingroup$
Yes, thx for edit.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 20:12
add a comment |
$begingroup$
Can you prove it using the first derivative test?
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 19:10
$begingroup$
@GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:12
$begingroup$
Yes, thx for edit.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 20:12
$begingroup$
Can you prove it using the first derivative test?
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 19:10
$begingroup$
Can you prove it using the first derivative test?
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 19:10
$begingroup$
@GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:12
$begingroup$
@GNUSupporter8964民主女神地下教會 do you mean the claim that the minimum is pushed to the right?
$endgroup$
– Calvin Khor
Nov 30 '18 at 19:12
$begingroup$
Yes, thx for edit.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 20:12
$begingroup$
Yes, thx for edit.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 20:12
add a comment |
$begingroup$
Like some other answers, but written differently:
Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have
$$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$
For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.
$endgroup$
add a comment |
$begingroup$
Like some other answers, but written differently:
Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have
$$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$
For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.
$endgroup$
add a comment |
$begingroup$
Like some other answers, but written differently:
Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have
$$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$
For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.
$endgroup$
Like some other answers, but written differently:
Let $f(t)= tsin(1/t).$ Then $f'(t)= sin(1/t) - [cos (1/t)]/t$ for $t>0.$ Thus $f'(2/(3pi)) = -1.$ Hence for $t$ near and to the right of $2/(3pi),$ we have
$$frac{f(t)-f(2/(3pi)}{t-2/(3pi)}<-frac{1}{2}.$$
For such $t$ we have $f(t)<f(2/(3pi)=-2/(3pi).$ Hence $inf A <-2/(3pi),$ which implies 2. does not hold.
answered Nov 30 '18 at 20:04
zhw.zhw.
72.9k43175
72.9k43175
add a comment |
add a comment |
$begingroup$
Let $x=1/timplies A={frac{sin x}x:x>pi/2}$
Let $f(x)=frac{sin x}x, x>pi/2$
$f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$
This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$
$endgroup$
$begingroup$
This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
$endgroup$
– Thinking
Nov 30 '18 at 18:47
$begingroup$
at $0$ it doesn't verify what you are saying
$endgroup$
– Thinking
Nov 30 '18 at 19:22
$begingroup$
$sin x/x$ is continuously differentiable for $x>pi/2$
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:26
$begingroup$
That's not my point. Look at my first comment.
$endgroup$
– Thinking
Nov 30 '18 at 19:27
$begingroup$
The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:37
|
show 3 more comments
$begingroup$
Let $x=1/timplies A={frac{sin x}x:x>pi/2}$
Let $f(x)=frac{sin x}x, x>pi/2$
$f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$
This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$
$endgroup$
$begingroup$
This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
$endgroup$
– Thinking
Nov 30 '18 at 18:47
$begingroup$
at $0$ it doesn't verify what you are saying
$endgroup$
– Thinking
Nov 30 '18 at 19:22
$begingroup$
$sin x/x$ is continuously differentiable for $x>pi/2$
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:26
$begingroup$
That's not my point. Look at my first comment.
$endgroup$
– Thinking
Nov 30 '18 at 19:27
$begingroup$
The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:37
|
show 3 more comments
$begingroup$
Let $x=1/timplies A={frac{sin x}x:x>pi/2}$
Let $f(x)=frac{sin x}x, x>pi/2$
$f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$
This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$
$endgroup$
Let $x=1/timplies A={frac{sin x}x:x>pi/2}$
Let $f(x)=frac{sin x}x, x>pi/2$
$f(3pi/2)=-frac2{3pi}<0, f'(3pi/2)>0implies f$ is strictly increasing at $3pi/2$
This means you can find $ainvarepsilon-$neighbourhood of $3pi/2$ such that $f(a)<f(3pi/2)implies f(a)<-frac2{3pi}$
answered Nov 30 '18 at 18:31
Shubham JohriShubham Johri
5,172717
5,172717
$begingroup$
This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
$endgroup$
– Thinking
Nov 30 '18 at 18:47
$begingroup$
at $0$ it doesn't verify what you are saying
$endgroup$
– Thinking
Nov 30 '18 at 19:22
$begingroup$
$sin x/x$ is continuously differentiable for $x>pi/2$
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:26
$begingroup$
That's not my point. Look at my first comment.
$endgroup$
– Thinking
Nov 30 '18 at 19:27
$begingroup$
The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:37
|
show 3 more comments
$begingroup$
This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
$endgroup$
– Thinking
Nov 30 '18 at 18:47
$begingroup$
at $0$ it doesn't verify what you are saying
$endgroup$
– Thinking
Nov 30 '18 at 19:22
$begingroup$
$sin x/x$ is continuously differentiable for $x>pi/2$
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:26
$begingroup$
That's not my point. Look at my first comment.
$endgroup$
– Thinking
Nov 30 '18 at 19:27
$begingroup$
The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:37
$begingroup$
This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
$endgroup$
– Thinking
Nov 30 '18 at 18:47
$begingroup$
This is wrong. The fact that $f'(a) < 0$ doesn't mean there is a neighbourhood of $a$ where the function is strictly decreasing. Take for example : $xmapsto x+10x^2sin(1/x)$
$endgroup$
– Thinking
Nov 30 '18 at 18:47
$begingroup$
at $0$ it doesn't verify what you are saying
$endgroup$
– Thinking
Nov 30 '18 at 19:22
$begingroup$
at $0$ it doesn't verify what you are saying
$endgroup$
– Thinking
Nov 30 '18 at 19:22
$begingroup$
$sin x/x$ is continuously differentiable for $x>pi/2$
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:26
$begingroup$
$sin x/x$ is continuously differentiable for $x>pi/2$
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:26
$begingroup$
That's not my point. Look at my first comment.
$endgroup$
– Thinking
Nov 30 '18 at 19:27
$begingroup$
That's not my point. Look at my first comment.
$endgroup$
– Thinking
Nov 30 '18 at 19:27
$begingroup$
The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:37
$begingroup$
The result holds for continuously differentiable functions. $x+10x^2sin(1/x)$ is not continuously differentiable at $0$.
$endgroup$
– Shubham Johri
Nov 30 '18 at 19:37
|
show 3 more comments
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%2f3020365%2fwhich-of-the-following-statements-are-true-for-a-t-sin-frac1t-t-in%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$
Please show us some work.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 17:28
$begingroup$
@GNUSupporter8964民主女神地下教會 please see edit.
$endgroup$
– blabla
Nov 30 '18 at 17:51
$begingroup$
Are you sure it's $-1/(npi)$ in option $2$ and not $+1/(npi)$ ?
$endgroup$
– Thinking
Nov 30 '18 at 17:56
$begingroup$
@Thinking yes...
$endgroup$
– blabla
Nov 30 '18 at 18:00
$begingroup$
Thx for pinging me. Close vote removed.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Nov 30 '18 at 18:56