Английская Википедия:British flag theorem
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: <math display="block"> 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.[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
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>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>PC^2 = WB^2 + ZD^2,</math>
- <math>BP^2 = WB^2 + AZ^2,</math> and
- <math>PD^2 = ZD^2 + AW^2.</math>
Therefore:
- <math>\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>ABCD</math> with parallel sides <math>AB</math> and <math>CD</math> and interior point<math>P</math> the following equation holds:
- <math>|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>\tfrac{|AB|}{|CD|}</math> evaluates to 1 and hence yields the original theorem.[6]
Naming
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
References
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, 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
- ↑ Шаблон:Citation. 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.
- ↑ Шаблон:Citation.
- ↑ Шаблон:Citation.
- ↑ Harvard-MIT Mathematics Tournament solutions Шаблон:Webarchive, Problem 28.
- ↑ Шаблон:Citation.
- ↑ Шаблон:Citation.
