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
Distance from a point to a line The line through these two points is perpendicular to the original line, so Thus, formula_7 and by squaring this equation we obtain: Now consider, using the above squared equation. But we also have, since ("m", "n") is on "ax" + "by" + "c" = 0. Thus, and we obtain the length of the line segment determined by these two points, This proof is valid only if the line is not horizontal or vertical. Drop a perpendicular from the point "P" with coordinates ("x", "y") to the line with equation "Ax" + "By" + "C" = 0. Label the foot of