Let (C) be the circle, whose
centre is to be found. Let A be a point on (C). A circle (C1) centered at A meets (C) at B and B'. Two circles (C2) centered at B and B', with
radius AB, cross again at point C. A circle (C3) centered at C with radius AC meets (C1) at D and D'. Two circles (C4) centered at D and D' with radius AD meet at A, and at O, the sought center of (C). Note: for this to work the radius of circle (C1) must be neither too small nor too large. More precisely, this radius must be between half and double of the radius of (C): if the radius is greater than the diameter of (C), (C1) will not intersect (C); if the radius is shorter than half the radius of (C), point C will be between A and O and (C3) will not intersect (C1).
Proof The idea behind the
proof is to construct, with compass alone, the
length b²/a when lengths
a and
b are known, and a/2 ≤ b ≤ 2a. In the figure on the right, a circle of radius
a is drawn, centred at O; on it a point A is chosen, from which points B and B' can be determined such that AB and AB' have a length of
b. Point A' lies opposite A, but does not need to be constructed (it would require a
straightedge); similarly point H is the (virtual) intersection of AA' and BB'. Point C can be determined from B and B', using circles of radius
b. Triangle ABA' has a right angle at B and BH is perpendicular to AA', so : : \frac{AH}{AB} = \frac{AB}{AA'} Therefore, AH = \frac{b^2}{2a} and AC = b²/a. In the above construction of the center, such a configuration appears twice : • points A, B and B' are on the circle (C), radius a = r ; AB, AB', BC, and B'C are equal to b = R, so AC = \frac{R^2}{r}; • points A, D and D' are on the circle of centre C, radius a_2 = \frac{R^2}{r} ; DA, D'A, DO, and D'O are equal to b = R, so AO = \frac{R^2}{R^2/r}= r. Therefore, O is the centre of circle (C). == Finding the middle of a given distance or of a line segment ==