`\text{a)}`
Giả xử : `At` không cắt đường thẳng `yy'`
Xảy ra trường hợp : $At // yy'$
Mà $xx'$cũng $// yy$ `-> At` trùng với `Ax` `(1)`
Do `At` là tia phân giác của `\hat{xAB}`
`-> At` nằm giữa `Ax` và `AB`
`-> At` không trùng với `Ax` `(2)`
Từ `(1)` và `(2)`
`=> At` cắt đoạn thẳng `yy'`
$\\$
`\text{b)}`
Ta có :
`\hat{xAC} =\hat{xAB}/2 = 80^o/2 = 40^o`
Vì $xx' // yy'$
`-> Ax` $//$ `By`
`-> \hat{xAC} = \hat{ACB} = 40^o` ( `2` góc so le trong )