Proving 10^n Leaves a Remainder of 1 After Dividing by 9 Using Induction

  • Context: Undergrad 
  • Thread starter Thread starter mattmns
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Discussion Overview

The discussion revolves around proving that for all n >= 1, 10^n leaves a remainder of 1 when divided by 9, with a focus on using mathematical induction as a method of proof. Participants explore various approaches, including direct calculations, the binomial theorem, and induction steps.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • Some participants express confusion about how to apply induction, particularly in defining m in terms of n.
  • One participant suggests that 10^{n+1} can be expressed as 10(9m + 1), questioning the implications of this form.
  • Another participant proposes using the binomial theorem to express 10^n as a sum involving powers of 9.
  • Some participants assert that the inductive step involves assuming 10^k leaves a remainder of 1 and showing that 10^{k+1} also leaves a remainder of 1.
  • There is a suggestion that the proof could be approached through a summation of terms, with only the last term contributing a remainder when divided by 9.
  • Some participants clarify that the original poster (OP) did not explicitly require a proof by induction, but rather guessed it might be needed.

Areas of Agreement / Disagreement

Participants express differing views on the necessity and method of using induction, with some supporting it while others propose alternative approaches. The discussion remains unresolved regarding the best method to prove the statement.

Contextual Notes

Some participants highlight the need for clarity on the definitions of m and the assumptions involved in the proof. There are also unresolved questions about the correctness of certain steps in the proposed methods.

mattmns
Messages
1,129
Reaction score
5
I got this question, I guess I am supposed to use induction to prove this, but I am not seeing it.

The question is: Show for all n >= 1, that [tex]10^n[/tex] leaves remainder 1 after dividing by 9.

So I said that there is an integer m, such that [tex]10^n = 9m + 1[/tex]

I also see that m has to be 1, or 11, or 111, or 1111, ... but I am unsure of where to go from there and if that is even useful.

So how I am supposed to use induction here? I would think that I would want m in terms of n, but I am not seeing it. Any ideas would be great, thanks!
 
Mathematics news on Phys.org
10^{n+1} = what times 10^n?
 
10

So multiple by 10 on both sides, but then what am I proving?

that 10^{n+1} = 10(9m + 1) ?

I guess I am thinking that there needs to be an 'n' on both sides or that I need to prove that m is an integer. Am I wrong? Or could I say that 'm' is a certain value for a certain value of n?
 
mattmns said:
I got this question, I guess I am supposed to use induction to prove this, but I am not seeing it.

The question is: Show for all n >= 1, that [tex]10^n[/tex] leaves remainder 1 after dividing by 9.

So I said that there is an integer m, such that [tex]10^n = 9m + 1[/tex]

I also see that m has to be 1, or 11, or 111, or 1111, ... but I am unsure of where to go from there and if that is even useful.

So how I am supposed to use induction here? I would think that I would want m in terms of n, but I am not seeing it. Any ideas would be great, thanks!
Couldn't be HOMEWORK, could it? I mean, obviously, you would have posted it under the "homework" section, wouldn't you!


Hmm, how to prove that dividing a power of 10:10n, divided by nine, leaves a remaider of 1. Am I the only one who suspects a "proof by induction on n" is lurking here?

10/9= 1 plus a remainder of 1. That was pretty easy!

Now, suppose 10n divided by 9 leaves a remainder of n. What can we say about 10n+1? Thefirst thing that occurs to me is that 10n+1= 10*10n! Dividing that by 9 gives 10/9*(10n)(10/9). What is the remainder of that?
 
Sorry, you are right, I should have posted this in the HW section.

I am, however, baffled as to what you said.

10^n divided by 9 leaves a remainder of n? I thought the remainder was always 1. Ok supposing that it leaves a remainder of n. 10^{n+1} = 10*10^n, ok yes. Dividing that by 9 gives: 10/9*(10^n)(10/9). Ok how did you get this? Unless this is in some special format, or I am missing something, I would think that dividing by 9 would give: (10/9)(10^n). Am I missing something here? Thanks.
 
Have you considered binomial theorem ?

[tex]10^n = {(1 + 9)}^n = 1 + \Sigma_{k=1}^{k=n}{(^nC_k)9^k} = 1 + 9m[/tex] where m is an integer.
 
Of course, it's also trivially easy to prove by induction. In this case the inductive step would go something like :

Assum 10^k (for some k) leaves remainder 1 when divided by 9, that is :

[tex]10^k = 9m + 1[/tex] for integral m.

Then

[tex]10^{k + 1} = 10.10^k = (9 + 1).(9m + 1) = 9(10m + 1) + 1[/tex]

and I'm sure you can see the rest.
 
Assume 1 remains after dividing 10n by 9, so that 10n = 9m + 1 for some natural m. Then:

10n+1 = 10(10n) = 10(9m + 1) = 90m + 10 = 90m + (9 + 1) = (90m + 9) + 1 = 9(10m + 1) + 1

as required. I went a little overkill there with the associativity of addition, but maybe it's helpful to see where the numbers are coming from.
 
I'd go for something more along the lines of the summation of 9*10^0 + 9*10^21+ ... + 9*10 ^ (n-1) + 1 = 10 ^ n, all of the terms in the summation have a remainder of 0 when divided by 9, except for 1. hmmm...
 
  • #10
yes, but the OP required a proof by induction. The best proof is undoubtedyl that 10=9+1 and use the binomial theorem, but that isn't a proof by induction.
 
  • #11
I don't think the OP required a proof by induction, he said he guessed that that's what was needed to do the proof.
 
  • #12
I looked in my analysis book which has a somewhat similar proof, by induction, and now I see what you guys were saying :smile:

Thanks to all that responded.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K