Number if rational iff it has periodic decimal expansion

Logik
Messages
31
Reaction score
0
My teacher gave us as excercices this:
Prove that a number is rational if and only if from some point on its decimal expansion becomes periodic.

I'm pretty certain you have to prove it by contradiction, but I don't get how to represent to periodic decimal expension in a proof?

Any hint is welcome, thanks in advance.
 
Physics news on Phys.org
First, to show that rational => repeating decimal expansion, remember that long division is how you get from a rational number to its decimal expansion. If r=a/b, then there are only b possible remainders at each step. What happens when the same remainder comes up a second time (after you've gone through all the digits in a)? I'll let you work on the other direction.
 
Last edited:
Ok well I guess my intuition was bad. I made a few search on books.google.com and found a couple of proofs. One is pretty easy and I actually though of that solutions before but didn't know how to generalise it. My only problem now is that I'm not familiar with one notation in the proofs.

I don't understand the reprensetation of the period, so in this image the first line where it says x= a_n ...

http://img131.imageshack.us/img131/3996/proof2or5.jpg
 
Last edited by a moderator:
each ai is a non repeating digit of the number; each ci is a digit of the repeating part of the number. So, for example

1.1234343434...
a0 = 1
a-1 = 1
a-2 = 2

c1 = 3
c2 = 4

m=2
 
Thanks... that was kinda easy but I guess you just need to know it. Btw good job, this forum is a great ressource :P
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top