Maths WorkshopMaths problems with full solutions
Exercise 1316Geometry › Plane geometryOlympiadAdded 5 Nov 2026

Excircles and tangent lengths

#excircle#incircle#tangent lengths#semiperimeter#area

Statement

Let ABCABC have sides a=BCa=BC, b=CAb=CA, c=ABc=AB, semiperimeter s=a+b+c2s=\frac{a+b+c}2, area SS, inradius rr. The incircle touches BCBC at D′D'. The excircle opposite AA has radius rar_a and touches BCBC at DD, line ABAB at EE and line ACAC at FF.

  1. Prove AE=AF=sAE=AF=s.
  2. Prove BD=s−cBD=s-c and CD=s−bCD=s-b, and BD′=s−bBD'=s-b, CD′=s−cCD'=s-c. Conclude that DD and D′D' are symmetric with respect to the midpoint of BCBC.
  3. Prove S=ra(s−a)S=r_a(s-a), and deduce r ra=(s−b)(s−c)r\,r_a=(s-b)(s-c).
Hint

Two tangent segments from the same point to a circle are equal. For part 3 split the area of ABCABC using the excentre IaI_a.

Show solutionHide solution

Solution

1. Tangent segments from BB give BE=BDBE=BD and from CC give CF=CDCF=CD; from AA, AE=AFAE=AF. Since EE lies on the extension of ABAB beyond BB and FF on the extension of ACAC beyond CC,
AE+AF=(AB+BE)+(AC+CF)=c+b+(BD+DC)=a+b+c=2s.AE+AF=(AB+BE)+(AC+CF)=c+b+(BD+DC)=a+b+c=2s.
Hence AE=AF=sAE=AF=s.

2. BD=BE=AE−AB=s−cBD=BE=AE-AB=s-c and CD=CF=AF−AC=s−bCD=CF=AF-AC=s-b. For the incircle, let x=AE′=AF′x=AE'=AF', y=BD′=BF′y=BD'=BF', z=CD′=CE′z=CD'=CE'. Then x+y=cx+y=c, x+z=bx+z=b, y+z=ay+z=a, so y=s−by=s-b and z=s−cz=s-c. Therefore BD=s−c=CD′BD=s-c=CD' and CD=s−b=BD′CD=s-b=BD'.

3. Let IaI_a be the excentre. Then
[ABC]=[ABIa]+[ACIa]−[BCIa]=12cra+12bra−12ara=ra(s−a).[ABC]=[ABI_a]+[ACI_a]-[BCI_a]=\tfrac12cr_a+\tfrac12br_a-\tfrac12ar_a=r_a(s-a).
Also S=rsS=rs, and Heron's formula gives S2=s(s−a)(s−b)(s−c)S^2=s(s-a)(s-b)(s-c). Multiplying S=rsS=rs and S=ra(s−a)S=r_a(s-a):
S2=r ra s(s−a) ⟹ r ra=(s−b)(s−c).S^2=r\,r_a\,s(s-a)\ \Longrightarrow\ r\,r_a=(s-b)(s-c).

Remark. The distance between the two touch points on BCBC is ∣b−c∣|b-c|.

Lesson. Tangent-length bookkeeping turns circle configurations into linear equations in the semiperimeter.