User:CogitoErgoCogitoSum/sandbox
This page associated to the Poncelet–Steiner theorem describes a number of Steiner constructions and related insights and alternative constructions, that are of unique interest for those fascinated by the Poncelet–Steiner theorem and its variants (such as portions of the arc, omission of circle centers, etc.), including the inline references to constructions with parallelograms, squares, etc., as well as other alternative constructions. This page exists to elaborate on the discussions of the Poncelet-Steiner theorem, and develop projective geometry tools to assist in the universality, generality, convenience, and insights of that theorem.
The constructions described below are ordered such that if another construction is required, it is prior listed. No construction requires another listed later, though some may reference constructions found in the Poncelet-Steiner theorem main article. There may also be passive references to other tertiary constructions reserved for yet another subpage. It is assumed that the reader/geometer has read and understood the main article, and has a grasp of the constructions outlined there.
The Projective Harmonic Conjugate
[edit]In this section we revisit and generalize two constructions found in the Poncelet-Steiner Theorem main article. The uses for the generalization will be justified in later sections, and the particular cases are demonstrated in this section.
Construction of the Projective Harmonic Conjugate
[edit]Given a line with segment AB, and a point C (or D) on the line, we may construct the projective harmonic conjugate, point D (or C). The points C and D are each projective harmonic conjugates of one another with respect to, and defined by, the segment AB. Indeed, it is also true that points A and B are each projective harmonic conjugates of one another with respect to the segment CD, though in this case the latter point pair was determined from the former.
The projective harmonic conjugates define a proportionality with the segment AB. It is the case that .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/eb/Projective_harmonic_conjugate.png/350px-Projective_harmonic_conjugate.png)
The conjugates may be constructed thus:
- Choose a point P arbitrarily in the plane.
- Draw lines AP and BP (in red).
- Choose a point Y arbitrarily in the line AP.
- Draw the line BY (in orange).
- Draw the line CY (in green):
- This line intersects line BP at a point X.
- Draw the line AX (in magenta):
- This line intersects line BY at a point Q.
- Draw the line PQ (in blue):
- This line intersects line AB at a point D.
- Points C and D are conjugates of one another with respect to segment AB.
- It is also the case that points A and B are conjugates of one another with respect to segment CD.
Alternatively, point C may be constructed from point D using the same set of lines, in which point Q is found before point X.
Parallel from a bisected segment (revisited)
[edit]The parallel line construction from a bisected line-segment, as seen in the Poncelet-Steiner Theorem article, is a special case of the Projective Harmonic Conjugate construction. In this case, because one of the key defining points of the harmonic is a midpoint, point C, the conjugate point D exists "at infinity" (and thus fails to exist on the line), thereby compelling the line PQ to be parallel. As such, there is no point D on line AB that represents the points of conjugacy. In this construction, however, point D is not the construction of interest, but rather its associated line, the (blue) line PQ.
Midpoint from two parallels (revisited)
[edit]The construction of the midpoint from two parallels, as seen in the Poncelet-Steiner Theorem article, is a special case of the Projective Harmonic Conjugate construction. In this case, because one of the key defining points, D, of the harmonic does not exist (or rather exists "at infinity"), due to the two lines being parallel, its conjugate placed interior to the segment AB, point C, must be the midpoint. The midpoint construction involves the same set of lines and points (excepting point D) as the parallel line construction or the harmonic conjugate construction, simply in a different order and different set of initial conditions.
Construction of a Concurrent Line
[edit]Given any two lines, m and n, a concurrent line through a point, P, is a line that intersects both lines m and n at the same point that lines m and n intersect one another. In other words, if lines m and n intersect at an unconstructed point Z (off the page, not visible, at great distance), then the concurrent line is the line . Concurrent lines all intersect at the same point; from any two lines, concurrent lines may be constructed through any point in the plane.
The construction is convenient when a third line is required, defined by a point P and the (possibly unconstructed) intersection point between two other lines. This is a particularly useful construction when the point of intersection of the two lines is off the page at a great distance. The circle in the plane is not required.
Concurrent by way of projective points
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/98/Concurrent_Line_Construction.png/350px-Concurrent_Line_Construction.png)
Given lines m and n (both in black), and a point P through which the concurrent is to be constructed:
- Draw two arbitrary lines through point P (both in red), intersecting lines m and n at two points each:
- Point P serves as a perspective point.
- One line through point P intersects the lines m and n at points A and C, respectively.
- One line through point P intersects the lines m and n at points B and D, respectively.
- Draw two lines, AD and BC (both in green).
- These green lines intersect at a point X.
- Point X is a perspective point.
- Choose an arbitrary point E on line m and draw the line EX (in orange).
- Line EX intersects line n at a point F.
- Draw lines CF and EB (both in magenta).
- The lines intersect at a point Q.
- Draw the desired concurrent line PQ (in blue).
Special Case
[edit]It is important to note that whenever point P is equidistant between the two lines m and n (i.e. existing on the angle bisector between them), the concurrent line construction will fail. Alternatively phrased, the construction will fail if the point P is the midpoint of any segment colinear with the transversal line, in which consecutive interior angles are congruent, and the endpoints of the segment exist on the two lines m and n. This is a special case scenario.
A concurrent through P may still be constructed, however. A simple solution is to construct an intermediary concurrent line first.
- Choose an arbitrary point S in the plane.
- The point cannot be on either lines m or n, nor on the concurrent through P.
- If the point S is on the concurrent through P, the construction will again fail; however, line PS is therefore the desired concurrent.
- The point cannot be on either lines m or n, nor on the concurrent through P.
- Construct a concurrent line to lines m and n through the point S.
- This is possible since point S is not equidistant between the two lines.
- From this new line and either one of the others, a concurrent through P may now be constructed.
- This is assured since point P cannot be equidistant between the new line and either one of the other two.
Concurrent by way of the harmonic conjugate
[edit]Given any two lines m and n, and an arbitrary point P in the plane, the concurrent of the lines may be constructed through the point using the projective harmonic conjugate. This construction does not require a circle, and avoids the special case scenario of the projective point method.
![Constructing the concurrent line using the projective harmonic.](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b2/Concurrent_with_projective_harmonic.png/350px-Concurrent_with_projective_harmonic.png)
- Draw an arbitrary line (in red) through point P such that it cuts across lines m and n (both in black).
- Intersect these lines at points A and B, respectively.
- Construct the projective harmonic conjugate of point P with respect to segment AB.
- The conjugate is point Q, but it need not be constructed, and may exist "at infinity".
- Any line passing through the conjugate, such as the one used to find Q - a necessary part of the construction - even if it is parallel to line AB, is the desired intermediary construction.
- The goal is to have two lines, AB and one other, each of which pass through point Q, even if the point is not constructed.
- Let the second of these lines (in orange) cross lines m and n at two points C and D, respectively.
- Find the simple geometric center of the quadrilateral ABDC:
- Intersect the lines connecting opposite vertices, assuming the quadrilateral is a simple, non-self-intersecting shape.
- These are line segments AD and BC (both in magenta).
- The intersection is point X.
- Line PX (in blue) is the desired concurrent.
Alternatively, in step 3, the point X may be found as the projective harmonic conjugate of point Q with respect to line segment CD, and will exist where the blue line and the orange line CD intersect.
If lines m and n happen to be parallel then line QX bisects the line segments AC and BD, as was explained in the Poncelet-Steiner theorem main article. Indeed, line PX will also be parallel in this case.
Construction of an Additional Parallel From Any Two Parallels
[edit]Given two parallel lines, m and n, a third parallel through an arbitrary point, P, can be constructed without the use of the circle.
This construction is merely a special case of the concurrent line construction, above, wherein the two given lines are already parallel. Thus, refer to the construction of the concurrent line in the previous section; either construction will work and they will not be repeated here. The parallel nature of lines m and n do not prohibit the concurrent line construction; the same set of constructable lines is achievable.
The principle behind this construction is that parallel lines "intersect at infinity", and concurrent lines intersect at the same point, therefore the concurrent to two parallels is also parallel.
Thus a third parallel through an arbitrary point may be constructed without a circle whenever there are already two parallels. The construction is trivial:
- Construct the concurrent through point P of parallel lines m and n.
- This is the desired parallel through point P.
If the point P exists equidistant between the two parallel lines, the same special case is applicable and the construction will fail, if the projective point method is used; use an intermediary parallel. If the harmonic conjugate method is used, this should not be an issue.
Construction Involving Three Evenly-Spaced Parallels
[edit]Constructing the Midpoint of a Line Segment
[edit]Given are three arbitrary lines in space - lines a, b, and c - each parallel to one another, and the line in the middle is equidistant from the other two (i.e. "evenly spaced").
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7f/Midpoint_from_Three_Evenly_Spaced_Parallels.png/350px-Midpoint_from_Three_Evenly_Spaced_Parallels.png)
We may find the midpoint of any arbitrary line segment in space, PQ:
- From an arbitrary endpoint - point Q in this case - draw an arbitrary line (in red) cutting through the three parallels.
- This line intersects the three parallels at points J, K, and L, respectively.
- Construct a parallel of the red line through point P (in orange), the opposite endpoint of the line segment:
- This is possible since the line segment JL is bisected by point K.
- This line intersects the three parallels; one of the intersection points on the outer two lines is chosen: point S on line c in this case.
- Observe that points J, L, and S are three adjacent vertices of a parallelogram.
- Construct a line segment JS (in green), cutting through the middle of the three parallels.
- This line segment - a diagonal of the parallelogram - intersects the middle of the three parallels at a point T.
- Construct the parallel of the red line through point T (in blue).
- This line intersects the line segment PQ at its midpoint M.
In an alternative construction, a midpoint of a line segment may be constructed from a parallelogram. The parallelogram allows for the construction of a line parallel to PQ, upon which the midpoint construction found in the Poncelet-Steiner theorem main article may be utilized.
Three Evenly Spaced Parallels Imply a Parallelogram
[edit]Whenever three parallels of this type exist in the plane - with one line equidistant between the other two - any arbitrary line cutting through them can have a parallel of it constructed arbitrarily in space, as per steps 1 and 2 in the previous construction, because the three parallels intersect the cutting line such that a bisected segment exists. In the previous construction, points J, L, and S, form three adjacent of the four vertices of a parallelogram, the fourth being unlabeled. Thus, parallelograms are implied, and are arbitrarily constructable anywhere along the three parallels, such that any two of the parallels are opposing sides of the parallelogram. Any constructions involving the parallelogram are available.
Constructions with a Parallelogram
[edit]Parallelograms are a useful tool in their own right, though not as powerful as a circle.
Constructing a Second (Reflected) Parallel
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/90/Second_Parallel_using_Parallelogram.png/400px-Second_Parallel_using_Parallelogram.png)
Given a line m and a parallelogram STUV (both in black), a second parallel can be constructed symmetrically across the parallelogram:
- Draw two line segments SU and TV (both in green), connecting opposite points of the parallelogram.
- These lines intersect at a point X, defining the center of the parallelogram.
- Extend each of the sides of the parallelogram by drawing lines ST, TU, UV, and SV (each in brown).
- These lines will always intersect line m in at least two points.
- Just two intersections occurs when one set of sides of the parallelogram runs parallel to the given line m.
- In this case, two additional parallels to line m are known to exist, and the construction may end here.
- In the general case, as it is in this example, four points are generated: A, B, C, and D.
- These lines will always intersect line m in at least two points.
- Reflect any two of the points A, B, C, and D across the parallelogram through point X:
- Point A is reflected by drawing line AX (in red), which intersects a side extension of the parallelogram at a point A'.
- Connect the reflected points with a line (in blue).
The principle is that parallels induce reflections. The parallelogram is not strictly speaking necessary; what is necessary is that there are two parallels intersecting the line being reflected, and an arbitrary point (X, in this case) that exists equidistant between the two parallels, across which we make reflections. The parallelogram allows for the construction of both the center point and the parallels, and because there are two distinct sets of parallels in a parallelogram we are assured the entire plane is covered.
Alternatively, line segment SU is bisected by point X. Two parallels may be made through points T and V, as per the parallel line constructions found on the Poncelet-Steiner theorem page. These parallels will intersect the given line m, and together with point X a reflection can be made.
Constructing Arbitrary Parallels When Given a Parallelogram
[edit]Regarding the above construction involving the parallelogram, the parallelogram predetermines the location of the second parallel, as a reflection across the parallelogram. However, once a second parallel is in the plane, a third parallel may be constructed arbitrarily. Whenever a parallelogram exists in the plane, any line may have a parallel constructed from it, through any arbitrary point in the plane.
Two previous constructions are trivially combined:
- From any line in the plane, a second (reflected, or symmetric) parallel may be constructed using the parallelogram.
- From two parallels, any third parallel may be constructed through any arbitrary point in the plane using the previous concurrent line constructions.
Parallelograms Imply Three Evenly Spaced Parallels
[edit]Given any parallelogram ABCD, three equally spaced parallels may be constructed. Indeed, four distinct sets may be constructed.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6e/Three_parallels_from_parallelogram.png/350px-Three_parallels_from_parallelogram.png)
- Construct the center point X of the parallelogram:
- This is done by the intersections of the line segments connecting opposite vertices.
- Point X is equidistant between each pair of opposing sides, as well as each pair of opposite vertices.
- Any pair of opposite sides define parallel lines.
- From any pair of parallels, a third parallel may be constructed through the center point X, using previous constructions.
- For example, we may construct lines AB, CD, and a third parallel through point X.
- Two distinct sets of three equidistant parallels are definable in this way.
- From any pair of parallels, a third parallel may be constructed through the center point X, using previous constructions.
- Any diagonal connecting opposite vertices is bisected by the center point X.
- From any bisected segment, a second (and a third) parallel may be constructed through the two available vertices.
- For example, we may construct line BD and the parallels through points A and C.
- Two distinct sets of three equidistant parallels are definable in this way.
- From any bisected segment, a second (and a third) parallel may be constructed through the two available vertices.
Therefore, any constructions based on the existence of three equidistant parallels in the plane are achievable, whenever a parallelogram exists.
Since three equidistant parallels imply a parallelogram, and a parallelogram implies three equidistant parallels, they are equivalent premises in any construction.
Circles (with their centers) Imply Parallelograms
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/fb/Circles_imply_parallelograms.png/300px-Circles_imply_parallelograms.png)
Given is a circle, centered at point O, we may construct an arbitrary inscribed parallelogram:
- Choose two points, A and B, arbitrarily on the circle such that:
- The circle center is not the midpoint.
- Draw the line segment BC (in red), denoting one side of the parallelogram.
- Draw lines BO and CO (in green).
- These lines intersect the circle at points A and D.
- Draw the line segments CD, DA, and AB (each in blue).
- Points A, B, C and D are the vertices of a parallelogram with known center X.
- The parallelogram ABDC is in fact a rectangle.
Any constructions involving the parallelogram may be achieved when a circle is provided.
The parallelogram does not imply the circle. The circle (with its center) is a stronger proposition.
Circles Imply Squares
[edit]Indeed, a circle implies a square, which is stronger than the parallelogram. Any line passing through the center of the circle may have a parallel of it constructed also through the circle. From the intersection points of these lines with the circle, an isosceles trapezoid (or triangle) is defined. The non-parallel sides of the trapezoid may be extended to an intersection point, which along with the circle center defines a perpendicular. The perpendicular intersects the circle at two points. The two perpendicular lines passing through the circles center define the diagonals of a square; the vertices are the points where these lines intersect the circle. Refer to the later construction Constructing a Centerline from Two Cutting Parallels for some details.
Line Segment Transformations
[edit]Translation
[edit]The translation of a line segment is a relatively trivial process, and can be done with either a circle or a parallelogram, or by any other means that allows for the construction of parallel lines.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0a/Segment_translation.png/350px-Segment_translation.png)
Given is line segment AB (in black), and a point A' to which the endpoint A is to be translated.
- Draw a line AA' (in red).
- Construct a parallel of line AA' at point B (in orange).
- Construct a parallel of line AB at point A' (in magenta).
- Intersect these previous two parallel line constructions at a point B' .
- Line segment A'B' (in blue) is the desired translation.
This construction will, however, fail if point A' is colinear with line AB. A simple solution for this condition is to translate the line segment AB to an intermediary non-colinear point X first, then translate it back to point A' .
Rotation
[edit]The line segment rotation is another useful transformation, and is of particular use in Steiner constructions, as some constructions will fail under particular scenarios involving the coincidental orientation of line segments. The construction of the radical axis and the intersection between a line and a circle can suffer this scenario.
The Poncelet-Steiner theorem article covers one rotation method, which unfortunately fails when rotating a line segment a full 180 degrees. There is a workaround as explained in the article, but is unnecessarily burdensome. The construction provided below is an alternative approach to line segment rotation that is no more complicated than the one in the main article, and will work for half-circle rotations. This construction, however, has its own fallbacks.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e3/Rotation2alternative.png/350px-Rotation2alternative.png)
Given is a line segment AB (in black), and an endpoint A about which the rotation is made. This may represent a circle A(B). Provided also is given circle O(r).
- Construct the parallel of line AB (in red) through the given circle center, point O.
- The parallel intersects the given circle at points E and F.
- Choose one of the two points of intersection arbitrarily. Here point F is chosen.
- Construct a line AO (in orange) through the points representing the centers of circles.
- Construct a line BF (also in orange) through the points representing the circumference of the circles.
- Intersect the orange lines at a perspective point X.
- If point X doesnt exist we may refer back to step 2 and choose the alternate point E instead, and swap their roles for the remainder of this construction.
- Alternatively if point X doesnt exist or is at great distance, we may use concurrent line constructions between the orange lines wherever a line is to be constructed through point X.
- Let segment OP (in light green) represent an arbitrary line suggestive of the rotation to be made.
- Point P may be chosen arbitrarily or segment OP may be translated from elsewhere.
- Point P cannot lie on line AO, or the construction will fail.
- If point P is chosen to be either points E or F, whichever is not chosen in step 2, then a diametrically opposite, or half-circle rotation will be achieved.
- Construct a parallel of OP (in light blue) through point A, if it is not already provided.
- Construct a line XP (in dark blue), or the associated concurrent through point P.
- Intersect line XP with the light blue parallel of OP.
- This is point B', the desired rotation.
As mentioned, if point P is colinear with line AO this construction will fail. We may instead refer to the construction in the Poncelet-Steiner theorem article, or use a sequence of partial rotations to achieve the same ends, as was alternatively done in the main article.
Segment extensions
[edit]Given is a line segment AB (in black), on and extended by line AB (in red), and two arbitrary parallel lines m and n (both in orange) in the plane. One or both parallels may be constructed if necessary. We may construct on line AB an extension of the line segment to any arbitrary integer multiple. In the image below, segment AC is two times, segment AD is three times, and segment AE is four times the length of segment AB.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Segment_extentions.png/450px-Segment_extentions.png)
- Choose a point X arbitrarily on line n.
- The point is a perspective point.
- Draw a line AX (in green).
- The line intersects line m at point a.
- Draw a line BX (in light blue).
- The line intersects line m at point b.
- Draw a line aB (in green).
- The line intersects line n at point Y.
- The point Y is a perspective point.
- Draw a line Yb (in light blue).
- The line intersects line AB at point C.
- Point C defines a segment extension by two.
- Segment AC is twice the length of segment AB
- Segments AB and BC are congruent and colinear.
- Draw a line CX (in magenta).
- The line intersects line m at point c.
- Draw a line Yc (also in magenta).
- The line intersects line AB at point D.
- Point D defines the extension by three times.
- Draw a line DX (in blue).
- The line intersects line m at point d.
- Draw a line Yd (also in blue).
- The line intersects line AB at point E.
- Point E defines the extension by four times.
- This pattern of constructions (steps 9-10) may be continued indefinitely to arbitrary extension multiples.
Observe that on line m, a sequence of extensions are being generated, corresponding to those on line AB. This second set of segment extensions are scaled down in size, proportional with the distances between the parallel lines. For the purposes of this construction, the proportionality, and thus the parallel line spacing is arbitrary. Specifically, the ratio between segments AB and ab is equal to the ratio of the distance line AB is to line n and the distance line m is to line n. This feature could be intentionally utilized if one has control over the line spacing.
The construction of the secondary segment extension, on line m, is essential for the following section on segment sectioning.
Extensions may also be achieved through a series of colinear translations of the segment, as seen in a previous section, which will require the construction of arbitrary parallels. This construction, though it makes use of parallels, they are not strictly arbitrary and are presumed to already be present.
Segment sectioning
[edit]Given is a segment AB, which we wish to n-sect. In the example below, a trisection is performed. We are also given a parallel line m on which there already exists a trisected segment ad, which was constructed as a three-times extension of segment ab, and as a by product of a three-times extension of segment AB, as seen in the previous construction segment extensions.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/ba/Segment_sectioning.png/500px-Segment_sectioning.png)
- On parallel line m, construct an n-times extension of an arbitrary segment ab.
- In this example, n=3 and ad is the final extended segment, with points b and c trisecting it.
- Draw a line Aa (in magenta).
- These points are chosen to connect one endpoint of the segment AB with one endpoint of the extended segment on line m.
- Draw a line Bd (also in magenta).
- These points are chosen to connect the opposite endpoint of the segment AB with the opposite endpoint of the extended segment on line m.
- These lines intersect at a point Z.
- Point Z is a perspective point.
- A point Z can instead be found between the parallel lines, if lines aB and Ad had instead been chosen in the prior two steps.
- Through each point on line m that extends segment ab and defines the n-sectioning on said line (namely points b and c in this example), construct a line through the perspective point Z (each in blue).
- These lines intersect segment AB, thereby n-secting the segment.
Reflections about a Line
[edit]Reflection of a point
[edit]Given is a line m (in black) across which reflections are to be made, the point P which we aim to reflect across the line, and the given circle (in green) centered at point O.
If line m passes through circle center O.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Reflections_about_a_line_PST.png/350px-Reflections_about_a_line_PST.png)
To reflect a single point about a line, the following construction is used:
- Construct the line PO (in red).
- If point P is coincident with point O an alternative construction is required.
- Line PO intersects line m at a point Q.
- If line PO and m are parallel, an alternative construction is required.
- Line PO intersects the given circle at a point M.
- Construct a line (in light green) which is parallel to line m, through point M.
- This line intersects the given circle at a distinct point N.
- If points M and N are coincident, an alternative construction is required.
- Draw a line NO (in pink).
- Construct a line (in purple) which is parallel to line NO through point Q.
- Construct through point P a line (in blue) that is perpendicular to line m.
- This line should intersect the previously constructed purple line at a point P' , the reflection of P across the line m
Reflection of figures
[edit]To reflect any figure about a line - be they other lines, circles, or other figures - simply reflect each of its defining points about the line.
The construction is a trivial application of the point reflection:
- Identify the line m across which the figure is to be reflected.
- Identify each of the n key points (P1 to Pn) that uniquely define the figure.
- Perform a reflection for each of these n points.
Construction of a Perpendicular from a Square
[edit]Given is a square ABDC (in dark green) and an arbitrary line m (in black), and a point in the plane P. We wish to construct a perpendicular of line m through point P.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0b/Perpendicular_from_square.png/350px-Perpendicular_from_square.png)
- Arbitrarily choose and draw a line through the diagonal of the square.
- In this example, line BC (in gray) is drawn.
- From point P, two lines perpendicular to one another are drawn (in dashed light blue and dashed red), each parallel to one of the two adjacent sides of the square.
- Since opposite sides of the square are parallel, we may use previous construction techniques.
- These lines will intersect the gray line BC through the diagonal of the square at points X and S, respectively.
- From points X and S new lines (in dashed green and dashed orange) are constructed parallel to the alternate sides of the square.
- These lines are thus perpendicular to the previous set of lines constructed.
- These lines intersect the line m at points Y and T, respectively.
- Like before, two new lines are drawn from points Y and T (in dashed light blue and in dashed red), parallel to the alternate square sides.
- These lines will, respectively, intersect the gray diagonal at points Z and U.
- Finally, the process is repeated one final time; two new lines parallel to the sides of the square are drawn from points Z and U (in dashed green and dashed orange).
- These lines intersect one another at point M.
- The line PM (in dark blue) is constructed.
- This is the desired line, perpendicular to line m.
Construction of a Tangent/Polar to a Circle or Arc
[edit]These constructions concern the construction of tangent lines, points of tangency, pole point, and the polar line, which runs through the points of tangency.
From a point on the arc of a circle
[edit]Given is an arbitrary circle (in green) with a center point O (which will not be utilized), and a point P existing on the arc of the circle. We wish to construct the tangent lines to the circle at the point. Such a point has a tangent line that is also the polar.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/09/Tangent_line_of_a_point.png/350px-Tangent_line_of_a_point.png)
- We first arbitrarily pick four new points on the arc of the circle: A, B, C, and D, respectively.
- These points are labeled sequentially and clockwise from point P.
- Tangents may be drawn from any of these points.
- Indeed, the arc of the circle need not be provided at all; it is sufficient to have the five points on the circumference defined.
- Construct an irregular pentagram (in a dark blue) between these five points on the arc of the circle.
- Draw line segments PB, BD, AD, AC, and PC.
- Draw line AD (in red).
- The line is coincident with the edge of the pentagram closest to but not intersecting point P.
- In other words, the pentagram line segments projecting from point P, when traced out, will cross the same line segment first.
- Find the intersection points R and S.
- Point R is the point of intersection between segments PB and AC.
- Point S is the point of intersection between segments PC and BD.
- Or in other words, the pentagram line segments projecting from point P, when traced out, will have a second crossing of a pentagram line segment.
- Draw the line RS (in orange).
- Lines AD and RS intersect at a point X.
- If these lines do not intersect - due to the coincidental placement of points A and D - then these two parallels are also parallel to the desired tangent. An alternative construction from these parallels is required.
- Line PX (in blue) is the desired tangent line, which is its own polar, to the circle at point P, which is its own inverse and point of tangency.
From a point not on the circle
[edit]There are numerous properties involving the polar of which we may take advantage. Several different constructions avail themselves, and are useful under different circumstances.
These constructions work whether point P is internal or external to the circle, but will fail if it is on the arc of the circle or coincident with the circle center. In the former case, refer to the previous construction for a tangent line through a point on the circle. In the latter case, no polar exists.
Using three cutting lines through the circle
[edit]Given is an arbitrary circle (in green) with a center point O (which will not be utilized), and a point P existing not on the circle. We wish to construct the tangent lines to the circle which pass through the point. Observe the relationships between the points of tangency on the circle, tangent lines through point P, the polar line of point P, and the inverse in the circle of point P.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a8/Tangent_lines_%28external%29.png/350px-Tangent_lines_%28external%29.png)
- We first construct three arbitrary lines (in gray) passing through point P, cutting through the circle and intersecting it in at least one point for each line.
- One line intersects the circle at points A and B.
- One line intersects the circle at points C and D.
- One line intersects the circle at points E and F.
- If one of the arbitrary lines has one intersection point (e.g. point A=B) then this is a tangent line, and the point (e.g. A) is the point of tangency, existing on the polar.
- Draw line segments AD, BC, CF, and DE (each in red).
- These line segments will intersect at points X and Y.
- If A=B then X=A=B.
- Draw a line XY (in blue).
- This line is known as a polar of point P to the circle.
- Line XY intersects the circle at points S and T.
- Points S and T are the points of tangency.
- Construct lines PS and PT.
- These lines are the tangent lines to the circle through point P.
Using two cutting lines through the circle
[edit]It is valid to point out that, strictly speaking, points E and F and the line passing through them never needed to be drawn. Points A, B, C and D were sufficient. The point Y may be constructed as the intersection of lines AC and BD, although this is often less convenient. Additionally, point Y need not be constructed; we need only the concurrent between lines AC and BD passing through point X; this is the polar in the circle of point P.
![Constructing the polar and tangents from a point to a circle with only two intersecting lines.](http://upload.wikimedia.org/wikipedia/commons/thumb/7/72/Pole_polar_tangent_from_single_set.png/350px-Pole_polar_tangent_from_single_set.png)
Similarly as in the previous construction:
- We first construct two arbitrary lines (in gray) passing through point P, cutting through the circle and intersecting it in at least one point for each line.
- One line intersects the circle at points A and B.
- One line intersects the circle at points C and D.
- If one of the arbitrary lines has one intersection point (e.g. point A=B) then this is a tangent line, and the point (e.g. A) is the point of tangency, existing on the polar. This construction will fail if a polar line or the alternate point of tangency is the construction of interest.
- Draw lines/segments AD, BC, AC, and BD (each in red).
- These lines/segments will intersect at points X and Y.
- If A=B then X=Y=A=B.
- Draw a line XY (in blue).
- This line is known as a polar of point P to the circle.
- Line XY intersects the circle at points S and T.
- Points S and T are the points of tangency.
- Construct lines PS and PT.
- These lines are the tangent lines to the circle through point P.
Alternatively, we could have used points A and B (which exist on the same line through point P). From these points we could have constructed tangents to the circle, as per the previous construction for a tangent through a point on the arc of the circle. These tangent lines would intersect one another on the polar at a point X. We can then find point Y, also on the polar, by finding the intersection of the tangents to the circle at points C and D (both of which are colinear with point P). As before, concurrent line constructions may be employed when necessary.
Alternative involving the Harmonic Conjugate
[edit]We may also find a point X as the harmonic conjugate of point P on the line AB. Point Y may be found as the harmonic conjugate of point P on the line CD. The projective harmonic conjugate of point P on any cutting line through the circle exists on the polar. It should be noted that any chord through the circle on the line passing through point P defines a line segment upon which the projective harmonic conjugate of the point lies on the polar. Using multiple such chords, multiple points on the polar may be constructed, thus defining the line.
Construction of the Inverse in a Circle of a Point on the Centerline
[edit]This is a relatively trivial construction. Let point P exist in the plane other than the center of the circle, point O. For point O no inverse exists.
For any circle with radius r and center point O, any point P in the plane and its inverse (point I) in the circle share a proportionality relationship. It is the case that .
Let also a line exist through point P that is centerline through the circle (that is, it passes through the center of the circle). The center point of the circle need not be constructed or provided. Naturally if the centerline does not exist, it must be constructed, either directly as the line through the circle center or through some other means.
The inverse of point P may be constructed simply.
If point P exists on the arc of the circle, nothing need be done. The point is its own inverse.
Let point P exist in the plane internal or external to the circle:
- Construct the polar to the circle of point P.
- Where the polar intersects the centerline, the inverse is constructed.
Alternatively, if the point P is internal the circle, a line through it perpendicular to the centerline may be constructed. Where this perpendicular intersects the circle, tangents to the circle may be constructed, which intersect one another at the inverse point. The line perpendicular to the centerline through point P may be constructed as the third parallel to the two tangents to the circle at the points the centerline intersect the circle.
Given the polar construction of the previous section using the projective harmonic conjugate technique, if the chord is chosen to be the diameter of the circle, the constructed conjugate is also the inverse of a point P in a circle.
Constructing the Pole from a Polar in a Circle
[edit]Given an arbitrary line m in space and a circle (devoid of its center), we may find the point M that is the pole to the polar m in the circle.
This construction will work for polar lines that are both intersecting and non-intersecting to the circle.
- Choose any two points A and B arbitrarily on the line m.
- To the circle, construct the polar of the point A.
- The polar is line a.
- To the circle, construct the polar of the point B.
- The polar is line b.
- Intersect the lines a and b.
- The intersection point is M, the pole associated with the polar line m.
This construction is fully general. Each of the special cases to follow are simplified special cases of this construction.
from a tangential polar
[edit]This is a trivial case. If the polar is tangential to the circle, the point of intersection to the circle is the pole. The pole is on the polar at the point of tangency. There is nothing to construct, but to find the point of tangency by intersecting the circle with the tangent.
from a polar cutting through the circle
[edit]For any polar intersecting the circle in two points A and B, we may construct the tangents to the circles at the points A and B. These tangent lines intersect one another at a unique point exterior to the circle. The intersection point is the pole.
If the polar is also a centerline (thus crossing the circle center) then there is no pole; or it "exists at infinity". The tangent lines to the circle, in this case, will be parallel.
Constructing a Centerline from Two Parallels
[edit]Given are two parallel lines and a circle placed arbitrarily in the plane. Construct additional parallel lines as necessary, such that no fewer than two intersect the circle, with a total of four distinct intersection points between them.
Let one of the parallel lines intersect the circle at points A and B; let a second parallel intersect at points C and D. A centerline to the circle may be constructed simply:
- Bisect line segment AB.
- Let the midpoint be point M.
- The bisection may be done using the segment bisection construction by way of two parallels, as found on the Poncelet-Steiner theorem main article.
- Similarly, bisect line segment CD.
- Let the midpoint be point N.
- Construct the line MN.
- This line is perpendicular to the two parallel lines.
- This line is a centerline to the circle.
Observe that a single midpoint construction (or segment bisection) may be used. Line segments AB and CD may be bisected concurrently, and bisected by the very centerline we wish to construct. The details may be found in the appropriate section on the Poncelet-Steiner theorem main article.
More concisely, we may define points X and Y by the intersections of lines AC with BD and AD with BC, respectively. The line XY is the desired centerline (which bisects both AB and CD concurrently).
Should a point (e.g. X) not exist due to two lines (e.g. AC with BD) being parallel, we may use concurrent line constructions, or we may use the two parallel lines AB and CD to construct a third parallel through the circle at a more convenient location for this construction. Alternatively, we may recognize that this scenario can only happen if ABCD is a rectangle, in which case each diagonal defines a centerline.
If one of the parallels happens to pass through the circle center, its intersection points with the circle defines two opposing vertices of a square inscribed in the circle. The constructed centerline, which is orthogonal and also passes through the circle center, defines the other two vertices. Thus a square may be defined, as per a previous section Circles Imply Squares.
alternative with poles
[edit]Alternatively, we may find the two distinct poles corresponding to the two distinct parallel lines (treated as polars) to the circle. The two poles of these parallels define a perpendicular line which passes through the circle center.
Construction of a Common Centerline Through Two Non-Intersecting Circles
[edit]Constructing a common centerline from a point on the centerline
[edit]- Generalize this section to point that is inside one or two circles.
- Write in terms of centerline from two parallels, in previous section.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f0/Centerline_construction_from_point.png/350px-Centerline_construction_from_point.png)
Given two non-intersecting circles (both in dark green), each devoid of their centers, and given an arbitrary point on the centerline, point M, exterior to at least one of the two circles, it is possible to construct the centerline.
- From the point M on the centerline, construct the points of tangency to each of the two circles.
- The polar, line ST (in red), connect the points of tangency of the near circle.
- The polar, line UV (in orange), connect the points of tangency of the far circle.
- If a polar of one of the circles cannot be constructed then see the notes below for an alternative construction.
- Draw lines from each point of tangency on the near circle, to a point of tangency on the other circle:
- Construct line SV (in light green).
- Construct line TU (in light blue).
- The points of tangency should be paired consistently. Lines SU and TV also work.
- The lines intersect at a point X, which is also on the centerline.
- Construct line MX (in dark blue).
- This is the centerline.
If the point M is in the interior of one of the circles, only a slight modification is necessary. The polar through only one of the circles is truly necessary. Tangent lines through the point M to any circle they can be constructed on will intersect the other circle at two points for each tangent line; they will be symmetric across the centerline. In the general case at least two additional centerline points may be constructed as intersections.
This construction will fail if the point M is interior to both circles simultaneously, one interior to the other but not intersecting. It will also fail if the point is the common point of tangency between the two circles, be they interior or exterior.
In general, from any point on the centerline, two parallel lines may be constructed which are perpendicular to the centerline. From this scenario, refer back to the centerline construction from two parallel lines in the plane.
Constructing a common centerline from a point on the radical axis
[edit]When two arbitrary non-intersecting circles are provided - left and right circles l and r - without their centers, and a point P exists in the plain on the radical axis between the circles, the common centerline through the circles may be constructed.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/66/Point_on_radical_axis.png/350px-Point_on_radical_axis.png)
- From point P, construct the tangent points to circle l: points A and B.
- The tangent lines are drawn for convenience (in dashed black), but are themselves unimportant for construction. Only the points of tangency are significant.
- From point P, construct the tangent points to circle r: points C and D.
- The tangent lines are drawn for convenience (in dashed black).
- From each of the two points of tangency on either circle, draw lines to the points of tangency on the other circle.
- Lines AC and BD are both in light green.
- Lines AD and BC are both in red.
- There will always be a point of intersection, point M, between the two circles made by the red lines.
- The green lines, however, if they intersect will do so to one side, away from and outside of the two circles, possibly at a great distance (point X). This happens if they are not congruent circles. If the circles are congruent then the lines will be parallel, and we may say point X is "at infinity".
- Draw the line passing through point M (in blue) that is concurrent with the green lines.
- Draw the line MX if point X exists.
- Or construct the concurrent or, if necessary, a third parallel to the green lines, through the point M.
- The blue line MX is the centerline of the two circles, passing through the centers of each circle.
Construction of the Radical Axis From a Point on the Axis
[edit]This is a relatively trivial construction. The intersection point of the polars to each circle from the point on the radical axis, is also on the radical axis, and thus define the line:
- From the point P on the radical axis, construct the polar to each circle.
- Intersect the polars at a point X, if they intersect.
- If the point P is also on the centerline between circles then the polars will be parallel.
- Draw or construct the line through the point P and point X, if it exists.
- One may construct the concurrent, or third parallel if necessary, of the polars of point P, through point P.
- This is the radical axis.
Intersecting a Line with the Circle of an Arc
[edit]Given is an arc of a circle (in dark green), of arbitrary arc length, spanning between the endpoints A and B of the arc AB. Given also is a line m (in black). We wish to intersect the line with the circle of the arc; that is to say, we wish to find the intersection points of the line with the circle which is defined by the arc.
Notice that for this construction the center, point O, of said circle is not utilized. It need not be provided at all in order to intersect a line with the arc of the circle. However, according to Steiner's theorem, in order to construct all of Euclid the center is still required, if provided only a single circular arc in the plane.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/08/Francesco_severi_construction.png/450px-Francesco_severi_construction.png)
- At points A and B, construct the tangent lines to the circle (in dashed gray).
- These tangent lines intersect at a point C.
- If these lines do not intersect then the tangents are parallel:
- Points A and B exist diametrically opposite the circle center.
- We treat the point C as existing "at infinity"; any line passing through it may be constructed as another parallel.
- Alternatively, see notes below for a different treatment.
- Draw a line AB (in red).
- Lines AB and m intersect at a point D.
- If these lines do not intersect then they are parallel:
- We treat the point D as existing "at infinity"; any line passing through it may be constructed as another parallel.
- Alternatively, see notes below for a different treatment.
- If the tangents to the arc were also parallel in step 1 then the alternative treatment is required. The tangents through points A and B cannot be parallel to one another and perpendicular to both lines AB and m, simultaneously.
- If these lines do not intersect then they are parallel:
- Draw a line CD (in orange).
- Choose two points arbitrarily on line AB, named points E and F.
- Neither point can be point D, but is otherwise completely arbitrary.
- Points A and B may be chosen to coincide with E and F, if convenient.
- Draw lines CE and CF (both in light green).
- These lines intersect line m at points I and G, respectively.
- Draw a line EG (in pink).
- This line intersects line CD at point H.
- Draw a line HI (in light blue).
- This line intersects line AB at point J.
- Draw a line CJ (in purple).
- This line intersects line EG at point K.
- Draw a line DK (in brown).
- This line intersects the arc at two points L and M.
- If there is no intersection with the arc, then line m does not intersect the circle of the arc.
- Draw lines CL and CM (both in dark blue).
- These lines intersect line m at points X and Y, respectively.
- These are the points of intersection between the line m and the circle of the arc.
Note: In the event that lines are inconveniently parallel, we may resolve the dilemma by reducing the arc. We may choose a point arbitrarily on the arc, e.g. point B`, that truncates it into a smaller arc AB`. In doing this we may ensure that the tangent lines are not parallel, and/or that the lines AB` and m are not parallel.
With this construction, the Poncelet-Steiner theorem can be strengthened, as per Francesco Severi's 1904 theorem.
- Any compass and straightedge construction may be completed with the straightedge alone, provided that any portion of the arc of a single circle, along with the center of the circle of said arc, exists in the plane.
Circle Center from Two Centerlines (Basic Principle)
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/42/Centerlines.png/200px-Centerlines.png)
The center point of a circle is trivially determined from the centerline constructions, which are listed below, and depend on the scenario. The concept for constructing the center point of a circle is fairly straightforward:
- Construct one centerline arbitrarily on one of the circles.
- Construct a second, arbitrary but non-coincident, centerline on the same circle.
- The two centerlines intersect at a unique point, the center of the prescribed circle.
How these centerlines are constructed will depend on the information provided, and will be the principle of center constructions in the variety of arrangements to follow.
Construction of a Circle Center from Concentric or Intersecting Circles
[edit]Two circles without their centers, by itself, is not sufficient information to construct a center. Something more must be given. There are a number of ways to construct the center of a circle given two or more circles, and having additional but sufficient information about the scenario that allows the center to be recovered. This is not an exhaustive list.
Circle Center / Centerlines From Two Concentric Circles
[edit]Two circles without their centers is not sufficient information to construct a center. Something more must be given, and knowing the fact that they are concentric turns out to be sufficient information. If given two concentric circles devoid of a center, the center may in fact be constructed using a straightedge only.
Given below are two concentric circles (both in green): the inner circle, i, and the outer circle, o.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2f/Concentric_circles_steiner_center.png/350px-Concentric_circles_steiner_center.png)
- Choose a point A arbitrarily on the outer circle o.
- Using point A as an external point to the inner circle i, construct the tangent lines (both in deep dark blue) to the inner circle.
- The points of tangency are points S and T.
- The tangent lines will intersect the outer circle at points B and C.
- From each points B and C, construct tangent lines to the inner circle (both in blue).
- Each point already has one of its two tangent lines constructed.
- The points of tangency are points U and V.
- Take note that this process may continue for as long as is preferred and convenient, constructing new tangent lines encircling the inner circle.
- Lines AT and BU intersect at a point X
- Lines AS and CV intersect at a point Y.
- Lines BU and CV intersect at a point Z.
- Observe the isosceles triangles and the deltoid shapes formed by these constructions (highlighted in shades of blue). These shapes are symmetric about their centerlines.
- ACY and ABX form isosceles triangles. ABZC forms a deltoid.
- The two red lines are lines of symmetry across the two isosceles triangles, connecting a peak vertex of the triangle with a point of tangency of at the midpoint of the opposite side.
- The orange line is the line of symmetry across a deltoid, connecting vertices.
- These lines are all defined by the intersection points of tangent lines, and/or their points of tangency.
- All three of these lines are centerlines to the circles, thus intersecting at the same point O, the center of the circles.
Circle Centerlines From Two Intersecting Circles
[edit]Two circles without their centers is not sufficient information to construct a center. Something more must be given, and intersection points is sufficient. When two circles are given devoid of their centers, if they intersect we may construct their centers using a Steiner construction.
There are two cases: When the two circles intersect at two points, and alternatively when they intersect at one point (i.e. are tangent to one another). These must, in general, be treated separately, though there are many similarities in the principles employed.
Centers are determined from the intersections of two or more centerlines. To find a circle center in either of the two cases, each of the constructions below must be completed twice, using unique points where arbitrary points are required.
Centerline from two unique points of intersection
[edit]Below two intersecting circles are given (in dark green), devoid of centers, and intersecting at two points U and V.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/07/Center_of_intersecting_circles.png/350px-Center_of_intersecting_circles.png)
- The two circles intersect at two distinct points U and V.
- Choose a circle arbitrarily in which the centerline is to be constructed. In this example the larger circle on the left is chosen.
- Using the alternate circle - the smaller one on the right - arbitrarily choose two initial points A and B.
- Construct four lines (in dark blue), each one passing through either one point A or B, and passing through either one point U or V.
- The lines associated with point U intersect the larger circle at points C and D.
- The lines associated with point V intersect the larger circle at points E and F.
- It is important to note that lines DE and CF are parallel with line AB (all three not drawn). If A=B then lines DE and CF coincide, but are parallel to the tangent line at A=B (see the next section). The remainder of this construction is that of a centerline from two parallels.
- Two new lines are drawn (in red), CE and DF.
- These lines cross one another in the circle interior.
- These lines are associated with the points on the larger circle which are themselves associated with the same same arbitrary point on the smaller circle.
- The two red lines intersect at a point Y.
- Two new lines are drawn (in orange), CD and EF.
- These lines intersect at a point X exterior to the circle.
- The line XY (in light green) cuts the circle in half, symmetrically down its centerline, bisecting the chosen circle into two equal halves.
Centerline from two points of intersection and a tangent line
[edit]![Constructing two parallels from intersecting circles having a tangent line](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e8/Two_intersection_points_and_an_outer_tangent.png/350px-Two_intersection_points_and_an_outer_tangent.png)
In the special case, from the previous section, that only one point is known on the circle: A=B, though a tangent line (in black) through it is known, as are the circle intersection points U and V, the construction of a second parallel may still be found.
- Construct lines AU and AV (in red).
- These lines intersect the other circle at points C and E, respectively.
- Draw line CE (in blue).
- This line is parallel to the (black) tangent line through A.
- Additional parallels may be constructed and a centerline, as necessary, according to previous constructions.
Centerline from two points of intersection and a tangent line at an intersection
[edit]![Constructing a set of parallel lines given two intersecting circles and a tangent line at one of the intersection points.](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Parallel_from_intersecting_circles_with_a_tangent_line_at_intersection_point.png/350px-Parallel_from_intersecting_circles_with_a_tangent_line_at_intersection_point.png)
Given two circles with two intersection points between them (points U and V), and a tangent line (in black) at one of these intersection points, we may construct a set of parallel lines.
- Choose an arbitrary point A on the circle which has the tangent line to it (which passes through intersection point U).
- Draw the line AU (in magenta).
- This line is one of the two in the set of parallels to be constructed.
- This line intersects the other circle at a point B.
- Draw the line AV (in red).
- This line intersects the other circle at a point C.
- Intersect the (black) tangent line with the other circle at a point D.
- Draw the line CD (in blue).
- If points C=D then construct a tangent at this point.
- This line is the second in the set of parallels.
This construction becomes useful if the geometer wishes to learn how to construct a center point from three arbitrary circles in the plane.
Centerline from one point of intersection (tangential circles)
[edit]Below two intersecting circles are given (in dark green), devoid of centers, and intersecting at one point of tangency, the point I.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d2/Center_of_tangential_circles.png/350px-Center_of_tangential_circles.png)
- Place two points, A and B, arbitrarily on either circle.
- Construct two lines through point I, the point of tangency, through each points A and B (in dark blue).
- Lines AI and BI intersect the other circle at points D and C, respectively.
- Draw lines AB and CD (each in red).
- These two lines are parallel to one another.
- It is known that two parallels in the plane and two circles is sufficient to find a center point. The remainder of this construction demonstrates a method.
- Choose which of the two circles is to have a centerline constructed through it. In this example the left, larger circle is chosen.
- Arbitrarily pick one or two points, S and T, on the circle through which a centerline is to be made.
- Construct the one or two lines through each of the points S and T (in orange), parallel to the red lines AB and CD.
- This is possible as there are two parallels in the plane. A third parallel may be constructed from them through any arbitrary point in the plane.
- These lines intersect the circle at points U and V, respectively.
- It is important to note that there are two or three parallels cutting through the left circle. The remainder of this construction is that of a centerline from two (or three, if convenient) parallels.
- Construct line segments AU, BS, SV, and UT (in magenta).
- These line segments will intersect one another in the interior of the circle at points X and Y.
- Construct line XY (in light green).
- This is the desired centerline (diameter, line of symmetry), through the left, larger circle.
In a similar fashion to the two-intersection case, points A and B may be coincident, if a tangent line to the circle at A=B exists, then a construction may still be done. A single line AI intersects the other circle at the consolidated point C=D. Here, another tangent line to this circle may be constructed. The two tangent lines are parallel.
The centerline may be viewed as the polar of the "point at infinity" from which the three parallel lines originate. The above demonstrates the centerline construction by way of a polar construction using three lines, from the "point at infinity".
Constructing a Circle Center from Non-Intersecting Circles
[edit]From Two Parallel Lines in the Plane
[edit]From any two parallel lines, additional parallels may be constructed. Construct zero-to-four additional parallels, as necessary, such that at least two parallel lines intersect each circle. From two parallel cutting lines through a circle, a centerline through each circle may be constructed perpendicular to these parallel lines. This technique is explained in the centerline from two cutting parallels and circles imply squares sections.
In the general case, there will be two distinct such centerlines, one for each circle. These constructed centerlines are parallel to one another, of which there are two; furthermore, they intersect the original two parallel lines, to which they are perpendicular, thus defining four points of intersection that encompass a rectangle (a parallelogram). From this information it is a triviality to find a second distinct centerline through each circle, using previously described techniques. One may take advantage of the two parallel centerlines to construct a second cutting parallel through each circle, or one may take advantage of the parallelogram to construct parallels of arbitrary lines. Using either approach, two cutting parallels through each circle defines a second distinct centerline.
If from the two original parallel lines only one common centerline through the circles is defined, the construction will fail. It happens by coincidence that the two parallel lines were perpendicular to a common centerline. This is a special case scenario. Constructing the common centerline from two parallels is a similar construction to that from a point on the centerline. An alternative construction exists to find the center points of two circles from the common centerline through them. This construction is explained in the next section.
From Two Circles With Both a Common Centerline and a Common Tangent
[edit]The common centerline, line c, already counts as a centerline through each circle, and thus one of the two centerlines required to find a center. We need only construct a second centerline through either one or both of the other two circles, thereby allowing a center point to be constructed. The common tangent line, line t, allows us to construct what is needed quite trivially. The center points may be constructed by way of two parallel lines in the plane, as per the previous construction discussed in this section. The parallel lines, however, are themselves trivially constructed.
Let points A, B, C, and D be the four points of intersection between the common centerline, line c, and the two circles. Labeled the points in that same order, such that point A on circle l corresponds to point C on circle r (being the left-most points), and vice versa, point B on circle l corresponds to point D on circle r (being the right-most points). Let also point I be the point of tangency of tangent line t with circle l, and point J be the point of tangency on circle r. It is the case then that lines AI and CJ are parallel, and indeed lines BI and DJ are also parallel. Now, proceed to the previous section to complete the construction.
This construction (and the previous one that is referenced) are used in the following section: constructing a center from two non-intersecting circles having only a centerline in common.
From Two Circles With A Common Centerline, or From Three Circles
[edit]This section is for the treatment of two non-intersecting circles devoid of their centers, but sharing a common centerline, or the scenario involving three non-intersecting circles. These constructions are rather complicated and requires a more thorough discussion. Many hundreds of line constructions are required, and the concepts are advanced, coming from projective geometry and including such topics as inversions, involutions, projections, harmonics, conjugates, homologies, fixed points, and others. Many preliminary constructions must be explained as they will be utilized many times, and they have yet to be discussed in either this subpage, or in the Poncelet-Steiner theorem main article. These are not trivial constructions.
In the two-circle scenario, one centerline common to both circles is already provided as a given to this scenario; to find a circle center we must only find a second centerline to either one of the two circles. In the three-circle scenario, many of the same concepts and constructions will carry over from the two-circle scenario. Refer to my second sandbox to continue the discussion.
Category:Euclidean plane geometry
Category:Theorems in plane geometry
Category:Compass and straightedge constructions