Van Aubel's theorem

Last updated
The theorem can be applied to a complex (self-intersecting) quadrilateral. Van-Aubel-theorem combined.svg
The theorem can be applied to a complex (self-intersecting) quadrilateral.

In plane geometry, Van Aubel's theorem describes a relationship between squares constructed on the sides of a quadrilateral. Starting with a given convex quadrilateral, construct a square, external to the quadrilateral, on each side. Van Aubel's theorem states that the two line segments between the centers of opposite squares are of equal lengths and are at right angles to one another. Another way of saying the same thing is that the center points of the four squares form the vertices of an equidiagonal orthodiagonal quadrilateral. The theorem is named after Belgian mathematician Henricus Hubertus (Henri) Van Aubel (1830–1906), who published it in 1878. [1]

Contents

The theorem holds true also for re-entrant quadrilaterals, [2] and when the squares are constructed internally to the given quadrilateral. [3] For complex (self-intersecting) quadrilaterals, the external and internal constructions for the squares are not definable. In this case, the theorem holds true when the constructions are carried out in the more general way: [3]

The segments joining the centers of the squares constructed externally (or internally) to the quadrilateral over two opposite sides have been referred to as Van Aubel segments. The points of intersection of two equal and orthogonal Van Aubel segments (produced when necessary) have been referred to as Van Aubel points: [3] first or outer Van Aubel point for the external construction, second or inner Van Aubel point for the internal one.

The Van Aubel theorem configuration presents some relevant features, among others:

A few extensions of the theorem, considering similar rectangles, similar rhombi and similar parallelograms constructed on the sides of the given quadrilateral, have been published on The Mathematical Gazette . [5] [6]

See also

Related Research Articles

<span class="mw-page-title-main">Quadrilateral</span> Polygon with four sides and four corners

In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words quadri, a variant of four, and latus, meaning "side". It is also called a tetragon, derived from Greek "tetra" meaning "four" and "gon" meaning "corner" or "angle", in analogy to other polygons. Since "gon" means "angle", it is analogously called a quadrangle, or 4-angle. A quadrilateral with vertices , , and is sometimes denoted as .

<span class="mw-page-title-main">Rectangle</span> Quadrilateral with four right angles

In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal ; or a parallelogram containing a right angle. A rectangle with four sides of equal length is a square. The term "oblong" is occasionally used to refer to a non-square rectangle. A rectangle with vertices ABCD would be denoted as  ABCD.

<span class="mw-page-title-main">Perpendicular</span> Relationship between two lines that meet at a right angle (90 degrees)

In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.

<span class="mw-page-title-main">Parallelogram</span> Quadrilateral with two pairs of parallel sides

In Euclidean geometry, a parallelogram is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

<span class="mw-page-title-main">Nine-point circle</span> Circle constructed from a triangle

In geometry, the nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are:

<span class="mw-page-title-main">Cyclic quadrilateral</span> Quadrilateral whose vertices can all fall on a single circle

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.

<span class="mw-page-title-main">Thales's theorem</span> Angle formed by a point on a circle and the 2 ends of a diameter is a right angle

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.

<span class="mw-page-title-main">Concyclic points</span> Points on a common circle

In geometry, a set of points are said to be concyclic if they lie on a common circle. A polygon whose vertices are concyclic is called a cyclic polygon, and the circle is called its circumscribing circle or circumcircle. All concyclic points are equidistant from the center of the circle.

<span class="mw-page-title-main">Square</span> Regular quadrilateral

In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles. It can also be defined as a rectangle with two equal-length adjacent sides. It is the only regular polygon whose internal angle, central angle, and external angle are all equal (90°), and whose diagonals are all equal in length. A square with vertices ABCD would be denoted ABCD.

<span class="mw-page-title-main">Simple polygon</span> Shape bounded by non-intersecting line segments

In geometry, a simple polygon is a polygon that does not intersect itself and has no holes. That is, it is a piecewise-linear Jordan curve consisting of finitely many line segments. These polygons include as special cases the convex polygons, star-shaped polygons, and monotone polygons.

