$\newcommand{\lrp}[1]{\left(#1\right)}$
The following is a high school level problem in coordinate geometry and the purpose of this post is to understand the solution better or discover other solutions or both.
Problem.
Show that all chords of the curve $3x^2 – y^2 – 2x + 4y = 0$ which subtend a right angle at the origin pass through a common point.
Solution. Let $y = mx+c$ be the equation of a line not passing through the origin and which intersects the given curve at two points.
Consider the algebraic expression
$$
3x^2 – y^2 – (2x – 4y)\lrp{\frac{y-mx}{c}}
$$
which is an expression of the form $Ax^2 + 2Hxy + By^2$, its zero-set is either a pair of straight lines passing through the origin (possibly not distinct) or is just the origin (which happens if $H^2 < AB$).
Further, if indeed the line $y=mx+c$ intersects the curve at two distinct points, then the zero-set of the above is necessarily the pair of of lines passing through the two points of intersection and through the origin.
This is because the algebraic expression vanishes on both the points of intersection.
These lines are perpendicular to each other if $A/B = -1$, since $A/B$ is the product of the slopes of the two lines.
From here it is easy to show that all the lines $y = mx + c$ pass through a common point.
I understand this argument.
But the step where we created the algebraic expression was quite a clever one and it eludes me.
Is there a "deeper reason" as to where this came from?
Also, is there any other way to prove the same?
One may observe that the given curve is a hyperbola and then perhaps write down a 'hard' proof (as opposed to the 'soft' proof above).
But perhaps there are other such elegant or 'more natural' proofs.
Best Answer
If $x,y$ is one intersection point, then per orthogonality $(-y/z,x/z)$ is the second point for some $z\ne 0$. This second point satisfies the equations $$ 3y^2-x^2+2yz+4xz=0\\ x = -my+cz $$ This might be confusing, so start again.
Let the second, orthogonal intersection point be $(x_2,y_2)=(-y,x)$. Then the primary intersection point has coordinates $(x_1,y_1)=(x/z,y/z)$ for some $z\ne 0$. Then this point satisfies the equations $$ 3x^2-y^2-2xz+4yz=0\\ y=mx+cz $$ Elimination of $z$ gives the equation $$ 3x^2-y^2-2(x-2y)\frac{(y-mx)}{c}=0 $$ As this is now independent of $z$, this equation is true for all intersection points. To be valid for the claimed situation, the expanded equation $Ax^2+2Hxy+By^2=0$ has to be valid also for the second point, $Ay^2-2Hxy+Bx^2=0$, etc.
As the coefficients are independent of the point on the ellipse, the triple $(A,H,B)$ has to be proportional to $(-B,H,-A)$, which implies $A+B=0$. Or in full form without divisors $$ 0=[3c+2m]+[-c+4]=2(m+c+2) $$ This means that the point $(x_3,y_3)=(1,-2)$ is on every such line.