Proof by mathematical induction that, for all non-negative integers $n$, $7^{2n+1} + 5^{n+3}$ is divisible by...












2












$begingroup$


I have been trying to solve this problem, but I have not been able to figure it out using any simple techniques. Would someone give me the ropes please?



Prove for $n=1$



$7^3 + 5^4 = 968 = 44(22)$



Assume $F(k)$ is true and try $F(k+1)+-F(k)$



$F(k) = 7^{2k+1} + 5^{k+3}$



$F(k+1) = 7^{2k+3} + 5^{k+4}$



$49*7^{2k+1} + 5*5^{k+3} +- [7^{2k+1} + 5^{k+3}]$



Neither addition nor subtraction gives us a chance to take $44$ in front of the bracket, the best approach it has come to my mind is to subtract $F(k)$ which gives us:



$4[12*7^{2k+1} + 5^{5+3}]$



And now we need to prove that the inside is divisible by $11$. I have not been able to do so.










share|cite|improve this question











$endgroup$












  • $begingroup$
    See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
    $endgroup$
    – lab bhattacharjee
    Dec 16 '18 at 8:50


















2












$begingroup$


I have been trying to solve this problem, but I have not been able to figure it out using any simple techniques. Would someone give me the ropes please?



Prove for $n=1$



$7^3 + 5^4 = 968 = 44(22)$



Assume $F(k)$ is true and try $F(k+1)+-F(k)$



$F(k) = 7^{2k+1} + 5^{k+3}$



$F(k+1) = 7^{2k+3} + 5^{k+4}$



$49*7^{2k+1} + 5*5^{k+3} +- [7^{2k+1} + 5^{k+3}]$



Neither addition nor subtraction gives us a chance to take $44$ in front of the bracket, the best approach it has come to my mind is to subtract $F(k)$ which gives us:



$4[12*7^{2k+1} + 5^{5+3}]$



And now we need to prove that the inside is divisible by $11$. I have not been able to do so.










share|cite|improve this question











$endgroup$












  • $begingroup$
    See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
    $endgroup$
    – lab bhattacharjee
    Dec 16 '18 at 8:50
















2












2








2





$begingroup$


I have been trying to solve this problem, but I have not been able to figure it out using any simple techniques. Would someone give me the ropes please?



Prove for $n=1$



$7^3 + 5^4 = 968 = 44(22)$



Assume $F(k)$ is true and try $F(k+1)+-F(k)$



$F(k) = 7^{2k+1} + 5^{k+3}$



$F(k+1) = 7^{2k+3} + 5^{k+4}$



$49*7^{2k+1} + 5*5^{k+3} +- [7^{2k+1} + 5^{k+3}]$



Neither addition nor subtraction gives us a chance to take $44$ in front of the bracket, the best approach it has come to my mind is to subtract $F(k)$ which gives us:



$4[12*7^{2k+1} + 5^{5+3}]$



And now we need to prove that the inside is divisible by $11$. I have not been able to do so.










share|cite|improve this question











$endgroup$




I have been trying to solve this problem, but I have not been able to figure it out using any simple techniques. Would someone give me the ropes please?



Prove for $n=1$



$7^3 + 5^4 = 968 = 44(22)$



Assume $F(k)$ is true and try $F(k+1)+-F(k)$



$F(k) = 7^{2k+1} + 5^{k+3}$



$F(k+1) = 7^{2k+3} + 5^{k+4}$



$49*7^{2k+1} + 5*5^{k+3} +- [7^{2k+1} + 5^{k+3}]$



Neither addition nor subtraction gives us a chance to take $44$ in front of the bracket, the best approach it has come to my mind is to subtract $F(k)$ which gives us:



$4[12*7^{2k+1} + 5^{5+3}]$



And now we need to prove that the inside is divisible by $11$. I have not been able to do so.







induction






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 16 '18 at 8:46









Luca Carai

31119




31119










asked Dec 16 '18 at 8:23









Adam PáltikAdam Páltik

1149




1149












  • $begingroup$
    See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
    $endgroup$
    – lab bhattacharjee
    Dec 16 '18 at 8:50




















  • $begingroup$
    See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
    $endgroup$
    – lab bhattacharjee
    Dec 16 '18 at 8:50


















$begingroup$
See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
$endgroup$
– lab bhattacharjee
Dec 16 '18 at 8:50






$begingroup$
See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
$endgroup$
– lab bhattacharjee
Dec 16 '18 at 8:50












6 Answers
6






active

oldest

votes


















1












$begingroup$

Basis



Satisfies for $n=0$($44Big|132$)



Induction hypothesis



$exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$



Inductive step



$$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$



$$=49(44m-5^{k+3})+5(5^{k+3})$$



