There’s a nice chapter on Buffon’s needle problem in “Proofs from THE BOOK”, an Erdős-inspired attempt to collect the most beautiful proofs. You can find a PDF of the entire book easily enough on Google, it’s a good read although I would dispute the beauty of some of the proofs in it.