In geometry, the Petr–Douglas–Neumann theorem (or the PDN-theorem) is a result concerning arbitrary planar polygons. The theorem asserts that a certain procedure when applied to an arbitrary polygon always yields a regular polygon having the same number of sides as the initial polygon. The theorem was first published by Karel Petr (1868–1950) of Prague in 1905 (in Czech) [1] and in 1908 (in German). [2] [3] It was independently rediscovered by Jesse Douglas (1897–1965) in 1940 [4] and also by B H Neumann (1909–2002) in 1941. [3] [5] The naming of the theorem as Petr–Douglas–Neumann theorem, or as the PDN-theorem for short, is due to Stephen B Gray. [3] It has also been called Douglas's theorem, the Douglas–Neumann theorem, the Napoleon–Douglas–Neumann theorem and Petr's theorem. [3]
The PDN-theorem is a generalisation of Napoleon's theorem, which corresponds to the case of triangles, and van Aubel's theorem which corresponds to the case of quadrilaterals.
The Petr–Douglas–Neumann theorem asserts the following. [4] [6]
In the case of triangles, the value of n is 3 and that of n − 2 is 1. Hence there is only one possible value for k, namely 1. The specialisation of the theorem to triangles asserts that the triangle A1 is a regular 3-gon, that is, an equilateral triangle.
A1 is formed by the apices of the isosceles triangles with apex angle 2Ï€/3 erected over the sides of the triangle A0. The vertices of A1 are the centers of equilateral triangles erected over the sides of triangle A0. Thus the specialisation of the PDN theorem to a triangle can be formulated as follows:
The last statement is the assertion of the Napoleon's theorem.
In the case of quadrilaterals, the value of n is 4 and that of n − 2 is 2. There are two possible values for k, namely 1 and 2, and so two possible apex angles, namely:
According to the PDN-theorem the quadrilateral A2 is a regular 4-gon, that is, a square. The two-stage process yielding the square A2 can be carried out in two different ways. (The apex Z of an isosceles triangle with apex angle π erected over a line segment XY is the midpoint of the line segment XY.)
In this case the vertices of A1 are the free apices of isosceles triangles with apex angles π/2 erected over the sides of the quadrilateral A0. The vertices of the quadrilateral A2 are the midpoints of the sides of the quadrilateral A1. By the PDN theorem, A2 is a square.
The vertices of the quadrilateral A1 are the centers of squares erected over the sides of the quadrilateral A0. The assertion that quadrilateral A2 is a square is equivalent to the assertion that the diagonals of A1 are equal and perpendicular to each other. The latter assertion is the content of van Aubel's theorem.
Thus van Aubel's theorem is a special case of the PDN-theorem.
In this case the vertices of A1 are the midpoints of the sides of the quadrilateral A0 and those of A2 are the apices of the triangles with apex angles π/2 erected over the sides of A1. The PDN-theorem asserts that A2 is a square in this case also.
![]() |
Diagram illustrating the fact that
van Aubel's theorem is a special case of Petr–Douglas–Neumann theorem. |
In the case of pentagons, we have n = 5 and n − 2 = 3. So there are three possible values for k, namely 1, 2 and 3, and hence three possible apex angles for isosceles triangles:
According to the PDN-theorem, A3 is a regular pentagon. The three-stage process leading to the construction of the regular pentagon A3 can be performed in six different ways depending on the order in which the apex angles are selected for the construction of the isosceles triangles.
Serial number |
Apex angle in the construction of A1 |
Apex angle in the construction of A2 |
Apex angle in the construction of A3 |
---|---|---|---|
1 | 72° | 144° | 216° |
2 | 72° | 216° | 144° |
3 | 144° | 72° | 216° |
4 | 144° | 216° | 72° |
5 | 216° | 72° | 144° |
6 | 216° | 144° | 72° |
The theorem can be proved using some elementary concepts from linear algebra. [3] [7]
The proof begins by encoding an n-gon by a list of complex numbers representing the vertices of the n-gon. This list can be thought of as a vector in the n-dimensional complex linear space Cn. Take an n-gon A and let it be represented by the complex vector
Let the polygon B be formed by the free vertices of similar triangles built on the sides of A and let it be represented by the complex vector
Then we have
This yields the following expression to compute the br ' s:
In terms of the linear operator S : Cn → Cn that cyclically permutes the coordinates one place, we have
This means that the polygon Aj+1 obtained at the jthe step is related to the preceding one Aj by
where ω = exp( 2πi/n ) is the nth primitive root of unity and σj is the jth term of a permutation σ of the integer sequence (1,..., n-2).
The last polygon in the sequence, An−2, which we need to show is regular, is thus obtained from A0 by applying the composition of all the following operators:
(These factors commute, since they are all polynomials in the same operator S, so the ordering of the product does not depend on the choice of the permutation σ.)
A polygon P = ( p1, p2, ..., pn ) is a regular n-gon if each side of P is obtained from the next by rotating through an angle of 2Ï€/n, that is, if
This condition can be formulated in terms of S as follows:
Or equivalently as
The main result of the Petr–Douglas–Neumann theorem now follows from the following computations.
To show that all the centroids are equal, we note that the centroid cA of any n-gon is obtained by averagining all the vertices. This means that, viewing A as an n-component vector, its centroid is given by taking its scalar product
with the vector E:=(1/n) (1, 1, ..., 1) . Taking the scalar product of both sides of the equation
with E, and noting that E is invariant under the cyclic permutation operator S, we obtain
so all the centroids are equal.
In geometry, the Petr–Douglas–Neumann theorem (or the PDN-theorem) is a result concerning arbitrary planar polygons. The theorem asserts that a certain procedure when applied to an arbitrary polygon always yields a regular polygon having the same number of sides as the initial polygon. The theorem was first published by Karel Petr (1868–1950) of Prague in 1905 (in Czech) [1] and in 1908 (in German). [2] [3] It was independently rediscovered by Jesse Douglas (1897–1965) in 1940 [4] and also by B H Neumann (1909–2002) in 1941. [3] [5] The naming of the theorem as Petr–Douglas–Neumann theorem, or as the PDN-theorem for short, is due to Stephen B Gray. [3] It has also been called Douglas's theorem, the Douglas–Neumann theorem, the Napoleon–Douglas–Neumann theorem and Petr's theorem. [3]
The PDN-theorem is a generalisation of Napoleon's theorem, which corresponds to the case of triangles, and van Aubel's theorem which corresponds to the case of quadrilaterals.
The Petr–Douglas–Neumann theorem asserts the following. [4] [6]
In the case of triangles, the value of n is 3 and that of n − 2 is 1. Hence there is only one possible value for k, namely 1. The specialisation of the theorem to triangles asserts that the triangle A1 is a regular 3-gon, that is, an equilateral triangle.
A1 is formed by the apices of the isosceles triangles with apex angle 2Ï€/3 erected over the sides of the triangle A0. The vertices of A1 are the centers of equilateral triangles erected over the sides of triangle A0. Thus the specialisation of the PDN theorem to a triangle can be formulated as follows:
The last statement is the assertion of the Napoleon's theorem.
In the case of quadrilaterals, the value of n is 4 and that of n − 2 is 2. There are two possible values for k, namely 1 and 2, and so two possible apex angles, namely:
According to the PDN-theorem the quadrilateral A2 is a regular 4-gon, that is, a square. The two-stage process yielding the square A2 can be carried out in two different ways. (The apex Z of an isosceles triangle with apex angle π erected over a line segment XY is the midpoint of the line segment XY.)
In this case the vertices of A1 are the free apices of isosceles triangles with apex angles π/2 erected over the sides of the quadrilateral A0. The vertices of the quadrilateral A2 are the midpoints of the sides of the quadrilateral A1. By the PDN theorem, A2 is a square.
The vertices of the quadrilateral A1 are the centers of squares erected over the sides of the quadrilateral A0. The assertion that quadrilateral A2 is a square is equivalent to the assertion that the diagonals of A1 are equal and perpendicular to each other. The latter assertion is the content of van Aubel's theorem.
Thus van Aubel's theorem is a special case of the PDN-theorem.
In this case the vertices of A1 are the midpoints of the sides of the quadrilateral A0 and those of A2 are the apices of the triangles with apex angles π/2 erected over the sides of A1. The PDN-theorem asserts that A2 is a square in this case also.
![]() |
Diagram illustrating the fact that
van Aubel's theorem is a special case of Petr–Douglas–Neumann theorem. |
In the case of pentagons, we have n = 5 and n − 2 = 3. So there are three possible values for k, namely 1, 2 and 3, and hence three possible apex angles for isosceles triangles:
According to the PDN-theorem, A3 is a regular pentagon. The three-stage process leading to the construction of the regular pentagon A3 can be performed in six different ways depending on the order in which the apex angles are selected for the construction of the isosceles triangles.
Serial number |
Apex angle in the construction of A1 |
Apex angle in the construction of A2 |
Apex angle in the construction of A3 |
---|---|---|---|
1 | 72° | 144° | 216° |
2 | 72° | 216° | 144° |
3 | 144° | 72° | 216° |
4 | 144° | 216° | 72° |
5 | 216° | 72° | 144° |
6 | 216° | 144° | 72° |
The theorem can be proved using some elementary concepts from linear algebra. [3] [7]
The proof begins by encoding an n-gon by a list of complex numbers representing the vertices of the n-gon. This list can be thought of as a vector in the n-dimensional complex linear space Cn. Take an n-gon A and let it be represented by the complex vector
Let the polygon B be formed by the free vertices of similar triangles built on the sides of A and let it be represented by the complex vector
Then we have
This yields the following expression to compute the br ' s:
In terms of the linear operator S : Cn → Cn that cyclically permutes the coordinates one place, we have
This means that the polygon Aj+1 obtained at the jthe step is related to the preceding one Aj by
where ω = exp( 2πi/n ) is the nth primitive root of unity and σj is the jth term of a permutation σ of the integer sequence (1,..., n-2).
The last polygon in the sequence, An−2, which we need to show is regular, is thus obtained from A0 by applying the composition of all the following operators:
(These factors commute, since they are all polynomials in the same operator S, so the ordering of the product does not depend on the choice of the permutation σ.)
A polygon P = ( p1, p2, ..., pn ) is a regular n-gon if each side of P is obtained from the next by rotating through an angle of 2Ï€/n, that is, if
This condition can be formulated in terms of S as follows:
Or equivalently as
The main result of the Petr–Douglas–Neumann theorem now follows from the following computations.
To show that all the centroids are equal, we note that the centroid cA of any n-gon is obtained by averagining all the vertices. This means that, viewing A as an n-component vector, its centroid is given by taking its scalar product
with the vector E:=(1/n) (1, 1, ..., 1) . Taking the scalar product of both sides of the equation
with E, and noting that E is invariant under the cyclic permutation operator S, we obtain
so all the centroids are equal.