Tutorials › Exam FM - Financial Mathematics › Proving Book Value Reaches Redemption At Maturity

Exam FM · Premium, Discount, and Book Value · Tutorial 376 of 998

Proving Book Value Reaches Redemption At Maturity

Use prospective valuation and the coupon-date recurrence to show why the final book value equals the bond’s redemption amount.

Intermediate 11 min read

What You'll Learn

  • Define coupon-date book value under a fixed-yield bond model
  • Use the prospective formula for book values at and before maturity
  • Derive the coupon-date recurrence from the prospective formula
  • Prove that the final recurrence step leaves the redemption amount
  • Distinguish the value before the final coupon from the value after it
  • Identify and correct common maturity-timing and recurrence errors

Why the Final Book Value Matters

A bond’s book value is the value assigned to its remaining contractual cash flows under the yield used to establish the bond’s carrying value. As coupons are paid, the book value changes. At maturity, however, no coupon payments remain after the final coupon has been paid, and the only remaining contractual payment is redemption. The book value at that point must therefore equal the redemption amount.

That conclusion is simple to state, but the last coupon creates an important timing distinction. Immediately before the final coupon is paid, both the coupon and redemption are due. Immediately after the coupon is paid, only redemption remains. This tutorial uses that distinction to prove the maturity result from both prospective valuation and the coupon-date recurrence.

Definition: Consider a bond with annual coupons of \(C\), redemption amount \(R\), and \(n\) annual periods to maturity. Assume all promised payments are made, and let \(i\) be the fixed effective annual yield used to value the bond. Define \(B_k\) as the book value at time \(k\), immediately after the coupon due at time \(k\) has been paid. At time \(n\), \(B_n\) is the value immediately after the final coupon and immediately before redemption. The time-0 value \(B_0\) is set before any coupon has been paid.

This timing convention makes the recurrence precise. At time \(k\), for \(0 \leq k < n\), the remaining payments are the coupons at times \(k+1,\ldots,n\) and the redemption amount at time \(n\). At time \(n\), the coupon has just been paid, so the remaining payment is redemption alone.

The Prospective Formula at Maturity

Under the stated assumptions, each future payment is discounted at the fixed annual yield \(i\). Write \(v=1/(1+i)\). For \(0 \leq k \leq n\), the prospective book value is

$$ B_k=C\sum_{r=1}^{n-k}v^r+Rv^{n-k}, $$

where the sum is zero when \(k=n\). Equivalently, using the standard annuity-immediate notation, \(B_k=C a_{\overline{n-k}|}+Rv^{n-k}\), with \(a_{\overline{0}|}=0\). Substituting \(k=n\) gives

$$ B_n=C\sum_{r=1}^{0}v^r+Rv^0=0+R=R. $$

This is a direct prospective proof: immediately after the last coupon, there are no future coupons to include, and redemption is due without any remaining period of discounting. The proof depends on the timing convention. It does not say that the value immediately before the final coupon is \(R\); immediately before that coupon, the coupon and redemption are both due.

Theorem: For a bond with fixed annual coupons and redemption, valued at a fixed effective annual yield with no default or payment changes, the book value immediately after the final coupon and immediately before redemption is \(R\). In symbols, \(B_n=R\).

Why the Coupon-Date Recurrence Gives the Same Result

The recurrence says that a book value grows for one year at the yield rate and then the coupon is subtracted. To justify it, start with the prospective formula at time \(k\), and write \(m=n-k\), the number of periods remaining:

$$ B_k=C\sum_{r=1}^{m}v^r+Rv^m. $$

Since \(1+i=1/v\), multiplying the value by \(1+i\) shifts every discounted future payment one period closer to the valuation date. Subtracting the coupon just paid at the next coupon date removes that coupon from the remaining cash flows. Algebraically,

$$ \begin{aligned} (1+i)B_k-C &=C\sum_{r=0}^{m-1}v^r+Rv^{m-1}-C\\ &=C\sum_{r=1}^{m-1}v^r+Rv^{m-1}\\ &=B_{k+1}. \end{aligned} $$

Thus, for each \(k=0,\ldots,n-1\),

$$ B_{k+1}=(1+i)B_k-C. $$

At the last step, \(k=n-1\), only one period remains. The prospective value one year earlier is \(B_{n-1}=(C+R)v\), because the final coupon and redemption are both payable at time \(n\). Applying the recurrence gives

