Prove that $3cdot 5^2n+1 +2^3n+1$ is divisible by $17$ for all $n ∈ mathbbN$

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite













Use mathematical induction to prove that $3cdot 5^2n+1 +2^3n+1$
is divisible by $17$ for all $n ∈ mathbbN$.




I've tried to do it as follow.



If $n = 1$ then $392/17 = 23$.
Assume it is true when $n = p$. Therefore $3cdot 5^2p+1 +2^3p+1 = 17k $ where $k ∈ mathbbN $. Consider now $n=p+1$. Then
beginalign
&3cdot 5^2(p+1)+1 +2^3(p+1)+1=\
&3cdot 5^2p+1+2 + 2^3p+1+3=\
&3cdot5^2p+1cdot 5^2 + 2^3p+1cdot 2^3.
endalign

I reached a dead end from here. If someone could help me in the direction of the next step it would be really helpful. Thanks in advance.










share|cite|improve this question



















  • 2




    When $n=p$ you assume that $3cdot 5^2p+1+2^3p+1 = 17k$, don't you?
    – Gibbs
    38 mins ago











  • You did. I just corrected the notation for products.
    – Gibbs
    32 mins ago














up vote
4
down vote

favorite













Use mathematical induction to prove that $3cdot 5^2n+1 +2^3n+1$
is divisible by $17$ for all $n ∈ mathbbN$.




I've tried to do it as follow.



If $n = 1$ then $392/17 = 23$.
Assume it is true when $n = p$. Therefore $3cdot 5^2p+1 +2^3p+1 = 17k $ where $k ∈ mathbbN $. Consider now $n=p+1$. Then
beginalign
&3cdot 5^2(p+1)+1 +2^3(p+1)+1=\
&3cdot 5^2p+1+2 + 2^3p+1+3=\
&3cdot5^2p+1cdot 5^2 + 2^3p+1cdot 2^3.
endalign

I reached a dead end from here. If someone could help me in the direction of the next step it would be really helpful. Thanks in advance.










share|cite|improve this question



















  • 2




    When $n=p$ you assume that $3cdot 5^2p+1+2^3p+1 = 17k$, don't you?
    – Gibbs
    38 mins ago











  • You did. I just corrected the notation for products.
    – Gibbs
    32 mins ago












up vote
4
down vote

favorite









up vote
4
down vote

favorite












Use mathematical induction to prove that $3cdot 5^2n+1 +2^3n+1$
is divisible by $17$ for all $n ∈ mathbbN$.




I've tried to do it as follow.



If $n = 1$ then $392/17 = 23$.
Assume it is true when $n = p$. Therefore $3cdot 5^2p+1 +2^3p+1 = 17k $ where $k ∈ mathbbN $. Consider now $n=p+1$. Then
beginalign
&3cdot 5^2(p+1)+1 +2^3(p+1)+1=\
&3cdot 5^2p+1+2 + 2^3p+1+3=\
&3cdot5^2p+1cdot 5^2 + 2^3p+1cdot 2^3.
endalign

I reached a dead end from here. If someone could help me in the direction of the next step it would be really helpful. Thanks in advance.










share|cite|improve this question
















Use mathematical induction to prove that $3cdot 5^2n+1 +2^3n+1$
is divisible by $17$ for all $n ∈ mathbbN$.




I've tried to do it as follow.



If $n = 1$ then $392/17 = 23$.
Assume it is true when $n = p$. Therefore $3cdot 5^2p+1 +2^3p+1 = 17k $ where $k ∈ mathbbN $. Consider now $n=p+1$. Then
beginalign
&3cdot 5^2(p+1)+1 +2^3(p+1)+1=\
&3cdot 5^2p+1+2 + 2^3p+1+3=\
&3cdot5^2p+1cdot 5^2 + 2^3p+1cdot 2^3.
endalign

I reached a dead end from here. If someone could help me in the direction of the next step it would be really helpful. Thanks in advance.







induction divisibility






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 2 mins ago









TheSimpliFire

11.5k62256




11.5k62256










asked 44 mins ago









Shehan Tearz

874




