Cho đoạn thẳng AC, BD cắt nhau tại trung điểm O của mỗi đường. Gọi d là đường thẳng đi qua C nhưng không cắt các đường AB, DA. Gọi A', B', D' là chân các đường vuông góc kẻ từ A, B, D xuống d. Chứng minh: AA' = (BB" + DD')/2