$$ B_n=(1+i)(C+R)v-C=C+R-C=R. $$

The recurrence and prospective formula agree because both value the same remaining cash flows at the same yield. The final subtraction of \(C\) matters: the value grows to the total amount due at the final date, \(C+R\), and then the final coupon is paid, leaving \(R\).

1
Value the remaining payments.
At a coupon date, discount every coupon still due and the redemption amount to that date.
2
Advance one period.
Multiply the current book value by \(1+i\), using the same fixed yield as in the valuation.
3
Subtract the coupon paid.
The resulting value is the book value immediately after that coupon date.
4
Check the final step.
The amount just before the final coupon is \(C+R\); after subtracting \(C\), the remaining book value is \(R\).

Worked Examples

Worked Example: Two Annual Periods and a Final Recurrence Check

A bond pays an annual coupon of $40, has redemption amount $1,000, and matures in two years. Its fixed effective annual yield is 5%. Find the issue-date book value and verify the book values through maturity. Use unrounded intermediate values and report money to the nearest cent.

Method. First use prospective valuation at time 0. Then apply the coupon-date recurrence. This checks that the final value is obtained by subtracting the final coupon from the amount due at maturity.

The discount factor is \(v=1/1.05=0.9523809524\). The cash flows are $40 at the end of year 1 and $1,040 at the end of year 2. Therefore,

$$ \begin{aligned} B_0 &=40v+1040v^2\\ &=\frac{40}{1.05}+\frac{1040}{1.1025}\\ &=38.09523810+943.31065760\\ &=981.40589570. \end{aligned} $$

Thus \(B_0=\)$981.41. At the end of year 1, after the first coupon is paid,

$$ \begin{aligned} B_1&=B_0(1.05)-40\\ &=981.40589570(1.05)-40\\ &=1,030.47619049-40\\ &=990.47619049. \end{aligned} $$

At the end of year 2, after the final coupon is paid,

$$ \begin{aligned} B_2&=B_1(1.05)-40\\ &=990.47619049(1.05)-40\\ &=1,040.00000001-40\\ &=1,000.00000001. \end{aligned} $$

The tiny excess is only from displaying rounded intermediate figures; using the unrounded values gives \(B_2=\)$1,000 exactly. The prospective check is \(B_2=R=\)$1,000, since after the final coupon no coupons remain. The common mistake this avoids is stopping at \(B_1(1.05)=\)$1,040 and calling that the final book value; that amount is before the final coupon is paid.

Worked Example: A Discount Bond Over Four Years

A bond pays an annual coupon of $24, has a redemption amount of $1,000, and has four years remaining. Its fixed effective annual yield is 3%. Find \(B_0\), \(B_2\), and \(B_4\). Carry unrounded values through the calculations and report money to the nearest cent.

Method. Use prospective valuation for the initial and intermediate values, then verify the last two recurrence steps. Because the coupon is below 3% of redemption, the initial book value is below redemption, but the maturity proof does not depend on whether the bond is at a premium or discount.

Here \(v=1/1.03=0.9708737864\). The issue-date value is

$$ \begin{aligned} B_0 &=24(v+v^2+v^3+v^4)+1000v^4\\ &=24(0.9708737864+0.9425959091+0.9151416593+0.8884870480)\\ &\quad+1000(0.8884870480)\\ &=24(3.7170984028)+888.4870480\\ &=89.2103617+888.4870480\\ &=977.6974097. \end{aligned} $$

So \(B_0=\)$977.70. The first recurrence step is

$$ B_1=977.6974097(1.03)-24=1,007.02833199-24=983.02833199. $$

Then

$$ B_2=983.02833199(1.03)-24=1,012.51918195-24=988.51918195. $$

Therefore \(B_2=\)$988.52. Continue to maturity:

$$ \begin{aligned} B_3&=988.51918195(1.03)-24\\ &=1,018.17475741-24\\ &=994.17475741,\\ B_4&=994.17475741(1.03)-24\\ &=1,024.00000013-24\\ &=1,000.00000013. \end{aligned} $$

The unrounded model value is \(B_4=\)$1,000; the displayed discrepancy is rounding in the intermediate figures. Independently, the prospective formula at time 4 has no future coupons and gives \(B_4=1000\). The check also confirms that a discount bond does not remain below redemption at maturity.

Worked Example: Three Periods and the Final-Date Cash Flows

