In my previous post I related the following puzzle from Colin Wright:

What’s the 99th digit to the right of the decimal point in the decimal expansion of ?

Let’s play around with this a bit and see if we notice any patterns. First, itself is approximately

so its powers are going to get large. Let’s use a computer to find the first ten or so:

Sure enough, these are getting big (the tenth power is already bigger than ), but look what’s happening to the part after the decimal: curiously it seems that the powers of are getting rather close to being integers! For example, is just under , only about away.

At this point, I had seen enough to notice and conjecture the following patterns (and I hope you have too):

- The powers of seem to be getting closer and closer to integers.
- In particular, they seem to alternate between being just
*under* an integer (for even powers) and just *over* an integer (for odd powers).

If this is true, the decimal expansion of must be of the form for some big integer and some number of s after the decimal point. And it seems reasonable that if Colin is posing this question, it must have more than 99 nines, which means the answer would be 9.

But *why* does this happen? Do the powers really keep alternating being just over and under an integer? And how close do they get—how do we know for sure that is close enough to an integer that the 99th digit will be a 9? This is what I want to explore in a series of future posts—and as should come as no surprise it will take us on a tour of some fascinating mathematics!

## About Brent

Assistant Professor of Computer Science at Hendrix College. Functional programmer, mathematician, teacher, pianist, follower of Jesus.

Easy! This is obvious to anyone familiar with the Binet formula, which exhibits similar behaviour. It’s easy to see that f(n) = (1 – √2)^n + (1 + √2)^n follows a recurrent relation f(n+1) = 2f(n) + f(n-1) and hence is an integer for any n. This means that the difference between the target integer f(n) and (1 + √2)^n is (1 – √2)^n, which is less than one in absolute value (hence “convergence” to integers) and negative (hence oscillating)