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.[1][2][3] As an equation:

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

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.[4] 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.[5]

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 edit

 
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

 

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

 
  and
 

Therefore:

 

Isosceles trapezoid edit

The British flag theorem can be generalized into a statement about (convex) isosceles trapezoids. More precisely for a trapezoid   with parallel sides   and   and interior point  the following equation holds:

 

In the case of a rectangle the fraction   evaluates to 1 and hence yields the original theorem.[6]

Naming edit

 
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 edit

References edit

  1. ^ Lardner, Dionysius (1848), The First Six Books of the Elements of Euclid, H.G. Bohn, p. 87. Lardner includes this theorem in what he calls "the most useful and remarkable theorems which may be inferred" from the results in Book II of Euclid's Elements.
  2. ^ Young, John Wesley; Morgan, Frank Millett (1917), Elementary Mathematical Analysis, The Macmillan company, p. 304.
  3. ^ Bôcher, Maxime (1915), Plane Analytic Geometry: with introductory chapters on the differential calculus, H. Holt and Company, p. 17.
  4. ^ Harvard-MIT Mathematics Tournament solutions Archived 2018-12-22 at the Wayback Machine, Problem 28.
  5. ^ Hadamard, Jacques (2008), Lessons in Geometry: Plane geometry, American Mathematical Society, p. 136, ISBN 978-0-8218-4367-3.
  6. ^ Tran, Quang Hung (November 2021), "British flag theorem for isosceles trapezia", The Mathematical Gazette, 105 (564), doi:10.1017/mag.2021.126.

Further reading edit

External links edit