I have recently read a proof that every monic irreducible polynomial over a field of characteristic 0 has no repeated roots. The proof uses derivatives. The last time I encountered a proof of this statement, it required derivatives as well. Is there another way to prove this without using derivatives? It seems a bit out of place (calculus in algebra?) and I was wondering if there was another proof that did not employ derivatives.
Thanks!