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.[1][2][3]Đị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.[4]. 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.[5]