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
Circle of a sphere there is exactly one circle that can be drawn through three given points. The proof can be extended to show that the points on a circle are all a common angular distance from one of its poles. To show that a non-trivial intersection of two spheres is a circle, assume (without loss of generality) that one sphere (with radius formula_1) is centered at the origin. Points on this sphere satisfy Also without loss of generality, assume that the second sphere, with radius formula_3, is centered at a point on the positive x-axis, at distance formula_4 from the origin. Its points