Why are the continued fractions of non-square-root numbers ($\sqrt[a]{x}$ where $a>2$) not periodic?

The easiest way to show this is the contrapositive: if a continued fraction is periodic then its value is a quadratic.

To see this, note that if we have $y = [a_1; a_2, a_3, \ldots, a_n, x]$ for reals $x,y$ and integers $a_i$, then we can write $y=\dfrac{mx+n}{px+q}$ for some integers $m, n, p, q$. (This is easy to prove by induction - note that if $z=[a_2; a_3, \ldots, a_n, x]$ $= \dfrac {m'x+n'}{p'x+q'}$, then $y=a_1+\dfrac1z$ $=a_1+\dfrac{p'x+q'}{m'x+n'}$ $=\dfrac{a_1m'x+a_1n'+p'x+q'}{m'x+n'}$ $=\dfrac{(a_1m'+p')x+(a_1n'+q')}{m'x+n'}$ is clearly of the required form.)

Now, if the continued fraction for $x$ is periodic then we have $x=[a_1; a_2, a_3, \ldots, a_n, x]$, so by the above there are integers with $x=\dfrac{mx+n}{px+q}$. But now multiply both sides by $px+q$ to get $px^2+qx=mx+n$, or $px^2+(q-m)x-n=0$, so that $x$ is a solution to this quadratic equation.

To answer the question about patterns in the continued fractions of other numbers: to the best of my knowledge, nothing is known about the continued fractions of e.g. cube roots — not even whether their coefficients are bounded! — though it's known that they can't grow too quickly: this is a corollary of Roth's Theorem, which bounds the so-called irrationality measure of algebraic numbers (how well they can be approximated by rationals). On the other hand, there is a special class of (transcendental) numbers for which more information on the continued fraction representation is known: certain Liouville numbers have continued fractions with complicated recursive (almost fractal) structures; see http://mathworld.wolfram.com/LiouvillesConstant.html and some of the references there for a little more information on this.


it does not work because, given a strictly periodic continued fraction, we can construct the 2 by 2 matrix that comes from it. Then we get the integer quadratic form that goes with that automorphism matrix. Finally, we get the "quadratic irrational" larger than one that goes with that.

Alright, we are dealing with an indefinite binary quadratic form, $$ f(x,y) = A x^2 + B xy + C y^2, $$ with positive non-square discriminant $$ \Delta = B^2 - 4AC. $$ We find the minimum solution $(\tau, \sigma)$ to the Pell type equation $$ \tau^2 - \Delta \sigma^2 = 4. $$ Then the matrix that generates the ($+1$) automorphism group of the form is $$ P = \left( \begin{array}{rr} \frac{\tau - B \sigma}{2} & -C \sigma \\ A \sigma & \frac{\tau + B \sigma}{2} \end{array} \right) $$

The Hessian matrix of the form is $$ H = \left( \begin{array}{rr} 2 A & B \\ B & 2C \end{array} \right) $$ and the automorphism matrices satisfy $$ P^T H P = H. $$ In the discussion below, the "quadratic irrational" that has that continued fraction comes from the quadratic formula going right to left, that is $$ \frac{-13 - \sqrt {345}}{-22} \approx 1.4351898 $$

Next, a CF that is "eventually periodic" is just a rearrangement of the quadratic irrational. Let me give a "reduced" quadratic form as example, give me a minute

jagy@phobeusjunior:~/old drive/home/jagy/Cplusplus$ ./indefCycle 4 13 -11

  0  form              4          13         -11


           1           0
           0           1

To Return  
           1           0
           0           1

0  form   4 13 -11   delta  -1
1  form   -11 9 6   delta  2
2  form   6 15 -5   delta  -3
3  form   -5 15 6   delta  2     ambiguous  
4  form   6 9 -11   delta  -1
5  form   -11 13 4   delta  3
6  form   4 11 -14   delta  -1
7  form   -14 17 1   delta  17
8  form   1 17 -14   delta  -1     ambiguous  
9  form   -14 11 4   delta  3
10  form   4 13 -11


  form   4 x^2  + 13 x y  -11 y^2 

minimum was   1rep   x = 108   y = 155 disc 345 dSqrt 18  M_Ratio  20.25
Automorph, written on right of Gram matrix:  
-2029  -8008
-2912  -11493
=========================================

Given the matrix I call "Automorph," here is how we recover the form:

? m = [ 2029, 8008; 2912, 11493]
%2 = 
[2029 8008]

[2912 11493]

? matdet(m)
%3 = 1
? 2029 + 11493
%4 = 13522
? gcd(5,3)
%5 = 1
? gcd(2912, 8008)
%6 = 728
-
? tr = 2029 + 11493
%7 = 13522
? g = gcd(2912, 8008)
%8 = 728
? tr^2 - 4
%9 = 182844480

? rat = ( tr^2 - 4) / g^2
%12 = 345

? tr^2 - 345 * g^2
%14 = 4
? 
? a = 2912 / g
%16 = 4

? b = ( tr - 2 * 2029) / g
%18 = 13

? c = -8008 / g
%17 = -11

Given the purely periodic continued fraction with repeated part $$ 1,2,3,2,1,3,1,17,1,3, $$ the resulting matrix is the product of little 2 by 2 matrices:

? a1 = [0,1; 1,1]
%1 = 
[0 1]

[1 1]

? a2 = [0,1; 1,2]
%2 = 
[0 1]

[1 2]

? a3 = [0,1; 1,3]
%3 = 
[0 1]

[1 3]

? a17 = [0,1; 1,17]
%4 = 
[0 1]

[1 17]

? auto = a1 * a2 * a3 * a2 * a1 * a3 * a1 * a17 * a1 *a3
%5 = 
[2029 8008]

[2912 11493]

? 

The idea is quite simple. Suppose that $$x=[a_0;\overline{a_1 , \dots , a_k}]$$ is a real number whose continued fraction is periodic. Then it satisfies the equation $$x- a_0= \frac{1}{a_1+\frac{1}{\frac{\dots}{a_{k-1}\frac{1}{a_k+(x-a_0)}}}}$$ which can be transformed by a quadratic equation. with integer coefficients. For example, the number $x=[2; \overline{1,4}]$ satisfies $$x-2= \frac{1}{1+\frac{1}{4+\frac{1}{x-2}}}$$ which is equivalent to the quadratic equation $$(x-2)(5x-9)=4x-7$$

So, all periodic numbers must be quadratic.