I will prove that An is irreducible for all n, but most of the credit goes to Qiaochu.
We have
(x−1)An=bn+1xn+1+bnxn+cdots+b1x−pn
for some positive integers bn+1,ldots,b1 summing to pn. If |x|le1, then
|bn+1xn+1+bnxn+cdots+b1x|lebn+1+cdots+b1=pn
with equality if and only x=1, so the only zero of (x−1)An inside or on the unit circle is x=1. Moreover, An(1)>0, so x=1 is not a zero of An, so every zero of An has absolute value greater than 1.
If An factors as BC, then B(0)C(0)=An(0)=pn, so either B(0) or C(0) is pm1. Suppose that it is B(0) that is pm1. On the other hand, pmB(0) is the product of the zeros of B, which are complex numbers of absolute value greater than 1, so it must be an empty product, i.e., degB=0. Thus the factorization is trivial. Hence An is irreducible.
No comments:
Post a Comment