sACM/sABC=AMABSACMSABC=AMAB (1)
SABNSABC=ANACSABNSABC=ANAC (2)
Mà SACM=SAMN+SCMNSACM=SAMN+SCMN (3)
và SABN=SAMN+SBMNSABN=SAMN+SBMN (4)
Mặt khác do MNCBMNCB hình thang nên dễ dàng chứng minh
SCMN=SBMNSCMN=SBMN (5)
Từ (3) , (4) và (5) cho:
SACM=SABNSACM=SABN (6)
(1) , (2) và (6) cho:
AMAB=ANACAMAB=ANAC (đpcm)