Finding the square root of a leftin suffers from many of the same problems as division with leftins. You're not guaranteed a certain number of results or even any results at all. For a more thorough look at square roots, see the Square Roots section.
We will approach extracting roots much the way we approached division: simply try digits from right to left to see what works.
We will start by trying to find the square root of 17 base 2. We are looking for bL0 such that b2 = 17 (or 1001 base 2). The right-most digit of b must be 1 if it's square is going to end with a 1 (by AP1).
When we try the second digit, we find b can be ...01 or ...11 since the square of these numbers is ...01. The third digit gives us the four possibilities ...001, ...101, ...011 and ...111. But we find that the fourth digit doesn't allow two of these answers, though we still end up with four possible values.
At each stage from here on out, we find that the next digit eliminates two of the previous four possibilities but ends up giving us four possibilities itself. This means that the left-most digit is ambiguous until we add another digit. Thus we have two square roots of 17.
Both square roots of 17 are irrational numbers, so we know we can represent at least two irrational numbers in Lf . All rational numbers can be represented in Lf ; is it possible all irrationals are present? The answer is no.
bL2 , such that b2 = 10 base 2.
By SQ1, if b exists, it must be an element of L0 . If we try squaring all the two-digit base 2 numbers, we find the following:
...002 = ...00
...012 = ...01
...102 = ...00
...112 = ...01
By AP1 we can see that 2 doesn't exist in L2.
This brings us to the conclusion that some irrationals are equivalent to members of Lf , but not all.
I Lf .
© Scott Sherman 1999