Prove without induction that $2×7^n+3×5^n-5$ is divisible by $24$. The Next CEO of Stack OverflowWhy is $a^n - b^n$ divisible by $a-b$?Prove that $n^2 + n +1$ is not divisible by $5$ for any $n$What day of the week was it on this date in the year 1000?Proof of divisibility using modular arithmetic: $5mid 6^n - 5n + 4$Is there a way to prove that 2y(y-1) is divisible by four other than by means of induction?Prove that $ 16^20+29^21+42^22$ is divisible by $13$.How to prove if a binary number is divisible by 3?Prove that $4^n+ 1$ is not divisible by $3$Show that for every integer $n$, $n^3 - n$ is divisible by 3 using modular arithmeticProve that $3$ divides $14^2n-1$ with modular arithmetic.

Why did the Drakh emissary look so blurred in S04:E11 "Lines of Communication"?

logical reads on global temp table, but not on session-level temp table

Arrows in tikz Markov chain diagram overlap

Is it OK to decorate a log book cover?

Is it possible to create a QR code using text?

Find the majority element, which appears more than half the time

Why was Sir Cadogan fired?

Car headlights in a world without electricity

MT "will strike" & LXX "will watch carefully" (Gen 3:15)?

Upgrading From a 9 Speed Sora Derailleur?

How badly should I try to prevent a user from XSSing themselves?

Could you use a laser beam as a modulated carrier wave for radio signal?

Is there a rule of thumb for determining the amount one should accept for a settlement offer?

Can Sri Krishna be called 'a person'?

How should I connect my cat5 cable to connectors having an orange-green line?

Gödel's incompleteness theorems - what are the religious implications?

My ex-girlfriend uses my Apple ID to login to her iPad, do I have to give her my Apple ID password to reset it?

How did scripture get the name bible?

How can the PCs determine if an item is a phylactery?

What is a typical Mizrachi Seder like?

Was the Stack Exchange "Happy April Fools" page fitting with the 90s code?

Is a linearly independent set whose span is dense a Schauder basis?

Could a dragon use hot air to help it take off?

Why does sin(x) - sin(y) equal this?



Prove without induction that $2×7^n+3×5^n-5$ is divisible by $24$.



The Next CEO of Stack OverflowWhy is $a^n - b^n$ divisible by $a-b$?Prove that $n^2 + n +1$ is not divisible by $5$ for any $n$What day of the week was it on this date in the year 1000?Proof of divisibility using modular arithmetic: $5mid 6^n - 5n + 4$Is there a way to prove that 2y(y-1) is divisible by four other than by means of induction?Prove that $ 16^20+29^21+42^22$ is divisible by $13$.How to prove if a binary number is divisible by 3?Prove that $4^n+ 1$ is not divisible by $3$Show that for every integer $n$, $n^3 - n$ is divisible by 3 using modular arithmeticProve that $3$ divides $14^2n-1$ with modular arithmetic.










3












$begingroup$


I proved this by induction. But I want to show it using modular arithmetic. I tried for sometime as follows



$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a+3×4b\
12(a+b)$$



In this way I just proved that it is divisible by 12 but it is not enough. Am I missing something or it will solved by some other method.










share|cite|improve this question











$endgroup$











  • $begingroup$
    If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
    $endgroup$
    – AlephNull
    Mar 20 at 11:27
















3












$begingroup$


I proved this by induction. But I want to show it using modular arithmetic. I tried for sometime as follows



$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a+3×4b\
12(a+b)$$



In this way I just proved that it is divisible by 12 but it is not enough. Am I missing something or it will solved by some other method.










share|cite|improve this question











$endgroup$











  • $begingroup$
    If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
    $endgroup$
    – AlephNull
    Mar 20 at 11:27














3












3








3


0



$begingroup$


I proved this by induction. But I want to show it using modular arithmetic. I tried for sometime as follows



$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a+3×4b\
12(a+b)$$



In this way I just proved that it is divisible by 12 but it is not enough. Am I missing something or it will solved by some other method.










