Difference between revisions of "2013 AIME II Problems/Problem 12"
Petitcaporal (talk | contribs) (doesn't really matter but...) |
Petitcaporal (talk | contribs) |
||
Line 3: | Line 3: | ||
Solution | Solution | ||
− | Every cubic in real coefficients has to have either three real roots or one real and two complex roots which are conjugates. This follows from Viète's identities. Factorise the polynomial <math>(z-r)(z-\omega)(z-\omega^*)</math>, where omega* is the complex conjugate of omega. r is the real root which must be -20, 20, -13, or 13, and it doesn't matter which. <math>|\omega|=|\omega^*|=</math>20 or 13. Let <math>\omega=\alpha+i\beta</math>. Viète tells us that <math>a=-(r+\omega+\omega^*</math>), but <math>\omega+\omega^*=2\Re{(\omega)}</math> (i.e., adding the conjugates cancels the imaginary part). a the quadratic coefficient must be an integer so <math>\Re{(\omega)}</math> is some integer over 2. <math>|\omega|=|\omega^*|=</math>20 or 13 so you have a bound on <math>\Re{(\omega)}</math>: either <math>-13\leq\Re{(\omega)}\leq 13</math> or <math>-20\leq\Re{(\omega)}\leq 20</math>. Don't forget zero! You have the magnitude so <math>\Re{(\omega)}</math> determines <math>\omega</math> totally (you can solve for the imaginary part) and <math>\omega</math> determines <math>\omega^*</math>. | + | Every cubic in real coefficients has to have either three real roots or one real and two complex roots which are conjugates. This follows from Viète's identities. Factorise the polynomial <math>(z-r)(z-\omega)(z-\omega^*)</math>, where omega* is the complex conjugate of omega. r is the real root which must be -20, 20, -13, or 13, and it doesn't matter which. <math>|\omega|=|\omega^*|=</math>20 or 13. Let <math>\omega=\alpha+i\beta</math>. Viète tells us that <math>a=-(r+\omega+\omega^*</math>), but <math>\omega+\omega^*=2\Re{(\omega)}</math> (i.e., adding the conjugates cancels the imaginary part). a the quadratic coefficient must be an integer so <math>\Re{(\omega)}</math> is some integer over 2. <math>|\omega|=|\omega^*|=</math>20 or 13 so you have a bound on <math>\Re{(\omega)}</math>: either <math>-13\leq\Re{(\omega)}\leq 13</math> or <math>-20\leq\Re{(\omega)}\leq 20</math>. Don't forget zero! We're not double counting the numbers between -13 and 13 here because remember there's an imaginary part too--<math>\sqrt{\alpha^2+\beta^2}=|\omega|</math>, and what you get when you solve for beta will depend on what the magnitude was. |
+ | You have the magnitude so <math>\Re{(\omega)}</math> determines <math>\omega</math> totally (you can solve for the imaginary part) and <math>\omega</math> determines <math>\omega^*</math>. | ||
Now just count: 4 possibilities for the real root times [(26+1) possibilities if <math>|\omega|=13</math> + (40+1) possibilities if <math>|\omega|=20</math> = 272. | Now just count: 4 possibilities for the real root times [(26+1) possibilities if <math>|\omega|=13</math> + (40+1) possibilities if <math>|\omega|=20</math> = 272. |
Revision as of 00:14, 5 April 2013
Let be the set of all polynomials of the form
, where
,
, and
are integers. Find the number of polynomials in
such that each of its roots
satisfies either
or
.
Solution
Every cubic in real coefficients has to have either three real roots or one real and two complex roots which are conjugates. This follows from Viète's identities. Factorise the polynomial , where omega* is the complex conjugate of omega. r is the real root which must be -20, 20, -13, or 13, and it doesn't matter which.
20 or 13. Let
. Viète tells us that
), but
(i.e., adding the conjugates cancels the imaginary part). a the quadratic coefficient must be an integer so
is some integer over 2.
20 or 13 so you have a bound on
: either
or
. Don't forget zero! We're not double counting the numbers between -13 and 13 here because remember there's an imaginary part too--
, and what you get when you solve for beta will depend on what the magnitude was.
You have the magnitude so
determines
totally (you can solve for the imaginary part) and
determines
.
Now just count: 4 possibilities for the real root times [(26+1) possibilities if
+ (40+1) possibilities if
= 272.