FP1, Divisibility Proof by Induction

Maths and statistics discussion, revision, exam and homework help.

Announcements Posted on
Please change your TSR password 23-05-2013
Enter our travel-writing competition for the chance to win a Nikon 1 J3 camera 20-05-2013
IMPORTANT: You must wait until midnight (morning exams)/4.30AM (afternoon exams) to discuss Edexcel exams and until 1pm/6pm the following day for STEP and IB exams. Please read before posting, including for rules for practical and oral exams. 28-04-2013
Sign in to Reply
  1. bong's Avatar
    • Respected Member
    • Posts: 194
    FP1, Divisibility Proof by Induction
    It's just these questions that are holding me back and I'm really frustrated. I know you must first do f(1) , then f(k), then f(k+1).

    However, on the inductive step, how do you know whether to do:

    f(k+1) - f(k)
    f(k+1) + f(k)
    f(k+1) +/- N f(k) where N is some integer

    And after this step, what kind of manipulation do you do? I cant find a "target" if you know what I mean - like when proving a summation formula your "target" is the summation they give, but replace (n) by (k + 1).

    This question for example:

    Prove that is exactly divisible by 4 for all integers of n.

    So which is divisible by 4.

    Assume that this is divisible by 4.

    And then after simplifying f(k+1) you get

    If i'm not mistaken, you can do f(k+1)+f(k) for this particular question and it will work.

    But is it trial and improvement or some other method you use you determine this?
  2. Intriguing Alias's Avatar
    • TSR Idol
    • Location: Yorkshire
    Re: FP1, Divisibility Proof by Induction
    (Original post by bong)
    It's just these questions that are holding me back and I'm really frustrated. I know you must first do f(1) , then f(k), then f(k+1).

    However, on the inductive step, how do you know whether to do:

    f(k+1) - f(k)
    f(k+1) + f(k)
    f(k+1) +/- N f(k) where N is some integer

    And after this step, what kind of manipulation do you do? I cant find a "target" if you know what I mean - like when proving a summation formula your "target" is the summation they give, but replace (n) by (k + 1).

    This question for example:

    Prove that is exactly divisible by 4 for all integers of n.

    So which is divisible by 4.

    Assume that this is divisible by 4.

    And then after simplifying f(k+1) you get

    If i'm not mistaken, you can do f(k+1)+f(k) for this particular question and it will work.

    But is it trial and improvement or some other method you use you determine this?
    f(k+1) - f(k) also works but it's a bit messier.

    I don't think there's a 'way' to do it. You just have to practice at it and then you'll get used to spotting what to do.
  3. bong's Avatar
    • Respected Member
    • Posts: 194
    Re: FP1, Divisibility Proof by Induction
    (Original post by hassi94)
    f(k+1) - f(k) also works but it's a bit messier.

    I don't think there's a 'way' to do it. You just have to practice at it and then you'll get used to spotting what to do.
    Thanks but i'm still not able to do the dodgy ones where you need a add/subtract a multiple of f(k) from f(k+1). When I see the mark schemes it just seems completely random and I think how the hell am I supposed to see that.
  4. Intriguing Alias's Avatar
    • TSR Idol
    • Location: Yorkshire
    Re: FP1, Divisibility Proof by Induction
    (Original post by bong)
    Thanks but i'm still not able to do the dodgy ones where you need a add/subtract a multiple of f(k) from f(k+1). When I see the mark schemes it just seems completely random and I think how the hell am I supposed to see that.
    With those ones they're usually set up to be a bit easier. Can you post an example so I can have a look?
  5. bong's Avatar
    • Respected Member
    • Posts: 194
    Re: FP1, Divisibility Proof by Induction
    (Original post by hassi94)
    With those ones they're usually set up to be a bit easier. Can you post an example so I can have a look?
    Prove that \[2(4^2^n^+^1 )+ 3^3^n^+^1 \] is divisible by 11
  6. Blazy's Avatar
    • Exalted Member
    Re: FP1, Divisibility Proof by Induction
    (Original post by bong)
    Prove that \[2(4^2^n^+^1 )+ 3^3^n^+^1 \] is divisible by 11
    Ok, here's how I'd do this question with adding multiples.

    Because you know you'll have to sub in n = k+1 at some point, (i.e.  2(4^{2k+3} )+ 3^{3k+4} ) when you get to the stage where you say, assume true for n = k:

     2(4^{2k+1} )+ 3^{3k+1}  = 11m

    You think - how do I connect the two: You may notice that  2(4^{2k+3}) is 16 times bigger than  2(4^{2k+1}) - sounds like an idea, so let's multiply the whole thing by 16:

     2(4^{2k+3} )+ 16(3^{3k+1})  = 176m

    Now for n = k+1:

     2(4^{2k+3} )+ 3^{3k+4}

    This looks fairly similar to 176m - but  3^{3k+4} is a bit of a bother. Try factorising it.

     2(4^{2k+3} )+ 27(3^{3k+1})

    This looks a lot better - we have  (4^{2k+3}) and  (3^{3k+1}) .

     2(4^{2k+3} )+ 16(3^{3k+1}) +11 (3^{3k+1})
     176m +11 (3^{3k+1})

    This looks pretty good - we can factor out 11, and hence, complete the induction - so if it's true for n = k, then it is true for n = k+1...blah blah blah.
  7. bong's Avatar
    • Respected Member
    • Posts: 194
    Re: FP1, Divisibility Proof by Induction
    (Original post by Blazy)
    ...
    Cheers for that - I've come across that method where you equate it to an integer 'm' and carry on like you did, but I was't taught this way. Perhaps I'll learn it, exams on Friday so there's some time.

    Thanks
Sign in to Reply
Share this discussion:  
Article updates
Moderators

We have a brilliant team of more than 60 volunteers looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

Reputation gems:
The Reputation gems seen here indicate how well reputed the user is, red gem indicate negative reputation and green indicates a good rep.
Post rating score:
These scores show if a post has been positively or negatively rated by our members.