Lecture 51 · Mathematics
Remainders, common multiples and matching cards
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 fixed-total matching from rotations and explain common multiples, coprime CRT and compatible noncoprime clocks.
Before this lecture
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.
Read rotations as clocks
- T≡r (mod m): same clock reading
Recover the matching congruence
- a+b≡−1 (mod m)
Solve the common-offset case
- T+1 multiple of lcm(4, 3, 2)=12
Prove the coprime case
- T≡2 mod 3; T≡1 mod 4 → T≡5 mod 12
Find shared-divisor obstruction
- Solution exists only if a≡b mod gcd(m, n)
Prove generalized compatibility
- Compatible ⇒ unique modulo lcm(m, n)
- (m/g)k ≡ (b−a)/g (mod n/g)
Apply the theorem within correct scope
- Clock extension ≠ automatic unequal-packet trick
Play and retrieve
- Check shared information before searching
Companion interactive
Planned
Choose working move totals and solve or diagnose simultaneous clock constraints.
The interactive for this lecture is being built and will appear here.
Notes
Written notes for this lecture will appear here.
Sources
- “Chinese Remainder Theorem and Cards (Tadashi Tokieda)” (video) · link
How these sources were used
- Rotation-matching inspiration; original checked opposite-order derivation and explicit distinction between lcm special case and generalized CRT.