イギリス国旗の定理
表示
このページ名「イギリス国旗の定理」は暫定的なものです。(2024年5月) |
ユークリッド幾何学において、イギリス国旗の定理[訳語疑問点](イギリスこっきのていり、英:British flag theorem)または英国旗の定理[訳語疑問点]とは長方形ABCDと任意の点Pについて以下の等式が成り立つという定理である[1][2][3]。イギリス国旗の定理はピタゴラスの定理の一般化と言うこともできる。Pを長方形のいずれかの点に重ねることによって、長方形の対角線の2乗が長方形の縦と横の2乗の和に等しくなり、これはピタゴラスの定理となる。
証明
[編集]Pを通る長方形ABCDの辺AB, BC, CD, ADに対する垂線の足をそれぞれW, X, Y ,Zとする。ここで四角形WXYZは直交対角線四角形である。したがってWP=AZであることに注意し、ピタゴラスの定理を用いると
が成り立つ。同様にして以下が成立する。
したがって
一般化
[編集]等脚台形
[編集]イギリス国旗の定理は等脚台形に一般化することができる。 ,が平行である等脚台形と任意の点について以下が成り立つ。
四角形が長方形の場合、 が1となるので元の定理を得る[4]。
平行四辺形
[編集]任意の点Pから平行四辺形の2組の対角までの距離の2乗和について、2つの和の差は平行四辺形の形状にのみ依存し、Pの位置に依らないことが知られている[5]。
空間
[編集]この定理は埋め込みによりユークリッド空間にも拡張することができる[6] 。
由来
[編集]証明の項の図の様に、Pから長方形の各辺へ垂線を下した時にできる図形がユニオンフラッグ に似ていることから名づけられた。
関連項目
[編集]出典
[編集]- ^ 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.
- ^ Young, John Wesley; Morgan, Frank Millett (1917), Elementary Mathematical Analysis, The Macmillan company, p. 304.
- ^ Bôcher, Maxime (1915), Plane Analytic Geometry: with introductory chapters on the differential calculus, H. Holt and Company, p. 17.
- ^ Tran, Quang Hung (November 2021), “British flag theorem for isosceles trapezia”, The Mathematical Gazette 105 (564), doi:10.1017/mag.2021.126.
- ^ Hadamard, Jacques (2008), Lessons in Geometry: Plane geometry, American Mathematical Society, p. 136, ISBN 978-0-8218-4367-3.
- ^ Harvard-MIT Mathematics Tournament solutions Archived 2018-12-22 at the Wayback Machine., Problem 28.
より詳しい読み物
[編集]- 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)
外部リンク
[編集]- 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