Uploaded July 2024 | Updated September 2026, 2 weeks ago
This is a short, animated visual proof demonstrating a finite sum involving products of factorials. The proof exploits the classic inductive proof of the formula in question.
If you like this video, consider subscribing to the channel or consider buying me a coffee: buymeacoffee.com/VisualProofs. Thanks!
This animation is based on a proofs by Tom Edgar from the December 2016 issue of Mathematics Magazine page 338 (doi.org/10.4169/math.mag.89.5.338).
If you want to see a longer version, with an accompanying explanation, check out youtu.be/FE0Vl4zm20I
#mathvideo #math #numbertheory #mtbos #manim #animation #theorem #pww #proofwithoutwords #visualproof #proof #iteachmath #factorial #squares #factoradic #discretemath #inductionproof #induction #factorialnumbersystem #finitesums #sum #series
To learn more about animating with manim, check out:
https://manim.community
This is a short, animated visual proof demonstrating a finite sum involving products of factorials. The proof exploits the classic inductive proof of the formula in question.
If you like this video, consider subscribing to the channel or consider buying me a coffee: buymeacoffee.com/VisualProofs. Thanks!
This animation is based on a proofs by Tom Edgar from the December 2016 issue of Mathematics Magazine page 338 (doi.org/10.4169/math.mag.89.5.338).
If you want to see a longer version, with an accompanying explanation, check out youtu.be/FE0Vl4zm20I
#mathvideo #math #numbertheory #mtbos #manim #animation #theorem #pww #proofwithoutwords #visualproof #proof #iteachmath #factorial #squares #factoradic #discretemath #inductionproof #induction #factorialnumbersystem #finitesums #sum #series
To learn more about animating with manim, check out:
https://manim.community
