圆O是三角形ABC的外接圆,∠BAC与∠ABC的平分线相交与点I,延长AI交圆O于点D,连接BD、DC,求证:BD=DC

∠BAC与∠ABC的平分线相交与点I
∠ABI=∠CBI
∠BAI=∠CAI
∠DBC=∠DAC
∠DCB=∠BAI
∠DBC=∠DCB
DB=DC
∠DBI=∠DBC+∠CBI
∠DIB=∠BAI+∠CBI
∠DBI=∠DIB
DB=DI
BD=DC=DI