(b) Let
f
(
x
) =
x
p
1
+
...
+
x
+ 1 and note that
f
(
x
) =
x
p
1
/x
1. Show that f is irreducible over Q.
Using the geometric series formula, we can express
f
(
x
) as
f
(
x
) =
x
p
1
+
x
p
2
+
...
+
x
+1 = (
x
p
−
1)
/
(
x
−
1). Now, assume
f
(
x
) is reducible over Q. Then, we can write
f
(
x
) as the product of two
polynomials of degree greater than 0
f
(
x
) =
g
(
x
)
×
h
(
x
) where
g
(
x
) and
h
(
x
) are polynomials
with rational coefficients and degree greater than 0.Now, consider
f
(
x
+1) =
g
(
x
+1)
×
h
(
x
+1).
We know from part (a) that
f
(
x
+1)is irreducible if and only if
f
(
x
)is irreducible. Since
f
(
x
)is
irreducible, it follows that
f
(
x
+ 1) is also irreducible. However, we can compute
f
(
x
+ 1) as
follows:
f
(
x
+1) = ((
x
+1)
p
−
1)
/
((
x
+1)
−
1) =
x
p
1
+
...
+
x
+1 =
f
(
x
). Since
f
(
x
+1) =
f
(
x
),
this implies that
g
(
x
+ 1)
×
h
(
x
+ 1) =
g
(
x
)
×
h
(
x
).Now, we can use the fact that the ring of
polynomials over Q is an integral domain, meaning that if
g
(
x
)
×
h
(
x
) = 0, then
g
(
x
) = 0 or
h
(
x
) = 0. Since both
g
(
x
) and
h
(
x
) have degrees greater than 0, this implies that at least one
of them has a degree greater than 0. However, this leads to a contradiction because
f
(
x
) is
irreducible, which means it cannot be factored into two non-constant polynomials. Therefore,
our assumption that
f
(
x
) is reducible is incorrect, and
f
(
x
) must be irreducible over Q.
(c) From part (b), we have shown that the polynomial
f
(
x
) =
x
p
1
+
...
+
x
+ 1 is irreducible over
Q. This means that the field extension
Q
(
α
)
/
Q
, where
α
=
e
(
2
πi/p
), has degree [
Q
(
α
)
/
:
Q
] =
p
−
1, which is not a power of two. Now, it is known that a regular polygon with p sides is
constructible if and only if the field extension
Q
(
α
)
/
Q
has degree [
Q
(
α
)
/
:
Q
] that is a power
of two. Since [
Q
(
α
)
/
:
Q
] =
p
−
1 is not a power of two, a regular polygon with p sides is not
constructible. This result aligns with the fact that a regular p-gon is constructible if and only
if p is a product of distinct Fermat primes and a power of 2, which is not the case for the given
prime p.
Solution.
2