British flag theorem

Short description: On distances from opposite corners to a point inside a rectangle

According to the British flag theorem, the red squares have the same total area as the blue squares

The British flag theorem in space, the red squares have the same total area as the blue squares

In Euclidean geometry, the British flag theorem says that if a point P is chosen inside a rectangle ABCD then the sum of the squares of the Euclidean distances from P to two opposite corners of the rectangle equals the sum to the other two opposite corners. As an equation: [math]\displaystyle{ AP^2 + CP^2 = BP^2 + DP^2. }[/math]

The theorem also applies to points outside the rectangle, and more generally to the distances from a point in Euclidean space to the corners of a rectangle embedded into the space. Even more generally, if the sums of squares of distances from a point P to the two pairs of opposite corners of a parallelogram are compared, the two sums will not in general be equal, but the difference between the two sums will depend only on the shape of the parallelogram and not on the choice of P.

The theorem can also be thought of as a generalisation of the Pythagorean theorem. Placing the point P on any of the four vertices of the rectangle yields the square of the diagonal of the rectangle being equal to the sum of the squares of the width and length of the rectangle, which is the Pythagorean theorem.

Proof

Illustration for proof

Drop perpendicular lines from the point P to the sides of the rectangle, meeting sides AB, BC, CD, and AD at points W, X, Y and Z respectively, as shown in the figure. These four points WXYZ form the vertices of an orthodiagonal quadrilateral. By applying the Pythagorean theorem to the right triangle AWP, and observing that WP = AZ, it follows that

[math]\displaystyle{ AP^2 = AW^2 + WP^2 = AW^2 + AZ^2 }[/math]

and by a similar argument the squares of the lengths of the distances from P to the other three corners can be calculated as

[math]\displaystyle{ PC^2 = WB^2 + ZD^2, }[/math]

[math]\displaystyle{ BP^2 = WB^2 + AZ^2, }[/math] and

[math]\displaystyle{ PD^2 = ZD^2 + AW^2. }[/math]

Therefore:

[math]\displaystyle{ \begin{align} AP^2 + PC^2 &= \left(AW^2 + AZ^2\right) + \left(WB^2 + ZD^2\right) \\[4pt] &= \left(WB^2 + AZ^2\right) + \left(ZD^2 + AW^2\right) \\[4pt] &= BP^2 + PD^2 \end{align} }[/math]

Isosceles trapezoid

The British flag theorem can be generalized into a statement about (convex) isosceles trapezoids. More precisely for a trapezoid [math]\displaystyle{ ABCD }[/math] with parallel sides [math]\displaystyle{ AB }[/math] and [math]\displaystyle{ CD }[/math] and interior point[math]\displaystyle{ P }[/math] the following equation holds:

[math]\displaystyle{ |AP|^2+\frac{|AB|}{|CD|} \cdot |PC|^2=|BP|^2+\frac{|AB|}{|CD|} \cdot |PD|^2 }[/math]

In the case of a rectangle the fraction [math]\displaystyle{ \tfrac{|AB|}{|CD|} }[/math] evaluates to 1 and hence yields the original theorem.

Naming

The flag of the United Kingdom.

This theorem takes its name from the fact that, when the line segments from P to the corners of the rectangle are drawn, together with the perpendicular lines used in the proof, the completed figure resembles a Union Flag.

See also

• Pizza theorem

Further reading

• Nguyen Minh Ha, Dao Thanh Oai: An interesting application of the British flag theorem. Global Journal of Advanced Research on Classical and Modern Geometries, Volume 4 (2015), issue 1, pp. 31–34.
• Martin Gardner, Dana S. Richards (ed.): The Colossal Book of Short Puzzles and Problems. W. W. Norton, 2006, ISBN:978-0-393-06114-7, pp. 147, 159 (problem 6.16)

External links

• British Flag Theorem at artofproblemsolving.com
• Can You Solve Microsoft's Rectangle Corners Interview Question? (video, 5:41 mins)
• interacive illustration of the British flag theorem for rectangles und for isosceles trapezoids