$$=44(49m-5^{k+3})$$



which is clearly divisible by $44$.



Hope it helps:)






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thank you very much!
    $endgroup$
    – Adam Páltik
    Dec 16 '18 at 8:53










  • $begingroup$
    You're welcome.
    $endgroup$
    – Martund
    Dec 16 '18 at 8:56










  • $begingroup$
    @AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
    $endgroup$
    – Bill Dubuque
    Dec 16 '18 at 20:57





















1












$begingroup$

Base case : n=1✓



Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.



Step $n+1$:



$7^{2(n+1)+1}+ 5^{(n+1)+1}=$



$7^{2n+1}7^2+ 5^{n+1}5=$



$7^{2n+1}(44+5)+5^{n+1}5=$



$(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$



First term divisible by $44$, so is the second term by hypothesis.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you very much!
    $endgroup$
    – Adam Páltik
    Dec 16 '18 at 8:55










  • $begingroup$
    Adam Paltik.Welcome :)
    $endgroup$
    – Peter Szilas
    Dec 16 '18 at 8:56



















1












$begingroup$

A simple direct proof (without induction)



$$
7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
$$






share|cite|improve this answer









$endgroup$





















    1












    $begingroup$

    The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule



    $$begin{align}!!!!!bmod 44!:qquadquad
    7^{large 2} &equiv, 5\[.2em]
    times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
    hline
    Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
    end{align}qquad!! $$



    Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below



    $$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
    mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
    {bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$



    Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.



    You can find further discussion in many prior posts.






    share|cite|improve this answer









    $endgroup$





















      0












      $begingroup$

      For $n=1$ is true.



      Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$



      $7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        Thank you very much!
        $endgroup$
        – Adam Páltik
        Dec 16 '18 at 8:53



















      0












      $begingroup$

      Here is another take.



      Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
      Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
      $$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$



      The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.






      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%2f3042363%2fproof-by-mathematical-induction-that-for-all-non-negative-integers-n-72n%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









        1












        $begingroup$

        Basis



        Satisfies for $n=0$($44Big|132$)



        Induction hypothesis



        $exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$



        Inductive step



        $$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$



        $$=49(44m-5^{k+3})+5(5^{k+3})$$



        $$=44(49m-5^{k+3})$$



        which is clearly divisible by $44$.



        Hope it helps:)






        share|cite|improve this answer









        $endgroup$













        • $begingroup$
          Thank you very much!
          $endgroup$
          – Adam Páltik
          Dec 16 '18 at 8:53










        • $begingroup$
          You're welcome.
          $endgroup$
          – Martund
          Dec 16 '18 at 8:56










        • $begingroup$
          @AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
          $endgroup$
          – Bill Dubuque
          Dec 16 '18 at 20:57


















        1












        $begingroup$

        Basis



        Satisfies for $n=0$($44Big|132$)



        Induction hypothesis



        $exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$



        Inductive step



        $$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$



        $$=49(44m-5^{k+3})+5(5^{k+3})$$



        $$=44(49m-5^{k+3})$$



        which is clearly divisible by $44$.



        Hope it helps:)






        share|cite|improve this answer









        $endgroup$













        • $begingroup$
          Thank you very much!
          $endgroup$
          – Adam Páltik
          Dec 16 '18 at 8:53










        • $begingroup$
          You're welcome.
          $endgroup$
          – Martund
          Dec 16 '18 at 8:56










        • $begingroup$
          @AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
          $endgroup$
          – Bill Dubuque
          Dec 16 '18 at 20:57
















        1












        1








        1





        $begingroup$

        Basis



        Satisfies for $n=0$($44Big|132$)



        Induction hypothesis



        $exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$



        Inductive step



        $$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$



        $$=49(44m-5^{k+3})+5(5^{k+3})$$



        $$=44(49m-5^{k+3})$$



        which is clearly divisible by $44$.



        Hope it helps:)






        share|cite|improve this answer









        $endgroup$



        Basis



        Satisfies for $n=0$($44Big|132$)



        Induction hypothesis



        $exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$



        Inductive step



        $$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$



        $$=49(44m-5^{k+3})+5(5^{k+3})$$



        $$=44(49m-5^{k+3})$$



        which is clearly divisible by $44$.



        Hope it helps:)







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 16 '18 at 8:49









        MartundMartund

        1,655213




        1,655213












        • $begingroup$
          Thank you very much!
          $endgroup$
          – Adam Páltik
          Dec 16 '18 at 8:53










        • $begingroup$
          You're welcome.
          $endgroup$
          – Martund
          Dec 16 '18 at 8:56










        • $begingroup$
          @AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
          $endgroup$
          – Bill Dubuque
          Dec 16 '18 at 20:57




















        • $begingroup$
          Thank you very much!
          $endgroup$
          – Adam Páltik
          Dec 16 '18 at 8:53










        • $begingroup$
          You're welcome.
          $endgroup$
          – Martund
          Dec 16 '18 at 8:56










        • $begingroup$
          @AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
          $endgroup$
          – Bill Dubuque
          Dec 16 '18 at 20:57


















        $begingroup$
        Thank you very much!
        $endgroup$
        – Adam Páltik
        Dec 16 '18 at 8:53




        $begingroup$
        Thank you very much!
        $endgroup$
        – Adam Páltik
        Dec 16 '18 at 8:53












        $begingroup$
        You're welcome.
        $endgroup$
        – Martund
        Dec 16 '18 at 8:56




        $begingroup$
        You're welcome.
        $endgroup$
        – Martund
        Dec 16 '18 at 8:56












        $begingroup$
        @AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
        $endgroup$
        – Bill Dubuque
        Dec 16 '18 at 20:57






        $begingroup$
        @AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
        $endgroup$
        – Bill Dubuque
        Dec 16 '18 at 20:57













        1












        $begingroup$

        Base case : n=1✓



        Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.



        Step $n+1$:



        $7^{2(n+1)+1}+ 5^{(n+1)+1}=$



        $7^{2n+1}7^2+ 5^{n+1}5=$



        $7^{2n+1}(44+5)+5^{n+1}5=$



        $(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$



        First term divisible by $44$, so is the second term by hypothesis.






        share|cite|improve this answer











        $endgroup$













        • $begingroup$
          Thank you very much!
          $endgroup$
          – Adam Páltik
          Dec 16 '18 at 8:55










        • $begingroup$
          Adam Paltik.Welcome :)
          $endgroup$
          – Peter Szilas
          Dec 16 '18 at 8:56
















        1












        $begingroup$

        Base case : n=1✓



        Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.



        Step $n+1$:



        $7^{2(n+1)+1}+ 5^{(n+1)+1}=$



        $7^{2n+1}7^2+ 5^{n+1}5=$



        $7^{2n+1}(44+5)+5^{n+1}5=$



        $(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$



        First term divisible by $44$, so is the second term by hypothesis.






        share|cite|improve this answer











        $endgroup$













        • $begingroup$
          Thank you very much!
          $endgroup$
          – Adam Páltik
          Dec 16 '18 at 8:55










        • $begingroup$
          Adam Paltik.Welcome :)
          $endgroup$
          – Peter Szilas
          Dec 16 '18 at 8:56














        1












        1








        1





        $begingroup$

        Base case : n=1✓



        Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.



        Step $n+1$:



        $7^{2(n+1)+1}+ 5^{(n+1)+1}=$



        $7^{2n+1}7^2+ 5^{n+1}5=$



        $7^{2n+1}(44+5)+5^{n+1}5=$



        $(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$



        First term divisible by $44$, so is the second term by hypothesis.






        share|cite|improve this answer











        $endgroup$



        Base case : n=1✓



        Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.



        Step $n+1$:



        $7^{2(n+1)+1}+ 5^{(n+1)+1}=$



        $7^{2n+1}7^2+ 5^{n+1}5=$



        $7^{2n+1}(44+5)+5^{n+1}5=$



        $(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$



        First term divisible by $44$, so is the second term by hypothesis.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 16 '18 at 8:52

























        answered Dec 16 '18 at 8:40









        Peter SzilasPeter Szilas

        11.4k2822




        11.4k2822












        • $begingroup$
          Thank you very much!
          $endgroup$
          – Adam Páltik
          Dec 16 '18 at 8:55










        • $begingroup$
          Adam Paltik.Welcome :)
          $endgroup$
          – Peter Szilas
          Dec 16 '18 at 8:56


















        • $begingroup$
          Thank you very much!
          $endgroup$
          – Adam Páltik
          Dec 16 '18 at 8:55










        • $begingroup$
          Adam Paltik.Welcome :)
          $endgroup$
          – Peter Szilas
          Dec 16 '18 at 8:56
















        $begingroup$
        Thank you very much!
        $endgroup$
        – Adam Páltik
        Dec 16 '18 at 8:55




        $begingroup$
        Thank you very much!
        $endgroup$
        – Adam Páltik
        Dec 16 '18 at 8:55












        $begingroup$
        Adam Paltik.Welcome :)
        $endgroup$
        – Peter Szilas
        Dec 16 '18 at 8:56




        $begingroup$
        Adam Paltik.Welcome :)
        $endgroup$
        – Peter Szilas
        Dec 16 '18 at 8:56











        1












        $begingroup$

        A simple direct proof (without induction)



        $$
        7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
        $$






        share|cite|improve this answer









        $endgroup$


















          1












          $begingroup$

          A simple direct proof (without induction)



          $$
          7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
          $$






          share|cite|improve this answer









          $endgroup$
















            1












            1








            1





            $begingroup$

            A simple direct proof (without induction)



            $$
            7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
            $$






            share|cite|improve this answer









            $endgroup$



            A simple direct proof (without induction)



            $$
            7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
            $$







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Dec 16 '18 at 9:48









            CesareoCesareo

            9,2413517




            9,2413517























                1












                $begingroup$

                The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule



                $$begin{align}!!!!!bmod 44!:qquadquad
                7^{large 2} &equiv, 5\[.2em]
                times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
                hline
                Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
                end{align}qquad!! $$



                Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below



                $$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
                mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
                {bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$



                Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.



                You can find further discussion in many prior posts.






                share|cite|improve this answer









                $endgroup$


















                  1












                  $begingroup$

                  The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule



                  $$begin{align}!!!!!bmod 44!:qquadquad
                  7^{large 2} &equiv, 5\[.2em]
                  times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
                  hline
                  Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
                  end{align}qquad!! $$



                  Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below



                  $$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
                  mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
                  {bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$



                  Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.



                  You can find further discussion in many prior posts.






                  share|cite|improve this answer









                  $endgroup$
















                    1












                    1








                    1





                    $begingroup$

                    The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule



                    $$begin{align}!!!!!bmod 44!:qquadquad
                    7^{large 2} &equiv, 5\[.2em]
                    times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
                    hline
                    Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
                    end{align}qquad!! $$



                    Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below



                    $$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
                    mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
                    {bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$



                    Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.



                    You can find further discussion in many prior posts.






                    share|cite|improve this answer









                    $endgroup$



                    The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule



                    $$begin{align}!!!!!bmod 44!:qquadquad
                    7^{large 2} &equiv, 5\[.2em]
                    times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
                    hline
                    Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
                    end{align}qquad!! $$



                    Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below



                    $$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
                    mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
                    {bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$



                    Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.



                    You can find further discussion in many prior posts.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Dec 16 '18 at 20:56









                    Bill DubuqueBill Dubuque

                    212k29195650




                    212k29195650























                        0












                        $begingroup$

                        For $n=1$ is true.



                        Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$



                        $7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$






                        share|cite|improve this answer









                        $endgroup$













                        • $begingroup$
                          Thank you very much!
                          $endgroup$
                          – Adam Páltik
                          Dec 16 '18 at 8:53
















                        0












                        $begingroup$

                        For $n=1$ is true.



                        Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$



                        $7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$






                        share|cite|improve this answer









                        $endgroup$













                        • $begingroup$
                          Thank you very much!
                          $endgroup$
                          – Adam Páltik
                          Dec 16 '18 at 8:53














                        0












                        0








                        0





                        $begingroup$

                        For $n=1$ is true.



                        Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$



                        $7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$






                        share|cite|improve this answer









                        $endgroup$



                        For $n=1$ is true.



                        Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$



                        $7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$







                        share|cite|improve this answer












                        share|cite|improve this answer



                        share|cite|improve this answer










                        answered Dec 16 '18 at 8:50









                        Martín Vacas VignoloMartín Vacas Vignolo

                        3,816623




                        3,816623












                        • $begingroup$
                          Thank you very much!
                          $endgroup$
                          – Adam Páltik
                          Dec 16 '18 at 8:53


















                        • $begingroup$
                          Thank you very much!
                          $endgroup$
                          – Adam Páltik
                          Dec 16 '18 at 8:53
















                        $begingroup$
                        Thank you very much!
                        $endgroup$
                        – Adam Páltik
                        Dec 16 '18 at 8:53




                        $begingroup$
                        Thank you very much!
                        $endgroup$
                        – Adam Páltik
                        Dec 16 '18 at 8:53











                        0












                        $begingroup$

                        Here is another take.



                        Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
                        Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
                        $$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$



                        The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.






                        share|cite|improve this answer









                        $endgroup$


















                          0












                          $begingroup$

                          Here is another take.



                          Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
                          Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
                          $$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$



                          The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.






                          share|cite|improve this answer









                          $endgroup$
















                            0












                            0








                            0





                            $begingroup$

                            Here is another take.



                            Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
                            Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
                            $$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$



                            The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.






                            share|cite|improve this answer









                            $endgroup$



                            Here is another take.



                            Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
                            Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
                            $$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$



                            The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Dec 16 '18 at 9:51









                            lhflhf

                            166k10171396




                            166k10171396






























                                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%2f3042363%2fproof-by-mathematical-induction-that-for-all-non-negative-integers-n-72n%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

                                Bundesstraße 106

                                Verónica Boquete

                                Ida-Boy-Ed-Garten