As a consequence of previous results on mixing random variables, some functional limit theorems for quantities related to the continued fraction expansion of a random number in (0,1) are given, including the case of the number of solutions of a certain diophantine inequality.