Difference between revisions of "Incenter"
(→Properties of the Incenter) |
|||
Line 19: | Line 19: | ||
<math>\bullet</math> The unnormalised [[areal coordinates]] of the incenter are <math>(a,b,c)</math> | <math>\bullet</math> The unnormalised [[areal coordinates]] of the incenter are <math>(a,b,c)</math> | ||
+ | <math>\bullet</math> Let <math>D</math> be a point on the [[circumcircle]] of <math>\triangle ABC</math> such that <math>AD</math> bisects <math>\angle BAC</math>. Then points <math>B</math>, <math>C</math>, and <math>I</math> lie on a circle centered at <math>D</math>. | ||
+ | <center><asy>defaultpen(fontsize(8)); | ||
+ | pair A=(7,10), B=(0,0), C=(10,0), D, I; | ||
+ | I=incenter(A,B,C); | ||
+ | draw(A--B--C--A);draw(circumcircle(A,B,C));draw(incircle(A,B,C)); | ||
+ | D=intersectionpoint(A+0.1*expi((angle(B-A)+angle(C-A))/2)--A+20*expi((angle(B-A)+angle(C-A))/2), circumcircle(A,B,C)); | ||
+ | draw(A--D);draw(circumcircle(B,C,I)); | ||
+ | dot(A^^B^^C^^D^^I);label("A",A,(0,1));label("B",B,(-1,0));label("C",C,(1,0)); | ||
+ | label("D",D,(0,-1));label("I",I,(-1,1));</asy></center> | ||
[[Category:Geometry]] | [[Category:Geometry]] |
Revision as of 00:20, 11 March 2008
This article is a stub. Help us out by expanding it.
The incenter of a triangle is the intersection of its (interior) angle bisectors. The incenter is the center of the incircle. Every nondegenerate triangle has a unique incenter.
Proof of Existence
Consider a triangle . Let
be the intersection of the respective interior angle bisectors of the angles
and
. We observe that since
lies on an angle bisector of
, is equidistant from
and
; likewise, it is equidistant from
and
; hence it is equidistant from
and
and
and therefore lies on an angle bisector of
. Since it lies within the triangle
, this is the interior angle bisector of
. Since
is equidistant from all three sides of the triangle, it is the incenter.
It should be noted that this proof parallels that for the existance of the circumcenter.
The proofs of existance for the excenters is the same, except that certain angle bisectors are exterior.
Properties of the Incenter
The incenter of any triangle lies within the orthocentroidal circle.
The unnormalised areal coordinates of the incenter are
Let
be a point on the circumcircle of
such that
bisects
. Then points
,
, and
lie on a circle centered at
.
![[asy]defaultpen(fontsize(8)); pair A=(7,10), B=(0,0), C=(10,0), D, I; I=incenter(A,B,C); draw(A--B--C--A);draw(circumcircle(A,B,C));draw(incircle(A,B,C)); D=intersectionpoint(A+0.1*expi((angle(B-A)+angle(C-A))/2)--A+20*expi((angle(B-A)+angle(C-A))/2), circumcircle(A,B,C)); draw(A--D);draw(circumcircle(B,C,I)); dot(A^^B^^C^^D^^I);label("A",A,(0,1));label("B",B,(-1,0));label("C",C,(1,0)); label("D",D,(0,-1));label("I",I,(-1,1));[/asy]](http://latex.artofproblemsolving.com/b/c/e/bce3bd31dd1a0032109a2941894b6c1df90e8c37.png)