Cho hình vuông ABCD cạnh a. Gọi D là đường thẳng bất kì đi qua giao điểm O của hai đường chéo. Gọi A', B', C', D' lần lượt là chân các đường vuông góc kẻ từ A, B, C, D đến đường thẳng d.
Chứng minh tổng A'A2 + B'B2 + C'C2 + D'D2 không đổi khi d quay xung quanh điểm O.