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
Area of a circle "area" and "circumference". The analytical definitions are seen to be equivalent, if it is agreed that the circumference of the circle is measured as a rectifiable curve by means of the integral The integral appearing on the right is an abelian integral whose value is a half-period of the sine function, equal to . Thus formula_6 is seen to be true as a theorem. Several of the arguments that follow use only concepts from elementary calculus to reproduce the formula formula_1, but in many cases to regard these as actual proofs, they rely implicitly on the fact that one can