[math-fun] Stuff I didn't know about pendulums