Пакет планиметрии geometry
Далее найдем радиус окружности:
И уравнение окружности, заданное в аналитическом виде:
Наконец, с помощью функции detail получим детальное описание окружности:
Заинтересованный в таких расчетах читатель может самостоятельно ознакомиться с другими функциями аналогичным образом, тем более, что в справочной системе этого пакета имеется множество примеров работы с его функциями.