Now suppose the address of x is a1a2 ... an(an+1 ... an+m)infinity. |
Then x = fa1(fa2(...fan(y)...)), where y is the fixed point of
|
We have seen that |
Arguing similarly, we see x = |
While it is not obvious that together with the constant and repeating addresses seen earlier, these values of x exhaust all the rational numbers, nonetheless, this is true. |
Trying a few examples should make this plausible. |
|
|
Return to basic questions.