Lecture 41 · Mathematics
Count, reverse, transfer
Video in production
This lecture is still face down. Its script is written; filming and animation are under way.
Meanwhile, read the outlineWhat you will learn
Derive the COAT position map and prove the three-transfer block formula.
Before this lecture
Ideas you will use
- Composition of operations
In this lecture
An outline of the lecture, scene by scene, with the statements that appear on screen. It follows the draft script, so details may change in production.
Define the operation before using algebra
- COAT: count out, then transfer
- TOP→BOTTOM
Derive the position map
- i≤k:F(i)=n+1−i
- i>k:F(i)=i−k
- F maps OLD position to NEW position
Prove the bottom-card route
- n→n−k→k+1→1
- n−k≤k ⇔ 2k≥n
- k=n:three full reversals
Choose the useful three-block partition
- |T|=|B|=n−k
- |M|=2k−n
- T+M and M+B each have k cards
Track the first two transfers
- After1:B Mᴿ Tᴿ
- After2:Tᴿ M Bᴿ
- Reverse a concatenation in BOTH senses
Prove the stronger three-transfer result
- After3:Bᴿ Mᴿ T
- Original bottom k becomes reversed top k
Check boundary cases and a counterexample
- k=n/2:M is empty
- k=n:whole reversal
- n = 10,k = 4:10→6→2→9
Use the proof as a diagnostic tool
- n = 12,k = 8:T4,M4,B4
- Predict each move, then repair
- After3:Bᴿ Mᴿ T
Companion interactive
Planned
Predict and justify a COAT transformation using positions and blocks.
The interactive for this lecture is being built and will appear here.
Notes
Written notes for this lecture will appear here.
Sources
- Mathematical Card Magic, Chapter A, pp. 30–39
How these sources were used
- COAT mechanism and conditions checked against source; spoken presentation, examples and companion challenges are teaching adaptations.