Simulate
Check the claim with numbers
Lesson 1.5.2 found a formula for the sum of a geometric series. Take a ratio and add its first powers, starting from . Before proving the formula, test it: add the terms one by one and compare.
For the two columns agree to six decimal places: 4.524381 for five terms, 12.830282 for twenty. Decimals are rounded, so the next cell uses Fraction, which keeps every value exact. It also tries a ratio above 1 and a negative one.
With exact arithmetic the gap is exactly 0, for every from 1 to 30 and all three ratios. One ratio is still missing: .
Five terms of 1 add up to 5, but the formula asks for , which is not a number. So the claim needs . Keep that in mind: one of the proofs below forgets it.
Conjecture
For every whole number and every number ,
Every check agrees, for four ratios and up to 30 terms. That is evidence, not a proof: the claim is about every , and no computer can try them all.
How an induction proof goes
Write for the claim with terms. Induction proves for every in two steps. Think of a row of dominoes: the first one falls, and each one knocks over the next, so they all fall.
Rule: Proof by induction
The base case proves the first claim, . The inductive step assumes the claim for some , the induction hypothesis, and uses it to prove the claim for .
Try it
Here is one inductive step with numbers, for . The claim for says . Adding the next term, , gives 15, and the formula for four terms gives 15 too.
The formula prints as 15.0 because / always returns a decimal. The proof does the same step with letters, so it works for every and every .
Format 1
Reorder the steps
Here is the induction proof, with its lines shuffled. Put them in order with the arrows, or drag a line by its handle.
- Its top simplifies to , so the right side is the formula for .
- Fix a number . Base case: for the left side is , and the right side is .
- Both steps hold, so by induction the formula holds for every .
- Over a common denominator, the right side becomes .
- Add the next term, , to both sides. The left side becomes .
- Inductive step: assume the formula holds for some .
Format 2
Fill the gap
The same proof, with its key steps left out. Type each missing piece as you would a quick answer, such as r^k or (1-r)/(2+r), then check.
Base case: for the right side is , which is , the same as the left side.
Inductive step: assume that . Add the next term, , to both sides.
The right side becomes . Over one fraction, that is .
That is the formula with , so the step holds. By induction, the formula holds for every .
How to type answers
- Powers with
^, brackets round a power that is a sum:r^k,r^(k+1). - Fractions with
/and brackets:(1-r)/(1+r). Multiply with*or side by side:2k+1. - Press Enter in any box to check them all.
Format 3
Find the error
A different proof, by subtraction, as in lesson 1.5.2. One line claims more than the lines before it have shown. Select it.
Simulate
A claim of your own to prove
Add up the odd numbers in order: , then , then . The totals look familiar.
Each row prints , the sum of the first odd numbers, and . The last two columns match, from 1 up to 64 for . The -th odd number is , so the list stops at .
Conjecture
For every whole number ,
Eight rows agree. Now prove it for every , with the same two steps as the geometric series.
Format 4
Write it
Prove by induction that for every . Write the base case, the inductive step and the conclusion, in sentences.
Saved in this browser as you type.
Write your own first: a proof you have tried to write teaches far more than one you only read.
Case study 1.5.5 uses the geometric series to price annuities and bonds.
Summary card
- Induction proves a claim for every in two steps: the base case, , and the inductive step, .
- The geometric series: for every . For the sum is .
- Before dividing, make sure the divisor cannot be zero. The subtraction proof is sound once it assumes .
- The sum of the first odd numbers is .