Cho hình 10. Hãy sử dụng định lí Py-ta-go để suy ra rằng: Nếu HB = HC thì AB = AC, và ngược lại, nếu AB = AC thì HB = HC.