<span class="mw-page-title-main">Concurrent lines</span> Lines which intersect at a single point

In geometry, lines in a plane or higher-dimensional space are concurrent if they intersect at a single point.

<span class="mw-page-title-main">Thébault's theorem</span>

Thébault's theorem is the name given variously to one of the geometry problems proposed by the French mathematician Victor Thébault, individually known as Thébault's problem I, II, and III.

<span class="mw-page-title-main">Simson line</span> Line constructed from a triangle

In geometry, given a triangle ABC and a point P on its circumcircle, the three closest points to P on lines AB, AC, and BC are collinear. The line through these points is the Simson line of P, named for Robert Simson. The concept was first published, however, by William Wallace in 1799, and is sometimes called the Wallace line.

<span class="mw-page-title-main">Finsler–Hadwiger theorem</span> Describes a third square derived from any two squares that share a vertex

The Finsler–Hadwiger theorem is statement in Euclidean plane geometry that describes a third square derived from any two squares that share a vertex. The theorem is named after Paul Finsler and Hugo Hadwiger, who published it in 1937 as part of the same paper in which they published the Hadwiger–Finsler inequality relating the side lengths and area of a triangle.

<span class="mw-page-title-main">Orthodiagonal quadrilateral</span>

In Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other.

<span class="mw-page-title-main">Equidiagonal quadrilateral</span>

In Euclidean geometry, an equidiagonal quadrilateral is a convex quadrilateral whose two diagonals have equal length. Equidiagonal quadrilaterals were important in ancient Indian mathematics, where quadrilaterals were classified first according to whether they were equidiagonal and then into more specialized types.

<span class="mw-page-title-main">Tangential polygon</span> Convex polygon that contains an inscribed circle

In Euclidean geometry, a tangential polygon, also known as a circumscribed polygon, is a convex polygon that contains an inscribed circle. This is a circle that is tangent to each of the polygon's sides. The dual polygon of a tangential polygon is a cyclic polygon, which has a circumscribed circle passing through each of its vertices.

In geometry, the Petr–Douglas–Neumann 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 1908. The theorem was independently rediscovered by Jesse Douglas (1897–1965) in 1940 and also by B H Neumann (1909–2002) in 1941. The naming of the theorem as Petr–Douglas–Neumann theorem, or as the PDN-theorem for short, is due to Stephen B Gray. This theorem has also been called Douglas's theorem, the Douglas–Neumann theorem, the Napoleon–Douglas–Neumann theorem and Petr's theorem.

<span class="mw-page-title-main">Bottema's theorem</span> Theorem about the midpoint of a line connecting squares on two sides of a triangle

Bottema's theorem is a theorem in plane geometry by the Dutch mathematician Oene Bottema.

References

  1. Van Aubel, H. (1878), "Note concernant les centres de carrés construits sur les côtés d'un polygon quelconque", Nouvelle Correspondance Mathématique (in French), 4: 40–44.
  2. Coxeter, H.S.M., and Greitzer, Samuel L. 1967. Geometry Revisited, pages 52.
  3. 1 2 3 4 D. Pellegrinetti: "The Six-Point Circle for the Quadrangle". International Journal of Geometry, Vol. 8 (Oct., 2019), No. 2, pp. 5–13.
  4. Ch. van Tienhoven, D. Pellegrinetti: "Quadrigon Geometry: Circumscribed Squares and Van Aubel Points". Journal for Geometry and Graphics, Vol. 25 (July, 2021), No. 1, pp. 53–59.
  5. M. de Villiers: "Dual Generalizations of Van Aubel's theorem". The Mathematical Gazette, Vol. 82 (Nov., 1998), pp. 405-412.
  6. J. R. Silvester: "Extensions of a Theorem of Van Aubel". The Mathematical Gazette, Vol. 90 (Mar., 2006), pp. 2-12.