由于 FFF 与 EEE 满足 ∠BAF=∠CAE\angle BAF=\angle CAE∠BAF=∠CAE,∠BAC\angle BAC∠BAC 的平分线 AIAIAI 自然也平分新的角 ∠FAE\angle FAE∠FAE。
由于 AIAIAI 平分 ∠BAC\angle BAC∠BAC,故 ∠BAI=∠CAI=12∠BAC\angle BAI=\angle CAI=\tfrac12\angle BAC∠BAI=∠CAI=21∠BAC;用这两个相等的一半减去题设 ∠BAF=∠CAE\angle BAF=\angle CAE∠BAF=∠CAE,得到 ∠FAI=∠BAI−∠BAF=∠CAI−∠CAE=∠EAI\angle FAI=\angle BAI-\angle BAF=\angle CAI-\angle CAE=\angle EAI∠FAI=∠BAI−∠BAF=∠CAI−∠CAE=∠EAI,即 AIAIAI 也平分 ∠FAE\angle FAE∠FAE。此外,AIAIAI 与 Γ\GammaΓ 的第二个交点 DDD 是 EEE 所在弧 BDCBDCBDC 的中点。