A hypothetical infrastructure bond pays an annual coupon of $50, has a redemption amount of $900, and matures in three years. The fixed effective annual yield is 4%. Find \(B_0\) and use the recurrence to establish \(B_3\). Report money to the nearest cent.

Method. The final coupon and redemption together form the last cash flow when viewed from time 0. After that coupon is paid, only redemption remains. First calculate the prospective value, then advance with the recurrence.

The final payment at time 3 is \(50+900=\)$950, and \(v=1/1.04=0.9615384615\). Thus

$$ \begin{aligned} B_0 &=50v+50v^2+950v^3\\ &=50(0.9615384615)+50(0.9245562130)+950(0.8889963587)\\ &=48.07692308+46.22781065+844.54654078\\ &=938.85127451. \end{aligned} $$

Hence \(B_0=\)$938.85. The recurrence gives

$$ \begin{aligned} B_1&=938.85127451(1.04)-50=976.40532549-50=926.40532549,\\ B_2&=926.40532549(1.04)-50=963.46153851-50=913.46153851,\\ B_3&=913.46153851(1.04)-50=950.00000005-50=900.00000005. \end{aligned} $$

The unrounded values give \(B_3=\)$900, the redemption amount. A final prospective check gives \(B_3=900\) directly. The mistake to avoid is treating $950, the total due before the final coupon, as the book value after that coupon.

Timing Traps and Practical Checks

The maturity result is an accounting consequence of which payments remain, not a statement that every measure associated with the bond equals redemption at every moment. In particular, distinguish the following two values at the final coupon date:

Timing at maturityPayments still due at that instantValue under the fixed-yield convention
Immediately before the final couponFinal coupon \(C\) and redemption \(R\)\(C+R\)
Immediately after the final coupon, before redemptionRedemption \(R\) only\(R\)

A common incorrect calculation is to apply the recurrence but omit the final coupon subtraction:

$$ B_{n-1}(1+i)=C+R. $$

That equation gives the amount accumulated immediately before the final coupon is paid, not \(B_n\) under the definition used here. The correction is

$$ B_n=B_{n-1}(1+i)-C=(C+R)-C=R. $$

Another error is to keep applying the recurrence after the redemption payment while still treating the bond as an outstanding obligation. The theorem concerns the book value immediately before redemption; after redemption has been paid, the bond has no remaining cash flows and no outstanding book value under this convention.

The proof also relies on its assumptions. If the bond defaults, changes its payment schedule, or is valued using a yield different from the one used to establish its book value, the stated recurrence need not describe the assigned book value. Rounding each period to cents can also produce a small residual at maturity. The exact result is obtained from unrounded values; a rounded amortization schedule may require a final-period reconciliation.

Key takeaway: At the final coupon date, the bond’s value just before the coupon is \(C+R\). The coupon-date recurrence subtracts the coupon paid, leaving \(B_n=R\). The prospective formula confirms the same result because redemption is the only payment remaining after the last coupon.

Check Your Understanding

For each problem, use the stated timing convention: \(B_k\) is immediately after the coupon at time \(k\) has been paid, and \(B_n\) is immediately before redemption.

  1. A one-year bond pays a $60 coupon and $1,000 redemption. Its effective annual yield is 6%. Find \(B_0\) and verify \(B_1\). (Answer: \(B_0=\)$1,000.00; \(B_1=\)$1,000.00)
  2. A two-year bond pays $35 annually, redeems for $1,000, and has a 4% effective annual yield. Find \(B_0\), then use the recurrence to find \(B_1\) and \(B_2\). (Answer: \(B_0=\)$990.57; \(B_1=\)$995.19; \(B_2=\)$1,000.00)
  3. A four-year bond has annual coupon $20, redemption $800, and effective annual yield 2%. What is its book value immediately after the fourth coupon and immediately before redemption? State the recurrence’s final-step calculation. (Answer: \(B_4=\)$800.00; the amount before subtracting the final coupon is $820.00)
  4. A bond has a $45 annual coupon, $1,000 redemption, and 5% effective annual yield. One year remains after the coupon at time 2. Find \(B_2\) and \(B_3\), and verify \(B_3\) prospectively. (Answer: \(B_2=\)$995.24; \(B_3=\)$1,000.00)
  5. A bond’s final coupon is $32 and redemption is $1,200. Immediately before the final coupon is paid, what amount is due? What is the book value immediately after that coupon and before redemption? (Answer: $1,232.00 is due; the book value after the coupon is $1,200.00)
Clinical Biostats