Processing math: 100%
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

19.1: Classical problems

( \newcommand{\kernel}{\mathrm{null}\,}\)

In this section we list a couple of classical construction problems; each known for more than a thousand years.

The solutions of the following two problems are quite nontrivial.

Problem 19.1.1 Problem of Brahmagupta

Construct an inscribed quadrangle with given sides.

Problem 19.1.1 Problem of Apollonius

Construct a circle that is tangent to three given circles.

截屏2021-03-02 上午9.27.24.png

Several solutions of this problem based on different ideas are presented in [9]. The following exercise is a simplified version of the problem of Apollonius, which is still nontrivial.

Exercise 19.1.1

Construct a circle that passes thru a given point and is tangent to two intersecting lines.

Hint

截屏2021-03-02 上午9.37.42.png

Let O be the point of intersection of the lines. Construct a circle Γ, tangent to both lines, the crosses [OP); denote its center by I. Suppose that X denotes one of the points of intersections of Γ and [OP).

Construct a point I[OI) such that OIOI=OPOX. Observe that the circle passing thru P and centered at I is a solution.

The following three problems cannot be solved in principle; that is, the needed compass-and-ruler construction does not exist.

Doubling the cube

Construct the side of a new cube that has the volum tice as big as the volume of a given cube.

In other words, given a segment of the length a, one needs to construct a segment of length 32a.

Squaring the circle

Construct a square with the same area as a given circle.

If r is the radius of the given circle, we need to construct a segment of length πr.

In fact, there is no compass-and-ruler construction that trisects angle with measure π3. Existence of such a construction would imply constructability of a regular 9-gon which is prohibited by the following famous result:

A regular n-gon inscribed in a circle with center O is a sequence of points A1An on the circle such that

AnOA1=A1OA2==An1OAn=±2nπ.

The points A1,,An are vertexes, the segments [A1A2],,[AnA1] are sides and the remaining segments [AiAj] are diagonals of the n-gon.

A construction of a regular n-gon, therefore, is reduced to the construction of an angle with size 2nπ.

Theorem 19.1.1 Gauss-Wantzel theorem

A regular n-gon can be constructed with a ruler and a compass if and only if n is the product of a power of 2 and any number of distinct Fermat primes.

A Fermat prime is a prime number of the form 2k+1 for some integer k. Only five Fermat primes are known today:

3, 5, 17, 257, 65537.

For example,

  • one can construct a regular 340-gon since 340=22517 and 5 as well as 17 are Fermat primes;
  • one cannot construct a regular 7-gon since 7 is not a Fermat prime;
  • one cannot construct a regular 9-gon; altho 9=33 is a product of two Fermat primes, these primes are not distinct.

The impossibility of these constructions was proved only in the 19th century. The method used in the proofs is indicated in the next section.


This page titled 19.1: Classical problems is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?