Vì Tam giác DEF = Tam giác MNP
=> DE = MN (góc tương ứng)
EF = NP (góc tương ứng)
DF = MP (góc tương ứng)
Vì Tam giác ABC = Tam giác DEF
=> AB = DE (góc tương ứng)
BC = EF (góc tương ứng)
AC = DF (góc tương ứng)
=> AB = DE = MN
BC = EF = NP
AC = DF = MP
=> AB = MN
BC = NP
AC = MP
=> Tam giác ABC = Tam giác MNP (đpcm)
đpcm là điều phải chứng minh