share|cite|improve this question











$endgroup$




I proved this by induction. But I want to show it using modular arithmetic. I tried for sometime as follows



$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a+3×4b\
12(a+b)$$



In this way I just proved that it is divisible by 12 but it is not enough. Am I missing something or it will solved by some other method.







modular-arithmetic divisibility






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 20 at 13:33









Bernard

124k741118




124k741118










asked Mar 20 at 11:20









aman ranaaman rana

355




355











  • $begingroup$
    If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
    $endgroup$
    – AlephNull
    Mar 20 at 11:27

















  • $begingroup$
    If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
    $endgroup$
    – AlephNull
    Mar 20 at 11:27
















$begingroup$
If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
$endgroup$
– AlephNull
Mar 20 at 11:27





$begingroup$
If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
$endgroup$
– AlephNull
Mar 20 at 11:27











6 Answers
6






active

oldest

votes


















5












$begingroup$

Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:



  • if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;

  • otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.





share|cite|improve this answer











$endgroup$








  • 1




    $begingroup$
    may I suggest that you use $times$ instead of the dot?
    $endgroup$
    – Ertxiem
    Mar 20 at 11:29






  • 1




    $begingroup$
    Yes, you are allowed to do that. :-)
    $endgroup$
    – José Carlos Santos
    Mar 20 at 11:30






  • 1




    $begingroup$
    Thank you very much. :)
    $endgroup$
    – Ertxiem
    Mar 20 at 11:35






  • 1




    $begingroup$
    This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
    $endgroup$
    – Carl Mummert
    Mar 20 at 12:10







  • 1




    $begingroup$
    @Carl Do you know any way to formalize "proof without induction" at an elementary level?
    $endgroup$
    – Bill Dubuque
    Mar 21 at 2:49


















4












$begingroup$

$$2(7^n-1)+3(5^n-1)$$



$$=2((1+6)^n-1)+3((1+4)^n-1)$$



$$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$



$$equiv 24npmod24$$






share|cite|improve this answer









$endgroup$








  • 1




    $begingroup$
    Very nice and simple.... +1
    $endgroup$
    – Shailesh
    Mar 20 at 12:07


















2












$begingroup$

Case 1 : $n$ is odd



In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$



Case 2 : $n$ is even



In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$






share|cite|improve this answer









