Định lý lá cờ Anh

Trong hình học Euclid, định lý Lá Cờ Nước Anh phát biểu rằng cho một điểm P trên mặt phẳng hình chữ nhật ABCD khi đó tổng diện tích hai hình vuông với độ dài cạnh lần lượt là khoảng cách từ điểm P đến hai đỉnh đối nhau bằng tổng diện tích hai hình vuông với các cạnh lần lượt là khoảng cách từ điểm P đến hai đỉnh đối còn lại.. 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...

Định lý được thể hiện thông qua Phương trình sau:



Định lý cũng đúng nếu điểm P nằm trong không gian Euclid chứa hình chữ nhật.Harvard-MIT Mathematics Tournament solutions, Problem 28. Tuy nhiên định lý không còn đúng nếu như ta thay hình chữ nhật bởi một hình bình hành..

 Chứng minh
Hình chiếu của P tới các cạnh AB, BC, CD, và AD lần lượt là các điểm w, x, y và z. Khi đó wxyz là một tứ giác có hai đường chéo vuông góc

Áp dụng định lý Pytago cho tam giác vuông AwP, và ta thấy wP = Az, do đó

tương tự ta có:

  và

Do đó:  
Ứng dụng
Một ứng dụng định lý là cờ nước anh như sau: Cho hai đa giác đều 2n cạnh là A1A2....A2n và B1B2....B2n khi đó tổng diện tích của hai tứ giác AiAi+1Bi+1Bi và Ai+nAi+1+nBi+1+nBi+n là bằng nhau với mọi i=1,...,n. Kết quả này được chứng minh từ trường hợp hai hình chữ nhật đồng dạng.Nguyễn Minh Hà và Đào Thanh Oai, An interesting application of the British flag theorem, Global Journal of Advanced Research on Classical and Modern Geometries, Vol.4, (2015), Issue 1, pp.31-34, 

Mở rộng
Cho hai hình chữ nhật đồng dạng cùng hướng ABCD và A'B'C'D' khi đó ta có hệ thức:Dao Thanh Oai, Problem 2015.5, The Mathematical Gazette, 99, pp 554-556. doi:10.1017/mag.2015.108.

Rõ ràng khi một trong hai hình chữ nhật suy biến thành một điểm thì sẽ có định lý Lá Cờ Anh.

 Tham khảo 

Thể loại:Hình học Euclid
Thể loại:Hình học sơ cấp
A
Thể loại:Định lý trong hình học phẳng
Thể loại:Định lý Pythagoras