Stewart، James (2003). Single variable calculus early transcendentals (ط. 5th.). Toronto ON: Brook/Cole. ص. 3. ISBN:0-534-39330-6. However, by indirect reasoning, Eudoxus (fifth century B.C.) used exhaustion to prove the familiar formula for the area of a disk: