# Three Orthogonal Circles Through Three Given Points

This is Problem 1 from the III Moscow State University Olympiad (1937), final competition.

Given three noncollinear points, construct three pairwise orthogonal circles each passing through a pair of the points.

To remind, the angle between two curves is defined as the angle between their tangents at the point of intersection. When the curves are circles, the radii to the common point (which are perpendicular to the tangents) form the same angle. This remark suggests a reformulation:

Given three noncollinear points A, B, C, find three points A', B', C' such that

An analysis of the configuration leads to a simple solution and also shows that the problem can be readily generalized.

One generalization concerns the angles A'BC', C'AB', etc. For the problem to be solvable these angles need not be 90° or be equal, for that matter. In the applet below, to keep the interface simple, the angles are all equal and the scroll bar lets one modify their common magnitude.

Another generalization concerns the lines where points A', B', C' are sought. In the original problem these points lie on the perpendicular bisectors of ΔABC. The problem is solvable for a pretty general configuration of three lines:

Given three noncollinear points A, B, C and three lines L_{A}, L_{B}, L_{C}, find three points _{A},_{B},_{C}, such that the angles A'BC', C'AB' and B'CA' are equal to the given angle ω.

The applet below illustrates the latter problem with several choices of the three lines. In all cases, the three lines are concurrent and the configuration seems to possess an additional property.

Choose point A' on L_{A}. Rotate line BA' through angle ω around B and let C' be the intersection of its image with L_{B}. On the third leg, rotate CB' around C and let its intersection with L_{A} be A''. From A'' obtain B'', C'', A''' in the manner just described. For all choices of the lines below and the angle ω, _{A} → L_{A}.*involution* which means that, repeated twice, the function leaves all the points unmoved: ^{-1}.

What if applet does not run? |

As a last touch, observe that whenever lines L pass through the vertices A, B, C, the triangles ABC and A'B'C' are naturally perspective, with the point of concurrency of the lines as the center of perspective. The center of perspective is independent of angle ω.

For the original case, where the lines are the perpendicular bisectors of the sides of ΔABC and do not pass through the vertices, triangles ABC and A'B'C' are still perspective, with the center of perspective being a function of ω.

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

Given three noncollinear points A, B, C, find three points A', B', C' such that

For simplicity, I shall denote the vertex angles of ΔABC by the same latter as vertices: A, B, C. On the other hand, A', B', C' will denote the angles CA'B, AB'C, BC'A. Triangles CA'B, AB'C, BC'A are isosceles with the base angles, &alpha, β and γ. The latter angles will be thought negative if the corresponding vertex falls inside ΔABC. Besides having

β + A + γ | = 90° | |

γ + B + α | = 90° | |

α + C + β | = 90° |

Adding the three together gives α + β + γ = 45°. Substituting this into the first action, we get

A' | = 180° - 2α | |

= 180° - 2(A - 45°) | ||

= 270° - 2A. |

This means that A' lies on the arc of a circle through B and C with angular measure

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

71067004