2
$\begingroup$

Prove that the line segment joining the two centers of the concurrent circles of equal radius is perpendicular to line segment joining the two intersection points of the circles. I had come across statements that common chord of the two circles is bisected if we draw a line segment joining the two center of circles.

  • 0
    I have assumed that since two circles are of equal radius and intersect each other they are "concurrent circles". Is this term correct or is their any other term for this type of circles?2011-07-15

4 Answers 4

1

Here's a coordinate geometry proof: let the two circles be of the form

$(x-h_1)^2+(y-k_1)^2=r_1^2,\qquad (x-h_2)^2+(y-k_2)^2=r_2^2$

I'll be demonstrating a more general statement: the radical line of the two circles is perpendicular to the line through the two centers. In the special case of intersecting circles, the radical line is the line through the two intersection points.

It is trivial to write down the equation of the line joining the two centers:

$\frac{y-k_1}{x-h_1}=\frac{k_2-k_1}{h_2-h_1}$

To construct the equation of the radical line, we expand the Cartesian equations of the two circles:

$x^2-2h_1 x+h_1^2+y^2-2k_1 y+k_1^2=r_1^2,\qquad x^2-2h_2 x+h_2^2+y^2-2k_2 y+k_2^2=r_2^2$

and then subtract one from the other:

$2(h_2-h_1)x+h_1^2-h_2^2+2(k_2-k_1)y+k_1^2-k_2^2=r_1^2-r_2^2$

whose slope is $-\frac{h_2-h_1}{k_2-k_1}$, which when multiplied by the slope $\frac{k_2-k_1}{h_2-h_1}$ of the line joining the centers gives $-1$, thus showing the perpendicularity.

  • 0
    Yes @André, I could have made the centers lie on the horizontal axis, and the proof certainly becomes much tidier that way... maybe I'll rewrite later.2011-07-16
5

This is true by symmetry. The figure is symmetric with respect to reflection in the line joing the centres; if the line joining the two intersection points weren't perpendicular to that line, it would break the symmetry.

1

Let the points of intersection of the circles be $A$ and $B$, and the centers be $C$ and C'. The triangles $ACB$ and AC'B are two isoceles triangles which share the same base. As you have said, the line joining $C$ and C' bisects this base. But in an isoceles triangle, the main altitude is the same line as the main median. Hence the line CC' must be an altitude for each of the triangles $ACB$ and AC'B, i.e., it is perpendicular to $AB$.

1

The argument by symmetry given by Joriki is in my opinion optimal.

If we want a maximally "high school" proof of the old-fashioned type, let the centers of the circles be $C$ and C', and let the intersection points of the circles be $A$ and $B$, as in the answer by Bruno Joyal. Let $M$ be the point where lines $AB$ and CC' meet.

Then triangles ACC' and BCC' are congruent, by what used to be called SSS.

It follows that \angle ACC'=\angle BCC', so triangles $ACM$ and $BCM$ are congruent, by what used to be called SAS.

Thus $\angle CMA=\angle CMB$. But these angles add up to a "straight angle," so each is a right angle.

Comment: We have used the past tense repeatedly in the proof, since in many school curricula geometry of the classical kind has died. In the death spiral, students were made to answer multiple choice questions about "two-column" proofs.

Added: Curiously enough, we all seem to have missed the "equal radius" part of the statement of the problem, which as far as I can tell was there from the beginning! Of course, the result is true without the assumption of equal radius.

But the following argument may have been the intended one. Since the radii are equal, the centers of the circles and their points of intersection form a rhombus. By a theorem which has presumably been proved in the course prior to this problem, the diagonals of a rhombus are perpendicular (and bisect each other). End of proof.