|
|
Line 1: |
Line 1: |
− | == Problem ==
| + | #REDIRECT [[2021_Fall_AMC_12A_Problems/Problem_23]] |
− | A quadratic polynomial with real coefficients and leading coefficient <math>1</math> is called <math>\emph{disrespectful}</math> if the equation <math>p(p(x))=0</math> is satisfied by exactly three real numbers. Among all the disrespectful quadratic polynomials, there is a unique such polynomial <math>\tilde{p}(x)</math> for which the sum of the roots is maximized. What is <math>\tilde{p}(1)</math>?
| |
− | | |
− | <math>\textbf{(A) } \frac{5}{16} \qquad\textbf{(B) } \frac{1}{2} \qquad\textbf{(C) } \frac{5}{8} \qquad\textbf{(D) } 1 \qquad\textbf{(E) } \frac{9}{8}</math>
| |
− | | |
− | == Solution 1 (Vieta’s Formulas)==
| |
− | Let <math>r_1</math> and <math>r_2</math> be the roots of <math>\tilde{p}(x)</math>. Then, <math>\tilde{p}(x)=(x-r_1)(x-r_2)=x^2-(r_1+r_2)x+r_1r_2</math>. The solutions to <math>\tilde{p}(\tilde{p}(x))=0</math> is the union of the solutions to <cmath> \tilde{p}(x)-r_1=x^2-(r_1+r_2)x+(r_1r_2-r_1)=0 </cmath> and <cmath> \tilde{p}(x)-r_2=x^2-(r_1+r_2)x+(r_1r_2-r_2)=0. </cmath> Note that one of these two quadratics has one solution (a double root) and the other has two as there are exactly three solutions. WLOG, assume that the quadratic with one root is <math>x^2-(r_1+r_2)x+(r_1r_2-r_1)=0</math>. Then, the discriminant is <math>0</math>, so <math>(r_1+r_2)^2 = 4r_1r_2 - 4r_1</math>. Thus, <math>r_1-r_2=\pm 2\sqrt{-r_1}</math>, but for <math>x^2-(r_1+r_2)x+(r_1r_2-r_2)=0</math> to have two solutions, it must be the case that <math>r_1-r_2=- 2\sqrt{-r_1}</math> *. It follows that the sum of the roots of <math>\tilde{p}(x)</math> is <math>2r_1 + 2\sqrt{-r_1}</math>, whose maximum value occurs when <math>r_1 = - \frac{1}{4}</math>. Solving for <math>r_2</math> yields <math>r_2 = \frac{3}{4}</math>. Therefore, <math>\tilde{p}(x)=x^2 - \frac{1}{2} x - \frac{3}{16}</math>, so <math>\tilde{p}(1)= \boxed{\textbf{(A) } \frac{5}{16}}</math>.
| |
− | | |
− | <math>*</math> For <math>x^2-(r_1+r_2)x+(r_1r_2-r_2)=0</math> to have two solutions, the discriminant <math>(r_1+r_2)^2-4r_1r_2+4r_2</math> must be positive. From here, we get that <math>(r_1-r_2)^2>-4r_2</math>, so <math>-4r_1>-4r_2 \rightarrow r_1<r_2</math>. Hence, <math>r_1-r_2</math> is negative, so <math>r_1-r_2=-2\sqrt{-r_1}</math>.
| |
− | | |
− | ~ Leo.Euler
| |
− | | |
− | ==Solution 2 (Factored Form)==
| |
− | | |
− | The disrespectful function <math>p(x)</math> has leading coefficient 1, so it can be written in factored form as <math>(x-r)(x-s)</math>. Now the problem states that all <math>p(x)</math> must satisfy <math>p(p(x)) = 0</math>. Plugging our form in, we get: <cmath> ((x-r)(x-s)-r)((x-r)(x-s)-s) = 0 </cmath>
| |
− | The roots of this equation are <math>(x-r)(x-s) = r, (x-r)(x-s) = s</math>. By the fundamental theorem of algebra, each root must have two roots for a total of four possible values of x yet the problem states that this equation is satisfied by three values of x. Therefore one equation must give a double root. Without loss of generality, let the equation <math>(x-r)(x-s) = r</math> be the equation that produces the double root. Expanding gives <math>x^2-(r+s)x+rs-r = 0</math>. We know that if there is a double root to this equation, the discriminant must be equal to zero, so <math>(r+s)^2-4(rs-r) = 0 \implies r^2+2rs+s^2-4rs+4r = 0 \implies r^2-2rs+s^2+4r = 0 </math>.
| |
− | | |
− | From here two solutions can progress.
| |
− | | |
− | ===Solution 2.1 (Fastest)===
| |
− | | |
− | We can rewrite <math>r^2-2rs+s^2+4r = 0</math> as <math>(r-s)^2+4r = 0</math>. Let's keep our eyes on the ball; we want to find the disrespectful quadratic that maximizes the sum of the roots, which is <math>r+s</math>. Let this be equal to a new variable, <math>m</math>, so that our problem is reduced to maximizing this variable.
| |
− | We can rewrite our equation in terms of m as <math>(2r-m)^2 + 4r = 0 \implies m- 4rm + 4r^2+4r = 0 </math>.
| |
− | | |
− | This is a quadratic in m, so we can use the quadratic formula:
| |
− | | |
− | <math>m = \frac{4r \pm \sqrt{16r^2-4(4r^2+4r)}}{2} = 2r \pm \sqrt{-4r} = 2(r \pm \sqrt{-r})</math>
| |
− | | |
− | It'll be easier to think without the square root, so let <math>q = \sqrt{-r}</math>: then we can rewrite the equation as <math>m = 2(-q^2 \pm q)</math>. We want to maximize m, so we take the plus value of the right-hand-side of the equation. Then;
| |
− | | |
− | <cmath>m=2(-q^2+q) \implies m = 2\cdot-q(q-1) \implies m = -2q(q-1)</cmath>
| |
− | | |
− | To maximize m, we find the vertex of the right-hand side of the equation. The vertex of <math>-2q(q-1)</math> is the average of the roots of the equation which is <math>\frac{0+1}{2} = \frac{1}{2}</math>. This means that since <math>r = -q^2</math>, <math>\boxed{r = -\frac{1}{4}}</math>.
| |
− | <math>m = -2q(q-1) \implies m = \frac{1}{2}. m-r = s \implies \boxed{s = \frac{3}{4}}</math>.
| |
− | | |
− | ===Solution 2.2 (Derivation-Rotated Conics)===
| |
− | | |
− | We see that the equation <math>r^2-2rs+s^2+4r = 0</math> is in the form of the general equation of a rotated conic - <math>Ax^2+Bxy+Cy^2+Dx+Ey+F = 0</math>. Because <math>B^2 -4AC = (-2)^2 - 4(1)(1) = 0</math>, this rotated conic is a parabola.
| |
− | | |
− | The definition of a parabola is the locus of all points that are equidistant from a point (focus) and line (directrix). Let the focus and directrix of this particular parabola be <math>(a,b)</math> and <math>y = mx+c</math>. Then we can try to find the general form of a rotated parabola in terms of <math>a, b, m, </math>and<math>c</math>.
| |
− | | |
− | The distance between two points <math>(x,y)</math> and <math>(a,b)</math> is <math>\sqrt{(x-a)^2+(y-b)^2}</math>. Therefore this is the distance from any point on the parabola to the focus.
| |
− | | |
− | The distance from a point <math>(x,y)</math> to a line <math>y = mx+c \implies mx-y+c = 0</math> is <math>\frac{|mx-y+c|}{\sqrt{m^2+1}}</math>.
| |
− | | |
− | We can set these two equal to each other and we get: <cmath>\sqrt{(x-a)^2+(y-b)^2} = \frac{|mx-y+c|}{\sqrt{m^2+1}}</cmath>
| |
− | | |
− | Squaring both sides of the equation, we get <cmath>(x-a)^2+(y-b)^2 = \frac{(mx-y+c)^2}{m^2+1}</cmath>.
| |
− | | |
− | Expanding both sides of the equation gives <cmath>x^2-2ax+a^2+y^2-2by+b^2 = \frac{m^2x^2+y^2+c^2+2mxc-2yc-2mxy}{m^2+1}</cmath>
| |
− | | |
− | Multiplying both sides of the equation by <math>m^2+1</math> and rearranging gives <cmath>x^2+2mx+m^2y^2-2((m^2+1)a + mc)x-2((m^2+1)b - c)y +(m^2+1)(a^2+b^2)-c^2</cmath>
| |
− | | |
− | Now we can compare to our rotated parabola, <math>r^2-2rs+s^2+4r = 0</math>. From this, <math>-2 = 2m</math> or <math>m = -1</math>. From here we have a system of three equations:
| |
− | | |
− | <cmath>-2((m^2+1)a + mc) = 4</cmath>
| |
− | <cmath> -2((m^2+1)b - c) = 0</cmath>
| |
− | <cmath> (m^2+1)(a^2+b^2)-c^2 = 0</cmath>
| |
− | | |
− | Plugging in <math>m=-1</math> we get:
| |
− | | |
− | <cmath>-2(2a-c) = 4</cmath>
| |
− | <cmath>-2(2b-c) = 0</cmath>
| |
− | <cmath>2(a^2+b^2) - c^2 = 0</cmath>
| |
− | | |
− | Solving for the first equation, <math>c = 2+2a</math>
| |
− | | |
− | Subtracting the first two equations, <math>-4a+4b = 4 \implies b = a+1</math>
| |
− | | |
− | Plugging into the third equation, <math>2a^2+2a^2+4a+2 = c^2 \implies 4a^2+4a+2 = c^2</math>
| |
− | | |
− | Substituting <math>c</math> in, we get <math>4a^2+4a+2 = 4a^2+8a+4 \implies 4a+2 = 0 \implies a = -\frac{1}{2}</math>.
| |
− | | |
− | Now <math>b = a+1 = \frac{1}{2}</math> and <math>c = 2+2a = 1</math>.
| |
− | | |
− | This means that the focus of the parabola is <math>(-\frac{1}{2}, \frac{1}{2})</math> and the directrix is <math>y = -x+1</math>. The maximum value of <math>r+s</math> would lie at the vertex of the parabola, which is the midpoint of the focus and the foot of the focus at the directrix. The line that the vertex and focus lie on is perpendicular to the directrix, so it has slope 1. It can be written as
| |
− | | |
− | <math>y = x+d</math> and must go through <math>(-\frac{1}{2}, \frac{1}{2})</math> so <math>d = 1</math>. This perpendicular line intersects the directrix, so to find the point at which this foot occurs, we set the equation of the lines equal to each other;
| |
− | <cmath>y = x+1</cmath>
| |
− | <cmath>y = -x + 1</cmath>
| |
− | | |
− | Adding, we get <math>2y = 2</math> or <math>y = 1</math> and <math>x = 0</math>. The vertex of the parabola is now at the midpoint of <math>(-\frac{1}{2}, \frac{1}{2})</math> and <math>(0, 1)</math> which is <math>(-\frac{1}{4}, \frac{3}{4})</math>. Therefore <math>r</math> and <math>s</math> are <math>-\frac{1}{4}</math> and <math>\frac{3}{4}</math>, respectively.
| |
− | | |
− | ===Solutions 2.1 and 2.2 Rejoined===
| |
− | | |
− | Now that we know the roots of <math>\tilde{p}(1)</math>, we can plug in our equation: <math>(x-r)(x-s) = (1-(-\frac{1}{4}))(1-\frac{3}{4}) = \frac{5}{4} \cdot \frac{1}{4} = \frac{5}{16} = \boxed{A}</math>
| |
− | | |
− | ~KingRavi
| |
− | | |
− | == Solution 3 (Vertex Form) ==
| |
− | Let <math>p(x)=(x-h)^2+k</math> for some real constants <math>h</math> and <math>k.</math> Suppose that <math>p(x)</math> has real roots <math>r</math> and <math>s.</math>
| |
− | | |
− | Since <math>p(p(x))=0,</math> we conclude that <math>p(x)=r</math> or <math>p(x)=s.</math> Without the loss of generality, we assume that <math>p(x)=r</math> has two real solutions and <math>p(x)=s</math> has one real solution. Therefore, we have <math>k=s,</math> from which <math>p(x)=(x-h)^2+s.</math>
| |
− | | |
− | As <math>p(s)=0,</math> we expand the left side to obtain <math>(s-h)^2+s=0,</math> or <cmath>s^2-(2h-1)s+h^2=0. \hspace{15mm}(\bigstar)</cmath>
| |
− | Since <math>(\bigstar)</math> has real solutions for <math>s,</math> the discriminant is nonnegative, or <math>(2h-1)^2-4h^2\geq0.</math> We solve this inequality to get <math>h\leq \frac14.</math>
| |
− | | |
− | Either by the axis of symmetry or Vieta's Formulas, note that <math>r+s=2h.</math> As we wish to maximize <math>2h,</math> we maximize <math>h.</math> Substituting <math>h=\frac14</math> into <math>(\bigstar),</math> we obtain <math>s^2+\frac12s+\frac{1}{16}=0.</math> We factor the left side to get <math>\left(s+\frac14\right)^2=0,</math> or <math>s=-\frac14.</math>
| |
− | | |
− | Finally, we have <math>\tilde{p}(x)=\left(x-\frac14\right)^2-\frac14,</math> from which <math>\tilde{p}(1)=\boxed{\textbf{(A) } \frac{5}{16}}.</math>
| |
− | | |
− | ~MRENTHUSIASM
| |
− | | |
− | ==See Also==
| |
− | {{AMC10 box|year=2021 Fall|ab=A|num-b=24|after=Last Problem}}
| |
− | {{MAA Notice}}
| |