角平分线的交点(用O表示)到三边的距离相等,其长度设为R
过O分别做AB、BC、AC的垂线,交点分别为G、H、I
由已知∠A:∠B:∠C=1:2:4得角A、B、C分别为π/7、2π/7、4π/7
所以∠OFG=3π/7、∠ODH=5π/14、∠OEI=4π/7
所以sin∠OFG=sin∠OEI,即OF=R/sin∠OFG,OE=R/sin∠OEI,所以OF=OE
所以由全等三角形的性质得三角形AEO与三角形AFO全等,所以AE=AF
又因为D是角A的角平分线上的点
所以DE=DF
所以△DEF是等腰三角形得证