1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Another Proof via Induction

  1. Dec 2, 2005 #1
    The problem asks that I compute [tex]3^n-2^n[/tex] for positive integer values of n, starting at 1 and working through a handful of consecutive integers.
    From there I am to make a general observation about the values and then attempt to prove it with induction.

    So I found the values:
    n=1, 3^1-2^1 = 1
    n=2, 3^2-2^2 = 5
    n=3, 3^3-2^3 = 19
    n=4, 3^4-2^4 = 65
    n=5, 3^5-2^5 = 211
    n=6, 3^6-2^6 = 665
    n=7, 3^7-2^7 = 2059
    n=8, 3^8-2^8 = 6305
    n=9, 3^9-2^9 = 19171

    From this I made the observation that for even values of n, [tex]3^n-2^n[/tex] is divisible by 5.
    So I worked with the idea that [tex]3^{2n}-2^{2n}[/tex] is divisible by 5 for ALL positive integers.

    Using mathematical induction:

    For n=1
    [tex]3^{2(1)}-2^{2(1)} = 5[/tex]

    For k

    For k+1
    [tex]= 3^{2(k+1)}-2^{2(k+1)} -3^{2k} +3^{2k} -2^{2k} +2^{2k}[/tex]
    [tex]= 3^{2k}(3^2-1) - 2^{2k}(2^2-1) + (3^{2k} -2^{2k})[/tex]
    The 3rd term is case k, assumed to be divisible by 5

    Working with the remaining terms:
    [tex]3^{2k}(8) - 2^{2k}(3)[/tex]
    [tex]= 3^{2k}(8) - 2^{2k}(3) + 2^{2k}(5) - 2^{2k}(5)[/tex]
    [tex]= 3^{2k}(8) - 2^{2k}(8) + 2^{2k}(5)[/tex]
    [tex]= 8(3^{2k} - 2^{2k}) + 5(2^{2k})[/tex]
    The first term has case k as a factor, and the second term has 5 as a factor, making both divisible by 5

    Thus [tex]3^{2n}-2^{2n}[/tex] is divisible by 5 for all positive integers

    Does this look valid?
    Any way to clean it up?

    Thanks in advance for your time!
    Last edited: Dec 2, 2005
  2. jcsd
  3. Dec 2, 2005 #2


    User Avatar
    Staff Emeritus
    Science Advisor

    What you've done is valid but somewhat more complicated than is necessary. Notice that 32(k+1)= 32k+2= 9(32k) and that 22(k+1)= 22k+2= 4(22k). And, of course, 9- 4= 5.
  4. Dec 2, 2005 #3
    9(32k) - 4(22k)
    5(32k) + 4(32k) - 4(22k)
    5(32k) + 4(32k - 22k), both divisible by 5
    Yeah, that is much simpler.
    I seem to have a gift for missing the obvious and making more work for myself. :tongue:
    Thanks again!
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Another Proof via Induction
  1. Induction Proofs (Replies: 3)

  2. Induction Proof (Replies: 11)

  3. Induction proof (Replies: 4)

  4. Proof by induction (Replies: 12)

  5. Proof by induction (Replies: 7)