Analyzing the Setup
Imagine you are standing on a vast, coordinate-plane landscape. Before you lie two elegant curves, two parabolas, C1 and C2.
The first, C1, is defined by x2=y−1, rising gracefully like a fountain. The second, C2, is defined by y2=x−1, sweeping out to the right like a breaking wave.
These curves are mirror images, dancing around the line y=x. This line is not just a boundary; it is the master key to our problem.
The Proof of Reflection
Let us take a point P(x1,y1) on C1. Its existence is governed by the equation x12=y1−1.
Now, reflect this point across the line y=x. The coordinates swap, giving us P1(y1,x1).
Does this point P1 belong to C2? If we substitute y1 for x and x1 for y in the equation for C2, we get:
This is identical to our original condition for P. Thus, the reflection of any point on C1 is guaranteed to land on C2.
The Geometry of Distance
Consider the distance between any point P on C1 and any point Q on C2. We are told that PQ≥min{PP1,QQ1}.
Think of the line y=x as a perpendicular bisector. The geometry of the trapezoids formed by these points and their reflections forces the distance PQ to be constrained by the distance between the curves themselves.
The Calculus of Minimization
Our ultimate goal is to find the points P0 and Q0 that minimize this distance. The shortest path between two symmetric curves must lie along their common normal.
Because of the symmetry across y=x, this common normal must be perpendicular to the line y=x. If the normal is perpendicular to a line with slope 1, the normal itself must have a slope of −1.
Consequently, the tangent at our ideal point P0 must be parallel to the line y=x. This means the slope of the tangent at P0 must be exactly 1.
The Final Calculation
We have our condition: the slope of the tangent at P0 is 1. We take the equation of C1, which is y=x2+1, and differentiate it with respect to x.
The derivative, dxdy, is 2x. Setting this equal to 1, we find:
Substituting this back into the equation for C1, we find:
Thus, the point P0 is:
By the symmetry we proved earlier, Q0 is simply the reflection of P0. Therefore, the coordinates of Q0 are:
We have arrived at our destination through the elegant application of symmetry and calculus. You have mastered the geometry of the parabolas.