Gọi cắt tại , cắt tại , và cắt tại .
có // suy ra (1)
có // suy ra (2)
Từ (1) và (2) suy ra hay (*)
Tương tự có // suy ra (3)
có // suy ra (4)
Từ (3) và (4) ta có hay (**)
Từ (*) và (**) ta có .
Mà (gt) suy ra
Mặt khác (gt) nên cân
Suy ra
Vậy (c.g.c)
Suy ra .