Difference between revisions of "1977 AHSME Problems/Problem 28"
Lawliet163 (talk | contribs) (→Solution 2) |
Lawliet163 (talk | contribs) (→Solution 3) |
||
Line 33: | Line 33: | ||
===Solution 3=== | ===Solution 3=== | ||
− | We can use the Chinese remainder theorem over <math>\mathbb{Q}[x]</math>. Since <math>g(x)=(x+1)(x^2-x+1)(x^2+x+1)</math>, <math>\mathbb{Q}[x]/g\cong \mathbb{Q}[x]/(x+1)\times \mathbb{Q}[x]/(x^2-x+1)\times \mathbb{Q}[x]/(x^2+x+1)</math>. This means that if we can find the remainder of <math>g(x^12)</math> modulo <math>x+1,x^2-x+1,x^2+x+1</math>, we can reconstruct the remainder modulo <math>g</math>. We can further use that each factor is irreducible and that if <math>p(x)</math> is an irreducible polynomial over <math>\mathbb{Q}</math> with root <math>\alpha</math>, <math>\mathbb{Q}[x]/p\cong \mathbb{Q}(\alpha)</math> so to evaluate the remainders of <math>g(x^12)</math>, we just need to evaluate it on one of the roots of the irreducible factors. The first factor has root <math>-1</math>, the second has roots the primitive sixth roots of unity, and the third as roots the primitive cube roots of unity (this is easily seen as <math>g(x)(x-1)=x^6-1</math>). Evaluating <math>g(x^12)</math> on each of these values yields <math>g(1)=6</math> so the remainder is <math>6</math> on each factor on the right of the isomorphism. Hence, by the Chinese remainder theorem, the remainder modulo <math>g</math> must be <math>\boxed{6}</math> as well. | + | We can use the Chinese remainder theorem over <math>\mathbb{Q}[x]</math>. Since <math>g(x)=(x+1)(x^2-x+1)(x^2+x+1)</math>, <math>\mathbb{Q}[x]/g\cong \mathbb{Q}[x]/(x+1)\times \mathbb{Q}[x]/(x^2-x+1)\times \mathbb{Q}[x]/(x^2+x+1)</math>. This means that if we can find the remainder of <math>g(x^12)</math> modulo <math>x+1,x^2-x+1,x^2+x+1</math>, we can reconstruct the remainder modulo <math>g</math>. We can further use that each factor is irreducible and that if <math>p(x)</math> is an irreducible polynomial over <math>\mathbb{Q}</math> with root <math>\alpha</math>, <math>\mathbb{Q}[x]/p\cong \mathbb{Q}(\alpha)</math> so to evaluate the remainders of <math>g(x^{12})</math>, we just need to evaluate it on one of the roots of the irreducible factors. The first factor has root <math>-1</math>, the second has roots the primitive sixth roots of unity, and the third as roots the primitive cube roots of unity (this is easily seen as <math>g(x)(x-1)=x^6-1</math>). Evaluating <math>g(x^{12})</math> on each of these values yields <math>g(1)=6</math> so the remainder is <math>6</math> on each factor on the right of the isomorphism. Hence, by the Chinese remainder theorem, the remainder modulo <math>g</math> must be <math>\boxed{6}</math> as well. |
== See also == | == See also == | ||
{{AHSME box | year = 1977 | num-b = 27 | after = 29}} | {{AHSME box | year = 1977 | num-b = 27 | after = 29}} |
Revision as of 12:13, 8 June 2022
Problem
Let . What is the remainder when the polynomial
is divided by the polynomial
?
Solution 1
Let be the remainder when
is divided by
. Then
is the unique polynomial such that
is divisible by
, and
.
Note that is a multiple of
. Also,
Each term is a multiple of
. For example,
Hence,
is a multiple of
, which means that
is a multiple of
. Therefore, the remainder is
. The answer is (A).
Solution 2
We express the quotient and remainder as follows.
Note that the solutions to
correspond to the 6th roots of unity, excluding
. Hence, we have
, allowing us to set:
We have
values of
that return
. However,
is quintic, implying the remainder is of degree
— contradicted by the
solutions. Thus, the only remaining possibility is that the remainder is a constant
.
Solution 3
We can use the Chinese remainder theorem over . Since
,
. This means that if we can find the remainder of
modulo
, we can reconstruct the remainder modulo
. We can further use that each factor is irreducible and that if
is an irreducible polynomial over
with root
,
so to evaluate the remainders of
, we just need to evaluate it on one of the roots of the irreducible factors. The first factor has root
, the second has roots the primitive sixth roots of unity, and the third as roots the primitive cube roots of unity (this is easily seen as
). Evaluating
on each of these values yields
so the remainder is
on each factor on the right of the isomorphism. Hence, by the Chinese remainder theorem, the remainder modulo
must be
as well.
See also
1977 AHSME (Problems • Answer Key • Resources) | ||
Preceded by Problem 27 |
Followed by 29 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25 • 26 • 27 • 28 • 29 • 30 | ||
All AHSME Problems and Solutions |