The van Aubel’s theorem is a simple theorem which is comparable to the theorem attributed to the French conqueror Napoleon Bonaparte regarding triangles. It is easy to prove once you know the upāya, even as the yogin-s would say ānanda is easily achieved once you know the right upāya. The upāya here is the kind of vector algebra problem one used to see on ones college entrance exam. One may ask why we need to present such trivialities here. There are certain things that fascinate you when you are young. When you grow old you think about those often with a nostalgia and you think of re-experiencing it. For us this happens with certain elementary explorations in geometry among various other things and we just feel the urge to put it out there.
A dynamic version: http://www.geogebra.org/m/SNS9taq6
As for the theorem itself draw any quadrilateral ABCD. On each of the sides AB, BC, CB, DA erect a square. The segments joining the centers of the opposite squares are equal in length and at right angles to each other irrespective of what form the quadrilateral might take. Now the quadrilateral can be convex or concave; it can be simple or complex (self-intersecting); yet, this theorem holds good. To us this seemed like a philosophical analogy: it seemed to be some kind of conservation law (constancy of the angle of intersection and for each case equivalence of the length of the two inter-centric segments) that was written into the structure of space.
The proof goes thus:
1) The quadrilateral ABCD can be represented as a complex vector system which originates at point A. Thus, .
2) Now the centers of the squares erected on sides AB, BC, CB, DA are respectively points P, Q, R, S which allows us to define the vectors , , , .
3) From the construction it is clear that to reach point P we travel half way along and then take a turn at at right angle and travel the distance. This means we reach point P by rotating vector by radians. Since we are using the complex plane we can show this as:
Similarly we can now write:
From the construction it is clear that:
Substituting from above for and we get:
Multiplying by we get:
This means vectors and are equal in magnitude and at right angles to each other.