5.5 Determinants Associated with a Continued Fraction 203where
Kn=∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣
1 b 1− 1 a 1 b 2− 1 a 2 b 3− 1 an− 3 bn− 2− 1 an− 2 bn− 1− 1 an− 1 +(bn/an)∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ ∣ n. (5.5.4)
Return toHn+1, remove the factoranfrom the last column, and then
perform the column operation
C
′
n
=Cn+Cn+1.The result is a determinant of order (n+ 1) in which the only element in
the last row is 1 in the right-hand corner.
It then follows thatHn+1=anKn.Similarly,
H
(n+1)
11 =anK(n−1)
11.The theorem follows from (5.5.3).
Tridiagonal determinants of the formHnare called continuants. They arealso simple Hessenbergians which satisfy the three-term recurrence relation.
ExpandingHn+1by the two elements in the last row, it is found that
Hn+1=anHn+bnHn− 1.Similarly,
H
(n+1)
11 =anH(n)
11 +bnH(n)
11. (5.5.5)The theorem can therefore be reformulated as follows:
fn=QnPn, (5.5.6)
wherePnandQneach satisfy the recurrence relation
Rn=anRn− 1 +bnRn− 2 (5.5.7)with the initial valuesP 0 =1,P 1 =a 1 +b 1 ,Q 0 = 1, andQ 1 =a 1.
5.5.2 Polynomials andPowerSeries
In the continued fractionfndefined in (5.5.1) in the previous section,
replacearby 1 and replacebrbyarx. Then,
fn=1
1+
a 1 x1+
a 2 x1+
···
an− 1 x1+
anx