Analysis of information sources in references of the Wikipedia article "Diện tích hình tròn" in Vietnamese language version.
However, by indirect reasoning, Eudoxus (fifth century B.C.) used exhaustion to prove the familiar formula for the area of a circle: