Analyzing the Setup
Imagine standing before a blank coordinate plane. We draw our first line, L1. It is a simple, elegant line that cuts the x-axis at P(a,0) and the y-axis at Q(0,b).
Its equation, in the beautiful intercept form, is:
From this, we immediately see its slope, m1=−ab. Now, we introduce the second player, L2. It is perpendicular to L1.
In the world of geometry, perpendicularity is a powerful constraint. It dictates that the product of their slopes must be −1. Thus, the slope of L2 must be m2=ba.
Because L2 is not fixed to a specific point, but is merely constrained by its slope, it can slide across the plane. We represent this freedom with a parameter c, giving us the equation:
This c is our 'ghost' variable; it allows the line to move, and it is the very thing we will eventually exorcise from our equations.
The Geometry of Intersection
With L2 defined, we find its intercepts. Setting x=0 gives us the y-intercept S(0,c). Setting y=0 gives us the x-intercept R(−abc,0).
Now, look at the four points we have: P(a,0), Q(0,b), R(−abc,0), and S(0,c). The problem asks us to consider the intersection of two new lines: PS and QR.
Let their intersection point be M(x,y). This point M is the protagonist of our story. As L2 slides (as c changes), M moves. We want to know the shape of the path M traces.
The Algebraic Exorcism
To find the locus, we need the equations of PS and QR. For PS, passing through (a,0) and (0,c), the intercept form is:
For QR, passing through (−abc,0) and (0,b), the intercept form is:
−abcx+by=1⇒−bcax+by=1⇒−ax+cy=bc
Now, we have a system of two equations with a common parameter c. Our mission is to eliminate c. From the first equation, cx+ay=ac, we can isolate c:
This is the key. We have expressed the 'ghost' parameter c in terms of our coordinates x and y.
The Revelation
Now, we substitute this expression for c into our second equation: −ax+cy=bc. Substituting c=a−xay, we get:
To clear the denominator, we multiply the entire equation by (a−x). This yields:
Expanding this, we get −a2x+ax2+ay2=aby. Since a is an intercept and not zero, we can divide the entire equation by a:
Rearranging this into the standard form, we get:
This, my friend, is the equation of a circle. It passes through the origin because if we set x=0 and y=0, the equation holds true. We have successfully traced the path of M and found it to be a circle.