Analyzing the Setup
My dear student, today we are going to witness a beautiful convergence. We are looking at four distinct points, each defined by the coordinates (mi,mi1).
At first glance, these might seem like arbitrary points, but let's look closer. If you take the x-coordinate mi and multiply it by the y-coordinate mi1, you get exactly 1.
This is the signature of a rectangular hyperbola, xy=1. Imagine this curve plotted on your coordinate plane; it is a classic, symmetric shape. Now, the problem tells us that these four points also lie on a circle. This is the crux of our journey.
The General Tool
To handle this, we need a robust mathematical framework. We invoke the general equation of a circle:
This equation represents any circle in the Cartesian plane. Since our four points (mi,mi1) lie on this circle, they must satisfy this equation perfectly. This is our bridge between geometry and algebra.
We substitute x=m and y=m1 into our circle equation. The result is:
m2+(m1)2+2g(m)+2f(m1)+c=0
The Quartic Transformation
Now, I know what you are thinking: that m21 term looks troublesome. But in mathematics, as in life, we often need to clear the path before we can see the destination.
To eliminate the fractions, we multiply the entire equation by m2. This gives us:
Let's rearrange this into a standard, descending-power format:
This is a quartic equation—a fourth-degree polynomial. Because we have four distinct points of intersection, this equation must have exactly four roots: m1,m2,m3, and m4.
The Vieta's Finale
This is where the magic happens. According to the theory of equations, specifically Vieta's formulas, for any polynomial of the form ax4+bx3+cx2+dx+e=0, the product of the roots is given by ae.
In our specific quartic equation, the leading coefficient a is 1, and the constant term e is also 1. Therefore, the product of the roots is simply:
Thus, m1m2m3m4=1.
It is a stunning result, isn't it? We started with a geometric intersection and arrived at a profound algebraic truth. Keep this elegance in mind as you solve more problems; often, the most complex-looking geometry hides a simple, beautiful algebraic soul.