Ta xét tổng:
+
+
+
+
+
=
=
(1)
Mặt khác, ta có ABIJ, BCPQ và CARS là các hình bình hành nên:
=
=
=
=> +
+
=
+
+
=
=
(2)
Từ (1) và (2) suy ra : +
+
=
(dpcm)