因为BI,CI是平分线,FI,EI,DI是垂直线,所以EI=DI=FI,因为FI=EI,且角AFI=角AEI=90度,且AI=AI,所以三角形AFI和AEI全等
因为三角形AFI和AEI全等,所以角FAI=EAI,所以AI平分角BAC