r是内切圆半径，r1是两个相等的内切圆半径,AG=y。
(p+y)*r1=S, (2p-2y)=2r1(cotB/2+cotC/2), (p+y)(p-y)=S(cotB/2+cotC/2)=S((p-b)/r+(p-c)/r)=Sa/r=pa, y^2=p(p-a).
AF*AE=bc/2*(1+cosA)=bc/2*(2bc+b^2+c^2-a^2)/2bc=((b+c)^2-a^2)/4=p(p-a).
所以结论成立。
【 在 calculus2000 的大作中提到: 】
: △ABC中 ∠C＞∠B
: AD为∠A内角平分线 交BC于D
: BE⊥AD 垂足为E CF⊥AD垂足为F
: G为BC上一点 满足△ABG和△ACG内切圆半径相等
: 求证：∠AEG=∠AGF
: --
: 发信人: WilliamWW (时刻准备弃离水木), 信区: Un
: ..................
发自「今日水木 on iPhone 13 Pro」
--
修改:hound FROM 39.144.44.228
FROM 39.144.44.228