Theorems about quadrilaterals

Van Aubel's theorem

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. The theorem holds true also for re-entrant quadrilaterals, and when the squares are constructed internally to the given quadrilateral. 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: * follow the quadrilateral vertices in a sequential direction and construct each square on the right hand side of each side of the given quadrilateral. * Follow the quadrilateral vertices in the same sequential direction and construct each square on the left hand side of each side of the given quadrilateral. 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: 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: * the Van Aubel points are the centers of the two circumscribed squares of the quadrilateral. * The Van Aubel points, the mid-points of the quadrilateral diagonals and the mid-points of the Van Aubel segments are concyclic. 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. (Wikipedia).

Van Aubel's theorem
Video thumbnail

A Fun Proof of Van Aubel's Theorem.

Van Aubel's theorem isn't much more than a curious geometrical construction, but the more you think about it, the more interesting it seems. There are a few published proofs out there on the internet. Most involve constructing similar triangles, but the one that fascinated me involved pl

From playlist Mathy Videos

Video thumbnail

Van Aubel's Theorem: Dynamic Illustration without Words

GeoGebra Resource: https://www.geogebra.org/m/qnF5SYzp How to prove?

From playlist Geometry: Challenge Problems

Video thumbnail

An Unusual Way to Prove Napoleon's Theorem

There are many videos on the internet about Napoleon's Theorem, but this one explains it the MathyJaphy way, which I like to think is unique. A viewer asked whether a vector-based proof, similar to the one seen in my video on Van Aubel's Theorem, existed for Napoleon's. They're very simi

From playlist Mathy Videos

Video thumbnail

What is a miracle in mathematics ?

Did you ever feel surprised when learning mathematics ? What is it that makes us wow when reading a textbook ? In this video, I show two exciting examples of such results- Morley's miracle and Van Aubel Thereom. Resources for visuals used in this video: https://www.geogebra.org/m/tbnkaMHG

From playlist Something you did not know...

Video thumbnail

Alfred Nobel, Bertha von Suttner & the History of the Nobel Prize

Alfred Nobel was known as the "Dynamite King" and Bertha von Suttner was a peace activist, but together their friendship created the Nobel Prizes! My Patreon Page (thanks!): https://www.patreon.com/user?u=15291200 To be added to my mailing list go here: https://mailchi.mp/99c964be329e/k

From playlist Misc Fun Videos

Video thumbnail

Synology Locking NASes to Synology Hard Drives

STH Main Site Article: https://www.servethehome.com/synology-launches-enterprise-hard-drive-line-and-nases/ STH Merch on Teespring: https://the-sth-merch-shop.myteespring.co/ STH Top 5 Weekly Newsletter: https://eepurl.com/dryM09 In this video, we discuss the new Synology HAT5300 series a

From playlist Storage on STH

Video thumbnail

Number Theorem | Gauss' Theorem

We prove Gauss's Theorem. That is, we prove that the sum of values of the Euler phi function over divisors of n is equal to n. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/

From playlist Number Theory

Video thumbnail

Nicholas Katz: Life Over Finite Fields

Abstract: We will discuss some of Deligne's work and its diophantine applications. This lecture was given at The University of Oslo, May 22, 2013 and was part of the Abel Prize Lectures in connection with the Abel Prize Week celebrations. Program for the Abel Lectures 2013 1."Hidden s

From playlist Abel Lectures

Video thumbnail

Proof of Lemma and Lagrange's Theorem

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Proof of Lemma and Lagrange's Theorem. This video starts by proving that any two right cosets have the same cardinality. Then we prove Lagrange's Theorem which says that if H is a subgroup of a finite group G then the order of H div

From playlist Abstract Algebra

Video thumbnail

Euler's formula: A cool proof

How to derive Euler's formula using differential equations! Free ebook http://bookboon.com/en/introduction-to-complex-numbers-ebook A somewhat new proof for the famous formula of Euler. Here is the famous formula named after the mathematician Euler. It relates the exponential with cosin

From playlist Intro to Complex Numbers

Video thumbnail

Weil conjectures 1 Introduction

This talk is the first of a series of talks on the Weil conejctures. We recall properties of the Riemann zeta function, and describe how Artin used these to motivate the definition of the zeta function of a curve over a finite field. We then describe Weil's generalization of this to varie

From playlist Algebraic geometry: extra topics

Video thumbnail

Riemann-Lebesgue Lemma

In this video, I prove the famous Riemann-Lebesgue lemma, which states that the Fourier transform of an integrable function must go to 0 as |z| goes to infinity. This is one of the results where the proof is more important than the theorem, because it's a very classical Lebesgue integral

From playlist Real Analysis

Video thumbnail

Introduction to additive combinatorics lecture 10.8 --- A weak form of Freiman's theorem

In this short video I explain how the proof of Freiman's theorem for subsets of Z differs from the proof given earlier for subsets of F_p^N. The answer is not very much: the main differences are due to the fact that cyclic groups of prime order do not have lots of subgroups, so one has to

From playlist Introduction to Additive Combinatorics (Cambridge Part III course)

Video thumbnail

The Vandermonde Matrix and Polynomial Interpolation

The Vandermonde matrix is a used in the calculation of interpolating polynomials but is more often encountered in the proof that such polynomial interpolates exist. It is also often encountered in the study of determinants since it has a really nice determinant formula. Chapters 0:00 - In

From playlist Interpolation

Video thumbnail

Colouring Numbers (extra) - Numberphile

This video continues from a previous video --- https://youtu.be/kE3OuzlkUnU Fields Medallist Sir Timothy Gowers discusses Van der Waerden's theorem. More links & stuff in full description below ↓↓↓ Timothy Gowers website: https://gowers.wordpress.com And his Twitter: https://twitter.co

From playlist Fields Medallists on Numberphile

Video thumbnail

Présentation de la "Journée Formation"

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Forum mathématiques vivantes

Video thumbnail

Introduction to additive combinatorics lecture 1.8 --- Plünnecke's theorem

In this video I present a proof of Plünnecke's theorem due to George Petridis, which also uses some arguments of Imre Ruzsa. Plünnecke's theorem is a very useful tool in additive combinatorics, which implies that if A is a set of integers such that |A+A| is at most C|A|, then for any pair

From playlist Introduction to Additive Combinatorics (Cambridge Part III course)

Video thumbnail

From graph limits to higher order Fourier analysis – Balázs Szegedy – ICM2018

Combinatorics Invited Lecture 13.8 From graph limits to higher order Fourier analysis Balázs Szegedy Abstract: The so-called graph limit theory is an emerging diverse subject at the meeting point of many different areas of mathematics. It enables us to view finite graphs as approximation

From playlist Combinatorics

Related pages

Bottema's theorem | Equidiagonal quadrilateral | Napoleon's theorem | Thébault's theorem | Orthodiagonal quadrilateral | Right angle | Quadrilateral | Petr–Douglas–Neumann theorem | Napoleon points