Editing Mohr–Mascheroni theorem (section)

==Constructive proof==

=== Outline ===
To prove the theorem, each of the [[Compass-and-straightedge construction#The basic constructions|basic constructions of compass and straightedge]] need to be proven to be possible by using a compass alone, as these are the foundations of, or elementary steps for, all other constructions. These are:
#Creating the line through two existing points
#Creating the circle through one point with centre another point
#Creating the point which is the intersection of two existing, non-parallel lines
#Creating the one or two points in the intersection of a line and a circle (if they intersect)
#Creating the one or two points in the intersection of two circles (if they intersect).

'''#1 - A line through two points'''

It is understood that a straight line cannot be drawn without a straightedge. A line is considered to be given by any two points, as any such pair define a unique line. In keeping with the intent of the theorem which we aim to prove, the actual line need not be drawn but for aesthetic reasons.

'''#2 - A circle through one point with defined center'''

This can be done with a compass alone. A straightedge is not required for this.

'''#5 - Intersection of two circles'''

This construction can also be done directly with a compass.

'''#3, #4 - The other constructions'''

Thus, to prove the theorem, only compass-only constructions for #3 and #4 need to be given.

=== Notation and remarks ===
The following notation will be used throughout this article. A circle whose center is located at point {{mvar|U}} and that passes through point {{mvar|V}} will be denoted by {{math|''U''(''V'')}}. A circle with center {{mvar|U}} and radius specified by a number, {{mvar|r}}, or a line segment {{math|{{overline|''AB''}}}} will be denoted by {{math|''U''(''r'')}} or {{math|''U''(''AB'')}}, respectively.<ref>{{harvnb|Eves|1963|loc=p. 184}}</ref>

In general constructions there are often several variations that will produce the same result. The choices made in such a variant can be made [[without loss of generality]]. However, when a construction is being used to prove that something can be done, it is not necessary to describe all these various choices and, for the sake of clarity of exposition, only one variant will be given below. However, many constructions come in different forms depending on whether or not they use [[Inversion in a circle|circle inversion]] and these alternatives will be given if possible.

It is also important to note that some of the constructions below proving the Mohr–Mascheroni theorem require the arbitrary placement of points in space, such as finding the center of a circle when not already provided (see construction below). In some construction paradigms - such as in the geometric definition of the [[constructible number]] - the arbitrary placement of points may be prohibited. In such a paradigm, however, for example, various constructions exist so that arbitrary point placement is unnecessary. It is also worth pointing out that no circle could be constructed without the compass, thus there is no reason in practice for a center point not to exist.

=== Some preliminary constructions ===
To prove the above constructions #3 and #4, which are included below, a few necessary intermediary constructions are also explained below since they are used and referenced frequently. These are also compass-only constructions. All constructions below rely on #1,#2,#5, and any other construction that is listed prior to it.

==== Compass equivalence theorem (circle translation) ====
{{main|Compass equivalence theorem}}
The ability to translate, or copy, a circle to a new center is vital in these proofs and fundamental to establishing the veracity of the theorem. The creation of a new circle with the same radius as the first, but centered at a different point, is the key feature distinguishing the collapsing compass from the modern, rigid compass. With the rigid compass this is a triviality, but with the collapsing compass it is a question of construction possibility.  The equivalence of a collapsing compass and a rigid compass was proved by Euclid (Book I Proposition 2 of ''The Elements'') using straightedge and collapsing compass when he, essentially, constructs a copy of a circle with a different center. This equivalence can also be established with (collapsing) compass alone, a proof of which can be found in the main article.

==== Reflecting a point across a line ====
[[File:PointReflection.png|thumb|Point symmetry]]
* Given a line segment {{math|{{overline|''AB''}}}} and a point {{mvar|C}} not on the line determined by that segment,  construct the image of {{mvar|C}} upon reflection across this line.
# Construct two circles: one centered at {{mvar|A}} and one centered at {{mvar|B}}, both passing through {{mvar|C}}.
# {{mvar|D}}, the other point of intersection of the two circles, is the reflection of {{mvar|C}} across the line {{math|{{overline|''AB''}}}}.
#* If {{math|1=''C'' = ''D''}} (that is, there is a unique point of intersection of the two circles), then {{mvar|C}} is its own reflection and lies on the line {{math|{{overline|''AB''}}}} (contrary to the assumption), and the two circles are internally tangential.

{{clear}}

====Extending the length of a line segment====
[[File:Compass only extension of a segment.svg|thumb|A compass-only construction of doubling the length of segment AB]]
*Given a line segment {{math|{{overline|''AB''}}}} find a point {{mvar|C}} on the line {{math|{{overline|''AB''}}}} such that {{mvar|B}} is the midpoint of line segment {{math|{{overline|''AC''}}}}.<ref name="Pedoe 1988 loc=p. 78">{{harvnb|Pedoe|1988|loc=p. 78}}</ref>
# Construct point {{mvar|D}} as the intersection of circles {{math|''A''(''B'')}} and {{math|''B''(''A'')}}. (∆''ABD'' is an [[equilateral triangle]].)
# Construct point {{math|''E'' ≠ ''A''}} as the intersection of circles {{math|''D''(''B'')}} and {{math|''B''(''D'')}}. (∆''DBE'' is an equilateral triangle.)
# Finally, construct point {{math|''C'' ≠ ''D''}} as the intersection of circles {{math|''B''(''E'')}} and {{math|''E''(''B'')}}. (∆''EBC'' is an equilateral triangle, and the three angles at {{mvar|B}} show that {{math|''A'', ''B'' and ''C''}} are collinear.)

This construction can be repeated as often as necessary to find a point {{mvar|Q}} so that the length of line segment {{math|{{overline|''AQ''}}}} = {{math|''n''}}⋅ length of line segment {{math|{{overline|''AB''}}}} for any positive integer {{math|''n''}}.
{{clear}}

==== Inversion in a circle ====
[[File:InversionPointCircle.png|thumb|Point inversion in a circle]]
* Given a circle {{math|''B''(''r'')}}, for some radius {{mvar|r}} (in black) and a point {{math|''D'' (≠ ''B'')}} construct the point {{mvar|I}} that is the inverse of {{mvar|D}} in the circle.<ref>{{harvnb|Pedoe|1988|loc=p. 77}}</ref> Naturally there is no inversion for a point <math display="inline">D=B</math>.
# Draw a circle {{math|''D''(''B'')}} (in red). 
# Assume that the red circle intersects the black circle at {{mvar|E}} and {{mvar|E'}}
#*if the circles do not intersect in two points see below for an alternative construction.
#*if the circles intersect in only one point, <math>E=E'</math>, it is possible to invert <math>D</math> simply by doubling the length of <math>EB</math> (quadrupling the length of <math>DB</math>).
# Reflect the circle center <math>B</math> across the line <math>EE'</math>:
## Construct two new circles {{math|''E''(''B'')}} and {{math|''E' ''(''B'')}} (in light blue).
## The light blue circles intersect at {{mvar|B}} and at another point {{math|''I'' ≠ ''B''}}.
# Point {{mvar|I}} is the desired inverse of {{mvar|D}} in the black circle.

Point {{mvar|I}} is such that the radius {{mvar|r}} of {{math|''B''(''r'')}} is to {{mvar|IB}} as {{mvar|DB}} is to the radius; or {{math|1=''IB'' / ''r'' = ''r'' / ''DB''}}.

In the event that the above construction fails (that is, the red circle and the black circle do not intersect in two points),<ref name="Pedoe 1988 loc=p. 78"/> find a point {{mvar|Q}} on the line {{math|{{overline|''BD''}}}} so that the length of line segment {{math|{{overline|''BQ''}}}} is a positive integral multiple, say {{mvar|n}}, of the length of {{math|{{overline|''BD''}}}} and is greater than {{math|''r'' / 2}} (this is possible by Archimede's axiom). Find {{mvar|Q'}} the inverse of {{mvar|Q}} in circle {{math|''B''(''r'')}} as above (the red and black circles must now intersect in two points). The point {{mvar|I}} is now obtained by extending {{math|{{overline|''BQ' ''}}}} so that {{math|{{overline|''BI''}}}} = {{math|''n'' ⋅ {{overline|''BQ' ''}}}}.
{{clear}}

====Determining the center of a circle through three points====
[[File:Circle center construction.svg|thumb|Compass-only construction of the center of a circle through three points (A, B, C)]]
* Given three non-collinear points {{mvar|A}}, {{mvar|B}} and {{mvar|C}}, find the center {{mvar|O}} of the circle they determine.<ref name=Pedoe123>{{harvnb|Pedoe|1988|loc=p. 123}}</ref>
# Construct point {{mvar|D}}, the inverse of {{mvar|C}} in the circle {{math|''A''(''B'')}}.
# Reflect {{mvar|A}} in the line {{math|{{overline|''BD''}}}} to the point {{mvar|X}}.
# {{mvar|O}} is the inverse of {{mvar|X}} in the circle {{math|''A''(''B'')}}.
{{clear}}

=== Intersection of two non-parallel lines (construction #3) ===
[[File:Line intersection by compass.svg|thumb|Compass-only construction of the intersection of two lines (not all construction steps shown)]]
* Given non-parallel lines {{math|{{overline|''AB''}}}} and {{math|{{overline|''CD''}}}}, find their point of intersection, {{mvar|X}}.<ref name=Pedoe123 />
# Select circle {{math|''O''(''r'')}} of arbitrary radius whose center {{mvar|O}} does not lie on either line.
# Invert points {{mvar|A}} and {{mvar|B}} in circle {{math|''O''(''r'')}} to points {{mvar|A'}} and {{mvar|B'}} respectively.
# The line {{math|{{overline|''AB''}}}} is inverted to the circle passing through {{mvar|O}}, {{mvar|A'}} and {{mvar|B'}}. Find the center {{mvar|E}} of this circle.
# Invert points {{mvar|C}} and {{mvar|D}} in circle {{math|''O''(''r'')}} to points {{mvar|C'}} and {{mvar|D'}} respectively.
# The line {{math|{{overline|''CD''}}}} is inverted to the circle passing through {{mvar|O}}, {{mvar|C'}} and {{mvar|D'}}. Find the center {{mvar|F}} of this circle.
# Let {{math|''Y'' ≠ ''O''}} be the intersection of circles {{math|''E''(''O'')}} and {{math|''F''(''O'')}}.
# {{mvar|X}} is the inverse of {{mvar|Y}} in the circle {{math|''O''(''r'')}}.
{{clear}}

=== Intersection of a line and a circle (construction #4) ===
The compass-only construction of the intersection points of a line and a circle breaks into two cases depending upon whether the center of the circle is or is not collinear with the line.

==== Circle center is not collinear with the line ====
Assume that center of the circle does not lie on the line.
[[File:LineCircleIntersection.png|thumb|Line-circle intersection (non-collinear case)]]
*Given a circle {{math|''C''(''r'')}} (in black) and a line {{math|{{overline|''AB''}}}}. We wish to construct the points of intersection, {{mvar|P}} and {{mvar|Q}}, between them (if they exist).<ref name=Hunger784>{{harvnb|Hungerbühler|1994|loc=p. 784}}</ref><ref name="Eves199"/>
#Construct the point {{mvar|D}}, which is the reflection of point {{mvar|C}} across line {{math|{{overline|''AB''}}}}. (See above.)
#* Under the assumption of this case, {{math|''C'' ≠ ''D''}}.
#Construct a circle {{math|''D''(''r'')}} (in red). (See above, compass equivalence.)
# The intersections of circle {{math|''C''(''r'')}} and the new red circle {{math|''D''(''r'')}} are points {{mvar|P}} and {{mvar|Q}}.
#* If the two circles are (externally) tangential then <math>P=Q</math>.
#** Internal tangency is not possible.
#* If the two circles do not intersect then neither does the circle with the line.
# Points {{mvar|P}} and {{mvar|Q}} are the intersection points of circle {{math|''C''(''r'')}} and the line {{math|{{overline|''AB''}}}}.
#* If <math>P=Q</math> then the line is tangential to the circle <math>C(r)</math>.

An alternate construction, using circle inversion can also be given.<ref name=Pedoe123 />
*Given a circle {{math|''C''(''r'')}} and a line {{math|{{overline|''AB''}}}}. We wish to construct the points of intersection, {{mvar|P}} and {{mvar|Q}}, between them (if they exist).
# Invert points {{mvar|A}} and {{mvar|B}} in circle {{math|''C''(''r'')}} to points {{mvar|A'}} and {{mvar|B'}} respectively.
#* Under the assumption of this case, points {{mvar|A'}}, {{mvar|B'}}, and {{mvar|C}} are not collinear.
# Find the center {{mvar|E}} of the circle passing through points {{mvar|C}}, {{mvar|A'}}, and {{mvar|B'}}.
# Construct circle {{math|''E''(''C'')}}, which represents the inversion of the line {{math|{{overline|''AB''}}}} into circle {{math|''C''(''r'')}}.
# {{mvar|P}} and {{mvar|Q}} are the intersection points of circles {{math|''C''(''r'')}} and {{math|''E''(''C'')}}.<ref>Pedoe carries out one more inversion at this point, but the points {{mvar|P}} and {{mvar|Q}} are on the circle of inversion and so are invariant under this last unneeded inversion.</ref>
#* If the two circles are (internally) tangential then <math>P=Q</math>, and the line is also tangential.
{{clear}}

==== Circle center is collinear with the line ====
[[File:Circle line intersection.svg|thumb|Compass only construction of intersection of a circle and a line (circle center on line)]]
* Given the circle {{math|''C''(''D'')}} whose center {{mvar|C}} lies on the line {{math|{{overline|''AB''}}}}, find the points {{mvar|P}} and {{mvar|Q}}, the intersection points of the circle and the line.<ref>{{harvnb|Eves|1963|loc=p. 200}}</ref> 
# Construct point {{math|''D' ''≠ ''D''}} as the other intersection of circles {{math|''A''(''D'')}} and {{math|''C''(''D'')}}.
# Construct point {{mvar|F}} as the intersection of circles {{math|''C''(''DD' '')}} and {{math|''D''(''C'')}}. ({{mvar|F}} is the fourth vertex of parallelogram {{mvar|CD'DF}}.)
# Construct point {{mvar|F'}} as the intersection of circles {{math|''C''(''DD' '')}} and {{math|''D' ''(''C'')}}. ({{mvar|F'}} is the fourth vertex of parallelogram {{mvar|CDD'F'}}.)
# Construct point {{mvar|M}} as an intersection of circles {{math|''F''(''D' '')}} and {{math|''F' ''(''D'')}}. ({{mvar|M}} lies on {{math|{{overline|''AB''}}}}.)
# Points {{mvar|P}} and {{mvar|Q}} are the intersections of circles {{math|''F''(''CM'')}} and {{math|''C''(''D'')}}.

Thus it has been shown that all of the basic construction one can perform with a straightedge and compass can be done with a compass alone, provided that it is understood that a line cannot be literally drawn but merely defined by two points.