Одно из свойств касающихся окружностей

Аннотация

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