Difference between revisions of "2013 AIME II Problems/Problem 12"
Petitcaporal (talk | contribs) |
Petitcaporal (talk | contribs) (doesn't really matter but...) |
||
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! 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 23:10, 4 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! 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.