Maths Olympiad Prep

Library / /480 of 520

Geometry Difficulty 6.2 National olympiad Prove it

Let in a convex quadrilateral ABCDA B C D there are no parallel sides. Denote by EE and FF the points of intersection of the lines ABA B and DC,BCD C, B C and ADA D respectively (point AA lies on the segment BEB E, and point CC lies on the segment BFB F). Prove that the quadrilateral ABCDA B C D is tangential if and only if EA+AF=EC+CFE A + A F = E C + C F.

Solution

Prove that the bisectors of angles BAD,BCDB A D, B C D and BECB E C intersect at one point.

## Solution

Necessity. Given: ABCDA B C D is a circumscribed quadrilateral. Let the tangents from points A,B,C,D,EA, B, C, D, E and FF to the inscribed circle be a,b,c,d,ea, b, c, d, e and ff respectively. Then,

EA=ea,AF=a+f,EC=e+c,CF=fc E A=e-a, A F=a+f, E C=e+c, C F=f-c

Thus,

EA+AF=(ea)+(a+f)=e+f,EC+CF=(e+c)+(fc)=e+f E A+A F=(e-a)+(a+f)=e+f, E C+C F=(e+c)+(f-c)=e+f

Therefore, EA+AF=EC+CFE A+A F=E C+C F.

Sufficiency. Suppose the equality EA+AF=EC+CFE A+A F=E C+C F holds. We need to prove that the bisectors of angles BAD,BCDB A D, B C D and BECB E C intersect at one point. From this, it will follow that ABCDA B C D is a circumscribed quadrilateral. (The point of intersection of these bisectors will be equidistant from ABA B and ADA D, BCB C and CDC D, as well as from ABA B and CDC D.)

Take a point TT on the extension of segment EAE A beyond point AA such that AT=AFA T=A F, and a point SS on the extension of segment ECE C beyond point CC such that CS=CFC S=C F. Since ET=EA+AFE T=E A+A F and ES=EC+CFE S=E C+C F, it follows from the condition that ET=ESE T=E S.

Consider triangle TFS. The perpendicular bisector of side TST S of this triangle is the bisector of angle TES (or angle BECB E C). This follows from the isosceles nature of triangle TES. Similarly, we can prove that the perpendicular bisector of side TFT F is the bisector of angle TAFT A F (or angle BADB A D), and the perpendicular bisector of side SFS F is the bisector of angle CSFC S F (or angle BCDB C D). Therefore, the specified bisectors intersect at one point - the center of the circumscribed circle of triangle TFS.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.