874







  • 2




    When $n=p$ you assume that $3cdot 5^2p+1+2^3p+1 = 17k$, don't you?
    – Gibbs
    38 mins ago











  • You did. I just corrected the notation for products.
    – Gibbs
    32 mins ago












  • 2




    When $n=p$ you assume that $3cdot 5^2p+1+2^3p+1 = 17k$, don't you?
    – Gibbs
    38 mins ago











  • You did. I just corrected the notation for products.
    – Gibbs
    32 mins ago







2




2




When $n=p$ you assume that $3cdot 5^2p+1+2^3p+1 = 17k$, don't you?
– Gibbs
38 mins ago





When $n=p$ you assume that $3cdot 5^2p+1+2^3p+1 = 17k$, don't you?
– Gibbs
38 mins ago













You did. I just corrected the notation for products.
– Gibbs
32 mins ago




You did. I just corrected the notation for products.
– Gibbs
32 mins ago










3 Answers
3






active

oldest

votes

















up vote
6
down vote



accepted










Having shown that
$$3cdot5^2p+1+2^3p+1=17k$$
we have (continuing from the last line)
$$3cdot5^2p+15^2+2^3p+12^3=17(3cdot5^2p+1)+8(3cdot5^2p+1+2^3p+1)=17(3cdot5^2p+1+8k)$$
so the next expression is also divisible by 17, as required.






share|cite|improve this answer






















  • Can you please help me understand how you got into the second step because thats the step i cant understand. Thanks
    – Shehan Tearz
    25 mins ago










  • @ShehanTearz $3cdot5^2p+1cdot5^2=3cdot5^2p+1cdot17+3cdot5^2p+1cdot8$. Then I rearrange and collect the two terms with 8.
    – Parcly Taxel
    23 mins ago

















up vote
2
down vote













Step $n+1:$



$3(5^2)5^2p+1+(2^3)2^3p+1=$



$3(17+8)5^2p+1 +8 cdot 2^3p+1=$



$8[3 cdot 5^2p+1+2^3p+1]+ 17cdot 3 cdot 5^2p+1.$



The first term in the above sum is divisible by $17$ (hypothesis), the second term is a multiple of $17$.






