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 is at the point where the perpendicular bisector of AB meets the line through point B that is perpendicular to BC). Symmetrically, form a circle through points B and C, tangent to edge AC, and a circle through points A and C, tangent to edge AB. These three circles have a common point, the first Brocard point of triangle "ABC". See also Tangent lines to circles. The three circles just constructed are also designated as epicycles of triangle "ABC". The second Brocard point is constructed in similar fashion. Homogeneous trilinear coordinates for the first and second Brocard points are formula_8