a, Tia phân giác `\hat{D}`cắt AB tại `E`
`\hatE_1=\hatD_1` (so le trong)
Mà `\hatD_1=\hatD_2` nên `\hatE_1=\hatD_2`
`ΔADE` cân ở `A`, do đó `AE=AD`
nhưng `AD=1/2AB` vì thế `AE=1/2AB`
Vậy `E` là trung điểm của `AB`
b, Gọi `F` là trung điểm của `CD`. Dễ dàng chứng minh được `ΔADF` là tam giác đều.
Từ đó `=>FA=FD=FC`, do đó `ΔADF⊥A=>AD⊥AC`