Napoleon's problem

Last updated December 25, 2022

Napoleon's problem is a compass construction problem. In it, a circle and its center are given. The challenge is to divide the circle into four equal arcs using only a compass.^[1]^[2] Napoleon was known to be an amateur mathematician, but it is not known if he either created or solved the problem. Napoleon's friend the Italian mathematician Lorenzo Mascheroni introduced the limitation of using only a compass (no straight edge) into geometric constructions. But actually, the challenge above is easier than the real Napoleon's problem, consisting in finding the center of a given circle with compass alone. The following sections will describe solutions to three problems and proofs that they work.

Dividing a given circle into four equal arcs given its centre

Centred on any point X on circle C, draw an arc through O (the centre of C) which intersects C at points V and Y. Do the same centred on Y through O, intersecting C at X and Z. Note that the line segments OV, OX, OY, OZ, VX, XY, YZ have the same length, all distances being equal to the radius of the circle C.

Now draw an arc centred on V which goes through Y and an arc centred on Z which goes through X; call where these two arcs intersect T. Note that the distances VY and XZ are ${\sqrt {3}}$ times the radius of the circle C.

Put the compass radius equal to the distance OT ( ${\sqrt {2}}$ times the radius of the circle C) and draw an arc centred on Z which intersects the circle C at U and W. UVWZ is a square and the arcs of C UV, VW, WZ, and ZU are each equal to a quarter of the circumference of C.

Finding the centre of a given circle

Let (C) be the circle, whose centre is to be found.^[3]

Let A be a point on (C).

A circle (C1) centered at A meets (C) at B and B'.

Two circles (C2) centered at B and B', with radius AB, cross again at point C.

A circle (C3) centered at C with radius AC meets (C1) at D and D'.

Two circles (C4) centered at D and D' with radius AD meet at A, and at O, the sought center of (C).

Note: for this to work the radius of circle (C1) must be neither too small nor too large. More precisely, this radius must be between half and double of the radius of (C): if the radius is greater than the diameter of (C), (C1) will not intersect (C); if the radius is shorter than half the radius of (C), point C will be between A and O and (C3) will not intersect (C1).

Proof

The idea behind the proof is to construct, with compass alone, the length b²/a when lengths a and b are known, and a/2 ≤ b ≤ 2a.

In the figure on the right, a circle of radius a is drawn, centred at O; on it a point A is chosen, from which points B and B' can be determined such that AB and AB' have a length of b. Point A' lies opposite A, but does not need to be constructed (it would require a straightedge); similarly point H is the (virtual) intersection of AA' and BB'. Point C can be determined from B and B', using circles of radius b.

Triangle ABA' has a right angle at B and BH is perpendicular to AA', so :

