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
Planar straight-line graph Planar straight-line graph In computational geometry, a planar straight-line graph, in short "PSLG", (or "straight-line plane graph", or "plane straight-line graph") is a term used for an embedding of a planar graph in the plane such that its edges are mapped into straight line segments. Fáry's theorem (1948) states that every planar graph has this kind of embedding. In computational geometry, PSLGs have often been called planar subdivisions, with an assumption or assertion that subdivisions are polygonal. A PSLG without vertices of degree 1 defines a subdivision of the plane into polygonal regions and vice versa. The absence of vertices