Help with an inductive proof

NuPowerbook

I have the series 2, 2, 6, 10, 22, 42, 86, 170, 342, 682 which follows the following:

M(1)=2
M(2)=2
M(3)=M(1)+M(2)+2
M(4)=M(3)+M(2)+M(1)
M(5)=M(4)+M(3)+M(2)+M(1)+2
M(6)=M(5)+M(4)+M(3)+M(2)+M(1)

Each value for M(N) for N >= 3 is the sum of all previous values, and add 2 if N is odd.

I found that these two functions describe the sum:
$$\mbox{If N is odd: }\frac{2^{n+1}+2}{3}$$
$$\mbox{If N is even: }\frac{2^{n+1}-2}{3}$$

Can anyone help me inductively prove this?

EDIT: I guess I tried to represent it as a function and failed. If someone can represent this as a summation for me, then I could probably figure out the inductive proof. I guess my whole problem was I tried to represent it as a recursive function, and since the function was wrong, I could not prove it.

Last edited:
Related Introductory Physics Homework Help News on Phys.org

StatusX

Homework Helper
A proof by induction is done as follows. Show the case is true for the first term, n=1. This should be easy, just plug in and verify. Then you need to show that given the expression is true for all terms before the nth term, show that it then must be true for the nth term. In this case, assume the sum expression of the first n-1 terms is accurate, then show that adding the nth term will give the same result as the sum expression evaluated at n.

NuPowerbook

StatusX said:
A proof by induction is done as follows. Show the case is true for the first term, n=1. This should be easy, just plug in and verify. Then you need to show that given the expression is true for all terms before the nth term, show that it then must be true for the nth term. In this case, assume the sum expression of the first n-1 terms is accurate, then show that adding the nth term will give the same result as the sum expression evaluated at n.
I know how to do an inductive proof, but I am just not sure how to prove this. I've never done an inductive proof on a piecewise function where the proof depends on whether the nth term is even or odd.

StatusX

Homework Helper
OK, the way I would do it is to use the sum formulas to generate a pair of equations for M(n) if n is even or odd. For example, if n is odd, subtract the even sum expression for n-1 from the odd expression for n. Then prove by induction that these satisfy the generating equation. Remember, if n is odd, n-1 is even and n-2 is odd.

Edit: wait, those expressions are for M(n). Why did you call them the sum? In any case, that just makes your job easier.

second edit: that formula only matches the generating equation for the first few terms (up to 10). 10+6+2 != 22. no wonder you had a hard time proving it.

Last edited:

NuPowerbook

StatusX said:
OK, the way I would do it is to use the sum formulas to generate a pair of equations for M(n) if n is even or odd. For example, if n is odd, subtract the even sum expression for n-1 from the odd expression for n. Then prove by induction that these satisfy the generating equation. Remember, if n is odd, n-1 is even and n-2 is odd.

Edit: wait, those expressions are for M(n). Why did you call them the sum? In any case, that just makes your job easier.

second edit: that formula only matches the generating equation for the first few terms (up to 10). 10+6+2 != 22. no wonder you had a hard time proving it.
Oh bah, I messed up the formula. It should be correct now.

StatusX

Homework Helper
Take M(6)-M(5). This should show you a pattern you can use to get two expressions for M(n)-M(n-1), one for even n and one for odd n. Prove this relation holds for your formulas as well.

Also, the equation you're looking for is:

$$M(n) = \left\{\begin{array}{cc}\sum_{k=1}^{n-1} M(k), &\mbox{n even}\\ 2+\sum_{k=1}^{n-1} M(k), &\mbox{n odd}\end{array}$$

Last edited:

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
{"ft_lang_label":"__label__en","ft_lang_prob":0.91602355,"math_prob":0.98940265,"size":1508,"snap":"2019-43-2019-47","text_gpt3_token_len":565,"char_repetition_ratio":0.11303192,"word_repetition_ratio":0.8780488,"special_character_ratio":0.38196287,"punctuation_ratio":0.09462915,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9996043,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-10-17T18:04:36Z\",\"WARC-Record-ID\":\"<urn:uuid:5a13329f-c57b-465c-a4e5-527dab7fbfd2>\",\"Content-Length\":\"91156\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:5120ca82-7f68-40af-a54d-594579af9998>\",\"WARC-Concurrent-To\":\"<urn:uuid:d358ba0f-d68b-4850-a3cb-e973df5b449d>\",\"WARC-IP-Address\":\"23.111.143.85\",\"WARC-Target-URI\":\"https://www.physicsforums.com/threads/help-with-an-inductive-proof.63653/\",\"WARC-Payload-Digest\":\"sha1:MUNYITRYLHCET6XRWSRVMWFO7Y4VOWMZ\",\"WARC-Block-Digest\":\"sha1:E7GXLWDBHW6UP7GV2KAJOFPYEEJ456UU\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-43/CC-MAIN-2019-43_segments_1570986675598.53_warc_CC-MAIN-20191017172920-20191017200420-00003.warc.gz\"}"}