a) Xét `triangleABH` và `triangleACH` có:

`AH` chung

`AB=AC`(`triangleABC` cân tại `A`)

`HB=HC`(`AH` là trung tuyến)

`=>triangleABH=triangleACH`(c.c.c)

b) Ta có: `AB=AC`(`triangleABC` cân tại `A`)

`=>A in` trung trực `BC` (1)

Ta có: `HB=HC`(`AH` là trung tuyến)

`=>H in` trung thực `BC` (2)

Từ (1)(2) suy ra `AH` là trung trực `BC` hay `AH bot BC`