One of the properties of tangent circles

Abstract

We have two equal mutually tangent circles O1 O2. We have a line AB, tangent to both, and a new circle C, tangent to both data. We assert that the point of intersection of these two tangents, i.e. points D and E, as well as the point of tangency of the two given circles, i.e. point F, are equidistant from the point G, i.e. from one of the points of intersection of the circle C and the line CF. A proof by Prof. E.S. Fedorov.

Read more

None