$f$ is continuous on $[0,1]$, $f(0)=f(1)$,$nin mathbb N$ constant $Rightarrow$ There exists...
$begingroup$
This question already has an answer here:
If $f$ is continuous, then there exists $x+frac{1}{n}in[0,1]$ and $fleft(x+frac{1}{n}right)=f(x)$
1 answer
I've been trying to prove this statement:
Let $f$ be a continuous function on $[0,1]$ such that $f(0)=f(1):=c$, and let $n$ be a natural constant. Prove that there exists $xin[0,1-frac{1}{n}], xin mathbb R$ such that $f(x+frac{1}{n})=f(x).$
I tried to use the Intermediate Value Theorem by defining $g(x)=f(x+frac{1}{n})-f(x)$. I could see that $g(0)=f(frac{1}{n})-c$ and $g(1-frac{1}{n})=c-f(1-frac{1}{n})$ yet I could not figure out how to prove that $mathrm smathrm imathrm gmathrm n (g(0)cdot g(1-frac{1}{n}))=-1.$
Edit: Please notice that this statement is not (necessarily) true for every n. The statement is about some constant n.
Thank you and have a good day!.
calculus limits functions continuity
$endgroup$
marked as duplicate by José Carlos Santos
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 26 '18 at 12:15
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
$begingroup$
This question already has an answer here:
If $f$ is continuous, then there exists $x+frac{1}{n}in[0,1]$ and $fleft(x+frac{1}{n}right)=f(x)$
1 answer
I've been trying to prove this statement:
Let $f$ be a continuous function on $[0,1]$ such that $f(0)=f(1):=c$, and let $n$ be a natural constant. Prove that there exists $xin[0,1-frac{1}{n}], xin mathbb R$ such that $f(x+frac{1}{n})=f(x).$
I tried to use the Intermediate Value Theorem by defining $g(x)=f(x+frac{1}{n})-f(x)$. I could see that $g(0)=f(frac{1}{n})-c$ and $g(1-frac{1}{n})=c-f(1-frac{1}{n})$ yet I could not figure out how to prove that $mathrm smathrm imathrm gmathrm n (g(0)cdot g(1-frac{1}{n}))=-1.$
Edit: Please notice that this statement is not (necessarily) true for every n. The statement is about some constant n.
Thank you and have a good day!.
calculus limits functions continuity
$endgroup$
marked as duplicate by José Carlos Santos
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 26 '18 at 12:15
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
$begingroup$
This question already has an answer here:
If $f$ is continuous, then there exists $x+frac{1}{n}in[0,1]$ and $fleft(x+frac{1}{n}right)=f(x)$
1 answer
I've been trying to prove this statement:
Let $f$ be a continuous function on $[0,1]$ such that $f(0)=f(1):=c$, and let $n$ be a natural constant. Prove that there exists $xin[0,1-frac{1}{n}], xin mathbb R$ such that $f(x+frac{1}{n})=f(x).$
I tried to use the Intermediate Value Theorem by defining $g(x)=f(x+frac{1}{n})-f(x)$. I could see that $g(0)=f(frac{1}{n})-c$ and $g(1-frac{1}{n})=c-f(1-frac{1}{n})$ yet I could not figure out how to prove that $mathrm smathrm imathrm gmathrm n (g(0)cdot g(1-frac{1}{n}))=-1.$
Edit: Please notice that this statement is not (necessarily) true for every n. The statement is about some constant n.
Thank you and have a good day!.
calculus limits functions continuity
$endgroup$
This question already has an answer here:
If $f$ is continuous, then there exists $x+frac{1}{n}in[0,1]$ and $fleft(x+frac{1}{n}right)=f(x)$
1 answer
I've been trying to prove this statement:
Let $f$ be a continuous function on $[0,1]$ such that $f(0)=f(1):=c$, and let $n$ be a natural constant. Prove that there exists $xin[0,1-frac{1}{n}], xin mathbb R$ such that $f(x+frac{1}{n})=f(x).$
I tried to use the Intermediate Value Theorem by defining $g(x)=f(x+frac{1}{n})-f(x)$. I could see that $g(0)=f(frac{1}{n})-c$ and $g(1-frac{1}{n})=c-f(1-frac{1}{n})$ yet I could not figure out how to prove that $mathrm smathrm imathrm gmathrm n (g(0)cdot g(1-frac{1}{n}))=-1.$
Edit: Please notice that this statement is not (necessarily) true for every n. The statement is about some constant n.
Thank you and have a good day!.
This question already has an answer here:
If $f$ is continuous, then there exists $x+frac{1}{n}in[0,1]$ and $fleft(x+frac{1}{n}right)=f(x)$
1 answer
calculus limits functions continuity
calculus limits functions continuity
edited Dec 26 '18 at 12:00
Amit Zach
asked Dec 26 '18 at 11:45
Amit ZachAmit Zach
595
595
marked as duplicate by José Carlos Santos
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 26 '18 at 12:15
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
marked as duplicate by José Carlos Santos
StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;
$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');
$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 26 '18 at 12:15
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Let
$$g(x)=fleft(x+frac{1}{n}right)-f(x)$$
Then we need to prove that $exists x$ so that $g(x)=0$.
$$g(0)=fleft(frac{1}{n}right)-c$$
$$gleft(frac{1}{n}right)=fleft(frac{2}{n}right)-fleft(frac{1}{n}right)$$
$$gleft(frac{2}{n}right)=fleft(frac{3}{n}right)-fleft(frac{2}{n}right)$$
$$dots$$
$$gleft(frac{n-2}{n}right)=fleft(frac{n-1}{n}right)-fleft(frac{n-2}{n}right)$$
$$gleft(frac{n-1}{n}right)=c-fleft(frac{n-1}{n}right)$$
If one of the above values are $0$, then we are done. So suppose that all of them are different from $0$. But then we can sum them:
$$gleft(frac{0}{n}right)+gleft(frac{1}{n}right)+dots+gleft(frac{n-1}{n}right)=0$$
Because none of the values on the LHS are zero, then there must be at least $1$ negative and at least $1$ positive. But this means that we are done: if $g(a)<0$ and $g(b)>0$ then $exists d$ between $a$ and $b$ with $g(d)=0$, because $g$ is continuous.
Remark1: And this statement is true for all $n in mathbb{N}_+$
Remark2: I had the same exercise 1 or 2 months ago. I wanted to make a question about it, but I figured out the solution while I was writing the question :)
An extra exercise: Construct a function $f in C[0,1]$, $f(0)=f(1)$ which does not have a chord with length $2/5$: So $nexists x in [0, 1-2/5]$ so that $f(x)=f(x+2/5)$. This was an additional excercise in my worksheet, but I could not solve it.
$endgroup$
$begingroup$
This proof if absolutely beautiful. Thank you very, very much!
$endgroup$
– Amit Zach
Dec 26 '18 at 12:19
$begingroup$
@AmitZach You're welcome. I added a remark to the answer and an extra exercise if you want to think about it :)
$endgroup$
– Botond
Dec 26 '18 at 12:21
1
$begingroup$
Nice! +1, but there is a small mistake: you called $c$ the point such that $g(c)=0$, but the letter $c$ is already used.
$endgroup$
– ajotatxe
Dec 26 '18 at 12:52
$begingroup$
@ajotatxe Thank you, it's fixed now!
$endgroup$
– Botond
Dec 26 '18 at 12:57
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let
$$g(x)=fleft(x+frac{1}{n}right)-f(x)$$
Then we need to prove that $exists x$ so that $g(x)=0$.
$$g(0)=fleft(frac{1}{n}right)-c$$
$$gleft(frac{1}{n}right)=fleft(frac{2}{n}right)-fleft(frac{1}{n}right)$$
$$gleft(frac{2}{n}right)=fleft(frac{3}{n}right)-fleft(frac{2}{n}right)$$
$$dots$$
$$gleft(frac{n-2}{n}right)=fleft(frac{n-1}{n}right)-fleft(frac{n-2}{n}right)$$
$$gleft(frac{n-1}{n}right)=c-fleft(frac{n-1}{n}right)$$
If one of the above values are $0$, then we are done. So suppose that all of them are different from $0$. But then we can sum them:
$$gleft(frac{0}{n}right)+gleft(frac{1}{n}right)+dots+gleft(frac{n-1}{n}right)=0$$
Because none of the values on the LHS are zero, then there must be at least $1$ negative and at least $1$ positive. But this means that we are done: if $g(a)<0$ and $g(b)>0$ then $exists d$ between $a$ and $b$ with $g(d)=0$, because $g$ is continuous.
Remark1: And this statement is true for all $n in mathbb{N}_+$
Remark2: I had the same exercise 1 or 2 months ago. I wanted to make a question about it, but I figured out the solution while I was writing the question :)
An extra exercise: Construct a function $f in C[0,1]$, $f(0)=f(1)$ which does not have a chord with length $2/5$: So $nexists x in [0, 1-2/5]$ so that $f(x)=f(x+2/5)$. This was an additional excercise in my worksheet, but I could not solve it.
$endgroup$
$begingroup$
This proof if absolutely beautiful. Thank you very, very much!
$endgroup$
– Amit Zach
Dec 26 '18 at 12:19
$begingroup$
@AmitZach You're welcome. I added a remark to the answer and an extra exercise if you want to think about it :)
$endgroup$
– Botond
Dec 26 '18 at 12:21
1
$begingroup$
Nice! +1, but there is a small mistake: you called $c$ the point such that $g(c)=0$, but the letter $c$ is already used.
$endgroup$
– ajotatxe
Dec 26 '18 at 12:52
$begingroup$
@ajotatxe Thank you, it's fixed now!
$endgroup$
– Botond
Dec 26 '18 at 12:57
add a comment |
$begingroup$
Let
$$g(x)=fleft(x+frac{1}{n}right)-f(x)$$
Then we need to prove that $exists x$ so that $g(x)=0$.
$$g(0)=fleft(frac{1}{n}right)-c$$
$$gleft(frac{1}{n}right)=fleft(frac{2}{n}right)-fleft(frac{1}{n}right)$$
$$gleft(frac{2}{n}right)=fleft(frac{3}{n}right)-fleft(frac{2}{n}right)$$
$$dots$$
$$gleft(frac{n-2}{n}right)=fleft(frac{n-1}{n}right)-fleft(frac{n-2}{n}right)$$
$$gleft(frac{n-1}{n}right)=c-fleft(frac{n-1}{n}right)$$
If one of the above values are $0$, then we are done. So suppose that all of them are different from $0$. But then we can sum them:
$$gleft(frac{0}{n}right)+gleft(frac{1}{n}right)+dots+gleft(frac{n-1}{n}right)=0$$
Because none of the values on the LHS are zero, then there must be at least $1$ negative and at least $1$ positive. But this means that we are done: if $g(a)<0$ and $g(b)>0$ then $exists d$ between $a$ and $b$ with $g(d)=0$, because $g$ is continuous.
Remark1: And this statement is true for all $n in mathbb{N}_+$
Remark2: I had the same exercise 1 or 2 months ago. I wanted to make a question about it, but I figured out the solution while I was writing the question :)
An extra exercise: Construct a function $f in C[0,1]$, $f(0)=f(1)$ which does not have a chord with length $2/5$: So $nexists x in [0, 1-2/5]$ so that $f(x)=f(x+2/5)$. This was an additional excercise in my worksheet, but I could not solve it.
$endgroup$
$begingroup$
This proof if absolutely beautiful. Thank you very, very much!
$endgroup$
– Amit Zach
Dec 26 '18 at 12:19
$begingroup$
@AmitZach You're welcome. I added a remark to the answer and an extra exercise if you want to think about it :)
$endgroup$
– Botond
Dec 26 '18 at 12:21
1
$begingroup$
Nice! +1, but there is a small mistake: you called $c$ the point such that $g(c)=0$, but the letter $c$ is already used.
$endgroup$
– ajotatxe
Dec 26 '18 at 12:52
$begingroup$
@ajotatxe Thank you, it's fixed now!
$endgroup$
– Botond
Dec 26 '18 at 12:57
add a comment |
$begingroup$
Let
$$g(x)=fleft(x+frac{1}{n}right)-f(x)$$
Then we need to prove that $exists x$ so that $g(x)=0$.
$$g(0)=fleft(frac{1}{n}right)-c$$
$$gleft(frac{1}{n}right)=fleft(frac{2}{n}right)-fleft(frac{1}{n}right)$$
$$gleft(frac{2}{n}right)=fleft(frac{3}{n}right)-fleft(frac{2}{n}right)$$
$$dots$$
$$gleft(frac{n-2}{n}right)=fleft(frac{n-1}{n}right)-fleft(frac{n-2}{n}right)$$
$$gleft(frac{n-1}{n}right)=c-fleft(frac{n-1}{n}right)$$
If one of the above values are $0$, then we are done. So suppose that all of them are different from $0$. But then we can sum them:
$$gleft(frac{0}{n}right)+gleft(frac{1}{n}right)+dots+gleft(frac{n-1}{n}right)=0$$
Because none of the values on the LHS are zero, then there must be at least $1$ negative and at least $1$ positive. But this means that we are done: if $g(a)<0$ and $g(b)>0$ then $exists d$ between $a$ and $b$ with $g(d)=0$, because $g$ is continuous.
Remark1: And this statement is true for all $n in mathbb{N}_+$
Remark2: I had the same exercise 1 or 2 months ago. I wanted to make a question about it, but I figured out the solution while I was writing the question :)
An extra exercise: Construct a function $f in C[0,1]$, $f(0)=f(1)$ which does not have a chord with length $2/5$: So $nexists x in [0, 1-2/5]$ so that $f(x)=f(x+2/5)$. This was an additional excercise in my worksheet, but I could not solve it.
$endgroup$
Let
$$g(x)=fleft(x+frac{1}{n}right)-f(x)$$
Then we need to prove that $exists x$ so that $g(x)=0$.
$$g(0)=fleft(frac{1}{n}right)-c$$
$$gleft(frac{1}{n}right)=fleft(frac{2}{n}right)-fleft(frac{1}{n}right)$$
$$gleft(frac{2}{n}right)=fleft(frac{3}{n}right)-fleft(frac{2}{n}right)$$
$$dots$$
$$gleft(frac{n-2}{n}right)=fleft(frac{n-1}{n}right)-fleft(frac{n-2}{n}right)$$
$$gleft(frac{n-1}{n}right)=c-fleft(frac{n-1}{n}right)$$
If one of the above values are $0$, then we are done. So suppose that all of them are different from $0$. But then we can sum them:
$$gleft(frac{0}{n}right)+gleft(frac{1}{n}right)+dots+gleft(frac{n-1}{n}right)=0$$
Because none of the values on the LHS are zero, then there must be at least $1$ negative and at least $1$ positive. But this means that we are done: if $g(a)<0$ and $g(b)>0$ then $exists d$ between $a$ and $b$ with $g(d)=0$, because $g$ is continuous.
Remark1: And this statement is true for all $n in mathbb{N}_+$
Remark2: I had the same exercise 1 or 2 months ago. I wanted to make a question about it, but I figured out the solution while I was writing the question :)
An extra exercise: Construct a function $f in C[0,1]$, $f(0)=f(1)$ which does not have a chord with length $2/5$: So $nexists x in [0, 1-2/5]$ so that $f(x)=f(x+2/5)$. This was an additional excercise in my worksheet, but I could not solve it.
edited Dec 26 '18 at 12:57
answered Dec 26 '18 at 12:04
BotondBotond
5,8182832
5,8182832
$begingroup$
This proof if absolutely beautiful. Thank you very, very much!
$endgroup$
– Amit Zach
Dec 26 '18 at 12:19
$begingroup$
@AmitZach You're welcome. I added a remark to the answer and an extra exercise if you want to think about it :)
$endgroup$
– Botond
Dec 26 '18 at 12:21
1
$begingroup$
Nice! +1, but there is a small mistake: you called $c$ the point such that $g(c)=0$, but the letter $c$ is already used.
$endgroup$
– ajotatxe
Dec 26 '18 at 12:52
$begingroup$
@ajotatxe Thank you, it's fixed now!
$endgroup$
– Botond
Dec 26 '18 at 12:57
add a comment |
$begingroup$
This proof if absolutely beautiful. Thank you very, very much!
$endgroup$
– Amit Zach
Dec 26 '18 at 12:19
$begingroup$
@AmitZach You're welcome. I added a remark to the answer and an extra exercise if you want to think about it :)
$endgroup$
– Botond
Dec 26 '18 at 12:21
1
$begingroup$
Nice! +1, but there is a small mistake: you called $c$ the point such that $g(c)=0$, but the letter $c$ is already used.
$endgroup$
– ajotatxe
Dec 26 '18 at 12:52
$begingroup$
@ajotatxe Thank you, it's fixed now!
$endgroup$
– Botond
Dec 26 '18 at 12:57
$begingroup$
This proof if absolutely beautiful. Thank you very, very much!
$endgroup$
– Amit Zach
Dec 26 '18 at 12:19
$begingroup$
This proof if absolutely beautiful. Thank you very, very much!
$endgroup$
– Amit Zach
Dec 26 '18 at 12:19
$begingroup$
@AmitZach You're welcome. I added a remark to the answer and an extra exercise if you want to think about it :)
$endgroup$
– Botond
Dec 26 '18 at 12:21
$begingroup$
@AmitZach You're welcome. I added a remark to the answer and an extra exercise if you want to think about it :)
$endgroup$
– Botond
Dec 26 '18 at 12:21
1
1
$begingroup$
Nice! +1, but there is a small mistake: you called $c$ the point such that $g(c)=0$, but the letter $c$ is already used.
$endgroup$
– ajotatxe
Dec 26 '18 at 12:52
$begingroup$
Nice! +1, but there is a small mistake: you called $c$ the point such that $g(c)=0$, but the letter $c$ is already used.
$endgroup$
– ajotatxe
Dec 26 '18 at 12:52
$begingroup$
@ajotatxe Thank you, it's fixed now!
$endgroup$
– Botond
Dec 26 '18 at 12:57
$begingroup$
@ajotatxe Thank you, it's fixed now!
$endgroup$
– Botond
Dec 26 '18 at 12:57
add a comment |