Предикат определения положения точек относительно друг друга

Эта статья находится в разработке!

Пусть даны две пары касающихся окружностей [math](o_1(x_1, y_1), r_1)[/math], [math](o_2(x_2, y_2), r_2)[/math], [math](o_3(x_3, y_3), r_3)[/math], [math](o_4(x_4, y_4), r_4)[/math]. Положим, что [math]y_1[/math] > [math]y_2[/math] и [math]y_3[/math] > [math]y_4[/math].

Задача: определить взаимное расположение точек касания данных окружностей.