+ Áp dụng định lí tổng ba góc trong tam giác ABC, ta có:
suy ra,
+ Tam giác DEF có DE = DF, do đó tam giác DEF cân tại đỉnh D.
Suy ra
Áp dụng định lí tổng ba góc trong tam giác DEF, ta có:
Suy ra,
+ Tam giác MNP vuông tại N, do đó
Suy ra
+ Áp dụng định lí tổng ba góc trong tam giác ABC, ta có:
suy ra,
+ Tam giác DEF có DE = DF, do đó tam giác DEF cân tại đỉnh D.
Suy ra
Áp dụng định lí tổng ba góc trong tam giác DEF, ta có:
Suy ra,
+ Tam giác MNP vuông tại N, do đó
Suy ra