Area of a circle "ds" over the whole circle formula_33 is just the arc length, which is its circumference, so this shows that the area "A" enclosed by the circle is equal to formula_34 times the circumference of the circle. Note that the area of a semicircle of radius r can be computed by the integral formula_35. By trigonometric substitution, we substitute formula_36, hence formula_37 The last step follows since the trigonometric identity formula_42 implies that formula_43 and formula_44 have equal integrals over the interval formula_45, using integration by substitution. But on the other hand, since formula_46, the sum of the two integrals is
Measurement of a Circle two legs being "c" and "r". This proposition is proved by the method of exhaustion. Proposition two states: The area of a circle is to the square on its diameter as 11 to 14. This proposition could not have been placed by Archimedes, for it relies on the outcome of the third proposition. Proposition three states: The ratio of the circumference of any circle to its diameter is greater than formula_1 but less than formula_2. This approximates what we now call the mathematical constant π. He found these bounds on the value of π by inscribing and circumscribing a circle