Proving (10^m)-1 is divisible by 9

  • Thread starter Thread starter Animuo
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving that (10^m) - 1 is divisible by 9 for any integer m. Participants are exploring various mathematical approaches to establish this divisibility, including modular arithmetic and the binomial theorem.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss using modular arithmetic, the Remainder Theorem, and mathematical induction as potential methods for proof. There is also mention of expressing (10^m) - 1 in a form that highlights its divisibility by 9.

Discussion Status

Several participants have offered hints and alternative methods for approaching the proof, indicating a productive exchange of ideas. However, there is no explicit consensus on a single method, and some participants are still questioning the assumptions and definitions involved.

Contextual Notes

One participant notes that the proof may not hold for negative integers, suggesting a focus on non-negative integers m. There is also a mention of the problem being prior to the discussion of modular arithmetic in the referenced book.

Animuo
Messages
13
Reaction score
0


Wow... didn't think of that, I used the google calculator and now I feel like a dumbass -.-. Thanks guys, feel better now. Here's another one I'm having a little difficulty with, and I don't feel like spamming these forums.

Basically the part I'm having difficulty with is a portion of a larger proof. In this section of the aforementioned proof I have to show that (10 ^ m) - 1, for any given integer m, will be divisible by 9. I can easily solve it from example, but I want to be able to show that it will be true for any arbitrarily chosen m.. I guess it's a question of phrasing. Using the definition of divisibility I get..

9 k = (10 ^ m) - 1 , and I should show that k must be an integer. Some help with this one would be nice
 
Physics news on Phys.org


Animuo said:
Wow... f'ing calculator made me feel like a dumbass -.-. Thanks guys, feel better now. Here's another one I'm having a little difficulty with, and I don't feel like spamming these forums.

Basically the part I'm having difficulty with is a portion of a larger proof. In this section of the aforementioned proof I have to show that (10 ^ m) - 1, for any given integer m, will be divisible by 9. I can easily solve it from example, but I want to be able to show that it will be true for any arbitrarily chosen m.. I guess it's a question of phrasing. Using the definition of divisibility I get..

9 k = (10 ^ m) - 1 , and I should show that k must be an integer. Some help with this one would be nice

Next time, please start a new thread for a new problem - don't worry about spam!

The easiest way to do this is to use modular arithmetic. Are you familiar with that? Start with [itex]10 \equiv 1 \pmod 9[/itex].

If you don't know how to work with that, the elementary way of showing this is to simply consider what happens when you subtract one from a number with 1 followed by nothing but zeroes. Then use the divisibility rule for 9.

A final way to do it is to use Remainder Theorem to figure out the remainder when the polynomial [itex]x^m - 1[/itex] is divided by [itex]x-1[/itex], then substitute a suitable value for x to prove your case.
 


Yeah I'm just getting to it now actually, but problem I mentioned is prior to the discussion of mod and div in the book. I suppose it expects me to just spell out what happens when one is subtracted from any number 10 ^ m could produce, but I thought there would be a general more axiomatic truth that I could use.. I guess that's what mod is, I'll read on, thanks for the heads up.
 


Animuo said:
Yeah I'm just getting to it now actually, but problem I mentioned is prior to the discussion of mod and div in the book. I suppose it expects me to just spell out what happens when one is subtracted from any number 10 ^ m could produce, but I thought there would be a general more axiomatic truth that I could use.. I guess that's what mod is, I'll read on, thanks for the heads up.

I hope you took note of my final edit - one more way to do it that you might be more familiar with.
 
One more way is to remember that, for example, [itex]999 = 9 \times 10^2 + 9 \times 10^1 + 9 \times 10^0= 9(10^2 + \times 10^1 \times 10^0)[/itex], so if you can get [itex]10^m - 1[/itex] in this form, you will have shown that it is divisible by 9.

To that, just use [itex]10^m-1 = 10^m -10 + 9 = 10(10^{m-1}-1) + 9 \times 10^0[/itex] iteratively until the exponent becomes m-m=0.
 


Animuo said:
I have to show that (10 ^ m) - 1, for any given integer m, will be divisible by 9.

Well it's not true for just any integer m, m=-1 gives us a fraction :-p

So we want to prove this is true for all integers [itex]m\geq 0[/itex]. Induction is a relatively simple way of proving this.
 
Consider using the binomial theorem with 10m = (1+9)m
 
Hint for mathematical induction:
[tex] 10^{m + 1} = 10 \, 10^{m} = 10 (9 k_m + 1) = 90 k_m + 10 = 9 (10 k_m + 1) + 1[/tex]
 
I'll bet Binomial theorem is useful for proving divisibility with n if the desired form can be expressed in the form (nk ± 1), just expand and manipulate to get answer.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
17
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K