I found an elegant prove of this, (way too hard as an exam question) with a stronger conclusion a/b has a periodical expansion AND thelengthof the period never exceeds the denominator!

The prove is by no means elementary because it uses infinite series.

LaTeX is currently offline, but here is the link try to make use of it. Heir