Кто, когда и как вывел формулу pr2 (площадь круга)?

Не знали.. Он ее именно вывел не совсем обычным способом..

это не важно)))

Может и не важно, зато интересно

Ну так тебе надо к Архимеду или к Евдоксу Книдскому.