A Property of Circumscribed Quadrilaterals
What is it?
A Mathematical Droodle
26 November 2014, Created with GeoGebra
Assume the circle inscribed into a quadrilateral ABCD touches its sides at points E, F, G, H, as on the diagram. Then the lines EG and FH pass through the point M, the intersection of diagonals.
To prove the fact we shall assume that N is the point of intersection of AC and EG. The most basic property used in the proof is the fact that the two tangents at the endpoints of a chord form equal angles with that chord. Thus, for example,
∠AEN = ∠DGN.
Further, supplementary angles, i. e. angles that add up to 180°, have the same sine. For example,
sin(∠AEN) = sin(∠DGN) = sin(∠CGN).
An additional fact of importance is that the area of a triangle could be computed as half the product of two of its sides times the sine of the angle formed by the two sides. For ΔAEN we have,
2·Area( ΔAEN) = AN·EN·sin(∠ANE) = AE·EN·sin(∠AEN).
For ΔCGN we have,
2·Area( ΔCGN) = CN·GN·sin(∠CNG) = CG·GN·sin(∠CGN).
Let's combine (1)-(4):
Area( ΔAEN)/Area( ΔCGN) = AN·EN/CN·GN = AE·EN/CG·GN,
AN·EN/CN·GN = AE·EN/CG·GN,
AN/CN = AE/CG,
which means that the line EG divides the diagonal AC in the ratio AE/CG.
By a similar argument, now assuming that AC and FH meet at some point, say N', and considering triangles AHN' and CFN', we show that FH divides AC in the ratio AH/CF. However,
The four lines are concurrent at N, but then
The theorem is also seen as a consequence of Brianchon's and Ceva's theorems, so that it is actually true for more general conic sections, not just circles. (The hexagon ABFCDH and AEBCGD are circumscribed around a circle. Therefore Brianchon's theorem applies. The point of intersection of AC and BD being a fixture in both cases both EG and FH pass through that point.)
Also, the theorem can be shown based on the nature of the relationship between poles and polars and by a duality argument.