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 Archimedes is not rigorous by modern standards, because it assumes that we can compare the length of arc of a circle to the length of a secant and a tangent line, and similar statements about the area, as geometrically evident. The area of a regular polygon is half its perimeter times the apothem. As the number of sides of the regular polygon increases, the polygon tends to a circle, and the apothem tends to the radius. This suggests that the area of a disk is half the circumference of its bounding circle times the radius. Following Archimedes' argument in "The