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
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