D1. Continuing Irrationality

Contributed by Christopher Havens, PMP

One interesting thing about continued fractions is that every infinite continued fraction represents an irrational number. But in our first dilemma, we ask what happens when you have an infinite sequence of finite continued fractions with more and more terms.

Recall that the binomial coefficient ( a b ) has the formula a ! b ! ( a b ) ! . Now for any integer m 0 , define the m + 1 st term in our sequence by C m + 1 = ( m 0 ) + 1 ( m 1 1 ) + 1 ( m 2 2 ) + + 1 ( m k k ) , where k = m 2 . (The notation x means “the greatest integer less than or equal to x ,” so k = m 2 when m is even and k = m 1 2 when m is odd.)

For example, we have C 6 = ( 5 0 ) + 1 ( 4 1 ) + 1 ( 3 2 ) .

As n becomes infinitely large, that is, as n , the continued fraction C n has more and more terms. Does that mean that C n approaches an irrational number as n ? What is lim n C n , if it exists?

This problem originally appeared in the Prisoner’s Dilemma in the 2021 Spring issue of the PMP Newsletter. Solutions are no longer being accepted for this Dilemma.

Show solution?  
Solution.

We received a submission for this dilemma from PMP member William Burns, who correctly identified that the limit of this sequence is one, not an irrational number. So although a single infinite continued fraction must represent an irrational number, a sequence of ever-longer finite continued fractions can tend to a rational number.

Here’s why lim n C n = 1 . Notice that the leading term of C m + 1 is ( m 0 ) , which is always equal to one. So for m > 1 , C m + 1 is one plus something, and that something is always positive. And the second term of C m + 1 is ( m 1 1 ) , or just m 1 , so the quantity that we are adding to that initial one is a fraction with numerator 1 and denominator m 1 , possibly plus something positive. In any case, the quantity added is less than 1 / ( m 1 ) . In other words, we have shown that for n > 2 , 1 < C n < 1 n 2 . (we have n 2 in the denominator here as n and m differ by one because of the definition of the sequence C . ) But as n , 1 / ( n 2 ) 0. So by the Squeeze Theorem for sequences, we must also have that C n 1.