$endgroup$




















    2












    $begingroup$

    Note that you have
    $$
    7^n - 1 = 6a\
    5^n - 1 = 4b
    $$

    Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).



    The binomial theorem gives
    $$
    7^n - 1 = (8-1)^n - 1\
    = 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
    $$

    We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.



    Then we have
    $$
    5^n - 1 = (4 + 1)^n - 1\
    = 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
    $$

    and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.



    So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.






    share|cite|improve this answer











    $endgroup$




















      1












      $begingroup$

      You may split it up by calculating $mod 8$ and $mod 3$:




      • $mod 8$:
        begineqnarray* 2×7^n+3×5^n-5
        & equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
        & equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
        & stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
        & equiv_8 & 0
        endeqnarray*



      • $mod 3$:
        begineqnarray* 2×7^n+3×5^n-5
        & equiv_3 & 2times 1^n + 3times (-1)^n +1 \
        & equiv_3 & 3times (1 + (-1)^n)\
        & equiv_3 & 0
        endeqnarray*






      share|cite|improve this answer









      $endgroup$




















        1












        $begingroup$


        $$2×7^n-2+3×5^n-3\
        2(7^n-1)+3(5^n-1)\
        2×6a + 3×4b\
        12(color#c00a+b) $$

        but it is not enough [to prove divisibility by $24$]




        Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$






        share|cite|improve this answer











        $endgroup$













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



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3155303%2fprove-without-induction-that-2%25c3%25977n3%25c3%25975n-5-is-divisible-by-24%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          6 Answers
          6






          active

          oldest

          votes








          6 Answers
          6






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          5












          $begingroup$

          Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:



          • if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;

          • otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.





          share|cite|improve this answer











          $endgroup$








          • 1




            $begingroup$
            may I suggest that you use $times$ instead of the dot?
            $endgroup$
            – Ertxiem
            Mar 20 at 11:29






          • 1




            $begingroup$
            Yes, you are allowed to do that. :-)
            $endgroup$
            – José Carlos Santos
            Mar 20 at 11:30






          • 1




            $begingroup$
            Thank you very much. :)
            $endgroup$
            – Ertxiem
            Mar 20 at 11:35






          • 1




            $begingroup$
            This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
            $endgroup$
            – Carl Mummert
            Mar 20 at 12:10







          • 1




            $begingroup$
            @Carl Do you know any way to formalize "proof without induction" at an elementary level?
            $endgroup$
            – Bill Dubuque
            Mar 21 at 2:49















          5












          $begingroup$

          Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:



          • if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;

          • otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.





          share|cite|improve this answer











          $endgroup$








          • 1




            $begingroup$
            may I suggest that you use $times$ instead of the dot?
            $endgroup$
            – Ertxiem
            Mar 20 at 11:29






          • 1




            $begingroup$
            Yes, you are allowed to do that. :-)
            $endgroup$
            – José Carlos Santos
            Mar 20 at 11:30






          • 1




            $begingroup$
            Thank you very much. :)
            $endgroup$
            – Ertxiem
            Mar 20 at 11:35






          • 1




            $begingroup$
            This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
            $endgroup$
            – Carl Mummert
            Mar 20 at 12:10







          • 1




            $begingroup$
            @Carl Do you know any way to formalize "proof without induction" at an elementary level?
            $endgroup$
            – Bill Dubuque
            Mar 21 at 2:49













          5












          5








          5





          $begingroup$

          Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:



          • if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;

          • otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.





          share|cite|improve this answer











          $endgroup$



          Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:



          • if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;

          • otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.






          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Mar 20 at 11:30

























          answered Mar 20 at 11:26









          José Carlos SantosJosé Carlos Santos

          171k23132240




          171k23132240







          • 1




            $begingroup$
            may I suggest that you use $times$ instead of the dot?
            $endgroup$
            – Ertxiem
            Mar 20 at 11:29






          • 1




            $begingroup$
            Yes, you are allowed to do that. :-)
            $endgroup$
            – José Carlos Santos
            Mar 20 at 11:30






          • 1




            $begingroup$
            Thank you very much. :)
            $endgroup$
            – Ertxiem
            Mar 20 at 11:35






          • 1




            $begingroup$
            This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
            $endgroup$
            – Carl Mummert
            Mar 20 at 12:10







          • 1




            $begingroup$
            @Carl Do you know any way to formalize "proof without induction" at an elementary level?
            $endgroup$
            – Bill Dubuque
            Mar 21 at 2:49












          • 1




            $begingroup$
            may I suggest that you use $times$ instead of the dot?
            $endgroup$
            – Ertxiem
            Mar 20 at 11:29






          • 1




            $begingroup$
            Yes, you are allowed to do that. :-)
            $endgroup$
            – José Carlos Santos
            Mar 20 at 11:30






          • 1




            $begingroup$
            Thank you very much. :)
            $endgroup$
            – Ertxiem
            Mar 20 at 11:35






          • 1




            $begingroup$
            This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
            $endgroup$
            – Carl Mummert
            Mar 20 at 12:10







          • 1




            $begingroup$
            @Carl Do you know any way to formalize "proof without induction" at an elementary level?
            $endgroup$
            – Bill Dubuque
            Mar 21 at 2:49







          1




          1




          $begingroup$
          may I suggest that you use $times$ instead of the dot?
          $endgroup$
          – Ertxiem
          Mar 20 at 11:29




          $begingroup$
          may I suggest that you use $times$ instead of the dot?
          $endgroup$
          – Ertxiem
          Mar 20 at 11:29




          1




          1




          $begingroup$
          Yes, you are allowed to do that. :-)
          $endgroup$
          – José Carlos Santos
          Mar 20 at 11:30




          $begingroup$
          Yes, you are allowed to do that. :-)
          $endgroup$
          – José Carlos Santos
          Mar 20 at 11:30




          1




          1




          $begingroup$
          Thank you very much. :)
          $endgroup$
          – Ertxiem
          Mar 20 at 11:35




          $begingroup$
          Thank you very much. :)
          $endgroup$
          – Ertxiem
          Mar 20 at 11:35




          1




          1




          $begingroup$
          This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
          $endgroup$
          – Carl Mummert
          Mar 20 at 12:10





          $begingroup$
          This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
          $endgroup$
          – Carl Mummert
          Mar 20 at 12:10





          1




          1




          $begingroup$
          @Carl Do you know any way to formalize "proof without induction" at an elementary level?
          $endgroup$
          – Bill Dubuque
          Mar 21 at 2:49




          $begingroup$
          @Carl Do you know any way to formalize "proof without induction" at an elementary level?
          $endgroup$
          – Bill Dubuque
          Mar 21 at 2:49











          4












          $begingroup$

          $$2(7^n-1)+3(5^n-1)$$



          $$=2((1+6)^n-1)+3((1+4)^n-1)$$



          $$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$



          $$equiv 24npmod24$$






          share|cite|improve this answer









          $endgroup$








          • 1




            $begingroup$
            Very nice and simple.... +1
            $endgroup$
            – Shailesh
            Mar 20 at 12:07















          4












          $begingroup$

          $$2(7^n-1)+3(5^n-1)$$



          $$=2((1+6)^n-1)+3((1+4)^n-1)$$



          $$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$



          $$equiv 24npmod24$$






          share|cite|improve this answer









          $endgroup$








          • 1




            $begingroup$
            Very nice and simple.... +1
            $endgroup$
            – Shailesh
            Mar 20 at 12:07













          4












          4








          4





          $begingroup$

          $$2(7^n-1)+3(5^n-1)$$



          $$=2((1+6)^n-1)+3((1+4)^n-1)$$



          $$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$



          $$equiv 24npmod24$$






          share|cite|improve this answer









          $endgroup$



          $$2(7^n-1)+3(5^n-1)$$



          $$=2((1+6)^n-1)+3((1+4)^n-1)$$



          $$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$



          $$equiv 24npmod24$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 20 at 11:54









          lab bhattacharjeelab bhattacharjee

          228k15158279




          228k15158279







          • 1




            $begingroup$
            Very nice and simple.... +1
            $endgroup$
            – Shailesh
            Mar 20 at 12:07












          • 1




            $begingroup$
            Very nice and simple.... +1
            $endgroup$
            – Shailesh
            Mar 20 at 12:07







          1




          1




          $begingroup$
          Very nice and simple.... +1
          $endgroup$
          – Shailesh
          Mar 20 at 12:07




          $begingroup$
          Very nice and simple.... +1
          $endgroup$
          – Shailesh
          Mar 20 at 12:07











          2












          $begingroup$

          Case 1 : $n$ is odd



          In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$



          Case 2 : $n$ is even



          In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$






          share|cite|improve this answer









          $endgroup$

















            2












            $begingroup$

            Case 1 : $n$ is odd



            In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$



            Case 2 : $n$ is even



            In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$






            share|cite|improve this answer









            $endgroup$















              2












              2








              2





              $begingroup$

              Case 1 : $n$ is odd



              In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$



              Case 2 : $n$ is even



              In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$






              share|cite|improve this answer









              $endgroup$



              Case 1 : $n$ is odd



              In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$



              Case 2 : $n$ is even



              In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Mar 20 at 11:36









              Mostafa AyazMostafa Ayaz

              18.2k31040




              18.2k31040





















                  2












                  $begingroup$

                  Note that you have
                  $$
                  7^n - 1 = 6a\
                  5^n - 1 = 4b
                  $$

                  Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).



                  The binomial theorem gives
                  $$
                  7^n - 1 = (8-1)^n - 1\
                  = 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
                  $$

                  We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.



                  Then we have
                  $$
                  5^n - 1 = (4 + 1)^n - 1\
                  = 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
                  $$

                  and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.



                  So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.






                  share|cite|improve this answer











                  $endgroup$

















                    2












                    $begingroup$

                    Note that you have
                    $$
                    7^n - 1 = 6a\
                    5^n - 1 = 4b
                    $$

                    Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).



                    The binomial theorem gives
                    $$
                    7^n - 1 = (8-1)^n - 1\
                    = 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
                    $$

                    We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.



                    Then we have
                    $$
                    5^n - 1 = (4 + 1)^n - 1\
                    = 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
                    $$

                    and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.



                    So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.






                    share|cite|improve this answer











                    $endgroup$















                      2












                      2








                      2





                      $begingroup$

                      Note that you have
                      $$
                      7^n - 1 = 6a\
                      5^n - 1 = 4b
                      $$

                      Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).



                      The binomial theorem gives
                      $$
                      7^n - 1 = (8-1)^n - 1\
                      = 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
                      $$

                      We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.



                      Then we have
                      $$
                      5^n - 1 = (4 + 1)^n - 1\
                      = 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
                      $$

                      and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.



                      So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.






                      share|cite|improve this answer











                      $endgroup$



                      Note that you have
                      $$
                      7^n - 1 = 6a\
                      5^n - 1 = 4b
                      $$

                      Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).



                      The binomial theorem gives
                      $$
                      7^n - 1 = (8-1)^n - 1\
                      = 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
                      $$

                      We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.



                      Then we have
                      $$
                      5^n - 1 = (4 + 1)^n - 1\
                      = 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
                      $$

                      and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.



                      So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.







                      share|cite|improve this answer














                      share|cite|improve this answer



                      share|cite|improve this answer








                      edited Mar 20 at 11:42

























                      answered Mar 20 at 11:35









                      ArthurArthur

                      121k7122208




                      121k7122208





















                          1












                          $begingroup$

                          You may split it up by calculating $mod 8$ and $mod 3$:




                          • $mod 8$:
                            begineqnarray* 2×7^n+3×5^n-5
                            & equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
                            & equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
                            & stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
                            & equiv_8 & 0
                            endeqnarray*



                          • $mod 3$:
                            begineqnarray* 2×7^n+3×5^n-5
                            & equiv_3 & 2times 1^n + 3times (-1)^n +1 \
                            & equiv_3 & 3times (1 + (-1)^n)\
                            & equiv_3 & 0
                            endeqnarray*






                          share|cite|improve this answer









                          $endgroup$

















                            1












                            $begingroup$

                            You may split it up by calculating $mod 8$ and $mod 3$:




                            • $mod 8$:
                              begineqnarray* 2×7^n+3×5^n-5
                              & equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
                              & equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
                              & stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
                              & equiv_8 & 0
                              endeqnarray*



                            • $mod 3$:
                              begineqnarray* 2×7^n+3×5^n-5
                              & equiv_3 & 2times 1^n + 3times (-1)^n +1 \
                              & equiv_3 & 3times (1 + (-1)^n)\
                              & equiv_3 & 0
                              endeqnarray*






                            share|cite|improve this answer









                            $endgroup$















                              1












                              1








                              1





                              $begingroup$

                              You may split it up by calculating $mod 8$ and $mod 3$:




                              • $mod 8$:
                                begineqnarray* 2×7^n+3×5^n-5
                                & equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
                                & equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
                                & stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
                                & equiv_8 & 0
                                endeqnarray*



                              • $mod 3$:
                                begineqnarray* 2×7^n+3×5^n-5
                                & equiv_3 & 2times 1^n + 3times (-1)^n +1 \
                                & equiv_3 & 3times (1 + (-1)^n)\
                                & equiv_3 & 0
                                endeqnarray*






                              share|cite|improve this answer









                              $endgroup$



                              You may split it up by calculating $mod 8$ and $mod 3$:




                              • $mod 8$:
                                begineqnarray* 2×7^n+3×5^n-5
                                & equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
                                & equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
                                & stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
                                & equiv_8 & 0
                                endeqnarray*



                              • $mod 3$:
                                begineqnarray* 2×7^n+3×5^n-5
                                & equiv_3 & 2times 1^n + 3times (-1)^n +1 \
                                & equiv_3 & 3times (1 + (-1)^n)\
                                & equiv_3 & 0
                                endeqnarray*







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered Mar 20 at 12:06









                              trancelocationtrancelocation

                              13.5k1827




                              13.5k1827





















                                  1












                                  $begingroup$


                                  $$2×7^n-2+3×5^n-3\
                                  2(7^n-1)+3(5^n-1)\
                                  2×6a + 3×4b\
                                  12(color#c00a+b) $$

                                  but it is not enough [to prove divisibility by $24$]




                                  Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$






                                  share|cite|improve this answer











                                  $endgroup$

















                                    1












                                    $begingroup$


                                    $$2×7^n-2+3×5^n-3\
                                    2(7^n-1)+3(5^n-1)\
                                    2×6a + 3×4b\
                                    12(color#c00a+b) $$

                                    but it is not enough [to prove divisibility by $24$]




                                    Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$






                                    share|cite|improve this answer











                                    $endgroup$















                                      1












                                      1








                                      1





                                      $begingroup$


                                      $$2×7^n-2+3×5^n-3\
                                      2(7^n-1)+3(5^n-1)\
                                      2×6a + 3×4b\
                                      12(color#c00a+b) $$

                                      but it is not enough [to prove divisibility by $24$]




                                      Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$






                                      share|cite|improve this answer











                                      $endgroup$




                                      $$2×7^n-2+3×5^n-3\
                                      2(7^n-1)+3(5^n-1)\
                                      2×6a + 3×4b\
                                      12(color#c00a+b) $$

                                      but it is not enough [to prove divisibility by $24$]




                                      Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$







                                      share|cite|improve this answer














                                      share|cite|improve this answer



                                      share|cite|improve this answer








                                      edited Mar 21 at 2:46

























                                      answered Mar 21 at 2:40









                                      Bill DubuqueBill Dubuque

                                      213k29196654




                                      213k29196654



























                                          draft saved

                                          draft discarded
















































                                          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.




                                          draft saved


                                          draft discarded














                                          StackExchange.ready(
                                          function ()
                                          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3155303%2fprove-without-induction-that-2%25c3%25977n3%25c3%25975n-5-is-divisible-by-24%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

                                          How should I support this large drywall patch? Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How do I cover large gaps in drywall?How do I keep drywall around a patch from crumbling?Can I glue a second layer of drywall?How to patch long strip on drywall?Large drywall patch: how to avoid bulging seams?Drywall Mesh Patch vs. Bulge? To remove or not to remove?How to fix this drywall job?Prep drywall before backsplashWhat's the best way to fix this horrible drywall patch job?Drywall patching using 3M Patch Plus Primer

                                          random experiment with two different functions on unit interval Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Random variable and probability space notionsRandom Walk with EdgesFinding functions where the increase over a random interval is Poisson distributedNumber of days until dayCan an observed event in fact be of zero probability?Unit random processmodels of coins and uniform distributionHow to get the number of successes given $n$ trials , probability $P$ and a random variable $X$Absorbing Markov chain in a computer. Is “almost every” turned into always convergence in computer executions?Stopped random walk is not uniformly integrable

                                          Lowndes Grove History Architecture References Navigation menu32°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661132°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661178002500"National Register Information System"Historic houses of South Carolina"Lowndes Grove""+32° 48' 6.00", −79° 57' 58.00""Lowndes Grove, Charleston County (260 St. Margaret St., Charleston)""Lowndes Grove"The Charleston ExpositionIt Happened in South Carolina"Lowndes Grove (House), Saint Margaret Street & Sixth Avenue, Charleston, Charleston County, SC(Photographs)"Plantations of the Carolina Low Countrye