Explore BrainMass

Explore BrainMass

    Induction on a Sum of Natural Numbers

    Not what you're looking for? Search our solutions OR ask your own Custom question.

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    Let f:N x N -> N be the function defined recursively as follows:

    f(0, 0) = 6

    f(i, j) = f(i - 1, j) + 2 if i > 0 and j = 0

    f(i, j) = f(i, j - 1) + 1 if j > 0

    Use induction on the sum i + j to prove that f(i, j) = 2i + j + 6 for all (i, j) in N x N.

    © BrainMass Inc. brainmass.com September 27, 2022, 6:00 pm ad1c9bdddf
    https://brainmass.com/math/number-theory/induction-sum-natural-numbers-512746

    SOLUTION This solution is FREE courtesy of BrainMass!

    Please see the attached .pdf file for a complete solution.

    Since i >= 0 and j >= 0, we have that i + j >= 0.

    Base case: i + j = 0
    In this case, (i, j) = (0, 0). By definition, f(0, 0) = 6, so
    f(i, j) = f(0, 0) = 6 = 0 + 0 + 6 = 2(0) + 0 + 6 = 2i + j + 6

    Induction step: Let k >= 1, let i, j in N be such that i + j = k, and assume (as induction hypothesis) that f(i' ,j') = 2i' + j' + 6 for all (i', j') such that i' + j' = k - 1. We will show that f(i, j) = 2i + j + 6.

    There are two cases:

    Case I: j = 0
    Since i + j >= 1 and j = 0, we know that i >= 1. Thus i - 1>= 0 and
    (i - 1) + j = i - 1 + j = (i + j) - 1 = k - 1
    By the induction hypothesis,
    f(i - 1, j) = 2(i - 1) + j + 6
    By the definition of f(i, j) and the facts that i >= 1 (hence i > 0) and j = 0, we have
    f(i, j) = f(i - 1, j) + 2 = [2(i - 1) + j + 6] + 2 = 2i - 2 + j + 6 + 2 = 2i + j + 6

    Case II: j > 0
    Since j > 0, we know that j >= 1 (hence j - 1 >= 0) and
    i + (j - 1) = (i + j) - 1 = k - 1
    By the induction hypothesis,
    f(i, j - 1) = 2i + (j - 1) + 6
    By the definition of f(i, j) and the fact that j > 0, we find that
    f(i, j) = f(i, j - 1) + 1 = [2i + (j - 1) + 6] + 1 = 2i + j - 1 + 6 + 1 = 2i + j+ 6

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    © BrainMass Inc. brainmass.com September 27, 2022, 6:00 pm ad1c9bdddf>
    https://brainmass.com/math/number-theory/induction-sum-natural-numbers-512746

    Attachments

    ADVERTISEMENT