In the last post, I showed that the intersection of two perpendicular lines must lie on a circle, so long as the lines are each forced to go through particular points. The final result was a parameterization based on the classic cosine, sine version of a circle, but the bit I found more interesting was the earlier form:
One of the results of the parameterization was that the angle at which the point lied on the circle was not the angle at which one of the lines made with the x axis (unless the circle’s center was at the origin). This led to a phase shift in the parameterization from the angle of the line. If we were willing to lose a bit of information, the phase, we could also show that the above is a circle if it satisfies
Since we already have the parameterization with m above, showing this is true is just a matter of algebra. To start, add and subtract the coordinates of the center of the circle from x and y:
Finding a common denominator and carefully combining gives
We now have a form that, when plugged into the LHS for the circle equation, cancels out the center point coordinates.
The RHS of this thing is a bit easier to work with with by letting
Careful manipulation yields
Nicely, the m‘s cancel out completely. This becomes