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).
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
Van Aubel's Theorem: Dynamic Illustration without Words
GeoGebra Resource: https://www.geogebra.org/m/qnF5SYzp How to prove?
From playlist Geometry: Challenge Problems
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
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...
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
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
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
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
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
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
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
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
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)
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
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
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
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)
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