Внешняя окружность Содди

Внешняя окружность Содди - окружность, которая касается внутренним образом каждой из трех окружностей Содди.

Внешняя окружность Содди существует тогда и только тогда, когда

где a, b и c являются длинами сторон ABC, r - радиус вписанной окружности и R - радиус описанной окружности.