如图所示,圆o是三角形ABC的外接圆,角BAC与角ABC的平分线相交于点I,延长AI交圆O于点D连接BD、DC

∵∠ABC与∠BAC的平分线相交于点I,
∴∠BAD=∠CAD,
而C⌒D所对圆周角是∠CAD,∠CBD,
∴∠CAD=∠CBD,
同理,∠BAD=∠BCD,
∴∠CBD=∠BCD,
∴BD=CD,
又∵∠DBI=∠DBC+∠CBI=∠CAD+∠ABC/2,
∠BID=∠BAI+∠ABI=∠CAD+∠ABC/2,
∴∠DBI=∠BID,
∴BD=DC=DI