Ta có `:`

`\hat[C] + \hat[CAB] + \hat[B] = 180^o (`tổng `3` góc trong `1` tam giác `)`

`=> \hat[CAB] = 180^o - \hat[C] - \hat[B] (1)`

Ta có `:`

`\hat[HAC] + \hat[CAB] = 180^o (`kề bù`)`

`=> \hat[CAB] = 180^o - \hat[HAC] (2)`

Từ `(1)` và `(2) => \hat[HAC] = \hat[B] + \hat[C] (`cùng bù với `\hat[CAB])`

Vậy `\hat[HAC] = \hat[B] + \hat[C]`