* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Honors question 4: Continued fractions.
Foundations of mathematics wikipedia , lookup
Vincent's theorem wikipedia , lookup
Law of large numbers wikipedia , lookup
Positional notation wikipedia , lookup
Mathematics of radio engineering wikipedia , lookup
Infinitesimal wikipedia , lookup
Large numbers wikipedia , lookup
Fundamental theorem of algebra wikipedia , lookup
Factorization wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
Hyperreal number wikipedia , lookup
Series (mathematics) wikipedia , lookup
Collatz conjecture wikipedia , lookup
System of polynomial equations wikipedia , lookup
Proofs of Fermat's little theorem wikipedia , lookup
Real number wikipedia , lookup
P-adic number wikipedia , lookup
Honors question 4: Continued fractions.
Recall that the rational numbers, denoted Q, are precisely those numbers that can be expressed as
ratios of integers, pq . Every rational number pq ∈ Q has a continued fraction expansion:
1
p
= a1 +
q
a2 +
1
a3 +
a4 +
1
1
a5 +... 1
an
where a1 , a2 , ..., an ∈ Z with a2 , ..., an positive. For example, consider the rational number
continued fraction expansion given by:
1
2+
1 + 2+1 1
19
7 .
This has
2
since
2+
1
1+
1
2+ 12
=2+
1
1+
1
=2+
5
2
1
1+
=2+
2
5
1
7
5
(a.) Find the continued fraction expansion for the rational numbers
equations would be helpful to get you started on the first one:
=2+
5
19
=
7
7
81 237 1376
35 , 29 , 231 .
Perhaps the following
81 = 2 · (35) + 11
35 = 3 · (11) + 2
11 = 5 · (2) + 1
2 = 2 · (1)
This notion of a continued fraction expansion for a rational number also makes sense for any real
number, but now the sequence is no longer finite. More precisely, given any real number x ∈ R, there
is an infinite sequence {an }∞
n=1 , where each an ∈ Z with an > 0 for n ≥ 2, so that x is the limit of the
sequence of partial quotients
x = lim qn
n→∞
which are defined by
q1 = a 1
1
a2
1
q3 = a 1 +
a2 + a13
q2 = a 1 +
q4 = a 1 +
1
a2 +
1
a3 + a1
4
q5 = a 1 +
1
a2 +
1
a3 +
1
a4 + 1
a5
and so on, with the nth term given by
qn = a 1 +
1
a2 +
1
a3 +
1
a4 +
1
1
a5 +... 1
an
It is not obvious that such a sequence would converge, but indeed, for any sequence {a n }∞
n=1 with
an ∈ Z for every n and an > 0 for n ≥ 2, this does indeed converge. For those that are interested in trying
to see why this converges, let me give you a hint: Prove that the sequence is a Cauchy sequence—see the
appendix in your book for this definition.
As we know, the rational numbers sit inside the real numbers Q ⊂ R. There is another set of numbers
Q which lies strictly between the rational and real numbers called the algebraic numbers, Q ⊂ Q ⊂ R
defined to be the set of numbers x which satisfy a polynomial with integer coefficients:
x∈Q
if and only if
b0 + b1 x + b2 x2 + ... + bn xn = 0
for some b0 , ..., bn ∈ Z
(b.) Verify that Q ⊂ Q. That is, show
√ that every rational number satisfies a polynomial equation with
integer coefficients. Also check that n ∈ Q for every n ∈ Z.
The algebraic numbers can be characterized in terms of continued fraction expansions. In particular if the continued fraction expansion of x is repeating, then x is an algebraic number. To say that
the sequence is repeating means that it repeats a given finite string of integers over and over. E.g.
1, 3, 5, 2, 1, 3, 5, 2, 1, 3, 5, 2, .....
(c.) Verify this fact for sequences that repeat strings of length 2, 3, and 4. That is, for sequences of the
form
a, b, a, b, a, b, a, b, a, b, ...
and
a, b, c, a, b, c, a, b, c, a, b, c, ...
and
a, b, c, d, a, b, c, d, a, b, c, d, a, b, c, d, ...
2