Giả sử m=p. Ta chứng minh C1, C2, C3 thằng hàng. Khi chứng minh được chiều này rồi chiều còn lại thành dễ.
* Trường hợp a//b thì dùng ĐL Thales là ra
* Trường hợp a không song song b
Trên A2C1 lấy điểm K sao cho C1K / C1A2 = C1B1 / C1A1. Tương tự, lấy điểm L thuộc A2C3
Theo ĐL Thales, chứng minh được KB1 // A1A2 và LB3 // A3A2 => KB1 // LB3
Có: KB1 / LB3 = ( KB1 / A1A2) . ( A1A2 / A2A3) . ( A2A3 / LB3) = ( C1B1 / C1A1) . ( B1B2 / B2B3) . ( A3C3 / C3B3) = B1B2 / B2B3 ( vì C1B1 / C1A1 = C3A3 / A3C3)
Từ đó kết hợp với KB1 // LB3 chứng minh được K, B2, L thẳng hàng. (1)
Lại có : KC1 / C1A2 = C1B1 / C1A1 = C2B2 / C2A2 => C1C2 // KB2. Tương tự, C3C2 // LB2 (2)
Từ (1) và (2) => C1, C2, C3 thẳng hàng
nhờ bạn chứng minh chiều ngược lại với