A proof that the square root of s for s not a perfect square is simply normal to base 2
arXiv:1309.0666
Abstract
Since E. Borel proved in 1909 that almost all real numbers with respect to Lebesgue measure are normal to all bases, an open problem has been whether simple irrationals like square root of 2 are normal to any base. We show that each number of the form square root of s for s not a perfect square is simply normal to base 2, that is, the averages of the first n digits of its dyadic expansion converge to 1/2. The proof is mostly elementary and self contained but some basic probability is used. The main idea centers on the notion of tails of an expansion, that is, the sequence of digits with index larger than any fixed integer n.
arXiv comment13 pages, Section 2.3 has been rewritten, with a section on basic probability, allowing arguments to be given at a more advanced level and with more detail. Correction: The two probabilities given in the previous version (pp. 7,8) are not defined on an adequate sample space. Section 2.3.3 replaces it with an appropriate one