{\frac {AH}{AB}}={\frac {AB}{AA'}}

Therefore, $AH={\frac {b^{2}}{2a}}$ and AC = b²/a.

In the above construction of the center, such a configuration appears twice :

points A, B and B' are on the circle (C), radius a^₁ = r ; AB, AB', BC, and B'C are equal to b^₁ = R, so $AC={\frac {R^{2}}{r}}$ ;
points A, D and D' are on the circle of centre C, radius $a_{2}={\frac {R^{2}}{r}}$ ; DA, D'A, DO, and D'O are equal to b^₂ = R, so $AO={\frac {R^{2}}{R^{2}/r}}=r$ .

Therefore, O is the centre of circle (C).

Finding the middle of a given distance or of a line segment

Let |AD| be the distance , whose centre is to be found.^[4]

Two circles (C₁) centered at A and (C₂) centered at D with radius |AD| meet at B and B'.

A circle (C₃) centered at B' with radius |B'B| meets the circle (C₂) at A'.

A circle (C₄) centered at A' with radius |A'A| meets the circle (C₁) at E and E'.

Two circles (C₅) centered at E and (C₆) centered at E' with radius |EA| meet at A and O. O is the sought center of |AD|.

The design principle can also be applied to a line segment AD.
The proof described above is also applicable for this design.

Note: Point A in design is equivalent to A in proof.

Therefore radius: (C₂) ≙ (C) and points: O ≙ H, B ≙ B, D ≙ O and A' ≙ A'.

Related Research Articles

<span class="mw-page-title-main">Circle</span> Simple curve of Euclidean geometry

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is constant. The distance between any point of the circle and the centre is called the radius. Usually, the radius is required to be a positive number. A circle with $is a degenerate case. This article is about circles in Euclidean geometry, and, in particular, the Euclidean plane, except where otherwise noted.$

<span class="mw-page-title-main">Angle trisection</span> Construction of an angle equal to one third a given angle

Angle trisection is a classical problem of straightedge and compass construction of ancient Greek mathematics. It concerns construction of an angle equal to one third of a given arbitrary angle, using only two tools: an unmarked straightedge and a compass.

<span class="mw-page-title-main">Bisection</span> Division of something into two equal or congruent parts

In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a bisector. The most often considered types of bisectors are the segment bisector and the angle bisector.

In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.

<span class="mw-page-title-main">Equilateral triangle</span> Shape with three equal sides

In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. It is also a regular polygon, so it is also referred to as a regular triangle.

In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the circumcircle or circumscribed circle, and the vertices are said to be concyclic. The center of the circle and its radius are called the circumcenter and the circumradius respectively. Other names for these quadrilaterals are concyclic quadrilateral and chordal quadrilateral, the latter since the sides of the quadrilateral are chords of the circumcircle. Usually the quadrilateral is assumed to be convex, but there are also crossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.

In geometry, Thales's theorem states that if A, B, and C are distinct points on a circle where the line AC is a diameter, the angle ABC is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as part of the 31st proposition in the third book of Euclid's Elements. It is generally attributed to Thales of Miletus, but it is sometimes attributed to Pythagoras.

<span class="mw-page-title-main">Midpoint</span> Point on a line segment which is equidistant from both endpoints

In geometry, the midpoint is the middle point of a line segment. It is equidistant from both endpoints, and it is the centroid both of the segment and of the endpoints. It bisects the segment.

In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H $, together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry.$

A central angle is an angle whose apex (vertex) is the center O of a circle and whose legs (sides) are radii intersecting the circle in two distinct points A and B. Central angles are subtended by an arc between those two points, and the arc length is the central angle of a circle of radius one. The central angle is also known as the arc's angular distance. The arc length spanned by a central angle on a sphere is called spherical distance.

In the branch of mathematics known as Euclidean geometry, the Poncelet–Steiner theorem is one of several results concerning compass and straightedge constructions having additional restrictions imposed on the traditional rules. This result states that whatever can be constructed by straightedge and compass together can be constructed by straightedge alone, provided that a single circle and its centre are given. This theorem is related to the rusty compass equivalence.

In mathematics, the Mohr–Mascheroni theorem states that any geometric construction that can be performed by a compass and straightedge can be performed by a compass alone.

In geometry, a quadratrix is a curve having ordinates which are a measure of the area of another curve. The two most famous curves of this class are those of Dinostratus and E. W. Tschirnhaus, which are both related to the circle.

In geometry, the Beltrami–Klein model, also called the projective model, Klein disk model, and the Cayley–Klein model, is a model of hyperbolic geometry in which points are represented by the points in the interior of the unit disk and lines are represented by the chords, straight line segments with ideal endpoints on the boundary sphere.

A circular arc is the arc of a circle between a pair of distinct points. If the two points are not directly opposite each other, one of these arcs, the minor arc, subtends an angle at the centre of the circle that is less than $π$ radians ; and the other arc, the major arc, subtends an angle greater than $π$ radians. The arc of a circle is defined as the part or segment of the circumference of a circle. A straight line that connects the two ends of the arc is known as a chord of a circle. If the length of an arc is exactly half of the circle, it is known as a semicircular arc.

In geometry, a homothetic center is a point from which at least two geometrically similar figures can be seen as a dilation or contraction of one another. If the center is external, the two figures are directly similar to one another; their angles have the same rotational sense. If the center is internal, the two figures are scaled mirror images of one another; their angles have the opposite sense.

In Euclidean plane geometry, a tangent line to a circle is a line that touches the circle at exactly one point, never entering the circle's interior. Tangent lines to circles form the subject of several theorems, and play an important role in many geometrical constructions and proofs. Since the tangent line to a circle at a point $P$ is perpendicular to the radius to that point, theorems involving tangent lines often involve radial lines and orthogonal circles.

In geometry, a pentagon is any five-sided polygon or 5-gon. The sum of the internal angles in a simple pentagon is 540°.

The quadratrix or trisectrix of Hippias is a curve which is created by a uniform motion. It is one of the oldest examples for a kinematic curve. Its discovery is attributed to the Greek sophist Hippias of Elis, who used it around 420 BC in an attempt to solve the angle trisection problem. Later around 350 BC Dinostratus used it in an attempt to solve the problem of squaring the circle.

In geometry, a mixtilinear incircle of a triangle is a circle tangent to two of its sides and internally tangent to its circumcircle. The mixtilinear incircle of a triangle tangent to the two sides containing vertex $is called the -mixtilinear incircle. Every triangle has three unique mixtilinear incircles, one corresponding to each vertex.$

References

↑ Folens MATHS Programme Year 9, 3. Mascheroni constructions, Napoleon's problem, p. 72–73 Projekt Director: Mary Pardoe, 2003 by Folens Limited, ISBN 1 84303 358-5 Retrieved 2018-06-07
↑ Napoleon's problem
↑ August Adler (1906), "Mascheronische Konstruktionen p. 119, Fig. 96", Theorie der geometrischen Konstruktionen (in German), Leipzig: G. J. Göschensche Verlagshandlung, p. 301, retrieved 2018-06-03
↑ August Adler (1906), "Mascheronische Konstruktionen p. 97–98, Fig. 73", Theorie der geometrischen Konstruktionen (in German), Leipzig: G. J. Göschensche Verlagshandlung, p. 301, retrieved 2018-06-03

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Folens MATHS Programme Year 9, 3. Mascheroni constructions, Napoleon's problem, p. 72–73 Projekt Director: Mary Pardoe, 2003 by Folens Limited, ISBN 1 84303 358-5 Retrieved 2018-06-07

[2] Napoleon's problem

[3] August Adler (1906), "Mascheronische Konstruktionen p. 119, Fig. 96", Theorie der geometrischen Konstruktionen (in German), Leipzig: G. J. Göschensche Verlagshandlung, p. 301, retrieved 2018-06-03

[4] August Adler (1906), "Mascheronische Konstruktionen p. 97–98, Fig. 73", Theorie der geometrischen Konstruktionen (in German), Leipzig: G. J. Göschensche Verlagshandlung, p. 301, retrieved 2018-06-03

[1]

[2]

[3]

[4]