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
Brocard points of the anticomplementary triangle and is also the isotomic conjugate of the symmedian point. The distance between the first two Brocard points "P" and "Q" is always less than or equal to half the radius "R" of the triangle's circumcircle: The segment between the first two Brocard points is perpendicularly bisected at the Brocard midpoint by the line connecting the triangle's circumcenter and its Lemoine point. Moreover, the circumcenter, the Lemoine point, and the first two Brocard points are concyclic—they all fall on the same circle, of which the segment connecting the circumcenter and the Lemoine point is a diameter.