Maths Olympiad Prep

Library / /82 of 100

Geometry Difficulty 5.7 AIME, harder Prove it China

As is shown in the figure, PP is a moving point on the parabola y2=2xy^2 = 2x, points BB, CC are on the yy axis, and the circle (x1)2+y2=1(x - 1)^2 + y^2 = 1 is internally tangent to PBC\triangle PBC. Find the minimum value of the area of PBC\triangle PBC.

Figure 1

Solution

Denote PP, BB, CC by P(x0,y0)P(x_0, y_0), B(0,b)B(0, b), C(0,c)C(0, c), and assume that b>cb > c. The equation for the line PBPB is
yb=y0bx0x. y - b = \frac{y_0 - b}{x_0}x.
It can be rewritten as
(y0b)xx0y+x0b=0. (y_0 - b)x - x_0y + x_0b = 0.
Since the distance between the circle center (1,0)(1, 0) and the line PBPB is 11, we have
y0b+x0b(y0b)2+x02=1. \frac{|y_0 - b + x_0b|}{\sqrt{(y_0 - b)^2 + x_0^2}} = 1.
That is to say,
(y0b)2+x02=(y0b)2+2x0b(y0b)+x02b2. (y_0 - b)^2 + x_0^2 = (y_0 - b)^2 + 2x_0b(y_0 - b) + x_0^2b^2.
It is easy to see that x0>2x_0 > 2. Then the last equation can be simplified as
(x02)b2+2y0bx0=0. (x_0 - 2)b^2 + 2y_0b - x_0 = 0.
In a similar way,
(x02)c2+2y0cx0=0. (x_0 - 2)c^2 + 2y_0c - x_0 = 0.
Therefore,
b+c=2y0x02,bc=x0x02. b + c = \frac{-2y_0}{x_0 - 2}, \quad bc = \frac{-x_0}{x_0 - 2}.
Then we get
(bc)2=4x02+4y028x0(x02)2. (b-c)^2 = \frac{4x_0^2 + 4y_0^2 - 8x_0}{(x_0-2)^2}.
As P(x0,y0)P(x_0, y_0) is on the parabola, y02=2x0y_0^2 = 2x_0. So we have
(bc)2=4x02(x02)2, (b-c)^2 = \frac{4x_0^2}{(x_0-2)^2},
or bc=2x0x02b-c = \frac{2x_0}{x_0-2}. Then we have
SPBC=12(bc)×x0=x0x02×x0=(x02)+4x02+44+4=8. \begin{aligned} S_{\triangle PBC} &= \frac{1}{2}(b-c) \times x_0 \\ &= \frac{x_0}{x_0-2} \times x_0 \\ &= (x_0-2) + \frac{4}{x_0-2} + 4 \\ &\ge 4 + 4 = 8. \end{aligned}
The equality holds when x02=2x_0 - 2 = 2; this means that x0=4x_0 = 4 and y0=±22y_0 = \pm 2\sqrt{2}. So the minimum of SPBCS_{\triangle PBC} is 88.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.