S2S1+S3S2+⋯+Sn+1Sn>n−1 11. (20 points) The equation of circle ω is x2+y2=2. Circle ω has two fixed points E(1,1),F(1,−1) and a moving point D. The tangents to circle ω at these three points intersect to form △ABC. Let the circumcenter of △ABC be P. (1) Find the equation of the locus of point P; (2) Prove that the circumcircle of △ABC is tangent to a certain fixed circle.
This one wants a proof. Work it on paper, then read the official solution and mark
yourself. Be honest about it: the record is only any use to you if it is.
Official solution
11. (1) (Method 1) Note that the tangent line equation through point E is x+y−2=0, and the tangent line equation through point F is x−y−2=0. Their intersection point is A(2,0). Let P(x0,y0), then the equation of the circumcircle is (x−x0)2+(y−y0)2=(2−x0)2+(0−y0)2,
which simplifies to x2+y2−2x0x−2y0y+4x0−4=0.
By combining the above equation with x+y−2=0, we can find the intersection point of the circumcircle and the tangent line through point E as C(x0−y0,y0−x0+2). Similarly, we can find the intersection point of the circumcircle and the tangent line through point F as B(x0+y0,x0+y0−2). Therefore, the equation of line BC is (x−x0−y0)⋅(2x0−4)−(y−x0−y0+2)⋅(2y0)=0,
which simplifies to (x0−2)x−y0y+y02−x02+2x0=0.
Since circle ω is tangent to line BC, we have y02−x02+2x0=2⋅(x0−2)2+y02,
Squaring the above equation, it can be seen as a quadratic equation in y02, from which we can solve y02=(x0−2)2 (discard) or y02=x02−2. Therefore, the trajectory equation of point P is x2−y2=2. (Method 2) Let D(2cost,2sint), then the tangent line equation at point D is xcost+ysint=2. It intersects the tangent line through point C at C(cost−sint2−2sint,cost−sint−2+2cost), and intersects the tangent line through point D at B(cost+sint2+2sint,cost+sint2−2cost)
Notice that △ABC is a right triangle (with A as the right angle vertex), so the circumcenter P of △ABC is the midpoint of side BC, i.e., P(cos2t−sin2t2cost−2sin2t,cos2t−sin2t2sint−2sintcost).
Eliminating t, we find that the trajectory equation of point P is x2−y2=2. Note When (x0,y0)=(23,21) or (23,−21), the equation of line BC becomes x+y−2=0 or x−y−2=0, i.e., B or C coincides with A, in which case the "circumcircle" does not exist. Therefore, strictly speaking, the trajectory equation should be x2−y2=2(x=23). However, the degenerate case x=23 is easily explained geometrically, so not writing x=23 is not penalized. (2) Take G(−2,0), and construct a circle γ with G as the center and 22 as the radius. We prove that the circumcircle of △ABC is tangent to circle γ. For this, we only need to prove ∣PA∣−∣PG∣=±22.
In fact, if P(x0,y0), then ∣PA∣2=(x0−2)2+y02,∣PG∣2=(x0+2)2+y02. Substituting y02=x02−2, we get ∣PA∣2=2(x0−1)2,∣PG∣2=2(x0+1)2.
Noting that ∣x0∣⩾2, when x0⩾2, ∣PA∣=2(x0−1),∣PG∣=2(x0+1), in which case ∣PA∣−∣PG∣=−22. When x0⩽−2, ∣PA∣=−2(x0−1),∣PG∣=−2(x0+1), in which case ∣PA∣−∣PG∣=22. Therefore, the conclusion is proved.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.