证明;过E点分别作AB,BC上的高交AB,BC于M,N点.
过F点分别作AC,BC上的高交于P,Q点.
根据角平分线上的点到角的2边距离相等可以知道FQ=FP,EM=EN.
过D点做BC上的高交BC于O点.
过D点作AB上的高交AB于H点,过D点作AB上的高交AC于J点.
则X=DO,Y=HY,Z=DJ.
因为D 是中点,角ANE=角AHD=90度.所以HD平行ME,ME=2HD
同理可证FP＝2DJ.
又因为FQ=FP,EM=EN.
FQ＝2DJ,EN＝2HD.
又因为角FQC,DOC,ENC都是90度,所以四边形FQNE是直角梯形,而D是中点,所以2DO＝FQ＋EN
又因为
FQ＝2DJ,EN＝2HD.所以DO＝HD＋JD.
因为X=DO,Y=HY,Z=DJ.所以x=y+z.