The Carpets Theorem
What is it about?
A Mathematical Droodle
Activities Contact Front page Contents Geometry Store
Copyright © 19962017 Alexander BogomolnyThe applet is supposed to illustrate a simple fact that in various guises helps solve problems that otherwise may require a serious effort. In the applet, the total area of the red regions always equals that of the blue region. (So as to avoid possible ambiguity, all the regions in the applet are drawn inside the square ABCD.)
In some instances, this is exceedingly clear.
In the diagram there are two triangles  BMD and BMC  that share the base BM and the altitude
Area(DMR) = Area(BCR);
This is just a consequence of a property of addition:
a + c = b + c implies
a = b
and additivity of area:
Area(BMD) = Area(DMR) + Area(BMR) and
Area(BMC) = Area(BCR) + Area(BMR).
(We have actually established an important property of trapezoids: the two out of four triangles formed by the diagonals of a trapezoid that are adjacent to its sides have equal areas. This property is used elsewhere.)
We can state a variant of the Carpets Theorem:
If two carpets of equal area overlap, then, the overlap aside, their remaining parts have equal areas.
As an application, consider the diagram below.
Two triangles  ABC and CDM  of equal area, intersect in triangle MPC. We conclude that their remaining parts total equal areas:
Area(CDP) = Area(AMP) + Area(BCM).
(In passing, we also have Area(ADP) = Area(CMP), because triangles ACD and MCD have equal areas.)
A seemingly more difficult problem is presented by a more general case: point M is on the side AB, point N on the side BC. (Often they are taken to be the midpoints of the sides, but the result does not depend on their specific location.) Prove that the total of red areas equals that of the blue area, as claimed.
We get the necessary result by considering two shapes of equal area: one is triangle ADN, the other is the union of triangles ADM and BCM. Both shapes cover half the square ABCD. Their intersection is the union of triangles ADP and NQR. The blue area is what remains of
Area(DPQR) = Area(AMP) + Area(BMQN) + Area(CNR).
The Carpets Theorem owes its name to a different formulation. Let a floor in a room be completely covered by carpet pieces with no overlap. Moving one of the pieces on one hand creates an overlap and on the other uncovers a portion of the floor. The theorem states the obvious fact that the two areas so obtained are equal.
The two formulations are obviously equivalent. In order to obtain the former from the latter we have to consider two regions occupied by the piece that has been moved, before and after its displacement.
Assume now we have a shape U split into two halves (i.e. equal in area) in two ways:
(1)  U = S_{1} ∪ S_{2} = T_{1} ∪ T_{2} 
and
(2) 

then
(3)  Area(S_{1} ∩ T_{1}) = Area(S_{2} ∩ T_{2}). 
In other words, if (1) and (2) hold then the second formulation is strangely strengthened. Namely, the piece that moved and the area it uncovered need not be of the same shape! The proof is straightforward.
T_{1} = S_{1}∩T_{1} ∪S_{2}∩T_{1},
from which
S_{1}∩T_{1} = T_{1}  S_{2}∩T_{1}.
And in terms of areas
(4)  Area(S_{1}∩T_{1}) = Area(T_{1})  Area( S_{2}∩T_{1}). 
Similarly
(5)  Area(S_{2}∩T_{2}) = Area(S_{2})  Area( S_{2}∩T_{1}). 
Since Area(T_{1}) = Area(U)/2 = Area(S_{2}), (3) follows from (4) and (5).
Now, if you examine carefully the last step, then it becomes clear that we have not used the full set of equalities in
Assume a shape U is split into two parts in two ways:
U = S_{1} ∪ S_{2} = T_{1} ∪ T_{2},
such that Area(T_{1}) = Area(S_{2}). Then
Area(S_{1} ∩ T_{1}) = Area(S_{2} ∩ T_{2}).
We have an immediate application for the latest generalization.
References
 T. Andreescu, B. Enescu, Mathematical Olympiad Treasures, Birkhäuser, 2004
Carpets Theorem
 The Carpets Theorem
 Carpets in a Parallelogram
 Carpets in a Quadrilateral
 Carpets in a Quadrilateral II
 Square Root of 2 is Irrational
 Carpets Theorem With Parallelograms
 Two Rectangles in a Rectangle
 Bisection of Yin and Yang
 Carpets in Hexagon
 Round Carpets
 A Property of Semicircles
 Carpets in Triangle
 Carpets in Triangle, II
 Carpets in Right Triangle
Activities Contact Front page Contents Geometry Store
Copyright © 19962017 Alexander Bogomolny62340166 