Prove ${|C_a^n|}$ is decreasing starting from some $k$ given $C_a^n = frac{a(a-1)(a-2)dots(a-n+1)}{n!}$











up vote
0
down vote

favorite













Let $C_a^n$ be defined as:
$$
begin{cases}
C_a^n = frac{a(a-1)(a-2)dots(a-n+1)}{n!}\
bin mathbb N \
a in mathbb R \
C_a^0 = 1
end{cases}
$$

Prove that ${|C_a^n|}$ is decreasing starting from some index $k in mathbb N$.




Since we are dealing with absolute values lets find out when the given sequence is bounded. Consider consecutive terms:



$$
frac{C_{a}^{n+1}}{C_a^n} = frac{n!}{(n+1)!}cdot(a - n)
$$

Now inspect absolute values:



$$
frac{|C_{a}^{n+1}|}{|C_a^n|} = frac{1}{n+1}cdot|a-n| = frac{|n-a|}{n+1}
$$



So clearly the sequence is bounded only in case $a ge -1$. Before this one i've also shown that $C_a^n$ is bounded in case $a ge -1$ and unbounded in case $a < -1$ which was a generalization of this question.



My further thoughts were as follows. Let's take for instance $a = 3.5$ then the sequence becomes:



$$
C_{3.5}^n = frac{3.5(3.5-1)(3.5-2)(3.5-3)cdots(3.5-n+1)}{n!} = \
= frac{3.5}{1} cdot frac{2.5}{2} cdot frac{1.5}{3}cdot cdots cdot frac{3.5-n+1}{n}
$$



This instance of sequence is increasing for $n<3$ and then starts decreasing. After playing around with different cases of $a$ it seems like the index $k$ is in the form:



$$
k_0 =leftlceilfrac{a-1}{2}rightrceil
$$



To give more insights here is a visualization of the sequence.



My thoughts above do not feel like formal ones and $k_0$ is obtained by a guess so i would like to see a formal proof of what's in problem statement.



I know that $C_a^n$ has somewhat to deal with the Gamma function, but this question is in precalculus level. Thank you.










