Cho tam giác ABC đều. Lấy điểm O nằm trong tam giác. Kẻ OI//AB (I thuộc AC), OM//BC (M thuộc AB), OK//AC (K thuộc BC).
Giải thích

Có ΔABC đều ⇒A^=B^=C^=600. Do OI // AB; OM // BC; OK // AB (gt)
=> các tứ giác OIAM, OMBK, OKCI là hình thang.
Ta có: OKB^=ACB^=600 (đồng vị, OK // AC) mà ABC^=ACB^=600=>OKB^=MBK^
=> Hình thang OMBK là hình thang cân.
CM tương tự ta có OKCI, OIAM là các hình thang cân, do đó: OC = IK, OA = IM, OB = MK
=> CIMK = IK + IM + MK = OA+OB+OC.