Solution Using the sine rule, we have that
sin∠FADsin∠AFD=FDAD=EDAD=sin∠FADsin∠AED,
then sin∠AFD=sin∠AED. So, either ∠AFD=∠AED or ∠AFD+∠AED=180∘.
If ∠AFD=∠AED, then △ADF≅△ADE, and we get AF=AE. Then △AIF≅△AIE, and ∠AFI=∠AEI. So △AFC≅△AEB, then AC=AB. It contradicts the condition given. So ∠AFD+∠AED=180∘, and points A,F,D and E lie on one circle.
Then ∠DEC=∠DFA>∠ABC. Extend CA through A to point P such that
∠DPC=∠B, then PC=PE+CE.1◯
Since ∠BFD=∠PED and FD=ED, we have that △BFD≅△PED, then PE=BF=a+bac. Furthermore, △PCD∼△BCA, then BCPC=CACD. So
PC=a⋅b+cba⋅b1=b+ca2.2◯
From ① and ② we get b+ca2=a+bac+c+aab, then b+ca=c+ab+a+bc.
As to the proof of (2), we have from (1) that
a(a+b)(a+c)a2(a+b+c)=b(b+a)(b+c)+c(c+a)(c+b),=b2(a+b+c)+c2(a+b+c)+abc>b2(a+b+c)+c2(a+b+c).
Then a2>b2+c2, and that means ∠BAC>90∘.