Имеем две равные взаимно-касающиеся окружности О1, О2. Имеем прямую АВ, касательную к обеим, и новую окружность С, касательную к обеим данным. Утверждаем, что точка пересечения этих двух касательных, т.е. точки D и Е, а также и точка касанья двух данных окружностей, т.е. точка F, равно удалены от точки G, т.е. от одного из пунктов встречи окружности С и прямой CF. Приводится доказательство проф. Е.С. Федорова.

We have two equal mutually tangent circles O1 O2. We have a straight 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 two given circles, i.e. point F, are equally distant from point G, i.e. from one of the meeting points of the circle C and straight CF. Proof of Prof. E.S. Fedorov.