share|cite|improve this question




























    up vote
    0
    down vote

    favorite













    Let $C_a^n$ be defined as:
    $$
    begin{cases}
    C_a^n = frac{a(a-1)(a-2)dots(a-n+1)}{n!}\
    bin mathbb N \
    a in mathbb R \
    C_a^0 = 1
    end{cases}
    $$

    Prove that ${|C_a^n|}$ is decreasing starting from some index $k in mathbb N$.




    Since we are dealing with absolute values lets find out when the given sequence is bounded. Consider consecutive terms:



    $$
    frac{C_{a}^{n+1}}{C_a^n} = frac{n!}{(n+1)!}cdot(a - n)
    $$

    Now inspect absolute values:



    $$
    frac{|C_{a}^{n+1}|}{|C_a^n|} = frac{1}{n+1}cdot|a-n| = frac{|n-a|}{n+1}
    $$



    So clearly the sequence is bounded only in case $a ge -1$. Before this one i've also shown that $C_a^n$ is bounded in case $a ge -1$ and unbounded in case $a < -1$ which was a generalization of this question.



    My further thoughts were as follows. Let's take for instance $a = 3.5$ then the sequence becomes:



    $$
    C_{3.5}^n = frac{3.5(3.5-1)(3.5-2)(3.5-3)cdots(3.5-n+1)}{n!} = \
    = frac{3.5}{1} cdot frac{2.5}{2} cdot frac{1.5}{3}cdot cdots cdot frac{3.5-n+1}{n}
    $$



    This instance of sequence is increasing for $n<3$ and then starts decreasing. After playing around with different cases of $a$ it seems like the index $k$ is in the form:



    $$
    k_0 =leftlceilfrac{a-1}{2}rightrceil
    $$



    To give more insights here is a visualization of the sequence.



    My thoughts above do not feel like formal ones and $k_0$ is obtained by a guess so i would like to see a formal proof of what's in problem statement.



    I know that $C_a^n$ has somewhat to deal with the Gamma function, but this question is in precalculus level. Thank you.










    share|cite|improve this question


























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite












      Let $C_a^n$ be defined as:
      $$
      begin{cases}
      C_a^n = frac{a(a-1)(a-2)dots(a-n+1)}{n!}\
      bin mathbb N \
      a in mathbb R \
      C_a^0 = 1
      end{cases}
      $$

      Prove that ${|C_a^n|}$ is decreasing starting from some index $k in mathbb N$.




      Since we are dealing with absolute values lets find out when the given sequence is bounded. Consider consecutive terms:



      $$
      frac{C_{a}^{n+1}}{C_a^n} = frac{n!}{(n+1)!}cdot(a - n)
      $$

      Now inspect absolute values:



      $$
      frac{|C_{a}^{n+1}|}{|C_a^n|} = frac{1}{n+1}cdot|a-n| = frac{|n-a|}{n+1}
      $$



      So clearly the sequence is bounded only in case $a ge -1$. Before this one i've also shown that $C_a^n$ is bounded in case $a ge -1$ and unbounded in case $a < -1$ which was a generalization of this question.



      My further thoughts were as follows. Let's take for instance $a = 3.5$ then the sequence becomes:



      $$
      C_{3.5}^n = frac{3.5(3.5-1)(3.5-2)(3.5-3)cdots(3.5-n+1)}{n!} = \
      = frac{3.5}{1} cdot frac{2.5}{2} cdot frac{1.5}{3}cdot cdots cdot frac{3.5-n+1}{n}
      $$



      This instance of sequence is increasing for $n<3$ and then starts decreasing. After playing around with different cases of $a$ it seems like the index $k$ is in the form:



      $$
      k_0 =leftlceilfrac{a-1}{2}rightrceil
      $$



      To give more insights here is a visualization of the sequence.



      My thoughts above do not feel like formal ones and $k_0$ is obtained by a guess so i would like to see a formal proof of what's in problem statement.



      I know that $C_a^n$ has somewhat to deal with the Gamma function, but this question is in precalculus level. Thank you.










      share|cite|improve this question
















      Let $C_a^n$ be defined as:
      $$
      begin{cases}
      C_a^n = frac{a(a-1)(a-2)dots(a-n+1)}{n!}\
      bin mathbb N \
      a in mathbb R \
      C_a^0 = 1
      end{cases}
      $$

      Prove that ${|C_a^n|}$ is decreasing starting from some index $k in mathbb N$.




      Since we are dealing with absolute values lets find out when the given sequence is bounded. Consider consecutive terms:



      $$
      frac{C_{a}^{n+1}}{C_a^n} = frac{n!}{(n+1)!}cdot(a - n)
      $$

      Now inspect absolute values:



      $$
      frac{|C_{a}^{n+1}|}{|C_a^n|} = frac{1}{n+1}cdot|a-n| = frac{|n-a|}{n+1}
      $$



      So clearly the sequence is bounded only in case $a ge -1$. Before this one i've also shown that $C_a^n$ is bounded in case $a ge -1$ and unbounded in case $a < -1$ which was a generalization of this question.



      My further thoughts were as follows. Let's take for instance $a = 3.5$ then the sequence becomes:



      $$
      C_{3.5}^n = frac{3.5(3.5-1)(3.5-2)(3.5-3)cdots(3.5-n+1)}{n!} = \
      = frac{3.5}{1} cdot frac{2.5}{2} cdot frac{1.5}{3}cdot cdots cdot frac{3.5-n+1}{n}
      $$



      This instance of sequence is increasing for $n<3$ and then starts decreasing. After playing around with different cases of $a$ it seems like the index $k$ is in the form:



      $$
      k_0 =leftlceilfrac{a-1}{2}rightrceil
      $$



      To give more insights here is a visualization of the sequence.



      My thoughts above do not feel like formal ones and $k_0$ is obtained by a guess so i would like to see a formal proof of what's in problem statement.



      I know that $C_a^n$ has somewhat to deal with the Gamma function, but this question is in precalculus level. Thank you.







      sequences-and-series algebra-precalculus upper-lower-bounds monotone-functions






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited yesterday

























      asked yesterday









      roman

      9421815




      9421815



























          active

          oldest

          votes











          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
          });


          }
          });














           

          draft saved


          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005160%2fprove-c-an-is-decreasing-starting-from-some-k-given-c-an-fraca%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown






























          active

          oldest

          votes













          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















           

          draft saved


          draft discarded



















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005160%2fprove-c-an-is-decreasing-starting-from-some-k-given-c-an-fraca%23new-answer', 'question_page');
          }
          );

          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







          Popular posts from this blog

          'app-layout' is not a known element: how to share Component with different Modules

          android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

          WPF add header to Image with URL pettitions [duplicate]