Square Root of 2/Binary Expansion

From ProofWiki
Jump to navigation Jump to search

Binary Expansion

The binary expansion of the square root of $2$ starts:

$\sqrt 2 \approx 1 \cdotp 01101 \, 01000 \, 00 \ldots$

This sequence is A004539 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).


Sources