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: https://www.buymeacoffee.com/VisualPr.... Thanks!
This animation is based on a proofs by Tom Edgar from the December 2016 issue of Mathematics Magazine page 338 (https://doi.org/10.4169/math.mag.89.5....
If you want to see a longer version, with an accompanying explanation, check out • A Factorial Sum Produces the Factorial Num...
#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