MathCastle
Proof WritingChallengeInduction

Induction · Challenge problem

How many ways are there to tile a 3×83 \times 8 rectangle with 1×21 \times 2 dominoes? (Break an arbitrary tiling at the first place it can be cut: tm=4tm−1−tm−2t_m = 4t_{m-1} - t_{m-2} for 3×2m3 \times 2m boards, with t0=1t_0 = 1, t1=3t_1 = 3.)