Метод исчерпывания Евдокса

Задача: доказать площадь круга методом исчерпывания Евдокса.
Описание задачи: При доказательстве площади круга методом исчерпывания Евдокса необходимо сделать следующее:
1)Так как мы в самом начале ничего не знаем про существование площади круга, то необходимо вначале доказать, что площади описанных и площади вписанных многоугольников имеют один и тот же предел, показать что они совпадают. Это предел мы как раз и называем площадь круга.
2) Вывести знакомую всем площадь круга.