How Do I Simplify the Right Side of the Mathematical Induction Equation?

Click For Summary

Discussion Overview

The discussion revolves around the simplification of a mathematical induction equation related to the sum of an arithmetic series. Participants are trying to understand the steps involved in simplifying the right side of the equation and the overall process of proof by induction.

Discussion Character

  • Homework-related
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant expresses confusion about the simplification of the right side of the equation, specifically how to derive 1/2(k^2+11k+10) from 1/2k(k+9)+[(k+1)+4].
  • Another participant outlines the process of proving the equation by induction, including checking the base case and stating the induction hypothesis.
  • A later reply provides a detailed step-by-step simplification of the right side, explaining the need for a common denominator and how to combine terms.
  • Some participants suggest that the initial notation of $P_1$ before defining $P_n$ may be misleading and propose that the general form should be stated first.
  • One participant mentions that the left-hand side is an arithmetic series and provides an alternative approach to derive the sum without using induction.

Areas of Agreement / Disagreement

Participants generally agree on the steps involved in the proof by induction, but there are differing opinions on the notation used and the necessity of induction for this problem. Some participants also express confusion about the simplification process, indicating that the discussion remains unresolved for them.

Contextual Notes

There are limitations regarding the clarity of notation and the assumptions made in the proof process. Some participants highlight that understanding the general form of $P_n$ is crucial for correctly stating the induction hypothesis.

Hazel
Messages
11
Reaction score
0
Original Equation: 5+6+7+...+(n+4)=1/2n(n+9)

Ok, I've tried everything to understand this. I'm just not getting it. I understand everything (n=1, k+1, etc) up until this point: "To continue with proof what must be done?". I know you must simplify the right side, but I don't understand how they simplified it to this:
I'm going to start at the adding k+1 to both sides of equation part.
5+6+7+...+(k+4)+[(k+1)+4]=1/2k(k+9)[(k+1)+4]

Now it says to simplify the right side:
1/2k(k+9)+[(k+1)+4]

It says after simplifying it would be:
1/2(k^2+11k+10).

HOW? I don't get it. Please help me. I bet it's going to be so simple, but I can't find out how.
 
Mathematics news on Phys.org
I'm going to start at the beginning...we are given to prove by induction the following:

$$\sum_{k=1}^n(k+4)=\frac{n(n+9)}{2}$$

First, we check the base case $P_1$:

$$1+4=\frac{1(1+9)}{2}$$

$$5=\frac{10}{2}=5$$

True, so we state the induction hypothesis $P_n$:

$$\sum_{k=1}^n(k+4)=\frac{n(n+9)}{2}$$

As our induction step, we may add $((n+1)+4)=n+5$ to both sides:

$$\sum_{k=1}^n(k+4)+((n+1)+4)=\frac{n(n+9)}{2}+n+5$$

On the left, incorporate the new term into the sum while on the right get a common denominator:

$$\sum_{k=1}^{n+1}(k+4)=\frac{n(n+9)+2(n+5)}{2}$$

On the right, distribute:

$$\sum_{k=1}^{n+1}(k+4)=\frac{n^2+9n+2n+10}{2}$$

Combine like terms:

$$\sum_{k=1}^{n+1}(k+4)=\frac{n^2+11n+10}{2}$$

Factor:

$$\sum_{k=1}^{n+1}(k+4)=\frac{(n+1)((n+1)+9)}{2}$$

We have now derived $P_{n+1}$ from $P_n$ thereby completing the proof by induction.
 
Ok I see you added n+5 to both sides. I'm going to try this on my exercise to see if I can get it now. Thanks!

- - - Updated - - -

I still do not see have they got 1/2k(k+9)+[k+1)+4] simplified to:
1/2(K^2+11k+10)
 
Hazel said:
Ok I see you added n+5 to both sides. I'm going to try this on my exercise to see if I can get it now. Thanks!

- - - Updated - - -

I still do not see have they got 1/2k(k+9)+[k+1)+4] simplified to:
1/2(K^2+11k+10)

Okay we begin with:

$$\frac{1}{2}k(k+9)+[(k+1)+4]$$

Let's simplify the second term:

$$\frac{1}{2}k(k+9)+(k+5)$$

Now, in order to add these terms, we need a common denominator:

$$\frac{1}{2}k(k+9)+\frac{1}{2}2(k+5)$$

Now both terms have a denominator of 2, so let's put both numerators all over 2:

$$\frac{k(k+9)+2(k+5)}{2}$$

Now, distribute in both terms in the numerator:

$$\frac{k^2+9k+2k+10}{2}$$

Combine like terms:

$$\frac{k^2+11k+10}{2}$$

See it? :D
 
Oh thank you so much Mark! I have been on this problem for HOURS! The example never told me I needed a common denominator. You couldn't have explained it better! Thanks so much!
 
Hazel said:
Oh thank you so much Mark! I have been on this problem for HOURS! The example never told me I needed a common denominator. You couldn't have explained it better! Thanks so much!

Glad to have helped! :D

Just remember, whenever you add two terms, you have to have a common denominator..this rule shall follow you the rest of your days in mathematics. :D
 
Got it! Thanks. :D
 
Hazel said:
Original Equation: 5+6+7+...+(n+4)=1/2n(n+9)

Ok, I've tried everything to understand this. I'm just not getting it. I understand everything (n=1, k+1, etc) up until this point: "To continue with proof what must be done?". I know you must simplify the right side, but I don't understand how they simplified it to this:
I'm going to start at the adding k+1 to both sides of equation part.
5+6+7+...+(k+4)+[(k+1)+4]=1/2k(k+9)[(k+1)+4]

Now it says to simplify the right side:
1/2k(k+9)+[(k+1)+4]

It says after simplifying it would be:
1/2(k^2+11k+10).

HOW? I don't get it. Please help me. I bet it's going to be so simple, but I can't find out how.

There's no need to have to resort to induction. Your LHS is an arithmetic series with $\displaystyle \begin{align*} a = t_1 = 5 \end{align*}$, last term $\displaystyle \begin{align*} l = t_n = n + 4 \end{align*}$ and common difference $\displaystyle \begin{align*} d = 1 \end{align*}$ so the sum is

$\displaystyle \begin{align*} S_n &= \frac{n}{2} \left( a + l \right) \\ &= \frac{n}{2} \left[ 5 + \left( n + 4 \right) \right] \\ &= \frac{n}{2} \left( n + 9 \right) \end{align*}$
 
MarkFL said:
First, we check the base case $P_1$:
...
True, so we state the induction hypothesis $P_n$:
I don't think it is good to use the notation $P_1$ before defining $P_n$. After all, $P_1$ is just an instance of $P_n$ where $n$ is instantiated to 1. The first step of every induction proof should be writing $P_n$ in its general form. This allows correctly stating the induction hypothesis and what needs to be proved in the induction step. Moreover, in some proofs by induction figuring out $P_n$ is the most complicated part.
 
  • #10
Evgeny.Makarov said:
I don't think it is good to use the notation $P_1$ before defining $P_n$. After all, $P_1$ is just an instance of $P_n$ where $n$ is instantiated to 1. The first step of every induction proof should be writing $P_n$ in its general form. This allows correctly stating the induction hypothesis and what needs to be proved in the induction step. Moreover, in some proofs by induction figuring out $P_n$ is the most complicated part.

In this case, $P_n$ is given up front, it is what is to be proved.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 26 ·
Replies
26
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K