Secant line point a "tangent line" and in no points an "exterior line". A "chord" of a circle is the line segment that joins two distinct points of the circle. A chord is therefore contained in a unique secant line and each secant line determines a unique chord. In rigorous modern treatments of plane geometry, results that seem obvious and were assumed (without statement) by Euclid in his treatment, are usually proved. For instance, "Theorem (Elementary Circular Continuity)": If formula_1 is a circle and formula_2 a line that contains a point that is inside formula_1 and a point that is outside of
Area of a circle version of the divergence theorem), in a way that avoids all mention of trigonometry and the constant . Consider the vector field formula_27 in the plane. So the divergence of r is equal to two, and hence the area of a disc "D" is equal to By Green's theorem, this is the same as the outward flux of r across the circle bounding "D": where n is the unit normal and "ds" is the arc length measure. For a circle of radius "R" centered at the origin, we have formula_30 and formula_31, so the above equality is The integral of