$f$ is continuous on $[0,1]$, $f(0)=f(1)$,$nin mathbb N$ constant $Rightarrow$ There exists...












3












$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!.










share|cite|improve this question











$endgroup$



marked as duplicate by José Carlos Santos calculus
Users with the  calculus badge can single-handedly close calculus questions as duplicates and reopen them as needed.

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.























    3












    $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!.










    share|cite|improve this question











    $endgroup$



    marked as duplicate by José Carlos Santos calculus
    Users with the  calculus badge can single-handedly close calculus questions as duplicates and reopen them as needed.

    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.





















      3












      3








      3





      $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!.










      share|cite|improve this question











      $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






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      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 calculus
      Users with the  calculus badge can single-handedly close calculus questions as duplicates and reopen them as needed.

      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 calculus
      Users with the  calculus badge can single-handedly close calculus questions as duplicates and reopen them as needed.

      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.
























          1 Answer
          1






          active

          oldest

          votes


















          3












          $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.






          share|cite|improve this answer











          $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


















          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          3












          $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.






          share|cite|improve this answer











          $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
















          3












          $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.






          share|cite|improve this answer











          $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














          3












          3








          3





          $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.






          share|cite|improve this answer











          $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.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          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


















          • $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



          Popular posts from this blog

          Bressuire

          Cabo Verde

          Gyllenstierna