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

Аннотация

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