I was wondering if anyone could think of an elegant proof that the polynomial
is irreducible in .
(My problem had , but I don't think it's relevant for this part.)
I have one proof, but it's basically brute force, using that if then (WLOG) , and just writing out what the factors look like. I was wondering if there was a... nicer way.