The set of differences for a set of positive Lebesgue measure Quite a while ago, I heard about a statement in measure theory, that goes as follows:

Let $A \subset \mathbb R^n$ be a Lebesgue-measurable set of positive measure. Then we follow that $A-A = \{ x-y \mid x,y\in A\}$ is a neighborhood of zero, i.e. contains an open ball around zero.

I now got reminded of that statement as I have the homework problem (Kolmogorov, Introductory Real Analysis, p. 268, Problem 5):

Prove that every set of positive measure in the interval $[0,1]$ contains a pair of points whose distance apart is a rational number.

The above statement would obviously prove the homework problem and I would like to prove the more general statement. I think that assuming the opposite and taking a sequence $\{x_n\}$ converging to zero such that none of the elements are contained in $A$, we might be able to define an ascending/descending chain $A_n$ such that the union/intersection is $A$ but the limit of its measures zero. I am in lack of ideas for the definition on those $A_n$.
I am asking specifically not for an answer but a hint on the problem. Especially if my idea turns out to be fruitful for somebody, a notice would be great. Or if another well-known theorem is needed, I surely would want to know. Thank you for your help.

If you need to find information on the subject, the first proof of the fact that the set of differences contains a neighbourhood of the origin is (for Lebesgue measure on the line) due to Steinhaus.  There is a substantial collection of generalizations of the result.  
