Classical philosophy used it often,

The earlier dialogues of Plato (424–348 BCE), relating the discourses of Socrates, raised the use of reductio arguments to a formal dialectical method (elenchus), also called the Socratic method.

https://en.wikipedia.org/wiki/Reductio_ad_absurdum

If you want a more modern source, here is a lecture on the topic: https://www.youtube.com/watch?v=Iepg5Q4rBAQ&list=PLPnZfvKID1Sje5jWxt-4CSZD7bUI4gSPS&index=53

I can recommend the entire lecture. It’s both entertaining and valuable.