Maths Olympiad Prep

Library / /26 of 53

Geometry Difficulty 6.2 National olympiad Prove it China

Let the sides of a scalene triangle ABC\triangle ABC be AB=cAB = c, BC=aBC = a, CA=bCA = b, DD, EE, FF be points on BCBC, CACA, ABAB, such that ADAD, BEBE, CFCF are angle bisectors of the triangle, respectively. Assume that DE=DFDE = DF. Prove that
(1)ab+c=bc+a+ca+b; (1) \frac{a}{b+c} = \frac{b}{c+a} + \frac{c}{a+b};
(2)BAC>90. (2) \angle BAC > 90^{\circ}.

Solution

Solution Using the sine rule, we have that
sinAFDsinFAD=ADFD=ADED=sinAEDsinFAD, \frac{\sin \angle AFD}{\sin \angle FAD} = \frac{AD}{FD} = \frac{AD}{ED} = \frac{\sin \angle AED}{\sin \angle FAD},
then sinAFD=sinAED\sin \angle AFD = \sin \angle AED. So, either AFD=AED\angle AFD = \angle AED or AFD+AED=180\angle AFD + \angle AED = 180^{\circ}.
If AFD=AED\angle AFD = \angle AED, then ADFADE\triangle ADF \cong \triangle ADE, and we get AF=AEAF = AE. Then AIFAIE\triangle AIF \cong \triangle AIE, and AFI=AEI\angle AFI = \angle AEI. So AFCAEB\triangle AFC \cong \triangle AEB, then AC=ABAC = AB. It contradicts the condition given. So AFD+AED=180\angle AFD + \angle AED = 180^{\circ}, and points A,F,DA, F, D and EE lie on one circle.
Then DEC=DFA>ABC\angle DEC = \angle DFA > \angle ABC. Extend CACA through AA to point PP such that
DPC=B, then PC=PE+CE.1 \angle DPC = \angle B, \text{ then } PC = PE + CE. \quad \textcircled{1}
Since BFD=PED\angle BFD = \angle PED and FD=EDFD = ED, we have that BFDPED\triangle BFD \cong \triangle PED, then PE=BF=aca+bPE = BF = \frac{ac}{a+b}. Furthermore, PCDBCA\triangle PCD \sim \triangle BCA, then PCBC=CDCA\frac{PC}{BC} = \frac{CD}{CA}. So
PC=abab+c1b=a2b+c.2 PC = a \cdot \frac{ba}{b+c} \cdot \frac{1}{b} = \frac{a^2}{b+c}. \quad \textcircled{2}

From ① and ② we get a2b+c=aca+b+abc+a\frac{a^2}{b+c} = \frac{ac}{a+b} + \frac{ab}{c+a}, then ab+c=bc+a+ca+b\frac{a}{b+c} = \frac{b}{c+a} + \frac{c}{a+b}.

As to the proof of (2), we have from (1) that
a(a+b)(a+c)=b(b+a)(b+c)+c(c+a)(c+b),a2(a+b+c)=b2(a+b+c)+c2(a+b+c)+abc>b2(a+b+c)+c2(a+b+c). \begin{aligned} a(a+b)(a+c) &= b(b+a)(b+c) + c(c+a)(c+b), \\ a^2(a+b+c) &= b^2(a+b+c) + c^2(a+b+c) + abc \\ &> b^2(a+b+c) + c^2(a+b+c). \end{aligned}
Then a2>b2+c2a^2 > b^2 + c^2, and that means BAC>90\angle BAC > 90^\circ.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.