vì tam giác OAB cân tại O
có OD là phân giác
=> OD là đường trung tuyến ( tính chất tam giác cân)
Xét tam giác AOD và tam giác BOD có:
OA = OB ( gt)
OAB = OBA ( vì tam giác OAB cân tại O)
AD=BD (tính chất trung tuyến)
=> tam giác AOD = tam giác BOD
=> góc ADO = góc BDO ( hai góc tương ứng)
vì tam giác OAB cân tại O có OB là phân giác
=> OD là đường cao ( tính chất tam giác cân)
=> OD vuông góc với AB