share|cite|improve this answer



























    up vote
    1
    down vote













    I'll start with the inductive step



    $$3cdot5^2(n+1)+1+2^3(n+1)+1$$



    $$3cdot5^2n+1+2+2^3n+1+3$$



    $$3cdot25cdot5^2(n+1)+8cdot2^3n+1$$



    We know that $$3cdot5^2n+1+2^3n+1=17k$$



    Therefore $$3cdot5^2n+1=17k-2^3n+1$$



    Plug this in:
    $$25cdot(17k-2^3n+1)+8cdot2^3n+1$$



    $$425kcdot-25cdot2^3n+1+8cdot2^3n+1$$



    $$425kcdot-17cdot2^3n+1$$



    $$17(25-2^3n+1)$$






    share|cite|improve this answer




















      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: false,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      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%2f2956214%2fprove-that-3-cdot-52n1-23n1-is-divisible-by-17-for-all-n-%25e2%2588%2588-mathbb%23new-answer', 'question_page');

      );

      Post as a guest






























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      6
      down vote



      accepted










      Having shown that
      $$3cdot5^2p+1+2^3p+1=17k$$
      we have (continuing from the last line)
      $$3cdot5^2p+15^2+2^3p+12^3=17(3cdot5^2p+1)+8(3cdot5^2p+1+2^3p+1)=17(3cdot5^2p+1+8k)$$
      so the next expression is also divisible by 17, as required.






      share|cite|improve this answer






















      • Can you please help me understand how you got into the second step because thats the step i cant understand. Thanks
        – Shehan Tearz
        25 mins ago










      • @ShehanTearz $3cdot5^2p+1cdot5^2=3cdot5^2p+1cdot17+3cdot5^2p+1cdot8$. Then I rearrange and collect the two terms with 8.
        – Parcly Taxel
        23 mins ago














      up vote
      6
      down vote



      accepted










      Having shown that
      $$3cdot5^2p+1+2^3p+1=17k$$
      we have (continuing from the last line)
      $$3cdot5^2p+15^2+2^3p+12^3=17(3cdot5^2p+1)+8(3cdot5^2p+1+2^3p+1)=17(3cdot5^2p+1+8k)$$
      so the next expression is also divisible by 17, as required.






      share|cite|improve this answer






















      • Can you please help me understand how you got into the second step because thats the step i cant understand. Thanks
        – Shehan Tearz
        25 mins ago










      • @ShehanTearz $3cdot5^2p+1cdot5^2=3cdot5^2p+1cdot17+3cdot5^2p+1cdot8$. Then I rearrange and collect the two terms with 8.
        – Parcly Taxel
        23 mins ago












      up vote
      6
      down vote



      accepted







      up vote
      6
      down vote



      accepted






      Having shown that
      $$3cdot5^2p+1+2^3p+1=17k$$
      we have (continuing from the last line)
      $$3cdot5^2p+15^2+2^3p+12^3=17(3cdot5^2p+1)+8(3cdot5^2p+1+2^3p+1)=17(3cdot5^2p+1+8k)$$
      so the next expression is also divisible by 17, as required.






      share|cite|improve this answer














      Having shown that
      $$3cdot5^2p+1+2^3p+1=17k$$
      we have (continuing from the last line)
      $$3cdot5^2p+15^2+2^3p+12^3=17(3cdot5^2p+1)+8(3cdot5^2p+1+2^3p+1)=17(3cdot5^2p+1+8k)$$
      so the next expression is also divisible by 17, as required.







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      edited 28 mins ago

























      answered 38 mins ago









      Parcly Taxel

      35.5k136991




      35.5k136991











      • Can you please help me understand how you got into the second step because thats the step i cant understand. Thanks
        – Shehan Tearz
        25 mins ago










      • @ShehanTearz $3cdot5^2p+1cdot5^2=3cdot5^2p+1cdot17+3cdot5^2p+1cdot8$. Then I rearrange and collect the two terms with 8.
        – Parcly Taxel
        23 mins ago
















      • Can you please help me understand how you got into the second step because thats the step i cant understand. Thanks
        – Shehan Tearz
        25 mins ago










      • @ShehanTearz $3cdot5^2p+1cdot5^2=3cdot5^2p+1cdot17+3cdot5^2p+1cdot8$. Then I rearrange and collect the two terms with 8.
        – Parcly Taxel
        23 mins ago















      Can you please help me understand how you got into the second step because thats the step i cant understand. Thanks
      – Shehan Tearz
      25 mins ago




      Can you please help me understand how you got into the second step because thats the step i cant understand. Thanks
      – Shehan Tearz
      25 mins ago












      @ShehanTearz $3cdot5^2p+1cdot5^2=3cdot5^2p+1cdot17+3cdot5^2p+1cdot8$. Then I rearrange and collect the two terms with 8.
      – Parcly Taxel
      23 mins ago




      @ShehanTearz $3cdot5^2p+1cdot5^2=3cdot5^2p+1cdot17+3cdot5^2p+1cdot8$. Then I rearrange and collect the two terms with 8.
      – Parcly Taxel
      23 mins ago










      up vote
      2
      down vote













      Step $n+1:$



      $3(5^2)5^2p+1+(2^3)2^3p+1=$



      $3(17+8)5^2p+1 +8 cdot 2^3p+1=$



      $8[3 cdot 5^2p+1+2^3p+1]+ 17cdot 3 cdot 5^2p+1.$



      The first term in the above sum is divisible by $17$ (hypothesis), the second term is a multiple of $17$.






      share|cite|improve this answer
























        up vote
        2
        down vote













        Step $n+1:$



        $3(5^2)5^2p+1+(2^3)2^3p+1=$



        $3(17+8)5^2p+1 +8 cdot 2^3p+1=$



        $8[3 cdot 5^2p+1+2^3p+1]+ 17cdot 3 cdot 5^2p+1.$



        The first term in the above sum is divisible by $17$ (hypothesis), the second term is a multiple of $17$.






        share|cite|improve this answer






















          up vote
          2
          down vote










          up vote
          2
          down vote









          Step $n+1:$



          $3(5^2)5^2p+1+(2^3)2^3p+1=$



          $3(17+8)5^2p+1 +8 cdot 2^3p+1=$



          $8[3 cdot 5^2p+1+2^3p+1]+ 17cdot 3 cdot 5^2p+1.$



          The first term in the above sum is divisible by $17$ (hypothesis), the second term is a multiple of $17$.






          share|cite|improve this answer












          Step $n+1:$



          $3(5^2)5^2p+1+(2^3)2^3p+1=$



          $3(17+8)5^2p+1 +8 cdot 2^3p+1=$



          $8[3 cdot 5^2p+1+2^3p+1]+ 17cdot 3 cdot 5^2p+1.$



          The first term in the above sum is divisible by $17$ (hypothesis), the second term is a multiple of $17$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 22 mins ago









          Peter Szilas

          9,2362720




          9,2362720




















              up vote
              1
              down vote













              I'll start with the inductive step



              $$3cdot5^2(n+1)+1+2^3(n+1)+1$$



              $$3cdot5^2n+1+2+2^3n+1+3$$



              $$3cdot25cdot5^2(n+1)+8cdot2^3n+1$$



              We know that $$3cdot5^2n+1+2^3n+1=17k$$



              Therefore $$3cdot5^2n+1=17k-2^3n+1$$



              Plug this in:
              $$25cdot(17k-2^3n+1)+8cdot2^3n+1$$



              $$425kcdot-25cdot2^3n+1+8cdot2^3n+1$$



              $$425kcdot-17cdot2^3n+1$$



              $$17(25-2^3n+1)$$






              share|cite|improve this answer
























                up vote
                1
                down vote













                I'll start with the inductive step



                $$3cdot5^2(n+1)+1+2^3(n+1)+1$$



                $$3cdot5^2n+1+2+2^3n+1+3$$



                $$3cdot25cdot5^2(n+1)+8cdot2^3n+1$$



                We know that $$3cdot5^2n+1+2^3n+1=17k$$



                Therefore $$3cdot5^2n+1=17k-2^3n+1$$



                Plug this in:
                $$25cdot(17k-2^3n+1)+8cdot2^3n+1$$



                $$425kcdot-25cdot2^3n+1+8cdot2^3n+1$$



                $$425kcdot-17cdot2^3n+1$$



                $$17(25-2^3n+1)$$






                share|cite|improve this answer






















                  up vote
                  1
                  down vote










                  up vote
                  1
                  down vote









                  I'll start with the inductive step



                  $$3cdot5^2(n+1)+1+2^3(n+1)+1$$



                  $$3cdot5^2n+1+2+2^3n+1+3$$



                  $$3cdot25cdot5^2(n+1)+8cdot2^3n+1$$



                  We know that $$3cdot5^2n+1+2^3n+1=17k$$



                  Therefore $$3cdot5^2n+1=17k-2^3n+1$$



                  Plug this in:
                  $$25cdot(17k-2^3n+1)+8cdot2^3n+1$$



                  $$425kcdot-25cdot2^3n+1+8cdot2^3n+1$$



                  $$425kcdot-17cdot2^3n+1$$



                  $$17(25-2^3n+1)$$






                  share|cite|improve this answer












                  I'll start with the inductive step



                  $$3cdot5^2(n+1)+1+2^3(n+1)+1$$



                  $$3cdot5^2n+1+2+2^3n+1+3$$



                  $$3cdot25cdot5^2(n+1)+8cdot2^3n+1$$



                  We know that $$3cdot5^2n+1+2^3n+1=17k$$



                  Therefore $$3cdot5^2n+1=17k-2^3n+1$$



                  Plug this in:
                  $$25cdot(17k-2^3n+1)+8cdot2^3n+1$$



                  $$425kcdot-25cdot2^3n+1+8cdot2^3n+1$$



                  $$425kcdot-17cdot2^3n+1$$



                  $$17(25-2^3n+1)$$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 19 mins ago









                  Ethan Chan

                  716324




                  716324



























                       

                      draft saved


                      draft discarded















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2956214%2fprove-that-3-cdot-52n1-23n1-is-divisible-by-17-for-all-n-%25e2%2588%2588-mathbb%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      Comments

                      Popular posts from this blog

                      What does second last employer means? [closed]

                      List of Gilmore Girls characters

                      One-line joke