4
$\begingroup$

Possible Duplicate:
Proof that a natural number multiplied by some integer results in a number with only one and zero as digits
Why (directly!) does every number divide 9, 99, 999, … or 10, 100, 1000, …, or their product?

Let $n$ be a natural number co-prime with 10, and $m$, another natural number consisting entirely of $1$'s. How do you show that that for every $n$, there exists an $m$ such that $n$ divides $m$?

  • 1
    You should state your question as a question, not an order. You should also state what you have tried and what exactly is giving you trouble. Especially since this is most likely a homework.2012-11-01
  • 1
    Hint: A repunit is of the form $\frac{10^k-1}{10-1}$. First do the case of $\gcd(n,9) = 1$. How can you guarantee a $k$ exists such that $n|(10^k-1)$?2012-11-01
  • 0
    Related: http://math.stackexchange.com/q/4758/2012-11-01
  • 0
    Related: http://math.stackexchange.com/questions/165160/all-odd-primes-except-5-divide-a-number-made-up-of-all-1s2012-11-01
  • 0
    @tomasz I proceeded just like dinoboy said, i.e, wrote $9n+1=10^k$. Obviously this is easy to prove for the multiples of $3$ but what about the others. I'd really appreciate help. This problem's been bugging me for a while now.2012-11-01
  • 0
    Also related: http://math.stackexchange.com/questions/204645/why-directly-does-every-number-divide-9-99-999-or-10-100-1000/204653#2046532012-11-01
  • 0
    yet another: http://math.stackexchange.com/questions/83932/proof-that-a-natural-number-multiplied-by-some-integer-results-in-a-number-with/83936#839362012-11-01

1 Answers 1

1

Consider the fraction $\frac{1}{n}$. Since $n$ is coprime to $10$, the fraction is a purely repeating fraction with period $k$. Denote the repeating block by $r$. Then taking $9$ copies of $r$ appended with itself (i.e. $x=\underbrace{rr\cdots r}_{9\ \text{times}}$) we have that $x$ is necessarily divisible by $9$. Therefore $$\frac{1}{n} = 0.x\overline{x} \implies \frac{10^{9k}}{n} - x = \frac{1}{n}$$ This then gives $$10^{9k} - 1 = xn \implies \frac{10^{9k} - 1}{9} = \frac{x}{9}n$$

  • 0
    Isn't this argument a bit circular? The only proof of repeating decimals I know uses the question basically.2012-11-01
  • 0
    @dinoboy The proof of repeating decimals that I know is based on the order of $10$ modulo $n$. What is the proof you are thinking of?2012-11-01
  • 0
    Well, this problem is almost equivalent to showing 10 has an order modulo n. So that's why I say that this is slightly circular.2012-11-01
  • 0
    @dinoboy I'm not sure I follow. The fact that $10$ has an order modulo $n$ comes simply from the fact that $n$ and $10$ are coprime. I've never even heard of repunits being used to prove that order exists.2012-11-01
  • 0
    Well yes. But note that proving a repunit exists that satisfies the conditions is basically equivalent to showing 10 has an order n. Both of them instantly imply each other. Basically what I'm saying is a "non-circular" proof of this problem requires showing your statement that a has an order modulo b when a,b are coprime.2012-11-01
  • 0
    @dinoboy The statements may be equivalent (I'm still not sure how "for every $n$, there exists a repunit $m$ such that $n$ divides $m$" implies $a$ has an order modulo $b$, I'd like to see the proof actually), but that does not mean they're circular. Nowhere in a proof that $(a,\ b)=1$ implies $a$ has order modulo $b$ is the statement in question assumed. It is standard for almost all classes in elementary number theory to prove these statements from the ground up.2012-11-01
  • 0
    I've found a much more elegant solution in Arthur Engel's _Problem Solving Strategies_. It goes something like this: For any $n$ co-prime with 10, take $11$, $111$, $1111$, until $11...11$(n+1) digits. Take their remainders mod n. If any of them is $0$, we're done or else it lies between $1$ and $(n-1)$. By Pigeonhole Principle, two of the remainders must be same. Then the difference of of their corresponding repunits(of the form 111..1000..00) is a multiple of $n$. And since $n$ is co-prime with 10, removing the zeroes doesn't matter. Hence we get a repunit multiple of $n$.2012-11-03