Continued Fractions in
Combinatorial Game Theory
Mary A. Cox
Overview of talk
 Define general and simple continued fraction
 Representations of rational and irrational
numbers as continued fractions
 Example of use in number theory:
Pell’s Equation
 Cominatorial Game Theory:
The Game of Contorted Fractions
What Is a Continued Fraction?
 A general continued fraction representation of
a real number x is one of the form
 where ai and bi are integers for all i.
1
0
2
1
3
2
3 ...
b
x a
b
a
b
a
a
= +
+
+
+
What Is a Continued Fraction?
 A simple continued fraction representation of
a real number x is one of the form
 where
0
1
2
3
1
1
1
...
x a
a
a
a
= +
+
+
+
0ia >
ia +
∈Z
Notation
 Simple continued fractions can be written as
 or
[ ]0 1 2; , ,...x a a a=
0
1 2
1 1
...x a
a a
= +
+ +
Representations of
Rational Numbers
Finite Simple Continued Fraction
0ia >
0
1 2
1 1 1
...
n
x a
a a a
= +
+ +
[ ]0 1 2; , ,..., nx a a a a=
Finite Simple Continued Fraction
0ia >
1 1 1 1
3
4 1 4 2
x = +
+ + +
Finite Simple Continued Fraction
0ia >
1
3
1
4
1
1
1
4
2
x = +
+
+
+
Finite Simple Continued Fraction
0ia >
1
3
1
4
1
1
9/ 2
= +
+
+
Finite Simple Continued Fraction
0ia >
1
3
1
4
2
1
9
= +
+
+
Finite Simple Continued Fraction
0ia >
1
3
9
4
11
= +
+
Finite Simple Continued Fraction
0ia >
11
3
53
= +
Finite Simple Continued Fraction
0ia >
170
53
=
Theorem
 The representation of a rational number as a
finite simple continued fraction is unique (up
to a fiddle).
170 1
3
153 4
1
1
1
4
2
= +
+
+
+
( ) ( )
1
1
1 1 1
1
n
n n n
a
a a a
>
⇒ = − + = − +
170 1
3
153 4
1
1
1
4
2
= +
+
+
+
170 1
3
153 4
1
1
1
4
1
1
1
= +
+
+
+
+
[ ] [ ]
170
3;4,1,4,2 3;4,1,4,1,1
53
= =
Finding The Continued Fraction
19
51
x =
Finding The Continued Fraction
We use the Euclidean Algorithm!!
51 2 19 13
19 1 13 6
13 2 6 1
6 6 1 0
= ∗ +
= ∗ +
= ∗ +
= ∗ +
Finding The Continued Fraction
We use the Euclidean Algorithm!!
51 13
51 2 19 13 2
19 19
19 6
19 1 13 6 1
13 13
13 1
13 2 6 1 2
6 6
6
6 6 1 0 1
6
= ∗ + ⇔ = +
= ∗ + ⇔ = +
= ∗ + ⇔ = +
= ∗ + ⇔ =
51 2 19 13
19 1 13 6
13 2 6 1
6 6 1 0
= ∗ +
= ∗ +
= ∗ +
= ∗ +
Finding The Continued Fraction
We use the Euclidean Algorithm!!
19 1
0
151 2
1
1
1
2
6
= +
+
+
+
Finding The Continued Fraction
Finding The Continued Fraction
[ ]
19
0;2,1,2,6
51
=
Representations of
Irrational Numbers
Infinite Simple Continued Fraction
0ia >
0
1 2
1 1
...x a
a a
= +
+ +
[ ]0 1 2; , ,...x a a a=
Theorems
 The value of any infinite simple continued
fraction is an irrational number.
 Two distinct infinite simple continued
fractions represent two distinct irrational
numbers.
Infinite Simple Continued Fraction
[ ]3;7,15,1,292,...π =
Infinite Simple Continued Fraction
23 ?=
Infinite Simple Continued Fraction
 Let
 and
1 2
0 0 1 1
1 1
, ,...x x
x x x x
= =
− −      
0 0 1 1 2 2, , ,...a x a x a x= = =          
Infinite Simple Continued Fraction
23 4.8≈
Infinite Simple Continued Fraction
( )
( )
0
1
2
3
4
23 4 23 4
1 23 4 23 3
1
7 723 4
23 3
3
2
23 4
1
7
23 4 8 23 4
x
x
x
x
x
= = + −
+ −
= = = +
−
−
= +
−
= +
= + = + −
0
1
2
3
4
4
1
3
1
8
a
a
a
a
a
=
=
=
=
=
Infinite Simple Continued Fraction
23 4;1,3,1,8 =  
Theorem
 If d is a positive integer that is not a perfect
square, then the continued fraction expansion
of necessarily has the form:d
0 1 2 2 1 0; , ,..., , ,2d a a a a a a =  
Solving Pell’s Equation
Pell’s Equation
2 2
1x dy− =
Definition
 The continued fraction made from
by cutting off the expansion after the kth
partial denominator is called the kth
convergent of the given continued fraction.
[ ]0 1 2; , ,...x a a a=
Definition
 In symbols:
[ ]0 1 2; , ,... ,1k kC a a a a k n= ≤ ≤
0 0C a=
Theorem
 If p, q is a positive solution of
 then is a convergent of the continued
fraction expansion of
2 2
1x dy− =
p
q
d
Notice
 The converse is not necessarily true.
 In other words, not all of the convergents of
supply solutions to Pell’s Equation.
d
Example
2 2
7 1x y− =
7 2;1,1,1,4 =  
Example
2
1
1
2 3
1
1 1 5
2
1 1 2
1 1 1 8
2
1 1 1 3
+ =
+ =
+
+ =
+ +
2 2
2 2
2 2
2 2
2 7 1 3
3 7 1 2
5 7 2 3
8 7 3 1
− ∗ = −
− ∗ =
− ∗ = −
− ∗ =

The continued fraction part i

Editor's Notes

  • #4 Notice that a i and b i can be positive or negative integers.
  • #6 Notice that in the top notation, a 0 is the integer part, and it is separated from the other terms by a semi-colon.
  • #8 A finite simple continued fraction will always be a rational number
  • #9 For example.
  • #10 It is usually easier to see our work with the continued fraction in this form, but it just takes a lot of room.
  • #17 We can see the fiddle in our example. Notice the last term is ½; then a n is 2.
  • #29 A finite simple continued fraction will always be a rational number