PHẦN HÌNH HỌC

 Xét tam giác ABC, áp dụng định lí Py-ta-go ta có:

 AB^2 = BC^2 – AC^2
 Xét tam giác DEF, áp dụng định lí Py-ta-go ta có:
 DE^2 = EF^2 – DF^2
 Mà BC = EF ; AC = DF
 => AB^2 = DE^2 hay AB = DE