Difference between revisions of "Excircle"

m
Line 1: Line 1:
 
An '''excircle''' is a [[circle]] [[Tangent line|tangent]] to the extensions of two sides of a [[triangle]] and the third side.
 
An '''excircle''' is a [[circle]] [[Tangent line|tangent]] to the extensions of two sides of a [[triangle]] and the third side.
{{image}}
+
 
 +
<center><asy>
 +
defaultpen(fontsize(8));
 +
pair excenter(pair X, pair Y, pair Z){
 +
pair A, C;
 +
A=X+expi((angle(X-Y)+angle(Z-X))/2);
 +
C=Z+expi((angle(Z-Y)+angle(X-Z))/2);
 +
return extension(A,X,C,Z);
 +
}
 +
pair A=(0,0), B=(10,0), C=(3,6);
 +
pair exa=excenter(C,A,B), exb=excenter(A,B,C), exc=excenter(B,C,A);
 +
draw(circle(exa,length(exa-foot(exa,B,C))));
 +
draw(circle(exb,length(exb-foot(exb,C,A))));
 +
draw(circle(exc,length(exc-foot(exc,A,B))));
 +
draw((A-B)+A--B+1.5*(B-A));draw((B-C)+B--C+(C-B));draw(2*(A-C)+A--C+2*(C-A));
 +
label("A",A,(-1.5,-1));label("B",B,(1,1));label("C",C,(-0.5,1.5));
 +
dot(A^^B^^C^^exa^^exb^^exc);
 +
</asy></center>
 +
 
 
== Properties ==
 
== Properties ==
 
For any triangle, there are three unique excircles. This follows from the fact that there is one, if any, circle such that three given distinct lines are tangent to it.
 
For any triangle, there are three unique excircles. This follows from the fact that there is one, if any, circle such that three given distinct lines are tangent to it.

Revision as of 00:57, 25 November 2007

An excircle is a circle tangent to the extensions of two sides of a triangle and the third side.

[asy] defaultpen(fontsize(8)); pair excenter(pair X, pair Y, pair Z){ pair A, C; A=X+expi((angle(X-Y)+angle(Z-X))/2); C=Z+expi((angle(Z-Y)+angle(X-Z))/2); return extension(A,X,C,Z); } pair A=(0,0), B=(10,0), C=(3,6); pair exa=excenter(C,A,B), exb=excenter(A,B,C), exc=excenter(B,C,A); draw(circle(exa,length(exa-foot(exa,B,C)))); draw(circle(exb,length(exb-foot(exb,C,A)))); draw(circle(exc,length(exc-foot(exc,A,B)))); draw((A-B)+A--B+1.5*(B-A));draw((B-C)+B--C+(C-B));draw(2*(A-C)+A--C+2*(C-A)); label("A",A,(-1.5,-1));label("B",B,(1,1));label("C",C,(-0.5,1.5)); dot(A^^B^^C^^exa^^exb^^exc); [/asy]

Properties

For any triangle, there are three unique excircles. This follows from the fact that there is one, if any, circle such that three given distinct lines are tangent to it.

Related Geometrical Objects

  • An exradius is a radius of an excircle of a triangle.
  • An excenter is the center of an excircle of a triangle.

Related Formulas

If the circle is tangent to side $a$ of the circle, the radius is $\frac{K}{s-a}$, where $K$ is the triangle's area, and $s = \frac{a+b+c}{2}$ is the semiperimeter.

Problems

Introductory

  • Let $E,F$ be the feet of the perpendiculars from the vertices $B,C$ of triangle $\triangle ABC$. Let $O$ be the circumcenter $\triangle ABC$. Prove that \[OA \perp FE .\]

(<url>viewtopic.php?search_id=1224374835&t=45647 Source</url>)

Intermediate

  • In triangle $ABC$, let the $A$-excircle touch $BC$ at $D$. Let the $B$-excircle of triangle $ABD$ touch $AD$ at $P$ and let the $C$-excircle of triangle $ACD$ touch $AD$ at $Q$. Is $\angle P\cong\angle Q$ true for all triangles $ABC$? (<url>viewtopic.php?t=167688 Source</url>)

Olympiad

  • Let $ABC$ be a triangle and let $\omega$ be its incircle. Denote by $D_1$ and $E_1$ the points where $\omega$ is tangent to sides $BC$ and $AC$, respectively. Denote by $D_2$ and $E_2$ the points on sides $BC$ and $AC$, respectively, such that $CD_2 = BD_1$ and $CE_2 = AE_1$, and denote by $P$ the point of intersection of segments $AD_2$ and $BE_2$. Circle $\omega$ intersects segment $AD_2$ at two points, the closer of which to the vertex $A$ is denoted by $Q$. Prove that $AQ = D_2P$. (Source)
  • Let $ABC$ be a triangle with circumcircle $\omega.$ Point $D$ lies on side $BC$ such that $\angle BAD = \angle CAD.$ Let $I_{A}$ denote the excenter of triangle $ABC$ opposite $A,$ and let $\omega_{A}$ denote the circle with $AI_{A}$ as its diameter. Circles $\omega$ and $\omega_{A}$ meet at $P$ other than $A.$ The circumcle of triangle $APD$ meet line $BC$ again at $Q\, ($other than $D).$ Prove that $Q$ lies on the excircle of triangle $ABC$ opposite $A$. (Source: Problem 13.2 - MOSP 2007)
  • Let $ABCD$ be a parallelogram. A variable line $\ell$ passing through the point $A$ intersects the rays $BC$ and $DC$ at points $X$ and $Y$, respectively. Let $K$ and $L$ be the centres of the excircles of triangles $ABX$ and $ADY$, touching the sides $BX$ and $DY$, respectively. Prove that the size of angle $KCL$ does not depend on the choice of $\ell$. (Source)

See also