A curious application of recurrence
Express as a decimal fraction, what are the digits immediately to the left and to the right of the decimal point?
For example, for , the digit immediately to the left of the decimal point is 9, and the digit to the right is 8.
This problem, and the following proof is from the book “Discrete Mathematics” by Martin Aigner.
The problem and the proof are both quite nice, because at first sight this problem seems have nothing to do with recurrence.
Here is the sketch of the proof: first observe that , is the sum of an integer and a multiple of . For example, for , . This is straight forward from binomial theorem:
.
For odd, a term is a multiple of ; for even, this term is an integer. So the above expression is a summation of alternating integers and (integral) multiples of , therefore, we have
, for , where are integers.
The recurrence formula for and is:
, . Using the machinery of generating functions, we get a closed form of as
. As , we get , which implies that
. (*)
Note that the fractional part of is the fractional part of . From (*), what can we infer about ? Because is an integer, the fractional part of and the fractional part of must sum up to an integer. The crucial observation is that , therefore, when it is raised to a large power, say, 990, is very close to 0 — it is of the form "0.000….". This implies that , where must be of the form "0.999…..". Thus, the digit immediately to the right of the decimal point in , , is 9.
To determine the digit immediately to the left of the decimal point in , , note that it is determined by and the integral part of . Following a similar reasoning as the above, we see that the integral part of is one less than (which is an integer, of course) modulo 10. Therefore, the last digit of the integral part of is completely determined by : to be precise, it is modulo 10. For , the first 6 pairs of the last digits of is . Therefore, it is periodic with period 4. Hence, is 9 as . Therefore, the digit immediately to the left of the decimal point of is .