Giả sử AC là đường chéo lớn của hình bình hành ABCD. Từ C, vẽ đường thẳng vuông góc CE với đường thẳng AB, đường vuông góc CF với đường thẳng AD (E, F thuộc phần kéo dài của các cạnh AB và AD), Chứng minh rằng AB.AE + AD.AF = AC2