Мне нужно найти самое близкое расстояние между прямоугольником и окружностью, однако я понимаю, что это можно разбить на самое близкое расстояние между отрезком линии и окружностью.

Даноу меня естьотрезок из двух точекpoint1_x,point1_y а такжеpoint2_x, point2_yу меня естькруг с центромcircle_x, circle_y а такжерадиус radiusВопрос

Есть ли библиотека Python, которая будет поддерживать это из коробки, и если нет, может кто-нибудь представить функцию для этого?

(Я полагаю, я должен найти точку касания на круге с тем же наклоном, что и линия?)