鸡爪定理使用条件详解：从几何模型到实战应用

∵ BI 平分 ∠ABC，CI 平分 ∠ACB
∴ ∠ABI = ∠CBI, ∠ACI = ∠BCI
又 ∵ D 在 △ABC 外接圆上
∴ ∠DBC = ∠DAC (同弧DC所对圆周角)
且 ∠DCB = ∠DAB (同弧DB所对圆周角)
这里更简单的证法是：
∵ AD 平分 ∠BAC (若D为弧BC中点，则AD为角平分线，但此处D由BI延长得到，需重新推导)
修正标准证明：
我们要证 DB = DI = DC。
先证 DB = DC：
∵ ∠DBC = ∠DAC (同弧)
∵ ∠DCB = ∠DAB (同弧)
这一步通常不直接相等。让我们换一种更通用的鸡爪定理证明路径：
目标：证 DB = DI 和 DC = DI。

计算 ∠DBI 和 ∠DIB：
1. ∠DBI = ∠DBC + ∠CBI
    ∵ ∠DBC = ∠DAC (同弧)
    ∴ ∠DBI = ∠DAC + ∠CBI
2. ∠DIB = ∠IAB + ∠IBA (外角定理)
    ∵ I 是内心
    ∴ ∠IAB = ∠IAC = ∠DAC (AD平分∠A? 不，I是内心，AI平分∠A)
    ∴ ∠IAB = ∠IAC
    ∴ ∠DIB = ∠IAC + ∠IBA
注意：此处需确认D的位置。若D是BI延长线与外接圆交点，则D是弧AC的中点吗？不是。D是弧AC的中点当且仅当BD平分∠B。是的，BD平分∠B。
等等，标准鸡爪定理中，D是弧AC的中点吗？
若BD平分∠B，则D是弧AC的中点。此时 DA = DC。
我们要证的是 DB = DI = DC 吗？
通常结论是：若I是内心，D是BI延长线与外接圆交点，则 DA = DC = DI。
让我们重新核对结论：
结论是 DA = DC = DI。
证明 DA = DI：
∠DAI = ∠DAC + ∠CAI
∠DIA = ∠ABI + ∠BAI (外角)
∵ BD平分∠B, AD平分∠A (不一定，I是内心，AI平分∠A)
∵ D在圆上，∠DAC = ∠DBC (同弧)
∵ BD平分∠B ⇒ ∠DBC = ∠ABD
∴ ∠DAC = ∠ABD
又 ∠CAI = ∠BAI (AI平分∠A)
∴ ∠DAI = ∠DAC + ∠CAI = ∠ABD + ∠BAI
而 ∠DIA = ∠ABI + ∠BAI
∵ ∠ABD = ∠ABI
∴ ∠DAI = ∠DIA
∴ △DAI 是等腰三角形，DA = DI。
同理可证 DC = DI。
∴ DA = DC = DI。

通过上述推导，我们证明了在鸡爪定理的标准使用条件下（I为内心，D为BI延长线与外接圆交点），点D到A、C、I三点的距离相等。这构成了以D为圆心，DA为半径的圆，经过A、I、C三点。